📚 Proof Pedagogy

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

Divine Provenance
asimov.blog·47m·
Discuss: Hacker News
🧲Magnetic Philosophy
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·10h·
Discuss: Hacker News
📐Proof Assistants
Reinforcement Learning Teachers of Test Time Scaling
sakana.ai·2d·
Discuss: Hacker News
⚔️Lean Tactics
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
derived set
ncatlab.org·5h
🧮Algebraic Archives
What Problems to Solve – By Richard Feynman
genius.cat-v.org·2h·
Discuss: Hacker News
⚛️Information Physics
On This Day in Math - June 23
pballew.blogspot.com·2d·
Discuss: www.blogger.com
λLambda Encodings
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·23h·
Discuss: DEV
🔗Concatenative Programming
Double Maths First Thing: Issue 2A
aperiodical.com·12h
👑Isabelle
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·6h·
Discuss: DEV
📏Code Metrics
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·16h
🧠Intelligence Compression
Improving Student-AI Interaction Through Pedagogical Prompting: An Example in Computer Science Education
arxiv.org·16h
🗺️Competency Maps
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Automatic Large Language Models Creation of Interactive Learning Lessons
arxiv.org·1d
🤖Grammar Induction
Godel's Incompleteness Theorem
news.ycombinator.com·3h·
Discuss: Hacker News
🔤Type Theory
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5h·
Discuss: Substack
🦀Rust Macros
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp