📚 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·9h·
Discuss: Hacker News
✅FLAC Verification
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·1d
📐Interval Arithmetic
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
How to instantly be better at things
usefulfictions.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Gradual negation types and the Python type system
jellezijlstra.github.io·23h·
Discuss: Hacker News
🔬Refinement Types
Getting past LLM "day one" problem with MIRIX
fujimon.com·1h·
Discuss: Hacker News
💾Persistence Strategies
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·4d·
Discuss: Hacker News
🔲Cellular Automata
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
A Neural Net For a Graphing Calculator?
hackaday.com·22h
🤖Advanced OCR
ChatGPT is not AI
newsletter.techworld-with-milan.com·15h·
Discuss: Hacker News
🎙️Whisper
Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
arxiv.org·1d
🗺️Competency Maps
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages
Playful Math 181: The Symmetry Carnival
denisegaskins.com·2d
📐Mathematical Art
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·14h·
Discuss: DEV
🧠Machine Learning
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·2h
🎧Learned Audio
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·2d
🌳Context free grammars
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·2h
🌐Computational Topology
Where Security Begins: 5 Insights from the Intersection of Engineering and Teaching
hackernoon.com·1d
🛡Cybersecurity