📚 Proof Pedagogy

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

Extensions and Shadows (6)
sites.psu.edu·3d
🎯Proof Tactics
Intent, Not Tools, Defines the Discipline
brettshavers.com·1d
🕳️Information Leakage
My Experience with the Scott Logic Graduate Training
blog.scottlogic.com·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Human-AI teamwork uncovers hidden magnetic states in quantum spin liquids
phys.org·17h
🕸️Tensor Networks
Texas sharpshooter fallacy - Wikipedia
en.m.wikipedia.org·1d
🔲Proof Irrelevance
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·22h
🔲Cellular Automata
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·22h
💻Programming languages
The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·1d·
Discuss: Hacker News
📐Mathematical Art
Title: Activation Functions in Machine Learning: Why They Matter More Than You Think
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·4d·
Discuss: Hacker News
🔲Cellular Automata
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
A Neural Net For a Graphing Calculator?
hackaday.com·18h
🤖Advanced OCR
Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
arxiv.org·22h
🗺️Competency Maps
How AI-Powered Education Apps Are Transforming the Education Industry
dev.to·18h·
Discuss: DEV
🗺️Competency Maps
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages
Playful Math 181: The Symmetry Carnival
denisegaskins.com·2d
📐Mathematical Art
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·9h·
Discuss: DEV
🧠Machine Learning