📚 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
How to Design A Session
zettelkasten.de·1d·
Discuss: r/programming
⬜Minimalism
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·18h·
Discuss: Hacker News
📟Terminals
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·20h·
Discuss: Hacker News
📋Document Grammar
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Flag this post
Linus Tech Tips (LTT): That Isn't Me
dev.to·1h·
Discuss: DEV
🕹️Retro Gaming
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
How to Use Chatbot in Education
dev.to·7h·
Discuss: DEV
🎙️Whisper
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·1d
⚡Proof Automation
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·21h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
Skills, MCPs, and Commands are the same context engineering trend.
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
Generative chatbots promise personalized education at scale but struggle with accuracy issues
phys.org·2d
🤖Grammar Induction
Flag this post
Making Evidence Actionable in Adaptive Learning
arxiv.org·4d
⚡Incremental Computation
Flag this post
Build AI Assistants using Large Language Models and Agents to Enhance the Engineering Education of Biomechanics
arxiv.org·2d
🗺️Competency Maps
Flag this post
Crawler-Detect: A PHP Library for Bot Detection
dev.to·10h·
Discuss: DEV
🎯Threat Hunting
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.com·14h·
Discuss: r/MachineLearning
🌳Context free grammars
Flag this post
Writing for Your Audience: How to Know Who They Are
dev.to·1d·
Discuss: DEV
🎯Content Recommendation
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
Tech With Tim: These Tools Changed My Python Workflow
dev.to·23h·
Discuss: DEV
⚔️Lean Tactics
Flag this post