⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·21h·
Discuss: Substack
🔲Cellular Automata
Memory Safety Is Merely Table Stakes
usenix.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·2d·
Discuss: Hacker News
🦀Rust Macros
Structuralist Approach to AI Literary Criticism: Leveraging Greimas Semiotic Square for Large Language Models
arxiv.org·54m
📜Digital Philology
[$] Supporting kernel development with large language models
lwn.net·14h
💻Local LLMs
Probabilistic and reinforced mining of association rules
arxiv.org·3d
🧠Learned Indexes
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·22h·
Discuss: DEV
⚡Performance Tools
From expected to actual: Kotlin doesn't reinvent, it reuses 🔄
dev.to·4h·
Discuss: DEV
💧Liquid Types
Language Modeling by Language Models
arxiv.org·1d
🤖Grammar Induction
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·8h·
Discuss: DEV
👁️Observatory Systems
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·9h·
Discuss: DEV
🔍BitFunnel
Announcing Rust 1.88.0
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Show HN: Using Claude Code SDK to to implement an agentic CV parser
github.com·5h·
Discuss: Hacker News
🤖Archive Automation
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·3d
⚖️Hoare Logic
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·3d
🧪CBOR Fuzzing
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·54m
🌳Context free grammars
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing