📚 Proof Pedagogy

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

Thoughts on teaching multivariable calculus
blog.evanchen.cc·1d
👑Coq Tactics
Math drills for my daughter
hackster.io·6h
⚡Homebrew CPUs
Learning to Reason for Factuality
arxiv.org·2d
✓Automated Theorem Proving
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Mathematical family
cameroncounts.wordpress.com·2d
⚔️Lean Theorem
6 Impossible Puzzles With Surprising Solutions
mindyourdecisions.com·3h
🔲Cellular Automata
Fundamentals of Probability
ocw.mit.edu·2h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·22h·
Discuss: Hacker News
🧠Intelligence Compression
A thesis week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Using geometry and physics to explain feature learning in deep neural networks
phys.org·8h
🧠Machine Learning
All you need to know about Tokenization in LLMs
medium.com·10h·
Discuss: Hacker News
📝Text Parsing
Integrating Argumentation Seamlessly
blog.mathed.page·3d
🔬Lean
On This Day in Math - August 9
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Mathematical Art
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·1d
🤖Grammar Induction
Getting Good Results from Claude Code
dzombak.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·1d
🌀Differential Geometry
Autodoc
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
NumPy for Data Science: Advanced Indexing, Amax Function & Array Iteration Explained
dev.to·1d·
Discuss: DEV
📊APL Heritage
The Timmy Trap
jenson.org·7h
🧠Intelligence Compression