⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

CLI tool that translates plain English into Linux commands
reddit.com·18h·
Discuss: r/linux
📝Shell Parsing
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·2d
🧬Functional Programming
Building your MCP server with Laravel
sevalla.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Slip – A Lisp System in JavaScript
lisperator.net·20h·
Discuss: Hacker News
🔗Lisp
GPT-5 for AI-assisted discovery
johndcook.com·19h·
Discuss: Hacker News
🎯Performance Proofs
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
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
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·20h·
Discuss: DEV
📊Multi-vector RAG
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5d·
Discuss: DEV
📏Code Metrics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·3h·
Discuss: DEV
🛡️Error Boundaries
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·14h·
Discuss: Hacker News
⚡Performance Mythology
English - the hottest programming language of the future
dev.to·16h·
Discuss: DEV
🔄Language Evolution
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
The Porcelain to Come
stackdiver.com·11h·
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