⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Concentration, risks and portfolio sizing
gustavsaktieblogg.blogspot.com·7h·
Discuss: gustavsaktieblogg.blogspot.com
🔍BitFunnel
Trump Exempts Gold, Tungsten and Uranium From Global Tariffs
bloomberg.com·21h
📲Digitization
Social dynamics of Bluetooth speakers (2022)
dynomight.net·13h·
Discuss: Hacker News
🔲Cellular Automata
Tariffs as Siege Engines – The Long War on China
themindness.substack.com·5h·
Discuss: Substack
🔐Systems Hardening
The Value of PCAP in Firewall Investigations
blogs.cisco.com·3d
🕵️Network Forensics
An update on my microSD card testing project
reddit.com·3h·
Discuss: r/homelab
🎯Emulator Accuracy
Double Maths First Thing: Issue 34
aperiodical.com·3d
⚙️Proof Engineering
OpenBSD Adds Early Raspberry Pi 5 Support
discoverbsd.com·3d
🐡OpenBSD
🐍 Tuples & Named Tuples in Python: The Clever Way to Structure Data
dev.to·3d·
Discuss: DEV
🗂Data structures
Beyond Prediction: Reinforcement Learning as the Defining Leap in Healthcare AI
arxiv.org·5d
🧠Machine Learning
Goodbye Manual QA: MetaGPT’s User Agent Delivers 92% Accurate End‑to‑End GUI Testing with Higher Consistency than Claude
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Deep Reinforcement Learning for Real-Time Drone Routing in Post-Disaster Road Assessment Without Domain Knowledge
arxiv.org·3d
🧠Machine Learning
The MSSP Portal Cloud Operations Solution
crestdata.ai·1d·
Discuss: Hacker News
📊Homelab Monitoring
The End of Legacy Code? AI Refactoring at Scale
dev.to·4d·
Discuss: DEV
🔄Language Evolution
Stealth Mode for Smart Factories: Protecting Machine Code with Adaptive AI
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
A Unified Low-level Foundation Model for Enhancing Pathology Image Quality
arxiv.org·3d
📸PNG Optimization
SimulMEGA: MoE Routers are Advanced Policy Makers for Simultaneous Speech Translation
arxiv.org·3d
⧗Information Bottleneck
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·2d
🔄Finite State Machines
Normal and Atypical Mitosis Image Classifier using Efficient Vision Transformer
arxiv.org·2d
🔤Character Classification
Pan-Cancer mitotic figures detection and domain generalization: MIDOG 2025 Challenge
arxiv.org·2d
🧬Copy Number Variants