📚 Proof Pedagogy

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

Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·1d
🔄Reproducible Builds
Show HN: Rastion – Autonomous Monitoring Systems
rastion.com·17h·
Discuss: Hacker News
⚙️Batch Processing
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·1d
📐Interval Arithmetic
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·1d·
Discuss: Hacker News
🔬Refinement Types
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages
ChatGPT is not AI
newsletter.techworld-with-milan.com·19h·
Discuss: Hacker News
🎙️Whisper
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·6h
🎧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·6h
🌐Computational Topology
Where Security Begins: 5 Insights from the Intersection of Engineering and Teaching
hackernoon.com·1d
🛡Cybersecurity
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·6h
📊Quantization
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·6h
🔲Cellular Automata
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·6h
🧠Machine Learning
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·1d
💻Local LLMs
AI-Powered Quiz Generator - SyllabusQuiz
dev.to·5h·
Discuss: DEV
⚡Proof Automation
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·6h
⚙️Compression Benchmarking
From Neural Network Frustration to Mathematical Innovation
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·1d
🔍RegEx Engines