The Feedback Loop
pablofernandez.tech·16h
🎯Threat Hunting
What Problems to Solve – By Richard Feynman
genius.cat-v.org·21h·
Discuss: Hacker News
⚛️Information Physics
Elmo's World NP-complete problem (2006)
blog.plover.com·2d·
Discuss: Hacker News
🧮SMT Solvers
Writing Toy Software Is a Joy
quiz.businessexplain.com·11h·
Discuss: Hacker News
🔩Systems Programming
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
An All-Around Better Horse
patrickhebron.com·20h·
Discuss: Hacker News
🧠Knowledge Management
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·23h·
Discuss: DEV
✓Automated Theorem Proving
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·22h
💻Local LLMs
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·10h
✅Format Verification
Counterfactual Influence as a Distributional Quantity
arxiv.org·10h
🎯Arithmetic Coding Theory
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·10h
🔍BitFunnel
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
"I understand why I got this grade": Automatic Short Answer Grading with Feedback
arxiv.org·2d
🧠Intelligence Compression
I built a Swift GraphQL client that generates the query using macros
github.com·5h·
Discuss: Hacker News
✅Format Verification
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·1d·
Discuss: DEV
⚡Proof Automation
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·10h
📐Error Bounds