⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

HPE ProLiant, Signs of Age.
blog.fernvenue.com·4h
🔌Operating system internals
The lead-up
acdalal.wordpress.com·4d
💻CS
Whitwam AVI balances tradition and technology at Saint
madcornishprojectionist.co.uk·4h
🎬AV1 Encoding
Emmys 2025: How Stephen Colbert Stole a Show That Needed Stealing
rollingstone.com·2h
⏱️SMPTE Timecode
UK and US line up string of deals to build modular nuclear reactors in Britain
theguardian.com·10h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
S4 Capital sales slump as ‘unsettling’ US tariff talks weigh on marketing spend
the-independent.com·6h
📡RSS
Magical systems thinking
worksinprogress.co·3d·
Discuss: Hacker News, Hacker News
⚙️systems theory
Google Has Finally Set Usage Limits for Gemini AI (Based on How Much You Pay)
lifehacker.com·2d
🤖AI Curation
Study Shows Brain Signals Only Matter if They Arrive on Time
scitechdaily.com·43m
👂Psychoacoustics
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·6d·
Discuss: Hacker News
📏Code Metrics
Unifying Business Intelligence Through System Integration
dev.to·3d·
Discuss: DEV
🔗Data Provenance
Warp Embeds AI Agents into a CLI to Provide Better Feedback Loop
devops.com·4d
🏗️Compiler Archaeology
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·3d
⚡Circuit Design
996: The truth about working hours, then and now
medium.com·12h·
Discuss: Hacker News
🇨🇳Chinese Computing
GitHub Copilot coding agent 101: Getting started with agentic workflows on GitHub
github.blog·3d
🔓Open Source Software
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
Bit of unprocessed Gyökeres helps transformed Arsenal finish off Forest | Barney Ronay
theguardian.com·1d
🎯Proof Tactics
Josh Kerr ready for ‘real battle’ as Niels Laros qualifies quickest for world 1500m final
the-independent.com·22m
⚙Backus-Naur Form
DIY NAS
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
The New York Giants are 0-2 again. But are they finally ... watchable?
theguardian.com·8h
📟Terminal Forensics