⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

AMD RDNA 4 GPU Architecture at Hot Chips 2025
servethehome.com·20h·
Discuss: Hacker News, r/hardware
⚡Homebrew CPUs
ClemensElflein/OpenMower: Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!
github.com·2d
⚙️DIY Electronics
Optimizing our way through Metroid
antithesis.com·4d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
Google’s AI model just nailed the forecast for the strongest Atlantic storm this year
arstechnica.com·4h
🧮Kolmogorov Bounds
Set up a Playwright Browser Server in AWS EC2
blog.devops.dev·4d
🔄Sync Engine
Fremont woman got out of the shower and came face-to-face with iPhone camera
mercurynews.com·1d
🚨Incident Response
Show HN: Zen Lake – 50B-digit π computation on modest hardware
github.com·4d·
Discuss: Hacker News
⚡Homebrew CPUs
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·15h
📊Quantization
Questions about a new Home Lab build. Lots of questions.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Why Analyze Microneedling Treatment Data with Python?
dev.to·3d·
Discuss: DEV
🧪Data science
AI That Coaches You Live — During Job Interviews
vibe.forem.com·1d·
Discuss: DEV
⚡Proof Automation
IRE A HACKER RECOVERY CRYPTOCURRENCY / BANK RECOVERY EXPERT OPTIMUM HACKER RECOVERY
dev.to·2h·
Discuss: DEV
🔗Hash Chains
AI Code Generation: Trust and Verify, Always
thenewstack.io·4d
⚙️Proof Engineering
Robust Multi-Scale GRN Dynamics Prediction via Causal Tensor Decomposition
dev.to·2d·
Discuss: DEV
🕸️Tensor Networks
The Pain of Building My Own Fully-Featured Locally Hosted ChatGPT Out of Open Source Tools And a Franken Laptop
dev.to·2d·
Discuss: DEV
🖥️Terminal Renaissance
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·1d
✅FLAC Verification
Spiders Based on Anxiety: How Reinforcement Learning Can Deliver Desired User Experience in Virtual Reality Personalized Arachnophobia Treatment
arxiv.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Impact of Visual Segmentation on Lexical Word Recognition
arxiv.org·15h
📄OCR
Speech-Based Depressive Mood Detection in the Presence of Multiple Sclerosis: A Cross-Corpus and Cross-Lingual Study
arxiv.org·15h
🎙️Whisper
The Hidden Risk of Consumer Devices in the Hybrid Workforce
darkreading.com·5h
🏠Homelab Security