๐Ÿ“š 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ยท2d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Detection Engineering: Practicing Detection-as-Code โ€“ Repository โ€“ Part 2
blog.nviso.euยท14h
๐Ÿ”„Reproducible Builds
Texas sharpshooter fallacy - Wikipedia
en.m.wikipedia.orgยท1d
๐Ÿ”ฒProof Irrelevance
10 Python Math & Statistical Analysis One-Liners
kdnuggets.comยท1d
๐Ÿ“Interval Arithmetic
Show HN: Rastion โ€“ Autonomous Monitoring Systems
rastion.comยท6hยท
Discuss: Hacker News
โš™๏ธBatch Processing
AtCoder Finals Problem Statement
atcoder.jpยท1dยท
Discuss: Hacker News
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
How to instantly be better at things
usefulfictions.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
The great misunderstanding of the DRY principle
pmatteo.comยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
How to actually use Model Context Protocol
seangoedecke.comยท22hยท
Discuss: Hacker News
โšกProof Automation
Effective Practices for Coding with a Chat-Based AI
infoq.comยท22hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Gradual negation types and the Python type system
jellezijlstra.github.ioยท15hยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
What do we owe each other?
news.mit.eduยท1d
๐Ÿ›Digital humanities
Zero Knowledge Proofs in DApp Development Essential Insights for Developers
dev.toยท12hยท
Discuss: DEV
๐ŸŒณArchive Merkle Trees
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ยท18h
๐Ÿ”ฒCellular Automata