⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Ed25519 Support in Chrome: Making the Web Faster and Safer
ipfsfoundation.org·9h·
Discuss: Lobsters
🌐Web Standards
Haskell Crash Course
yager.io·2d
🔗Lisp
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Great Ideas in Theoretical Computer Science
ocw.mit.edu·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
State of torch.compile for training (August 2025)
blog.ezyang.com·1d·
Discuss: Hacker News
🦀Rust Macros
How to Use LLMs for Powerful Automatic Evaluations
towardsdatascience.com·1d
🔗Constraint Handling
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·3d
🎯Performance Proofs
Vibe Coding Awareness Month
hellotonic.com·1d·
Discuss: Hacker News
🔄Language Evolution
How to Deploy Vertex AI Workbench with Terraform — Without UI Pain
hackernoon.com·9h
🏠Homelab Orchestration
IADGPT: Unified LVLM for Few-Shot Industrial Anomaly Detection, Localization, and Reasoning via In-Context Learning
arxiv.org·12h
🧠Machine Learning
Automated Ontology Alignment for Rare Disease Knowledge Integration
dev.to·1d·
Discuss: DEV
🔢Denotational Semantics
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·3d
💻Local LLMs
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🔄Finite State Machines
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·12h
🕰️RetroCRDTs
Developers Think "Testing" is Synonymous with "Unit Testing" – @garthgilmourni
youtube.com·2d
🔍Concolic Testing
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
arxiv.org·2d
🌀Differential Geometry
Show HN: Wrote a small tool that turns PDFs and docs into fine-tuning datasets
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
“My biggest lesson was realizing that domain expertise matters more than algorithmic complexity.“
towardsdatascience.com·1d
🌍Cultural Algorithms
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference
arxiv.org·12h
🧮Kolmogorov Complexity
This Candidate is [MASK]. Prompt-based Sentiment Extraction and Reference Letters
arxiv.org·12h
⚙️Compression Benchmarking