📚 Proof Pedagogy

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

June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
My AI Workflow for Understanding Any Codebase
steipete.me·15h
⚡Proof Automation
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Stop Words Using Spacy - NLP
dev.to·1d·
Discuss: DEV
📝Text Parsing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·18h·
Discuss: DEV
📐Error Bounds
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
4 Month Journey to Cissp – 2025
lampysecurity.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·21h
🧠Intelligence Compression
How to Learn Programming for Data Science: A Roadmap for Beginners
kdnuggets.com·2d
🧪Data science
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·15h·
Discuss: Hacker News, r/programming
🔗Lisp
Machine Learning Fundamentals: active learning project
dev.to·10h·
Discuss: DEV
🧠Machine Learning
Framework for Skill Learning
news.ycombinator.com·2d·
Discuss: Hacker News
🔗Constraint Handling
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·9h
💻Local LLMs
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·12h·
Discuss: DEV
🧠Machine Learning