🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

The theorem on formal functions
math.columbia.edu·2d
⚔️Lean Theorem
Typechecker Zoo
sdiehl.github.io·2d·
Discuss: Lobsters, r/programming
λLambda Formalization
Philosopher’s Annual for 2024
dailynous.com·5h
🏛️Philosophy
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5h
🔗Functional Compilers
How long would it take a monkey to write ‘Hamlet’?
english.elpais.com·23h
🔲Cellular Automata
Clojure Async Flow Guide
clojure.github.io·2h·
Discuss: Hacker News
🐚Shell Calculus
Beyond Booleans
overreacted.io·2d·
Discuss: Lobsters, r/javascript, r/programming, r/typescript
🔲Proof Irrelevance
Abstract algebra structures made easy
blog.sesse.net·2d
🔀Category Theory
I Stand Corrected
jessecmckeown.tumblr.com·8h
⚔️Lean Theorem
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Two cool math lectures by Yuval Peres
statmodeling.stat.columbia.edu·14h
📚Proof Pedagogy
A Lisp in 99LOC
github.com·1d·
Discuss: Hacker News
🔗Lisp
UCP: AI Reasoning Enhancement Through Bias Elimination - Open Source Release
dev.to·6h·
Discuss: DEV
⚙️Proof Engineering
Functional Programming HOWTO
docs.python.org·6h·
Discuss: Lobsters
🔗Lisp
A programmer's field guide to assertions
typesanitizer.com·18h·
Discuss: Lobsters
📜Proof Carrying Code
6 Genius Level Puzzles
mindyourdecisions.com·3h
🔲Cellular Automata
Lost Particle Resurfaces As the Key to Universal Quantum Computing
scitechdaily.com·11h
⚛️Information Physics
Modelling Exactly-Once Delivery Using TLA+
medium.com·57m·
Discuss: Hacker News
⚙️TLA+
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·3d
🔗Combinatory Logic
Factoring Stencils
johndcook.com·8h
👑Isabelle