⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

FreeBSD Enhances Ports and Packages Security
discoverbsd.com·1h
🔌Operating system internals
Philosophers Among Recent Large ERC Grant Winners
dailynous.com·1h
🧮Theoretical Computer Science
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·1h·
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 in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·3d
🧪CBOR Fuzzing
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·4h
🌳Context free grammars
Memory Safety Is Merely Table Stakes
usenix.org·13h·
Discuss: Hacker News, r/programming
🔒Type Safety
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Small Encoders Can Rival Large Decoders in Detecting Groundedness
arxiv.org·4h
🧮Kolmogorov Complexity
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·1d·
Discuss: DEV
🔢Bitwise Algorithms
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·3d
⚖️Hoare Logic
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·12h·
Discuss: DEV
⚡Effectful Programming
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·22h·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Distilling Normalizing Flows
arxiv.org·4h
📥Feed Aggregation
Scrape Trending Keywords, Auto-Write Posts, Earn Traffic—This System Works – Suhaib Bin Younis
dev.to·1h·
Discuss: DEV
🕵️Feed Discovery
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