📚 Proof Pedagogy

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

Integrating Argumentation Seamlessly
blog.mathed.page·6h
🔬Lean
My blog on zero-knowledge cryptography
kaw101010.github.io·4h·
Discuss: Hacker News
🔐Quantum Security
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·44m
🦀Rust Macros
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
How To Solve Every Programming Problem
blog.codeminer42.com·9h
📐Interval Arithmetic
5 Maths Gems #191
resourceaholic.com·12h·
Discuss: www.resourceaholic.com
📐Mathematical Art
SearchResearch Challenge (8/6/25): Best ways to do just-in-time learning?
searchresearch1.blogspot.com·12h·
Discuss: searchresearch1.blogspot.com
🤖Grammar Induction
School of Architecture and Planning welcomes new faculty for 2025
news.mit.edu·8h
🧮Theoretical Computer Science
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
The Subfactorial and Some Historical Notes
pballew.blogspot.com·22h·
Discuss: www.blogger.com
🖋Typography
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·12h·
Discuss: Hacker News
💻Programming languages
\textsc{SimInstruct}: A Responsible Tool for Collecting Scaffolding Dialogues Between Experts and LLM-Simulated Novices
arxiv.org·44m
🤖Grammar Induction
I use this simple roleplay trick to boost my learning with ChatGPT, Gemini or any other AI, and you can too
techradar.com·14h
📐Proof Assistants
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
Vibe Coding the MIT Course Catalog
stackdiver.com·10h·
Discuss: Hacker News
🌀Brotli Internals
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Chess Principles
mahdikarimi.com·6h·
Discuss: Hacker News
⚔️Lean Tactics