⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·14h
🧮Z3 Solver
Scaling AI Evaluation Through Expertise
harvey.ai·56m·
Discuss: Hacker News
🤖AI Curation
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·1h
🔀Category Theory
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Interview with Aaron Patterson [audio]
podcast.drbragg.dev·3h·
Discuss: Hacker News
🎮Switch Archaeology
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🤖Grammar Induction
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·8h
🛡️CLI Security
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
How to implement the Outbox pattern in Go and Postgres
medium.com·3h·
Discuss: Lobsters
🔐CBOR
Greyscale-box test-driven development
blog.ploeh.dk·23h
🧪Property-Based Testing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·9h
💻Local LLMs
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
The Case for Compact AI – Communications of the ACM
dl.acm.org·10h·
Discuss: Hacker News
🧠Intelligence Compression
How to Debug Chez Scheme Programs (2002)
scheme.com·21h·
Discuss: Hacker News
📜Proof Carrying Code
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·16h·
Discuss: DEV
🧪Binary Fuzzing
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1d·
Discuss: Hacker News
📏Code Metrics
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
⚡Proof Automation