⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Feeds to Scour
SubscribedAll
Squint Testing Lisps
blog.toast.cafe·10h
🧠Lisp Dialects
Preview
Report Post
Evolutionary System 2 Reasoning: An Empirical Proof
arxiv.org·2h
✓Automated Theorem Proving
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·2d
🎯Performance Proofs
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·6h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·4h
✅Format Verification
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
λLambda Formalization
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·2d
🧠Lisp Dialects
Preview
Report Post
Bottoms Up Factoring, A Question of History
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·16h·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·1d
📐Interval Arithmetic
Preview
Report Post
A Proof of P = NP
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Data Processing Inequalities and Function-Space Variational Inference (2023)
blog.blackhc.net·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·3h
💎Information Crystallography
Preview
Report Post
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·16h
🦀Rust Macros
Preview
Report Post
Issue 501
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·1d
🔗Concatenative Programming
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.com·17h·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
LLMs Make Legal Advice Lossy
writing.kemitchell.com·3h
📼Tape Linguistics
Preview
Report Post
Multiplying our way out of division
xania.org·20h
📐Interval Arithmetic
Preview
Report Post