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

The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Formatively Assessing Student Thinking
kgmathminds.com·17h
📊Static Analysis
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·23h
⚔️Lean Theorem
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
The Machine Learning Roadmap
github.com·9h·
Discuss: Hacker News
🎵Audio ML
Flag this post
How to succeed at anything, even if you have no talent
robdix.com·23h
Minimalism
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
I Set A Trap To Catch My Students Cheating With AI. The Results Were Shocking.
huffpost.com·1d
🔲Cellular Automata
Flag this post
A Loopy Holiday Gift Exchange
thefiddler.substack.com·1d·
Discuss: Substack
🌳Trie Structures
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
📐Mathematical Art
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
💻Programming languages
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Study describes how K-12 teachers used a virtual environment to explore mathematical concepts
phys.org·1d
📐Mathematical Art
Flag this post
How Math Textbooks Are Written (and How to Choose One)
kidswholovemath.substack.com·1d·
Discuss: Substack
🔬Lean
Flag this post
OpenAI report suggests GPT‑5 is starting to ease scientists’ daily workloads
the-decoder.com·1d
🎯Performance Proofs
Flag this post
Show HN: Nemorize – AI-powered spaced repetition for learning anything
nemorize.com·1d·
Discuss: Hacker News
🤖Grammar Induction
Flag this post
Happiness Is a Skill You Can Build
domofutu.substack.com·38m·
Discuss: Substack
🏛️Philosophy
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post