⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

LLMs and reinforcement learning
sicpers.info·1d
⚔️Lean Tactics
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·4d
🎯Proof Tactics
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·8h
🖥️Modern Terminals
Better vector search with graphs and spectral indexing
tuned.org.uk·3h·
Discuss: Hacker News
🗂️Vector Databases
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·9h·
Discuss: DEV
📏Code Metrics
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
CLI tool that translates plain English into Linux commands
reddit.com·1d·
Discuss: r/linux
📝Shell Parsing
Stop Worrying and Love the Bomb
bitbytebit.substack.com·8h·
Discuss: Substack
⚙️Build Archaeology
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Building a Task Management MCP Server with Laravel
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·2d
🧬Functional Programming
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1d
🎯Gradual Typing
Generalized Orders of Magnitude (GOOMs)
github.com·7h·
Discuss: Hacker News
🕸️Tensor Networks
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·17h·
Discuss: DEV
🇨🇳Chinese Computing
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
The Custom Conveyor: Building Your Own Iterators
dev.to·18h·
Discuss: DEV
🔄Burrows-Wheeler
Detecting Distillation Data from Reasoning Models
arxiv.org·4d
⚙️ABNF Mining