📚 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·20h·
Discuss: Hacker News
✅FLAC Verification
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·4h·
Discuss: Hacker News
🔐Capability Systems
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·2d
📐Interval Arithmetic
Gradual negation types and the Python type system
jellezijlstra.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Getting past LLM "day one" problem with MIRIX
fujimon.com·12h·
Discuss: Hacker News
💾Persistence Strategies
Connecting legibility to theory building in programming
ashwinsundar.com·3d·
Discuss: Hacker News
💻Programming languages
How to instantly be better at things
usefulfictions.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
AI-Powered Quiz Generator - SyllabusQuiz
dev.to·12h·
Discuss: DEV
⚡Proof Automation
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·13h
⚙️Compression Benchmarking
From Neural Network Frustration to Mathematical Innovation
dev.to·9h·
Discuss: DEV
🧠Machine Learning
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
Code Smells in Clojure
github.com·19h·
Discuss: Hacker News
🦀Rust Borrowing
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·15h·
Discuss: DEV
⚡SIMD Optimization
Python Interview Questions
dev.to·1d·
Discuss: DEV
💻Programming languages
Leveraging Pre-Trained Visual Models for AI-Generated Video Detection
arxiv.org·13h
📊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·11h
🤖AI Paleography