⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

I Stand Corrected
jessecmckeown.tumblr.com·26m
⚔️Lean Theorem
Asking Eric: I had to quit yoga class because the teacher kept mocking me
mercurynews.com·9h
🏠Personal Archives
3000 Years
naiveweekly.com·14h
🏠Homelab Archaeology
New Physics-Inspired Proof Probes the Borders of Disorder
quantamagazine.org·2d
🕸️Tensor Networks
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Evaluating Document Extraction Accuracy
runpulse.com·5d·
Discuss: Hacker News
📋Document Layout
Best Logging Libraries for Golang
launchdarkly.com·3d·
Discuss: Hacker News
📝Log Parsing
Last Week on My Mac: Drought and neural engines
eclecticlight.co·12h
🏴󠁧󠁢󠁳󠁣󠁴󠁿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
OpenAI's chief research scientist shares the book that inspired him when he was unsure about his career path
businessinsider.com·18h
🌍Cultural Algorithms
Tencent's X-Omni uses open source components to challenge GPT-4o image generation
the-decoder.com·1d
🎯Emulator Accuracy
OpenAI’s Waterloo? [with corrections]
garymarcus.substack.com·2d·
Discuss: Substack
⚡Incremental Computation
Debug Smarter: Multimodal Error Analysis for Next.js with Daft.ai
dev.to·3d·
Discuss: DEV
🌳Incremental Parsing
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·5d
🛠Language Design
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·3d
🌊Streaming Systems
Go's Data Structures: A Deep Dive into Arrays and Slices
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Quantum-Enhanced Graph Neural Networks for Financial Risk Attribution and Portfolio Optimization
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
"Artificial Intelligence for Business Growth"
dev.to·2d·
Discuss: DEV
🧭Content Discovery
How I Cut AWS Compute Costs by 70% with a Multi-Arch EKS Cluster and Karpenter
hackernoon.com·2d
🏠Homelab Orchestration