SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
How to reason from first principles
caseyhandmer.wordpress.com·14h
🎯Proof Tactics
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
This “smart coach” helps LLMs switch between text and code
news.mit.edu·5h
💻Local LLMs
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A Poet Completes the Square
denisegaskins.com·20h
⚔️Lean Tactics
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·9h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Rethinking Distributed Computing for the AI Era
cacm.acm.org·14h
⚡Incremental Computation
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
AwesomeAssertions/AwesomeAssertions
github.com·18h
✅Format Verification
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·20h·
Discuss: DEV
📝Concrete Syntax
Good binding data is all you need
leashbio.substack.com·10h·
Discuss: Substack
🗂️Vector Databases
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1d
💻Local LLMs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
A Wide Reduction Trick (2022)
words.filippo.io·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·5h
📏Linear Logic
AtCoder Finals Problem Statement
atcoder.jp·15h·
Discuss: Hacker News
🇯🇵Japanese Computing