⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
github.com·23h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
🎓 Capstone Project Completed! 🚀
dev.to·1d·
Discuss: DEV
🕵️Metadata Mining
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Claude.md: Best Practices for Optimizing with Prompt Learning
arize.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Crawler-Detect: A PHP Library for Bot Detection
dev.to·1h·
Discuss: DEV
🎯Threat Hunting
Flag this post
ShowHN: RepoScout – A multi-platform Git repo search tool in Rust
news.ycombinator.com·23h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·18h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post