⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

What Do Kids Actually Think About AI?
wired.com·8h
🤖AI Curation
Golang Concurrency: How to use Mutexes
cookie.engineer·2d
👑Dependent Haskell
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·4d·
Discuss: r/programming
📏Code Metrics
Babbage – The Language of the Future
tlc-systems.com·3d·
Discuss: Hacker News
🇬🇧British Computing
Unlocking Linux Superpowers with eBPF and xstack
brainnoises.com·2d·
Discuss: r/linux, r/programming
🔍eBPF
Show HN: Evaluating LLMs on creative writing via reader usage, not benchmarks
narrator.sh·4d·
Discuss: Hacker News
🎯Content Recommendation
Closing the Loop: Building Shapes with a Planar Graph
amygoodchild.com·2d·
Discuss: Hacker News, r/javascript
📐Mathematical Art
The Outcry over GPT-4o's Brief Death
eshumarneedi.com·2h·
Discuss: Hacker News
🖥️Terminal Renaissance
DoJ seizes $2.8M linked to Zeppelin Ransomware
securityaffairs.com·10h
🏴‍☠️Piracy
Every question you ask, every comment you make, I'll be recording you
theregister.com·8h·
Discuss: Hacker News
🤖AI Curation
TACR-YOLO: A Real-time Detection Framework for Abnormal Human Behaviors Enhanced with Coordinate and Task-Aware Representations
arxiv.org·14h
🚨Incident Response
5 Practical Tips for a Smooth Kubernetes Migration – Lessons from Real-World Projects
reddit.com·6h·
Discuss: r/kubernetes
🚚Data Migration
How I Built a Simple AI Text Summarizer in Python
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Automated Knowledge Synthesis Network for Dynamic Scientific Discovery (AKS-DSD)
dev.to·5d·
Discuss: DEV
🏺Computational Archaeology
Automated Calibration of GIP ELISA Assays Using Bayesian Optimization and Real-Time Data Fusion
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Real-Time eBPF Intrusion Detection via Dynamic Kernel Graph Pruning & Anomaly Scoring
dev.to·4d·
Discuss: DEV
🔍eBPF
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·14h
🧮Kolmogorov Complexity
Texas AG accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.com·44m
⚖️Emulation Ethics
Weekend Hack: Making My Blog AI-Searchable (No Flames Required) 🔥🚫
dev.to·2d·
Discuss: DEV
🔃Feed Algorithms
Always Up-to-Date API Docs Are Real (And No, It’s Not AI)
dev.to·3d·
Discuss: DEV
🔌Archive APIs