๐Ÿ“š Proof Pedagogy

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

Extensions and Shadows (6)
sites.psu.eduยท2d
๐ŸŽฏProof Tactics
Intent, Not Tools, Defines the Discipline
brettshavers.comยท20h
๐Ÿ•ณ๏ธ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ยท9h
๐Ÿ”„Reproducible Builds
ChatGPT is not AI
newsletter.techworld-with-milan.comยท2h
๐ŸŽ™๏ธWhisper
10 Python Math & Statistical Analysis One-Liners
kdnuggets.comยท1d
๐Ÿ“Interval Arithmetic
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.comยท7hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Show HN: Rastion โ€“ Autonomous Monitoring Systems
rastion.comยท1hยท
Discuss: Hacker News
โš™๏ธBatch Processing
Unlock Geminiโ€™s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.comยท20h
โšกProof Automation
A distributed systems reliability glossary
antithesis.comยท2dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
We Learned, They Learned: The Unwritten Rules of a Successful Online Classroom
hackernoon.comยท2d
๐Ÿ—บ๏ธCompetency Maps
๐Ÿ›ก๏ธ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.toยท7hยท
Discuss: DEV
โšกProof Automation
Introduction: AI Terminology
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
AtCoder Finals Problem Statement
atcoder.jpยท23hยท
Discuss: Hacker News
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
How to instantly be better at things
usefulfictions.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
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
Gradual negation types and the Python type system
jellezijlstra.github.ioยท10hยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Effective Practices for Coding with a Chat-Based AI
infoq.comยท18hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution