⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Jamf’s privacy and compliance approach for European schools
jamf.com·16h
⚖️Legal Compliance
50% of Roger Federer is "er"
iamvishnu.com·4d
🔍BitFunnel
Show HN: Earth Zoom in AI- Space to Ground Videos
earthzoomin.pro·18h·
Discuss: Hacker News
📸TIFF Evolution
Titles matter
joshcollinsworth.com·4d·
Discuss: Hacker News
🚀Indie Hacking
Enterprise password management outfit Passwordstate patches Emergency Access bug
theregister.com·20h
🔓Hacking
I'm a co-CEO and a former recruiter. This is the best question a candidate has ever asked me.
businessinsider.com·1d
🎯Threat Hunting
Go module for brute force attacks on SSH steals the accesses found
heise.de·4d
🛣️BGP Hijacking
The most popular AI apps might not be what you'd expect
businessinsider.com·1d
🤖AI Curation
Yoni Steam Health Predictions Using Python AI Models
dev.to·16h·
Discuss: DEV
🌍Cultural Computing
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·4d·
Discuss: Hacker News
📏Code Metrics
Alternating Training-based Label Smoothing Enhances Prompt Generalization
arxiv.org·4d
📊Learned Metrics
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·4d
🕳️Persistent Homology
AI Hacking: How Artificial Intelligence is Redefining Cybersecurity and Ethical Hacking
dev.to·3d·
Discuss: DEV
🔓Hacking
Continuous AI: A Simple Introduction
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Can I Let AI Work While I Drink Coffee? A Hard-Learned Lesson
dev.to·3d·
Discuss: DEV
🏠Homelab Automation
AWS Weekly Roundup: Amazon Aurora 10th anniversary, Amazon EC2 R8 instances, Amazon Bedrock and more (August 25, 2025)
aws.amazon.com·4d
🌊Streaming Systems
Proxmox Disk Caching Modes
blog.raymond.burkholder.net·2d
💿Proxmox HA
The risks of AI-powered tools: Lessons from the Comet prompt injection incident
fingerprint.com·2d
🎫Kerberos Attacks
Vibe coding: democratizing DevOps or bad vibes?
techradar.com·1d
🔓Hacking
How to Use DeepSeek-V3.1 API — a practical developer tutorial
dev.to·4d·
Discuss: DEV
🌀Brotli Internals