📚 Proof Pedagogy

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

14.03 The Workshop
johnnydecimal.com·2d
⚔️Lean Tactics
Flag this post
Advice for crime analyst to break into data science
andrewpwheeler.com·2d·
Discuss: Hacker News
🧪Data science
Flag this post
I reached typing 112 WPM and how you can too
starikov.co·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·19h·
Discuss: Hacker News
📟Terminals
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·21h·
Discuss: Hacker News
📋Document Grammar
Flag this post
Editing Code in Emacs
redpenguin101.github.io·2h·
Discuss: Hacker News
📺VT100
Flag this post
The Limits of Formal Security Models – Dorothy E. Denning (1999)
faculty.nps.edu·3d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Linus Tech Tips (LTT): That Isn't Me
dev.to·1h·
Discuss: DEV
🚀Indie Hacking
Flag this post
Python dev learning Go: What's the idiomatic way to handle missing values?
reddit.com·2d·
Discuss: r/golang
⚔️Lean Tactics
Flag this post
Generative chatbots promise personalized education at scale but struggle with accuracy issues
phys.org·2d
🤖Grammar Induction
Flag this post
Packaging and Releasing ContextWeaver for Lab 9
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
🎓 Capstone Project Completed! 🚀
dev.to·1d·
Discuss: DEV
🕵️Metadata Mining
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
How to Humanize AI-Generated Content the Right Way (Tutorial)
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
SemanticCite: Citation Verification with AI-Powered Full-Text Analysis and Evidence-Based Reasoning
arxiv.org·2d
📊Citation Graphs
Flag this post
CARE: Turning LLMs Into Causal Reasoning Expert
arxiv.org·2d
🤖Grammar Induction
Flag this post
Day 41: Python Happy Number Checker, Detect Numbers Leading to 1 Through Digit Square Sums with Cycle Detection
dev.to·2d·
Discuss: DEV
📐Interval Arithmetic
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post