⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Everything Wrong with Material 3 Expressive
xylight.dev·3h·
Discuss: Hacker News
🎯Emulator Accuracy
Playing the Field with My A.I. Boyfriends
newyorker.com·2d·
Discuss: r/Longreads
🏛Digital humanities
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🌊Stream Processing
RISC V Latest Developments Discussion [No Politics]
forums.anandtech.com·2d
🧲RISC-V Preservation
Opinion: Artificial intelligence is here to stay, so let’s teach it in class
mercurynews.com·1h
🤖AI Curation
Teams Outlast Projects
frederickvanbrabant.com·2d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Did NASA's Perseverance rover find evidence of ancient life on Mars? The plot thickens
space.com·3h
🏺Kerberos Archaeology
Experiences in Groups
nplusonemag.com·3h
📖Nordic Typography
How should I structure this project?
reddit.com·2d·
Discuss: r/golang
🌊Streaming Databases
Perplexity wants to get discounted AI products into the US government too
theregister.com·2d·
Discuss: Hacker News
🏠Homelab Federation
AWS cost us 48 hours
medium.com·3d·
Discuss: Hacker News
🌊Streaming Systems
32% of Senior Developers Say Half Their Shipped Code is AI-Generated
developers.slashdot.org·3d
📏Code Metrics
25% of Minecraft admins have lost friends over server decisions according to study
techradar.com·3h
🔗Proxmox Clustering
Advanced X-ray technique enables first direct observation of magnon spin currents
phys.org·1h
🧲Magnetic Recording
Solving Inverse Acoustic Obstacle Scattering Problem with Phaseless Far-Field Measurement Using Deep Neural Network Surrogates
arxiv.org·2d
🔗Tailscale
Genetic fingerprint approach enhances detection of gene-edited organisms
phys.org·2d
🧬Copy Number Variants
Rithm Capital's Updated Sector Comparative Analysis - Part 1 (Includes Recommendation For 17 Peers As Of 9/5/2025)
seekingalpha.com·3h
⚡HTMX
Israeli-Russian graduate student kidnapped in Iraq has been released, Trump and family say
the-independent.com·21h
🔎OSINT Techniques
Looking for advice: how to properly separate my homelab from my home network?
reddit.com·13h·
Discuss: r/homelab
🖥Home Lab Setup
AI for Solopreneurs: Build More With Less
dev.to·2d·
Discuss: DEV
🌀Brotli Internals