๐Ÿ“š Proof Pedagogy

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

Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท19h
๐ŸŽฏProof Tactics
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.orgยท2h
๐Ÿ’ปLocal LLMs
Let's Prove Leftpad
github.comยท22hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.comยท18h
๐Ÿ”ขReed-Solomon Math
A very short, very blunt, book note
logicmatters.netยท1d
โš”๏ธLean Theorem
Online activities 6 โ€“ 12 October
ests.wordpress.comยท21h
๐Ÿ—๏ธConstructive Mathematics
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.comยท3dยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Use 'Think, Pair, Share' for Effective Group Studying
lifehacker.comยท18h
๐Ÿง Personal Knowledge Base
Making Kindergarten Math Fun: The Power of Hands-On Learning with Compare That!
guidedmath.wordpress.comยท1d
๐Ÿ”ฒCellular Automata
Professors fear students are outsourcing critical thinking to AI. Here are 5 ways they can fight back, a researcher says.
businessinsider.comยท18h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.comยท19h
๐Ÿ”“Decompilation
#11 fraction .... History and Etymology of Math Terms
pballew.blogspot.comยท1dยท
Discuss: www.blogger.com
โš”๏ธLean Theorem
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท2dยท
Discuss: DEV
โšกSMT Integration
What is the correct answer to 50รท5ร—2 + 10 = ?
mindyourdecisions.comยท1d
๐Ÿ”ฌLean
Theo Johnson-Freyd
categorified.netยท15h
๐Ÿ•ธ๏ธAlgebraic Topology
GaloisInc/parameterized-utils
github.comยท4h
๐ŸงฎAlgebraic Datatypes
The Mondrian introduction to functional optics
marcosh.github.ioยท20hยท
Discuss: Hacker News
โŸทBidirectional Programming
The worlds of young children and their encounters with school science
link.springer.comยท16hยท
Discuss: Hacker News
๐Ÿ›Digital humanities
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comยท5hยท
Discuss: Hacker News, r/neovim
๐Ÿ”—Lisp
Proofs of quantum memory
arxiv.orgยท1d
โš›๏ธQuantum Tape