⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

TLS and QUIC: A Masochist's Guide
quic.video·17h·
Discuss: Hacker News
🌐DNS over QUIC
What ChatGPT Study Mode gets right and wrong
moderndescartes.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
The role of LLMs in academic reviewing
sigarch.org·20h·
Discuss: Hacker News
💻Local LLMs
Automate XSS & IDOR Bug Hunting Using Bash & Python — A Hacker’s Toolkit
infosecwriteups.com·2d
✅Shell Verification
Disposable Code Is Here to Stay, but Durable Code Is What Runs the World
honeycomb.io·23h·
Discuss: Hacker News
⚙️Proof Engineering
Load Balancing for AI Training Workloads
arxiv.org·1d
⧗Information Bottleneck
Show HN: I built a local AI system for SOAP notes–no cloud, no wrappers
news.ycombinator.com·22h·
Discuss: Hacker News
🎙️Whisper
The Most Beautiful Data Structures (and How to Try Them Locally)
dev.to·3d·
Discuss: DEV
🌳Huffman Trees
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.org·2d
🏛Digital humanities
🚀 5 Powerful AI Tools You Need to Try(With YouTube Guides + Source Code!)
dev.to·22h·
Discuss: DEV
⚔️Lean Tactics
Python Automation Testing Guide
dev.to·3h·
Discuss: DEV
🧪Property-Based Testing
The Geometry of Harmfulness in LLMs through Subconcept Probing
arxiv.org·1d
🌳Context free grammars
KernelScript eBPF-centric programming language
github.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
CleANN: Efficient Full Dynamism in Graph-based Approximate Nearest Neighbor Search
arxiv.org·2d
🗂️Vector Databases
GitHub - wshobson/agents: A collection of production-ready subagents for Claude Code
github.com·2d
⚡Proof Automation
Is PrompterIQ the Best AI Prompt Creator? A Review
dev.to·2h·
Discuss: DEV
🗜️LZW Variants
The Bug That Drove Me So Crazy, I Got Hired Just to Fix It
dev.to·3h·
Discuss: DEV
❄️Nix Flakes
Security practices in AI development
arxiv.org·1d
🔒WASM Capabilities
Different Types of Generative AI: Models, Tools, and Real-World Applications
dev.to·21m·
Discuss: DEV
🎧Learned Audio
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures