⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

“A Google for DNA”: Scientists Launch Groundbreaking Search Engine for Genetic Code
scitechdaily.com·3h
🔄Burrows-Wheeler
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·5d·
Discuss: Hacker News
🌳Incremental Parsing
Earning the Right to Be Illegible
joshbeckman.org·7h·
Discuss: Hacker News
⚙️Proof Engineering
There is no singularity
gusarich.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·1d·
Discuss: Hacker News
🎮Gameboy Emulation
AI can help your DevSecOps pipeline
spiceworks.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·3d
💻Local LLMs
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
How to Manage Translations With (and Without) Artificial Intelligence
dev.to·5h·
Discuss: DEV
🤖AI Translation
VibeAlive: Cleaning Up the Code Chaos of AI-Assisted Development
vibe.forem.com·1h·
Discuss: DEV
🌀Brotli Dictionary
Tech With Tim: How to Build AI Agents in Python
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
When AI Learns to Think
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
After 6 months of learning Go, I built LocalDrop - my first real project (file sharing over LAN)
reddit.com·4h·
Discuss: r/golang
📻Homebrew Protocols
I was tired of regression testing, so I weekend-vibe-coded something
dev.to·11h·
Discuss: DEV
❄️Nix Flakes
Why The Future of Code Is More Human Than Ever
dev.to·2d·
Discuss: DEV
📏Code Metrics
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·4d
🧮Kolmogorov Complexity
Automated Phenotyping of Cardiac Fibrosis via Multi-Modal Imaging Fusion and Deep Learning
dev.to·4h·
Discuss: DEV
🤖Advanced OCR