📚 Proof Pedagogy

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

Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·12h
🧮Algebraic Datatypes
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·1d·
Discuss: Hacker News
✅Format Verification
The prompt I used to have ChatGPT act as my Python tutor
dev.to·21h·
Discuss: DEV
🎙️Whisper
Linkage
11011110.github.io·23h
📐Linear Algebra
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🤖Grammar Induction
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·7h
💻Local LLMs
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
Math Game Monday: Honeycomb
denisegaskins.com·21h
📐Mathematical Art
Greyscale-box test-driven development
blog.ploeh.dk·21h
🧪Property-Based Testing
While ChatGPT can help, expert says students must remember to think for themselves
phys.org·1d
📐Proof Assistants
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·1d
🧠Machine Learning
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·2d·
Discuss: Hacker News
📐Document Calculus
The Case for Compact AI – Communications of the ACM
dl.acm.org·8h·
Discuss: Hacker News
🧠Intelligence Compression
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·21h·
Discuss: Hacker News
λLambda Encodings
Is In-Context Learning Learning?
arxiv.org·1d
🤖Grammar Induction
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Just Get a Partial Fix and Move On
chillphysicsenjoyer.substack.com·18h·
Discuss: Substack
🧮SMT Solvers
Fortress AI: Zero-Knowledge Proofs for Unhackable Distributed Learning by Arvind Sundararajan
dev.to·20h·
Discuss: DEV
🤐Secure Multiparty