⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Structural vs. Mathematical “Under” (2023)
dyalog.com·1h·
Discuss: Lobsters
🐚Shell Calculus
Sets & Heaps in Haskell and Rust
mmhaskell.com·17h
🔒Type Safety
busy beaver function
ncatlab.org·2d
🏗️Constructive Mathematics
Typeclassopedia
wiki.haskell.org·22h·
Discuss: Hacker News
🧬Functional Programming
FLINT: Fast Library for Number Theory
flintlib.org·7h
🧮Algebraic Datatypes
Sound and Solution-Complete CCBS
arxiv.org·21h
🛡️Archive Verification
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·15h
🤝Paxos Consensus
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Song recommendations with F# free monads
blog.ploeh.dk·18h
🔗Functional Compilers
Teaching programming languages
kmjn.org·13h
💻Programming languages
Two Dogmas of Empiricism
en.wikipedia.org·13h·
Discuss: Hacker News
💻Programming languages
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
📐Interval Arithmetic
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·4h
🎯Performance Proofs
Software convergence
underlap.org·4d
🔢Denotational Semantics
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·9h
📐Mathematical Art
Intuition for Pick’s Theorem
johndcook.com·1d
📐Mathematical Art
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·16h·
Discuss: Hacker News
📐Linear Algebra
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·3d
🔲Cellular Automata
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·11h
🧮Kolmogorov Bounds
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers