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

Feeds to Scour
SubscribedAll
Stop Grinding LeetCode: How to Build Algorithm Intuition (Not Memorization) with AI
dev.to·14h·
Discuss: DEV
⚔️Lean Tactics
Preview
Report Post
The OG Immersion Method
dreaming.com·1d·
Discuss: Hacker News
📼Tape Linguistics
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·12h
🧮Theorem Proving
Preview
Report Post
Quanta Books to Publish Popular Math and Physics Titles by Terence Tao and David Tong
simonsfoundation.org·1d
📐Mathematical Art
Preview
Report Post
Gamification with Purpose: What Learners Prefer to Motivate Their Learning
arxiv.org·46m
🗺️Competency Maps
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·4d
🎯Performance Proofs
Preview
Report Post
Making Holiday Math Magic: Transform Fact Fluency with Festive Learning
guidedmath.wordpress.com·3d
📐Interval Arithmetic
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Learning a new programming language with an LLM
feeding.cloud.geek.nz·2d
📐Proof Assistants
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·3d
📐Interval Arithmetic
Preview
Report Post
Becoming Experienced Judges: Selective Test-Time Learning for Evaluators
arxiv.org·1d
🔗Parser Combinators
Preview
Report Post
Learning How Learning Works
cacm.acm.org·4d
🌳Context free grammars
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·3d
λLambda Formalization
Preview
Report Post
Small Language Models Reshape Higher Education: Courses, Textbooks, and Teaching
arxiv.org·1d
📼Tape Linguistics
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·4d
🔐Homomorphic Encryption
Preview
Report Post
Why do we become mathematicians?
maa.org·2d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
How to Build a Gauth AI-Level Math Solver from Scratch: A Step-by-Step Guide
dev.to·22h·
Discuss: DEV
🧮SMT Solvers
Preview
Report Post
The story of Erdős problem #1026
terrytao.wordpress.com·1d
🎯Proof Tactics
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·5d
🌐NetworkProtocols
Preview
Report Post
Thinking Thursday: John Allen Paulos
denisegaskins.com·5d
📐Mathematical Art
Preview
Report Post