⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

China’s AI Security Ecosystem
digitalforensicsmagazine.com·15h
🇨🇳Chinese Computing
IEPG at IETF 123
potaroo.net·2d
📡Network Protocol Design
Hunting for Secrets in Plain Sight: Leveraging Internal Logging and Monitoring Services
praetorian.com·3d
🏺Kerberos Archaeology
Fragmented, high-WAF setup
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·3d·
Discuss: Hacker News
⚡Proof Automation
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·2d·
Discuss: Hacker News
📊Performance Profiling
Stack Overflow Data Reveals the Hidden Productivity Tax of 'Almost Right' AI Code
developers.slashdot.org·2d
🇨🇳Chinese Computing
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·2d·
Discuss: Hacker News
🔐Quantum Security
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 3) - Laying the Foundation with Packages
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Why I Chose to Build When Everyone Told Me Not To
hackernoon.com·1d
🔗Topological Sorting
Python Push to List: append, extend, insert Explained
dev.to·8h·
Discuss: DEV
🔗Concatenative Programming
Celebrate!: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
💭 What's the Best Tech Stack for a Markdown-Based Programming Blog?
dev.to·15h·
Discuss: DEV
📰RSS Feed Discovery
Moravec's Paradox: Towards an Auditory Turing Test
arxiv.org·1d
🎼Audio Lambda Calculus
How I Set Up Qwen3-Coder with Claude Code (and Why You Should Too)
dev.to·10h·
Discuss: DEV
🚀Indie Hacking
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·3d
💻Programming languages
An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
arxiv.org·1d
🔓Open Source Software
Amazon Strands Agents SDK: A technical deep dive into agent architectures and observability
aws.amazon.com·2d
🔒WASM Capabilities
A Hands-On Guide to Model Context Protocol (MCP)!
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
AI agents unifying structured and unstructured data: Transforming support analytics and beyond with Amazon Q Plugins
aws.amazon.com·2d
📰Feed Readers