🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
⚔️Lean Theorem
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
🔤Type Theory
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Double Maths First Thing: Issue 33
aperiodical.com·8h
📐Mathematical Art
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·21h·
Discuss: DEV
🧠Intelligence Compression
Understanding Tool-Integrated Reasoning
arxiv.org·12h
🔗Constraint Handling
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·14h·
Discuss: Hacker News
👑Isabelle
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Q&A: Math education and the importance of memory and problem solving
phys.org·23h
📚Proof Pedagogy
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·5h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Inquiries-Week 4: Triangulate the Triangle
fractalkitty.com·17h·
Discuss: Hacker News
📊Computational Geometry
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Paradigms of Intelligence Team
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata