The Feedback Loop
pablofernandez.tech·11h
🎯Threat Hunting
A very short book note
logicmatters.net·5d
⚔️Lean Theorem
What Problems to Solve – By Richard Feynman
genius.cat-v.org·16h·
Discuss: Hacker News
⚛️Information Physics
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Writing Toy Software Is a Joy
quiz.businessexplain.com·6h·
Discuss: Hacker News
🔩Systems Programming
An All-Around Better Horse
patrickhebron.com·16h·
Discuss: Hacker News
🧠Knowledge Management
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·3h·
Discuss: DEV
⚡Performance Tools
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·5h
💻Local LLMs
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
StrataScratch's Advanced 25 Hard SQL Questions
dev.to·2d·
Discuss: DEV
🧠Query Planners
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·5h
⚙️Compression Benchmarking
Introduction to Algorithms: What They Are and Why They Matter
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·1d·
Discuss: DEV
📐Proof Assistants
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·5h
✅Format Verification
Counterfactual Influence as a Distributional Quantity
arxiv.org·5h
🎯Arithmetic Coding Theory
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·19h·
Discuss: DEV
✓Automated Theorem Proving