📚 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·6h
🔍Vector Forensics
Flag this post
Advice for crime analyst to break into data science
andrewpwheeler.com·2d·
Discuss: Hacker News
🧪Data science
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·10h
🌀Brotli Internals
Flag this post
Wont Main break all the time, if your team commit straight to it?
linkedin.com·18h
💾Persistence Strategies
Flag this post
Show HN: A little browser game I made after seeing a viral dance video
immersivewarmup.com·6h·
Discuss: Hacker News
⚡ZStandard
Flag this post
I reached typing 112 WPM and how you can too
starikov.co·2d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Flag this post
Editing Code in Emacs
redpenguin101.github.io·3h·
Discuss: Hacker News
📺VT100
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
Python dev learning Go: What's the idiomatic way to handle missing values?
reddit.com·2d·
Discuss: r/golang
⚔️Lean Tactics
Flag this post
Packaging and Releasing ContextWeaver for Lab 9
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Quantum Error Mitigation via Adaptive Entanglement Purification Scheduling (QEAEPS)
dev.to·2d·
Discuss: DEV
⚛️Quantum Error Correction
Flag this post
The Loss of Control Playbook: Degrees, Dynamics, and Preparedness
arxiv.org·2d
🔲Cellular Automata
Flag this post
Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment
arxiv.org·2d
🔲Cellular Automata
Flag this post
NLP Datasets for Idiom and Figurative Language Tasks
arxiv.org·2d
📊HyperLogLog
Flag this post
Tech With Tim: I Built 3 Saas Apps in 30 Minutes with AI - Here's How
dev.to·12h·
Discuss: DEV
🚀Indie Hacking
Flag this post
Can MLLMs Read the Room? A Multimodal Benchmark for Assessing Deception in Multi-Party Social Interactions
arxiv.org·2d
🧠Machine Learning
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post