📚 Proof Pedagogy

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

Workshop Algorithms & Complexity @ Warwick
cstheory-events.org·6h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Creating an assembler for a custom CPU
popovicu.com·1h
🔧RISC-V Assembler
LLMs aren’t world models
yosefk.com·20h·
Discuss: Hacker News
💻Local LLMs
Why Racket? Why Lisp?
practicaltypography.com·1d·
Discuss: Lobsters, Hacker News
🔗Lisp
The incompleteness of ethics
aeon.co·2d·
Discuss: Hacker News
🔲Cellular Automata
Zero-to-Hero Deep Reinforcement Learning Course: Update with Advanced Topics
drlzh.ai·4h·
Discuss: Hacker News
🔲Cellular Automata
My Raw First Year in Engineering
dev.to·3h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Finding Golden Examples: A Smarter Approach to In-Context Learning
towardsdatascience.com·3d
🤖Grammar Induction
Automated Formal Verification of Blockchain Smart Contracts via Hypergraph Analysis and Constraint Propagation
dev.to·10h·
Discuss: DEV
🌳Archive Merkle Trees
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Adaptive Assessment Calibration via Dynamic Knowledge Graph Embedding for Online Learning
dev.to·5h·
Discuss: DEV
🗺️Competency Maps
Try the Goddamned Thing Out
sundaystopwatch.eu·1h·
Discuss: Hacker News
🔓Reverse engineering
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·2d
🧮SMT Solvers
Parametric Matrix Models
nature.com·3d·
Discuss: Hacker News
📐Linear Algebra
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
GPT-5 prompting guide
cookbook.openai.com·15h
⚡Proof Automation
What It’s Like to Brainstorm with a Bot
newyorker.com·1d·
Discuss: Hacker News
🔲Cellular Automata
How the Lean language brings math to coding and coding to math
amazon.science·5d·
Discuss: Hacker News
🔬Lean
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.com·16h·
Discuss: Hacker News
🧠Intelligence Compression
What even is distributed systems
notes.eatonphil.com·1d·
Discuss: Lobsters, Hacker News
🔀CRDT