Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·2d
🧮Kolmogorov Complexity
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·1h·
Discuss: Hacker News
💻CS
Flag this post
The Hallelujah Algorithm
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·2d
🔬Lean
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2d
📐Linear Algebra
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·1d·
Discuss: Hacker News
🌊Stream Ciphers
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·1d·
🧮Kolmogorov Complexity
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post
Simons Fall 2026 Program on Pseudorandomness & High-Dimensional Expansion
cstheory-events.org·13h
🧮Theoretical Computer Science
Flag this post
Wafer-Scale AI Compute: A System Software Perspective
sigops.org·7h·
Discuss: Hacker News
🖥️Hardware Architecture
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·3h·
📦Deflate
Flag this post
AI discovers a 5x faster MoE load balancing algorithm than human experts
adrs-ucb.notion.site·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Flag this post
Researchers discover three factors that make AI agents significantly smarter
the-decoder.com·2h
🧠Intelligence Compression
Flag this post
Optimization by decoded quantum interferometry
nature.com·2d·
Discuss: Hacker News
⚛️Quantum Algorithms
Flag this post
A major week
blog.mitrichev.ch·16h·
🔢Bitwise Algorithms
Flag this post
Inside the Engine: Building a Real AI Solution from Prototype to Production
dev.to·23h·
Discuss: DEV
🌊Stream Processing
Flag this post
SATisfying Solutions to Difficult Problems!
vaibhavsagar.com·3d·
🔗Combinatory Logic
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·31m·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Barbarians at the Gate: How AI is Upending Systems Research
muratbuffalo.blogspot.com·2d·
Effect Handlers
Flag this post