⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

derived set
ncatlab.org·4h
🧮Algebraic Archives
Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Make Sense of a 10K+ Line GitHub Repos Without Reading the Code
kdnuggets.com·1d
🌿git
Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes
The more LLMs think, the worse they translate
nuenki.app·7h·
Discuss: Hacker News
⚙️Compression Benchmarking
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·21h·
Discuss: Hacker News
🏠Homelab Orchestration
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·10h·
Discuss: DEV
🧮Kolmogorov Complexity
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·23h·
Discuss: DEV
🔗Concatenative Programming
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros