🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Test whether a large integer is a square
johndcook.com·9h
📐Interval Arithmetic
derived set
ncatlab.org·1d
🧮Algebraic Archives
How to Prove That An Email Was Received
metaspike.com·1d
📄Document Digitization
abhisheksr01/spring-boot-microservice-best-practices
github.com·1d
🌊Streaming Systems
The Bitter Lesson is coming for Tokenization
lucalp.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Legendre and Ethereum
johndcook.com·20h
🔱Galois Cryptography
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·3d
💻Local LLMs
Context Engineering: A Primer
ai.intellectronica.net·18h·
Discuss: Hacker News
⚙️TLA+
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·6h
🧠Machine Learning
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·3d·
Discuss: Hacker News
📚Proof Pedagogy
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·3d·
Discuss: DEV
🎯Performance Proofs
Writing Toy Software Is a Joy
quiz.businessexplain.com·1d·
Discuss: Hacker News
🔩Systems Programming
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·2d
🔗Hash Chains
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·3d
🎯Performance Proofs
Programming Entry Level: how to interpreter
dev.to·2d·
Discuss: DEV
🔗Lisp
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·13h·
Discuss: DEV
⚡Effectful Programming
Deciding Termination of Simple Randomized Loops
arxiv.org·3d
🌳Persistent Data Structures
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1d·
Discuss: DEV
🤖Lisp Machines