📚 Proof Pedagogy

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

Dmitri Tymoczko
johncarlosbaez.wordpress.com·21h
💎Information Crystallography
Flag this post
14.03 The Workshop
johnnydecimal.com·1d
⚔️Lean Tactics
Flag this post
Advice for crime analyst to break into data science
andrewpwheeler.com·1d·
Discuss: Hacker News
🧪Data science
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Flag this post
Python dev learning Go: What's the idiomatic way to handle missing values?
reddit.com·2d·
Discuss: r/golang
⚔️Lean Tactics
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
How to Use Chatbot in Education
dev.to·4h·
Discuss: DEV
🎙️Whisper
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·15h·
Discuss: DEV
💻Local LLMs
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
dev.to·3d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
JavaScript Challenger - AI Studio DEV Edu Track
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·22h
⚡Proof Automation
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·18h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Automated CMC Blade Manufacturing Cost Reduction via Digital Twin & Reinforcement Learning
dev.to·16h·
Discuss: DEV
📄Document Digitization
Flag this post
The 3 GitHub Projects I Recommend to Every Prompt Writer
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·18h·
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
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
Flag this post
Skills, MCPs, and Commands are the same context engineering trend.
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post