📚 Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

How to Use Zorn's Lemma
gowers.wordpress.com·5h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Math Workmats
guidedmath.wordpress.com·3h
📐Mathematical Art
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
Card Dealing Math
blog.tanyakhovanova.com·9h
🎯Arithmetic Coding Theory
Flag this post
Don’t Make Assumptions About Assertions: Even with AI you still have to write your unit tests
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
🎯Performance Proofs
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·1d·
Discuss: Hacker News
💻CS
Flag this post
A moonlit week
blog.mitrichev.ch·7h·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·6h·
Discuss: Hacker News
📐Format Grammars
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
pballew.blogspot.com·19h·
Discuss: www.blogger.com
🎯Arithmetic Coding Theory
Flag this post
Thinking Clearly
lemire.me·10h
🔬Lean
Flag this post
Tasks with Scaffolding
resourceaholic.com·3d·
Discuss: www.resourceaholic.com
⚔️Lean Tactics
Flag this post
How bugs made me believe in TDD
patrickm.de·10h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Believability in Practice (2021)
commoncog.com·10h·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Flag this post
Show HN: RightMindMath and Arithmetic Fluency
rightmindmath.com·10h·
Discuss: Hacker News
🧮Theorem Proving
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·6h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·4d
🏗️Constructive Logic
Flag this post
Could you be a traitor? Psychologist reveals how to lie and get away with it
the-independent.com·15h
🕳️Information Leakage
Flag this post
HigherOrderCO/Bend2
github.com·23h
🔗Functional Compilers
Flag this post
Introduction to Mechanical Engineering(Brief Overview)
textbooks.open.tuemeche.nl·16h·
Discuss: Hacker News
🕸️Algebraic Topology
Flag this post