⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·5d·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
A better for loop?
cirw.in·5d
🦀Rust Macros
Funniest/Most Insightful Comments Of The Week At Techdirt
techdirt.com·2d
📰RSS Reading Practices
Manually panelizing complex PCBs in KiCAD for use with JLCPCB
0x2a.cz·3d·
Discuss: Hacker News
🔌Single Board PC
Iterative DFS with stack-based graph traversal
dwf.dev·5d·
Discuss: Hacker News
🌸Bloom Filters
OCR Is Legacy Tech
cloudsquid.io·9h·
Discuss: Hacker News
👁️OCR Evolution
For the Singularity to Truly Arrive, We’d Need a Machine That Eats the Sun
popularmechanics.com·1d
🔲Cellular Automata
HTML Partials and Server Reducers: An Alternative to React Spas
cimatic.io·3d·
Discuss: Hacker News, r/htmx
🌊Streaming Systems
Battery Repair By Reverse Engineering
hackaday.com·9h
⚡Circuit Archaeology
What Would Plato, Socrates, and Seneca Say About AI Today?
mindthenerd.com·2d·
Discuss: Hacker News
🔲Cellular Automata
I built my first side project: Tubee, in 2017
blog.tomy.me·5d·
Discuss: Hacker News
🚀Indie Hacking
Fear not, even AI engineers will be replaced by AI
doch88.github.io·2d·
Discuss: Hacker News
🔍Vector Forensics
Generative AI and Healthy Skepticism
tirkarthi.github.io·5d·
Discuss: Hacker News
🔄Language Evolution
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·6d·
Discuss: Hacker News
⚔️Lean Tactics
Tempest-LoRa: Cross-Technology Covert Communication
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Digital identity: German authorities do not monitor use
heise.de·9h
🔤EBCDIC Privacy
The MCP Threat Landscape: Security Risks Every Developer Must Know
dev.to·1d·
Discuss: DEV
📦Container Security
Peeking Under the Hood of Cursor's API Calls
proxymock.io·4d·
Discuss: Hacker News
🔌Archive APIs
Best Programming Languages for AI and Machine Learning
dev.to·3d·
Discuss: DEV
🎵Audio ML
🚨 I Fell for the Krutrim Hype (Twice) - Here's Why You Shouldn't
dev.to·3d·
Discuss: DEV
🔍Concolic Testing