⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Free course: Cheat at Search: Essentials
softwaredoug.com·3d
👤Search Personalization
IEPG at IETF 123
potaroo.net·2d
📡Network Protocol Design
China’s AI Security Ecosystem
digitalforensicsmagazine.com·12h
🇨🇳Chinese Computing
Fragmented, high-WAF setup
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
The React Blog Post: Reflections and Reactions
mbrizic.com·11h
🦀Rust Borrowing
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
CIMR: Contextualized Iterative Multimodal Reasoning for Robust Instruction Following in LVLMs
arxiv.org·2d
🌳Context free grammars
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·3d·
Discuss: Hacker News
✅Archive Validation
VibeTDD Lessons After 3 Phases: What Actually Works with AI
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
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·5h·
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·12h·
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·7h·
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