⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Two Elevator Pitches
irreal.org·5h
📟Terminals
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundation; Gabriele Paoloni, Red Hat
elisa.tech·4d
📜Proof Carrying Code
60 RubyGems Packages Steal Data From Annoying Spammers
darkreading.com·2d
🚀Indie Hacking
OpenBSD Seeks Testers for USB Webcam H.264 Support
discoverbsd.com·2d
🔌Operating system internals
Firecracker: Start a VM in less than a second (2021)
jvns.ca·3h·
Discuss: Hacker News
⚙️WASM Runtime
Algorithmic Collusion of Pricing and Advertising on E-Commerce Platforms
papers.ssrn.com·3d·
Discuss: Hacker News
🔍BitFunnel
Show HN: GPT-5 Document Retrieval – AI Assistant with Inline Citations
smartresearch-ai.com·2d·
Discuss: Hacker News
🔬Academic Search
My take on Send and Sync
blog.cuongle.dev·2d
🔒Type Safety
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Anti-Jamming Sensing with Distributed Reconfigurable Intelligent Metasurface Antennas
arxiv.org·2d
⚽Sphere Packing
Security Affairs newsletter Round 536 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·18h
🔓Hacking
Integrated Influence: Data Attribution with Baseline
arxiv.org·2d
⚖️Feed Ranking
Exploring AI Memory Architectures (Part 2): MemOS Framework
blog.lqhl.me·19h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Learning AI Auditing: A Case Study of Teenagers Auditing a Generative AI Model
arxiv.org·2d
⚡Proof Automation
AI-Driven Geospatial Optimization of Rare Earth Element Extraction from Volcanic Ash Deposits
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Dynamic Biomarker Prediction via Federated Learning with Temporal Alignment
dev.to·2d·
Discuss: DEV
🧠Machine Learning
PentestJudge: Judging Agent Behavior Against Operational Requirements
arxiv.org·4d
🎯Threat Hunting
AI-Driven Prior Art Search and Patentability Assessment via Semantic Network Analysis
dev.to·3d·
Discuss: DEV
🤖AI Curation
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·3d
🤖Automated Parsing
Automated Fault-Tolerant Path Planning for Mobile Robots in Dynamic Environments via Bio-Inspired Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata