⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Autoformalization of mathematical theorems? No shit!
freedommathdance.blogspot.com·12h·
Discuss: freedommathdance.blogspot.com
🔬Lean
A Theory of Inference Compute Scaling: Reasoning through Directed Stochastic Skill Search
arxiv.org·23h
🔍Type Inference
Show HN: An open-source code indexing and search tool
github.com·10h·
Discuss: Hacker News
🔍BitFunnel
C++ Encounters of the Rusty Zig Kind
hackaday.com·1d
🦀Rust Macros
Preventing ReDoS Attacks with Regolith
dev.to·2h·
Discuss: DEV
🔒Linear Types
Gradient Trouble
percisely.xyz·10h·
Discuss: Hacker News
📐Error Bounds
The God Protocols | Satoshi Nakamoto Institute
nakamotoinstitute.org·7h
🔑Cryptographic Protocols
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.how·1d·
Discuss: Lobsters, r/programming
🔗Monadic Parsing
Practical Combinatorial Testing
csrc.nist.gov·1d·
Discuss: Hacker News
🔍Concolic Testing
Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition
arxiv.org·23h
🎯Performance Proofs
5 Advanced RAG Architectures Beyond Traditional Methods
machinelearningmastery.com·15h
🌀Brotli Internals
BlackBoxToBlueprint: Extracting Interpretable Logic from Legacy Systems using Reinforcement Learning and Counterfactual Analysis
arxiv.org·23h
✓Automated Theorem Proving
Stop adding booleans to programming languages
goldenstack.net·1d·
Discuss: Hacker News
⛪Church Encoding
LLM Agent's Arsenal: A Beginner's Guide to the Action Space
pocketflow.substack.com·5h·
Discuss: Substack
⚡Proof Automation
Mathematical Analysis for School Students (1980)
archive.org·14h·
Discuss: Hacker News
🔬Lean
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
arxiv.org·23h
λLambda Encodings
Machine Learning Fundamentals: boosting
dev.to·10h·
Discuss: DEV
📊Feed Optimization
Vibe coding a Perl interface to a foreign library
chrisarg.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Show HN: I built a parser and lexer generator for Go
dcaiafa.github.io·11h·
Discuss: Hacker News, r/golang
⚙️Parser Generators
Agentic Coding Tools – Not Skynet, Not a Stochastic Parrot
brethorsting.com·1h·
Discuss: Hacker News
🔄Language Evolution