⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

DNS at IETF 123
potaroo.net·14h
🌐DNS Security
Smart Air Quality Monitor Using Arduino, Bug-in-Circuit
hackster.io·9h
🔌Single Board PC
Double Maths First Thing: Issue 30
aperiodical.com·5h
📐Mathematical Art
Kévin Dunglas
deprogrammaticaipsum.com·2d
🔄Language Evolution
InfoSec News Nuggets 8/6/2025
aboutdfir.com·1h
🔓Hacking
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.com·1h·
Discuss: Hacker News
🔲Cellular Automata
KubeDiagrams 0.5.0 is out!
reddit.com·2h·
Discuss: r/kubernetes
📦Container Security
Building Testable Telegram Bots with Zustand
zwit.link·2d·
Discuss: Hacker News
🌐Protocol Synthesis
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·6d·
Discuss: Hacker News
📝Concrete Syntax
China: A Safe Haven from the NSA
medium.com·2d·
Discuss: Hacker News
⚡Proof Automation
How to Manage Security Vulnerabilities Using Budibase—No Code Required
hackernoon.com·6h
🗄️Database Internals
Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction
arxiv.org·1d
🔲Cellular Automata
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·23h
🎯Gradual Typing
Observing Dialogue in Therapy: Categorizing and Forecasting Behavioral Codes
arxiv.org·1d
✨Effect Handlers
When Cars Have Stereotypes: Auditing Demographic Bias in Objects from Text-to-Image Models
arxiv.org·9h
🤖Advanced OCR
Prompts
dev.to·1d·
Discuss: DEV
⚙️Parser Generators
Patho-AgenticRAG: Towards Multimodal Agentic Retrieval-Augmented Generation for Pathology VLMs via Reinforcement Learning
arxiv.org·1d
🧮Vector Embeddings
PromptSafe: Gated Prompt Tuning for Safe Text-to-Image Generation
arxiv.org·1d
🧪Binary Fuzzing
Read That Fucking Code (Stop vibe-coding blindly)
etsd.tech·1d·
Discuss: Hacker News, r/programming
📏Code Metrics
Reproducible Go Toolchains: What You Need to Know
hackernoon.com·3d
🔄Reproducible Builds