⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Researchers Discover a Cyber-Physical Bank Heist Powered by A 4G Raspberry Pi Implant
bastille.net·2d
📡Network Monitoring
Understanding OAuth Web Server Flow: A Beer Garden Analogy
stevetecharc.com·2d
🔐Capability Systems
Securing and governing the rise of autonomous agents​​
microsoft.com·2d
🔐Capability Systems
Video Games Weekly: Climbing games are so hot right now
engadget.com·1d
🏺Gaming Archaeology
Mapping urban gullies in the Democratic Republic of the Congo
nature.com·1d
📊Computational Geometry
The Struggle of Wrapping a JavaScript Game for Desktop
jslegenddev.substack.com·1d·
Discuss: Substack
🔓Open Source Software
We Are Still Unable to Secure LLMs from Malicious Inputs
schneier.com·1d·
Discuss: Hacker News, www.schneier.com
🛡️WASM Security
Proxmox Cluster Mini Rack
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab Clusters
Widespread Data Theft Targets Salesforce Instances via Salesloft Drift
cloud.google.com·2d·
Discuss: Hacker News, Hacker News
🎫Kerberos Attacks
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·5d·
Discuss: Hacker News
📼Tape Combinators
Why Clear Code Comments Save Startups Thousands: A Pre-Seed Funding Founder’s Guide
dev.to·1d·
Discuss: DEV
📏Code Metrics
The Conversational Shift: Are We Ready to Talk to a Device?
dev.to·17h·
Discuss: DEV
🌍Cultural Algorithms
Need help getting Rail Kit installed in Server Rack
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Hot Take: Most MCP Implementations Are Choosing the Wrong Transport Layer
dev.to·9h·
Discuss: DEV
🌐WebSocket Framing
Recently got a 4U rack-mount Desktop Case
reddit.com·9h·
Discuss: r/homelab
🖥️Terminal Renaissance
STRelay: A Universal Spatio-Temporal Relaying Framework for Location Prediction with Future Spatiotemporal Contexts
arxiv.org·2d
🔶Voronoi Diagrams
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·2d
📊Rate-Distortion Theory
Quantum-Circuit-Based Visual Fractal Image Generation in Qiskit and Analytics
arxiv.org·1d
📐Mathematical Art
WiseTech Global Limited (WTCHF) Q4 2025 Earnings Call Transcript
seekingalpha.com·6h
📋PREMIS Events
Worth seven times more on the stock market: open source pays off
heise.de·2d
🔓Open Source Software