⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Google- and Dell-Backed SingleStore Nears Sale to Vector Capital
bloomberg.com·18h·
Discuss: Hacker News
🔍BitFunnel
A uniform, planned, and practiced response is the foundation of a safe school
iloveuguys.org·1d·
Discuss: Hacker News
🚨Incident Response
Watch: Footage shows second claimed attack on Greta Thunberg Gaza flotilla
bbc.com·18h
🎞️MKV Forensics
Atlassian just announced they’re sunsetting Data Center by 2029.
nextcloud.com·1d·
Discuss: Hacker News, r/selfhosted
🌊Streaming Systems
Hollow Knight: Silksong has caused bedlam in the gaming world – and the hype is justified
theguardian.com·20h
🕹️Retro Gaming
Immich Installation Help: Host Networking Port Conflict
reddit.com·18h·
Discuss: r/homelab
🔄Sync Engine
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·20h
⚡Homebrew CPUs
Arc gets its first major order for electric tugboats worth $160M
techcrunch.com·16h
🖥️Modern Terminals
UK policing watchdog finds National Crime Agency heavily reliant on weak legacy systems
techradar.com·1d
✅Archive Fixity
[p] Why per row context understanding is important for data transformations and here's how you can use LLMs to do so
reddit.com·4d·
Discuss: r/MachineLearning
🔗Constraint Handling
The Story of British Billionaire Mike Lynch’s Tragic Boat Sinking
wired.com·1d·
Discuss: Hacker News, r/TrueReddit, r/technews
🏴‍☠️Piracy
As hackers exploit one high-severity SAP flaw, company warns of 3 more
arstechnica.com·1d·
Discuss: Hacker News
🔓Hacking
The iPhone 17 Pro has one major feature that makes it a must-buy for AI
techradar.com·18h
🖥️Vintage Macintosh
“No More IT Headaches: Meet Bumblebot, Your AI Fixer"
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Daily briefing: Different people’s brains process colours in the same way
nature.com·1d
🔲Cellular Automata
Top OpenAI exec dishes at a Goldman Sachs conference. Here are all the numbers.
businessinsider.com·16h
🔓Open Source Software
Resilience 2.0: EU Commission wants to drive forward European AI base models
heise.de·14h
🇩🇪German Computing
GTI Asia China Expo 2025 Day 1: New Arcade Games Debut In China
arcadeheroes.com·10h
🕹️Retro Gaming
ClearBridge Mid Cap Growth Strategy Q2 2025 Commentary
seekingalpha.com·6h
⚡HTMX
How AI is Quietly Revolutionizing the Way We Experience Healthcare
dev.to·3d·
Discuss: DEV
💻Local LLMs