📚 Proof Pedagogy

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

Show HN: TrueSift – AI-Powered Real-Time Fact-Checking Chrome Extension
truesift.dev·1d·
Discuss: Hacker News
✅FLAC Verification
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·8h·
Discuss: Hacker News
🔐Capability Systems
AtCoder Finals Problem Statement
atcoder.jp·2d·
Discuss: Hacker News
🇯🇵Japanese Computing
Gradual negation types and the Python type system
jellezijlstra.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·5d·
Discuss: Hacker News
🔲Cellular Automata
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·12h·
Discuss: Hacker News
🔐Quantum Security
How to instantly be better at things
usefulfictions.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Getting past LLM "day one" problem with MIRIX
fujimon.com·16h·
Discuss: Hacker News
💾Persistence Strategies
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·17h
⚙️Compression Benchmarking
From Neural Network Frustration to Mathematical Innovation
dev.to·13h·
Discuss: DEV
🧠Machine Learning
“Fake It Till You Make It” vs. Building Real Tech
dev.to·3h·
Discuss: DEV
🚀Indie Hacking
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·1d
🔍RegEx Engines
ChatGPT is not AI
newsletter.techworld-with-milan.com·1d·
Discuss: Hacker News
🎙️Whisper
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·19h·
Discuss: DEV
⚡SIMD Optimization
Python Interview Questions
dev.to·2d·
Discuss: DEV
💻Programming languages
Leveraging Pre-Trained Visual Models for AI-Generated Video Detection
arxiv.org·17h
📊Learned Metrics
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·2d
💻Local LLMs
What AI Can Do, and What we Can Build
hackernoon.com·15h
🤖AI Paleography
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·2d·
Discuss: r/MachineLearning
📊Learned Metrics
Divine Documentation
aneeshsathe.com·2d·
Discuss: Hacker News
🔗Concatenative Programming