⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
VLLM Predicted Outputs
cascadetech.ai·3h·
Discuss: Hacker News
💻Local LLMs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
The Programmer Identity Crisis
hojberg.xyz·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·23h·
Discuss: DEV
🌳Context free grammars
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·13h·
Discuss: DEV
🤖Paleographic AI
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·6h·
Discuss: Hacker News
🚀Indie Hacking
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs