🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

What I Like
bencornia.com·19h
🎯Content Recommendation
You Can Catch the Signs of a Eureka Moment Right Before It Explodes in Your Brain
popularmechanics.com·12h
🔲Cellular Automata
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·8h
🔧Binary Parsers
Sets & Heaps in Haskell and Rust
mmhaskell.com·3d
🔒Type Safety
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·20h
🧮SMT Solvers
Geopolitical Parallax: Beyond Walter Lippmann Just After Large Language Models
arxiv.org·20h
🚀SIMD Text Processing
Some thoughts on LLMs and Software Development
martinfowler.com·10h·
Discuss: Hacker News, r/programming
⚙️Proof Engineering
Aggregate Fictitious Play for Learning in Anonymous Polymatrix Games (Extended Version)
arxiv.org·20h
🔲Cellular Automata
Model inference, model products, and AI applications
frontierai.substack.com·8h·
Discuss: Substack
🔌Interface Evolution
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
SEMANTIC HTML
dev.to·2h·
Discuss: DEV
📇Dublin Core
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·3h·
Discuss: Hacker News
✨Algebraic Effects
🚀 Learning Update
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
What the interns have wrought, 2025 edition
blog.janestreet.com·2d·
Discuss: Lobsters, Hacker News
🦀Rusty Databases
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·6h·
Discuss: DEV
⚡Proof Automation
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·3d
🦀Rust Borrowing
Universal Algorithmic Intelligence
uaiasi.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Boss-Ship vs. Management and Math
medium.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Research probes AI's role in helping social workers make crucial decisions
phys.org·10h
🌍Cultural Algorithms
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·1d
🔲Cellular Automata