⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

What Exif Data Reveals About Your Site
brainbaking.com·18h
🔍Format Forensics
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·17h·
Discuss: Hacker News
🏺Computational Archaeology
Program the BBC Micro in C with VBCC for 6502 on macOS Using Docker
retrogamecoders.com·19h·
Discuss: Hacker News
📟Terminals
Building Developer-First Identity Solutions with Brian Pontarelli [audio]
packetpushers.net·18h·
Discuss: Hacker News
🧲RISC-V Archaeology
My AI-Driven Identity Crisis
dusty.phillips.codes·1d·
Discuss: Hacker News
λLambda Formalization
AI's Security Crisis: Why Your Assistant Might Betray You
lastweekinaws.com·1d·
Discuss: Hacker News
📰RSS Archaeology
The Software of Science
mirawelner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
[P] Small and Imbalanced dataset - what to do
reddit.com·15h·
Discuss: r/MachineLearning
🧠Machine Learning
Scaling Agentic AI – Akka Leads the Way
news.ycombinator.com·17h·
Discuss: Hacker News
🌊Streaming Systems
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·1d
💧Liquid Types
On This Day in Math - August 15
pballew.blogspot.com·2h·
Discuss: www.blogger.com
🇬🇧British Computing
Google’s Agent-to-Agent (A2A) Protocol is here—Now Let’s Make it Observable
hackernoon.com·1d
🔌Interface Evolution
Automate AIOps with Amazon SageMaker Unified Studio projects, Part 1: Solution architecture
aws.amazon.com·2d
🏠Homelab Orchestration
Performance of GPT-5 in Brain Tumor MRI Reasoning
arxiv.org·2h
🧠Machine Learning
AI-Powered Anomaly Detection & Root Cause Analysis in Automated UI Regression Testing
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Pareto Multi-Objective Alignment for Language Models
arxiv.org·3d
🔗Monadic Parsing
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·3d
🌳Context free grammars
AI Weekend Projects That Slash Repetitive Work
dev.to·3d·
Discuss: DEV
📡RSS Automation
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·1d
🕸️Algebraic Topology
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·2d
🧠Intelligence Compression