🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Derek Elkins: Arithmetic Functions
hedonisticlearning.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·14h
💻CS
Song recommendations with F# free monads
blog.ploeh.dk·11h
🔗Functional Compilers
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·7h
🤝Paxos Consensus
Teaching programming languages
kmjn.org·6h
💻Programming languages
Capture Checking in Scala
nrinaudo.github.io·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·2h
📐Mathematical Art
Claude Code's 19 cent Parser
blogger.com·5h
🔧Binary Parsers
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·4h
🧮Kolmogorov Bounds
Sets & Heaps in Haskell and Rust
mmhaskell.com·9h
🔒Type Safety
Software convergence
underlap.org·3d
🔢Denotational Semantics
Two Dogmas of Empiricism
en.wikipedia.org·5h·
Discuss: Hacker News
💻Programming languages
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·2h
🗺️Competency Maps
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·9h·
Discuss: Hacker News
📐Linear Algebra
Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·1d
🌀Differential Geometry
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs