⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

RedExt – Browser Extension-Based C2 Framework for Red Team Recon
darknet.org.uk·21h
🚀Indie Hacking
From a Scary Moment to a Daring Moment: My Wikimedia Hackathon Experience
diff.wikimedia.org·2d
🏛Digital humanities
A Privacy Shield in the Wake of AT&T Data Breaches
puri.sm·3d
💿WORM Storage
Intentional Risk Management
leadinginproduct.com·3d·
Discuss: Hacker News
🎯Threat Hunting
Built a full-stack QR code app with auth in 15 minutes using InstantDB
news.ycombinator.com·2d·
Discuss: Hacker News
📱QR Archaeology
crosstool-ng/crosstool-ng
github.com·2d
🌿git
Why AI Isn’t Ready to Be a Real Coder
spectrum.ieee.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/technews
📏Code Metrics
Interpolating Speaker Identities in Embedding Space for Data Expansion
arxiv.org·2d
🎵Acoustic Fingerprinting
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·4d·
Discuss: r/kubernetes
📦Container Security
Assessing Your Organization’s Digital Asset Management Needs
weareavp.com·2d
🔗Data Provenance
The AI Bubble: Now With Extra Hype™ - Gamer Edition
dev.to·1d·
Discuss: DEV
🕹️Retro Gaming
AI development services and ML development services with Offshore AI/ML Development Services
dev.to·1d·
Discuss: DEV
🧮Z3 Applications
Master Memory Usage in Go: Practical Analysis and Monitoring Tips
dev.to·4d·
Discuss: DEV
🧠Memory Allocators
Optimizing Hydrogen Production via Dynamic Membrane Reactor Control with Bayesian Optimization
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Changed the case for no reason, but now I'm able to move it to a rack, just I'm a dumbass
reddit.com·1d·
Discuss: r/homelab
🎮Switch Archaeology
CardioMorphNet: Cardiac Motion Prediction Using a Shape-Guided Bayesian Recurrent Deep Network
arxiv.org·18h
🌀Riemannian Computing
EEGDM: Learning EEG Representation with Latent Diffusion Model
arxiv.org·18h
🧠Machine Learning
Anthropic warns that its Claude AI is being 'weaponized' by hackers to write malicious code
techradar.com·10h
🔓Hacking
Cut Complexity, Control Data: The Path To AI at Scale
thenewstack.io·2d
🏠Homelab Orchestration
I built Ubon, a tool to catch bugs that AI misses to stop the "You're absolutely right!" debugging circles.
github.com·4d·
Discuss: Hacker News, r/ClaudeAI, r/javascript
✅Archive Validation