📚 Proof Pedagogy

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

Philosophy of Information
plato.stanford.edu·2d·
Discuss: Hacker News
📡Information theory
The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·16h
🕸️Tensor Networks
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·2d
🔗Functional Compilers
Computational Music Synthesis
cs.gmu.edu·14h·
Discuss: Hacker News
🎛️Audio Synthesis
Typescript and Gemini evil mode
markjgsmith.com·1h
🎯Gradual Typing
How Confident Are You, ChatGPT?
aylinakkus.github.io·1d·
Discuss: Hacker News
⚡Proof Automation
Try and
ygdp.yale.edu·4h·
Discuss: Hacker News
🔗Concatenative Programming
Writing tests for Nim libraries with Nimble and unittest
serv.peterme.net·6h·
Discuss: Hacker News
🔍Concolic Testing
AI in Academia: Tool or Trap? Balancing Innovation and Intellectual Honesty in the Digital Age
circleid.com·2d
🤖AI Curation
Microsoft POML – Prompt Orchestration Markup Language
github.com·11h·
Discuss: Hacker News
🎙️Whisper
Certificate Transparency - Part 2 - Sunlight
ipng.ch·6h
🌳Archive Merkle Trees
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·2d
💾Binary Linguistics
My blog on zero-knowledge cryptography
kaw101010.github.io·3d·
Discuss: Hacker News
🔐Quantum Security
Mathematicians Question AI Performance at International Math Olympiad
scientificamerican.com·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How Can Math Protect Our Data?
quantamagazine.org·3d·
Discuss: Hacker News
⚛️Quantum Error Correction
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Some Self-Paced Kids Move Fast
oaklandlearn.org·1d·
Discuss: Hacker News
🔬Lean
How to tell when AI is lying to you
read.highgrowthengineer.com·2h
⚡Proof Automation
Essential Books on the Science of Reading
journal.imse.com·1d·
Discuss: Hacker News
📜Document Physics
LLMs aren’t world models
yosefk.com·18h·
Discuss: Hacker News
💻Local LLMs