⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Full size pictures in FreshRSS
thefoggiest.dev·14h
📡RSS
Asking Eric: It was a compliment! Why should my friend resent being compared to a celebrity?
mercurynews.com·4h
🔢Coding Theory
Kryptos K4: The Solution Auction
rrauction.com·3d·
Discuss: Hacker News
🏺Kerberos Archaeology
Restaurant asks patrons to not use Google AI
firstalert4.com·1d·
Discuss: Hacker News
🤖AI Curation
Weaponizing image scaling against production AI systems
blog.trailofbits.com·4d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🕵️Vector Smuggling
XMM-VID1-2075 is a massive, evolved and slow-rotating galaxy, observations suggest
phys.org·31m
🦴Binary Paleography
GPT-5 and SQL code generation
beekeeperstudio.io·3d·
Discuss: Hacker News
⚙️Batch Processing
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
AWSExtended Support Costs: A Hidden Reminder to Upgrade
blog.devops.dev·2h
🔄Sync Engine
Navigating the Future: Building Software for AI Consumers
thebootstrappedfounder.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Advice on creating a custom web dashboard to run python scripts on the server
reddit.com·2h·
Discuss: r/homelab
🛡️CLI Security
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·3d·
Discuss: r/golang
λLambda Formalization
Building TheReader.AI: Why I Used Generative AI to Fix the Broken News Experience
future.forem.com·22h·
Discuss: DEV
🎯Content Recommendation
Curator: Scalable data pre processing and curation toolkit for LLMs
github.com·4d·
Discuss: Hacker News
🔄Archival Workflows
Automated Anomaly Detection in Microfluidic Devices via Hybrid Tensor Decomposition and Spectral Analysis
dev.to·1d·
Discuss: DEV
🌊Stream Processing
I left my job at BCG to found an AI startup. Here's how consulting prepared me to be a founder — and how it didn't.
businessinsider.com·3h
🗺️Competency Maps
Show HN: Yellhorn – MCP server to help coding agents 1-shot long tasks
github.com·4d·
Discuss: Hacker News
🔄Sync Engine
The Mythical Vibe-Month: Vibe Coding, Context Engineering, and the Future of AI Dev Tools
dev.to·4d·
Discuss: DEV
⚡Effectful Programming
Glyph.Flow Devlog #2 – Hitting the Registry Milestone
dev.to·2d·
Discuss: DEV
🐚Shell Calculus
Understanding Data Influence with Differential Approximation
arxiv.org·4d
🧠Machine Learning