⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·14h
🧮Kolmogorov Bounds
TypeScript: Enable Strict Mode by Default
github.com·12h·
Discuss: Hacker News
🎯Gradual Typing
Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·19h
🔲Proof Irrelevance
Day 76: When Your Brain Runs on 2% Battery But You Keep Coding
dev.to·10h·
Discuss: DEV
🔩Systems Programming
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·7h
🎯Performance Proofs
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·51m
🧠Machine Learning
The Baby Paradox in Haskell
blog.jle.im·4d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Scheme Basics
courses.cs.washington.edu·3d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Capture Checking in Scala
nrinaudo.github.io·23h·
Discuss: Hacker News
🧪Binary Fuzzing
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·12h
📐Mathematical Art
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·10h·
Discuss: Substack
🔗Topological Sorting
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·15h·
Discuss: Hacker News
⚡Hardware Transactional Memory
A critique of philosophical objectivity
lapcatsoftware.com·14h
🏛️Philosophy
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·51m
🔗Constraint Handling
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
Notes on Autograd
aschrein.github.io·10h·
Discuss: Hacker News
⚡Incremental Computation
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Nullable vs. Nullable in C#
einarwh.no·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·16h
🌊Stream Processing