HOL, Proof Development, Mathematical Logic, Interactive Verification

How to Use Zorn's Lemma
gowers.wordpress.com·3h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
🤖How to make AI follow your instructions more for free (OpenSpec)📝
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
A moonlit week
blog.mitrichev.ch·6h·
λLambda Encodings
Flag this post
HigherOrderCO/Bend2
github.com·22h
🔗Functional Compilers
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·7h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·4h·
Automated Theorem Proving
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
A bestiary of single-file programming language implementations
github.com·1h·
Discuss: Hacker News
🔗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
xor01.substack.com·7h·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·5h·
Discuss: Hacker News
📐Format Grammars
Flag this post
Thinking Clearly
lemire.me·8h
🔬Lean
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
pballew.blogspot.com·18h·
🎯Arithmetic Coding Theory
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
handmadeoasis.com·49m·
Discuss: Hacker News
📏Linear Logic
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
🔗Dependently Typed
Flag this post