⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·22h
🔗Concatenative Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·5h
🔀Category Theory
System Instruction Fixed Point
funcall.blogspot.com·3h·
Discuss: www.blogger.com
⚡Proof Automation
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·18h
🧮Algebraic Datatypes
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Linkage
11011110.github.io·1d
📐Linear Algebra
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Property-Based Testing
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
✅Format Verification
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
This Guy Found a Faster Way to Multiply
popularmechanics.com·5h
🎯Arithmetic Coding Theory
PSA: `views::single` doesn’t really view
quuxplusone.github.io·22h
🧮Algebraic Datatypes
Fewer versus Less
en.wikipedia.org·3h·
Discuss: Hacker News
⬜Minimalism
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
[$] Comparing Rust to Carbon
lwn.net·6h
🦀Rust Borrowing
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
A Kevin week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A minimal formula for AI destiny (Max O subject to D(world,human) ≤ ε)
news.ycombinator.com·6h·
Discuss: Hacker News
🔲Cellular Automata