📚 Proof Pedagogy

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

Factoring Carmichael Numbers
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
🧮Constraint SMT
Flag this post
Four ways AI is being used to strengthen democracies worldwide | Nathan E Sanders and Bruce Schneier
theguardian.com·7h
🔍Vector Forensics
Flag this post
Sunday Calling
naiveweekly.com·10h
📡RSS Readers
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·11h
🌀Brotli Internals
Flag this post
The Fermi Paradox Just From Rarity
win-vector.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Show HN: A little browser game I made after seeing a viral dance video
immersivewarmup.com·7h·
Discuss: Hacker News
⚡ZStandard
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Where have all the mentors gone?
automasean.blog·2d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Ask HN: Best IDE/compiler agnostic C++ for beginners book
news.ycombinator.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
The Limits of Formal Security Models – Dorothy E. Denning (1999)
faculty.nps.edu·3d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
- Neuroevolution
neuroevolutionbook.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Interpreting the world through statistics
phys.org·3d
🧪Data science
Flag this post
Can theater performance skills help teachers in the classroom?
phys.org·2d
🎭Cinema Acoustics
Flag this post
Why We’re Not Using AI in This Course, Despite Its Obvious Benefits
emergingethics.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Flag this post
Automated Quality Control Assessment of Fujifilm Photoensitive Polymer Films via Multi-Modal Data Fusion
dev.to·4h·
Discuss: DEV
📄Document Digitization
Flag this post
Learning Triton One Kernel at a Time: Softmax
towardsdatascience.com·3h
⚡Incremental Computation
Flag this post
Learning with Statistical Equality Constraints
arxiv.org·4d
🧠Machine Learning
Flag this post
Exploring the Use of ChatGPT by Computer Science Students in Software Development: Applications, Ethical Considerations, and Insights for Engineering Education
arxiv.org·4d
🗺️Competency Maps
Flag this post
A Complete Guide to AI Coding Tools: Choosing the Right Tools Without the Hype
practicalsecurity.substack.com·2d·
Discuss: Substack
🏗️Compiler Archaeology
Flag this post