⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A new information-theory framework reveals when multi-agent AI systems truly work as a team
the-decoder.com·5h
🔲Cellular Automata
Building your MCP server with Laravel
sevalla.com·2d·
Discuss: Hacker News
🔗Constraint Handling
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Memgoose – An In-Memory Mongoose Impersonator
github.com·5h·
Discuss: Hacker News
🔄Sync Engine
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
The Porcelain to Come
stackdiver.com·16h·
Discuss: Hacker News
🔲Cellular Automata
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·2h·
Discuss: DEV
📊Spectral Analysis
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
💻Programming languages
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com·1h·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Beneficial Reasoning Behaviors in Agentic Search and Effective Post-training to Obtain Them
arxiv.org·2d
🔍Semantic Search
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·11h·
Discuss: DEV
🕵️Feed Discovery
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
CLI tool that translates plain English into Linux commands
reddit.com·23h·
Discuss: r/linux
📝Shell Parsing