🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

EU's Model Documentation Form makes AI providers explain their models like it's tax season
the-decoder.com·2h
🎙️Whisper
Codeminer42 Dev Weekly #69
blog.codeminer42.com·2h
🔄Reproducible Builds
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🗣️Domain-Specific Languages
Interleaving Logic and Counting
arxiv.org·3d
📜Manuscript Algebras
Data Science Weekly – Issue 607
datascienceweekly.substack.com·16h·
Discuss: Substack
📰RSS Archaeology
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·8m·
Discuss: Lobsters, Hacker News
🧩WASM Components
Puzzle Languages
prog21.dadgum.com·2d·
Discuss: Lobsters
💻Programming languages
[D] Views on DIfferentiable Physics
reddit.com·12h·
Discuss: r/MachineLearning
🌀Differential Geometry
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🧠Separation Logic
Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
arxiv.org·3d
🧮Theorem Proving
Reinforcement Learning with Action Chunking
arxiv.org·15h
🔲Cellular Automata
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·2d
🧮SMT Solvers
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
λLambda Formalization
Going on the Offensive with Creative Strategy
rogermartin.medium.com·1h·
Discuss: Hacker News
🎯Proof Tactics
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·15h
🎯Proof Tactics
How to scale RL to 10^26 FLOPs
blog.jxmo.io·22h·
Discuss: Hacker News
🔮Proof Search
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·15h
📝ABNF Parsing
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🏺ZIP Archaeology
How I Started Building at the Speed of Thought
dev.to·8h·
Discuss: DEV
⚔️Lean Tactics