🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Moan-routine: LO's Predicate Signatures
lmika.org·7h
🔗Functional Compilers
Double Maths First Thing: Issue 2C
aperiodical.com·2d
📐Interval Arithmetic
Physics+ MIN/MAX of Functional: UNIZOR.COM - Physics+ 4 All - Lagrangian
unizor.blogspot.com·23h·
Discuss: www.blogger.com
⚔️Lean Theorem
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·2d
⚔️Lean Tactics
Lecture series on the philosophy of mathematics
jdh.hamkins.org·2d
⚔️Lean Theorem
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·2d
🧬Functional Programming
Cultural theory was right about the death of the author. It was just a few decades early
crookedtimber.org·3h
🧮Theoretical Computer Science
C++: Maps on Chains
bannalia.blogspot.com·7h·
Discuss: Hacker News
📐Interval Arithmetic
Thinking Thursday: Paul Lockhart
denisegaskins.com·1d
📐Mathematical Art
There are exponentially many vectors with small inner product
lmao.bearblog.dev·20h·
Discuss: Hacker News
⚽Sphere Packing
Cactus Language • Stylistics 2
inquiryintoinquiry.com·2d
💻Programming languages
ATC/OSDI’25 Technical Sessions
muratbuffalo.blogspot.com·15h·
Discuss: www.blogger.com
🔌Interface Evolution
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
📐Linear Algebra
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
floccinaucinihilipilification
en.wiktionary.org·1d·
Discuss: Hacker News
🔤Morphological Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·21h·
Discuss: Lobsters, Hacker News
⚙️TLA+
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·10h
📐Linear Algebra
Writing an IR from Scratch and survive to write a post
farena.in·9h·
Discuss: Lobsters
📝Compiler Design
The Case for Compact AI
cacm.acm.org·21h
🎵Audio ML