⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

The Programmer Identity Crisis
hojberg.xyz·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
CLI tool that translates plain English into Linux commands
reddit.com·13h·
Discuss: r/linux
📝Shell Parsing
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·1d·
Discuss: DEV
🌳Context free grammars
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·1d
🧬Functional Programming
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🎧Learned Audio
Operable Software
ferd.ca·15h·
Discuss: Hacker News
👁️System Observability
Neuro-Symbolic AI
en.wikipedia.org·14h·
Discuss: Hacker News
🔲Cellular Automata
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·11h·
Discuss: Hacker News
🚀Indie Hacking
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
The Trillion Dollar AI Software Development Stack
a16z.com·7h·
Discuss: Hacker News
⚡Proof Automation
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·7h·
Discuss: Hacker News
🎯Performance Proofs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚡Dependent Rust
The Linus Method: How we simiplifed RFC reviews
devashish.me·12h·
Discuss: Hacker News
⚙️Proof Engineering
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
GPT-5 for AI-assisted discovery
johndcook.com·14h·
Discuss: Hacker News
🎯Performance Proofs
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·1d
🔍Information Retrieval