⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

FreeBSD Enhances Ports and Packages Security
discoverbsd.com·5h
🔌Operating system internals
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·1d·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare
dafthunk.com·5h·
Discuss: Hacker News
🔓Open Source Software
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1d·
Discuss: Hacker News
📊Graph Databases
Memory Safety Is Merely Table Stakes
usenix.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·16h·
Discuss: DEV
⚡Effectful Programming
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·1d·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·3h·
Discuss: DEV
🌐Network Protocols
Scrape Trending Keywords, Auto-Write Posts, Earn Traffic—This System Works – Suhaib Bin Younis
dev.to·5h·
Discuss: DEV
🕵️Feed Discovery
Distilling Normalizing Flows
arxiv.org·9h
📥Feed Aggregation
Semantic-Aware Parsing for Security Logs
arxiv.org·3d
📝Log Parsing
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·22h·
Discuss: DEV
🌊Stream Processing
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·16h·
Discuss: DEV
👁️Observatory Systems
AI Agent Architecture and the Autonomous Enterprise
dev.to·2h·
Discuss: DEV
⚙️TLA+
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·1d
⚡Incremental Computation
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·9h
🧠Intelligence Compression
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·3h·
Discuss: DEV
🎬WebCodecs API
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·3d
🧮Prolog Parsing