SAT Requires Exhaustive Search
link.springer.com·5h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Machine Learning Fundamentals: machine learning with python
dev.to·8h·
Discuss: DEV
🧠Machine Learning
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·14h
⚗️Algebraic Coding
Constructive Disintegration and Conditional Modes
arxiv.org·21h
🏗️Constructive Logic
Briefly explained: What's behind the buzzword AI agents
heise.de·14h
🎙️Whisper
Gaussian processes provide a new path toward quantum machine learning
phys.org·9h
🕸️Tensor Networks
MLE-STAR is designed to automate machine learning pipelines with minimal human input
the-decoder.com·10h
🤖AI Curation
Extensions and Shadows (9)
sites.psu.edu·11h
✨Effect Handlers
The Core Idea: Finding the Best Separator
dev.to·23h·
Discuss: DEV
🧠Machine Learning
[D] reflecting on 8 years of model inference
reddit.com·1d·
Discuss: r/MachineLearning
🔍Type Inference
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·22m·
Discuss: Hacker News
📊Citation Graphs
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
LLMs - Embeddings 01
dev.to·19h·
Discuss: DEV
🧮Vector Embeddings
Trends in LLM-Generated Citations on ArXiv
spylab.ai·7h·
Discuss: Hacker News
🎯Gradual Typing
Toroidally Progressive Stratified Sampling in 1D
blog.demofox.org·1d
🌊Streaming Algorithms
Learning an Efficient Multi-Turn Dialogue Evaluator from Multiple Judges
arxiv.org·21h
🔗Parser Combinators
Machine Learning Fundamentals: machine learning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
A Histogram Is a Generative Model
jonathandinu.com·10h·
Discuss: Hacker News
🎧Learned Audio