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

How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🎯Interactive Provers
A very short, very blunt, book note
logicmatters.net·4h
⚔️Lean Theorem
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Z3 Solver
Making Kindergarten Math Fun: The Power of Hands-On Learning with Compare That!
guidedmath.wordpress.com·3h
🔲Cellular Automata
On This Day in Math - October 6
pballew.blogspot.com·16h·
📐Interval Arithmetic
Universities can turn AI from a threat to an opportunity by teaching critical thinking
phys.org·6h
🔲Cellular Automata
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
⚔️Lean Theorem
Three Meanings of "To Know"
madhadron.com·1d·
Discuss: Hacker News
🔍Archive Semantics
Assessment Twins: A Protocol for AI-Vulnerable Summative Assessment
arxiv.org·17h
🔲Cellular Automata
Educators Should Think Like Hackers
kelvinpaschal.com·1d·
Discuss: Hacker News
🔓Hacking
News for September 2025
ptreview.sublinear.info·2d
🧪Property-Based Testing
Cactus Language • Semantics 1
inquiryintoinquiry.com·5h
🔢Denotational Semantics
These Are the Best Flashcard Apps for Studying
lifehacker.com·9h
Awesome lists
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·2h·
Discuss: Hacker News
🌳Context free grammars
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·17h
🔲Cellular Automata
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
SMT Integration
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·9h
🔐Cryptographic Archaeology
Confessions of a Perpetual Beginner
80yos.substack.com·6h·
Discuss: Substack
Cache Theory
Fitting It All in Your Head
systemsapproach.org·14h
📡BGP Archaeology
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax