How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
A moonlit week
λLambda Encodings
Flag this post
HigherOrderCO/Bend2
github.com·22h
🔗Functional Compilers
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Fairytale (1982)
bluerenga.blog·39m
⚖️Game Preservation Ethics
Flag this post
Research Worth Reading Week 43/2025
pentesterlab.com·1h
🛡️Proof-Carrying Archives
Flag this post
CRYPT: synthesiser plugin
vitling.xyz·17h
🎹MIDI Archaeology
Flag this post
Card Dealing Math
blog.tanyakhovanova.com·8h
🎯Arithmetic Coding Theory
Flag this post
Math Workmats
guidedmath.wordpress.com·1h
📚Proof Pedagogy
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
⚔️Lean Tactics
Flag this post
Thinking Clearly
lemire.me·8h
🔬Lean
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
🎯Arithmetic Coding Theory
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
📏Linear Logic
Flag this post
Loading...Loading more...