⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

I Stand Corrected
jessecmckeown.tumblr.com·5h
⚔️Lean Theorem
Asking Eric: I had to quit yoga class because the teacher kept mocking me
mercurynews.com·14h
🏠Personal Archives
Questions and answers about blogging
hamatti.org·1d
📰RSS Feed Discovery
3000 Years
naiveweekly.com·19h
🏠Homelab Archaeology
Starting with pytest’s parametrize
nedbatchelder.com·4d·
Discuss: Lobsters, r/programming
⚡Proof Automation
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·4d·
Discuss: Hacker News
🧪Binary Fuzzing
Evaluating Document Extraction Accuracy
runpulse.com·5d·
Discuss: Hacker News
📋Document Layout
Last Week on My Mac: Drought and neural engines
eclecticlight.co·17h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
5 Tips for Safe LLM Development - Infobip Developers Hub
infobip.com·6d·
Discuss: Hacker News, r/programming
⚙️Proof Engineering
Python Exposes Phantom Dependencies With SBOM Screening
thenewstack.io·4d
🔓Decompilation
I tested a robotic window cleaner – here are 3 things that surprised me
techradar.com·14h
🏠Home Automation
OpenAI's chief research scientist shares the book that inspired him when he was unsure about his career path
businessinsider.com·22h
🌍Cultural Algorithms
Tencent's X-Omni uses open source components to challenge GPT-4o image generation
the-decoder.com·1d
🎯Emulator Accuracy
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·5d
🛠Language Design
How We're Building a Decentralized App Store for AI Agents on Web3
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·4d
🌊Streaming Systems
Go's Data Structures: A Deep Dive into Arrays and Slices
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Automated Semantic Validation & Refinement of Scientific Literature using Dynamic Graph Neural Networks
dev.to·3d·
Discuss: DEV
🕸️Graph Embeddings
Quantum-Enhanced Graph Neural Networks for Financial Risk Attribution and Portfolio Optimization
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
The Hype and the Hangover: Unpacking the Underwhelming Debut of GPT-5
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering