⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Elon Musk's XAI Exposed Grok Conversations to Google
computing.co.uk·2d·
Discuss: Hacker News
📰RSS Archaeology
3D Layered Text: Interactivity and Dynamism
css-tricks.com·1d
📟Terminal Physics
Bloom patterns: radially expansive, developable and flat-foldable origami
royalsocietypublishing.org·2d·
Discuss: Hacker News, r/programming
📐Mathematical Art
That's Not Refactoring
codewithjason.com·3d·
Discuss: Hacker News
🐛Fuzzing
Alexander Korotkov: Ordered Insertion Optimization in OrioleDB
orioledb.com·4d·
Discuss: Hacker News, Hacker News
🔄Sync Engine
Optimising for trust
tomrenner.com·4d·
Discuss: Hacker News, r/programming
🧪Protocol Fuzzing
The System Inside the System
worksonmymachine.ai·5d·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
The Political Economy of AI
moneypower.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Nostr and Buildbook: Proof-of-Work Portfolios and Cross-Org Code Reviews
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Presheaf automata
arxiv.org·5d
🎯Automata theory
Why ChatGPT Prioritizes Engagement Over Truth
dev.to·4d·
Discuss: DEV
⚡Proof Automation
The Rise of Remote Agentic Environments
thenewstack.io·3d
🔌Interface Evolution
I Wasted 3 Weeks Building WebRTC When One Component Does It Better
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
LitForager: Exploring Multimodal Literature Foraging Strategies in Immersive Sensemaking
arxiv.org·1d
🏛Digital humanities
Cabinet: Dynamically Weighted Consensus Made Fast
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🤝Paxos Consensus
Organ-Agents: Virtual Human Physiology Simulator via LLMs
arxiv.org·2d
🔲Cellular Automata
UCP: AI Reasoning Enhancement Through Bias Elimination - Open Source Release
dev.to·5d·
Discuss: DEV
⚙️Proof Engineering
Is game development in Rust one big mirage?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
VibeTDD Experiment 4.4: Storage Layer Testing and the Never Give Up Problem
dev.to·4d·
Discuss: DEV
💾Persistence Strategies
I made a product called Prompt to save and optimize.
dev.to·4d·
Discuss: DEV
🎙️Whisper