⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

The Artwork That Spawned 9/11 Conspiracy Theories and Mystery
rollingstone.com·1d
📼Cassette Culture
We Built a Vehicle History Report from Scratch
cardog.app·1d·
Discuss: Hacker News
🗄️Database Internals
Building a Multilingual Blog with FastHTML
simn.fr·4d·
Discuss: Hacker News
🦋Format Metamorphosis
9/11 Myths About United Flight 93: Debunked
popularmechanics.com·23h
🔍Polish Cryptanalysis
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·4d·
Discuss: Hacker News
⚡Proof Automation
Why retention is so hard for new tech products
andrewchen.substack.com·1d·
Discuss: Substack
💾Persistence Strategies
Astrophysicists Zero In on Source of Strange Gamma-Ray Signals
scitechdaily.com·15h·
Discuss: r/space
⏰Time Crystals
AI Will Not Make You Rich
joincolossus.com·15h·
Discuss: Hacker News
🍎Apple Computing
Jamal Fogarty isn't the perfect halfback but he's the perfect halfback for Canberra
abc.net.au·15h
⚔️Lean Tactics
Which iPhone 17 Model Should You Buy?
wired.com·17h
🖥️Vintage Macintosh
Funding, growth, and the next frontier of AI coding agents
cognition.ai·3d·
Discuss: Hacker News
🌀Brotli Internals
Bringing memory to teams at work
anthropic.com·1d·
Discuss: Hacker News
🤖Archive Automation
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·5d·
Discuss: Hacker News
🔄Lens Laws
Linguistic Hooks: Investigating The Role of Language Triggers in Phishing Emails Targeting African Refugees and Students
arxiv.org·4d
🛡Cybersecurity
XLI: Quiet Lately, But Expecting Year-End Industrials Strength
seekingalpha.com·44m
📡RSS
PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
arxiv.org·3d
🕸️Graph Embeddings
What can I do with this?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·4d·
Discuss: Hacker News
✅Format Verification
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·2d
🔄Language Evolution
Hyper-Dimensional Residual Network Refinement for Conformational Landscape Sampling of Glycoprotein Domains
dev.to·3d·
Discuss: DEV
🧠Machine Learning