⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Building Tools with GPT-5
macstories.net·1d
📏Code Metrics
It's the certificates, stupid!
reverse.put.as·1d
🏺Kerberos Archaeology
How to tell when AI is lying to you
read.highgrowthengineer.com·2d
⚡Proof Automation
Service Model (Book) System Design for Task Management
varunmehta.github.io·12h·
Discuss: Hacker News
⚙️TLA+
Vibe Server
vibe.des.io·4h·
Discuss: Hacker News
🚀Indie Hacking
Two hours with Cursor changed my mind about AI coding
betweentheprompts.com·16h·
Discuss: Hacker News
🏗️Compiler Archaeology
Building AI agents made easy with Goose and Docker
docker.com·12h
🏠Homelab Orchestration
Notes on last week's GPT-5 release
blog.sourcetable.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
DKG-LLM : A Framework for Medical Diagnosis and Personalized Treatment Recommendations via Dynamic Knowledge Graph and Large Language Model Integration
arxiv.org·2d
🔍Information Retrieval
Milvus: The Vector Database That Will Change Your AI Development Game
dev.to·15h·
Discuss: DEV
🚀SIMD Parsing
Aligning Effective Tokens with Video Anomaly in Large Language Models
arxiv.org·2d
🗜️LZW Variants
Novel View Synthesis with Gaussian Splatting: Impact on Photogrammetry Model Accuracy and Resolution
arxiv.org·1d
📐Projective Geometry
Towards Human-AI Collaboration System for the Detection of Invasive Ductal Carcinoma in Histopathology Images
arxiv.org·1d
🧠Machine Learning
Can Smaller Large Language Models Evaluate Research Quality?
arxiv.org·1d
🧠Intelligence Compression
Automated Validation Pipeline for High-Dimensional Scientific Data Analysis
dev.to·1d·
Discuss: DEV
🔍FLAC Forensics
RORPCap: Retrieval-based Objects and Relations Prompt for Image Captioning
arxiv.org·1d
🤖Advanced OCR
A Physics-informed Deep Operator for Real-Time Freeway Traffic State Estimation
arxiv.org·1d
🧠Machine Learning
Automated Microstructure Analysis for Predictive Material Degradation Modeling
dev.to·20h·
Discuss: DEV
🏺Computational Archaeology
A Risk Taxonomy and Reflection Tool for Large Language Model Adoption in Public Health
arxiv.org·50m
✨Effect Handlers
Redis-Powered Crypto EdTech Content Pipeline: Scraping, Processing & Curation
dev.to·1d·
Discuss: DEV
⚡Redis Internals