🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Proof Complexity 2025
cstheory-events.org·3d
🎯Performance Proofs
Sum 10 consecutive numbers trick
mindyourdecisions.com·2d
⚔️Lean Tactics
I Outline Everything
literallythevoid.com·4h·
Discuss: Hacker News
⭐Awesome lists
A Mental Model for C++ Coroutine
uvdn7.github.io·5h·
Discuss: Hacker News
🦀Rust Borrowing
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🧠Separation Logic
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
📊Computational Geometry
Show HN: Rain-A theory of intelligence beyond Transformers, based on rhythm
medium.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Generative AI: A Self-Study Roadmap
kdnuggets.com·10h
🗺️Competency Maps
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·18h
🎙️Whisper
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
How I Started Building at the Speed of Thought
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Hilbert spaces, Ricci traces: the singularity we should attend to
news.ycombinator.com·5h·
Discuss: Hacker News
🌀Riemannian Computing
Useful Vices for Wicked Problems
cold-takes.com·1d·
Discuss: Hacker News
🌱Personal Wikis
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
⚡Incremental Computation
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·18h
🌀Differential Geometry
Contemplating Entity Component Architecture (2024)
datavirke.dk·10h·
Discuss: Hacker News
🔐Capability Systems
Insanely productive in Go... rethinking everything
reddit.com·10h·
Discuss: r/golang
🦀Rust Macros
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
📏Code Metrics
Python Learning Progress for a Japanese Beginner
dev.to·1d·
Discuss: DEV
📚Proof Pedagogy
On Trustworthy Rule-Based Models and Explanations
arxiv.org·18h
⚖️Constraint Logic