📚 Proof Pedagogy

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

Dmitri Tymoczko
johncarlosbaez.wordpress.com·23h
💎Information Crystallography
Flag this post
14.03 The Workshop
johnnydecimal.com·2d
⚔️Lean Tactics
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·14h
🔗Hash Chains
Flag this post
How to Design A Session
zettelkasten.de·1d·
Discuss: r/programming
⬜Minimalism
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·16h·
Discuss: Hacker News
📟Terminals
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·18h·
Discuss: Hacker News
📋Document Grammar
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·17h·
Discuss: DEV
💻Local LLMs
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·19h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
JavaScript Challenger - AI Studio DEV Edu Track
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
Automated CMC Blade Manufacturing Cost Reduction via Digital Twin & Reinforcement Learning
dev.to·17h·
Discuss: DEV
📄Document Digitization
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·1d
⚡Proof Automation
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·19h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
Is Gemini 3 is a real Game Changer in 2025 ?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
The 3 GitHub Projects I Recommend to Every Prompt Writer
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Flag this post
Built my first real web app — a coding battle platform. What should I focus on learning next?
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·5h·
Discuss: DEV
⚡Incremental Computation
Flag this post