⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Advancing RPKI: NRO RPKI Program in 2025 for Trust, Transparency and User Experience
labs.ripe.net·9h
🔐Archive Encryption
What Are the Digital Services Taxes Drawing Trump’s Ire?
bloomberg.com·5h
📲Digitization
Is math discovered or invented?
mathwithbaddrawings.com·1d
📐Mathematical Art
Beat-driven puzzler Lumines Arise will overload your senses on November 11
engadget.com·3h
🎯Emulator Accuracy
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
New analysis: The "Wow!" signal was much stronger than previously assumed
heise.de·7h
🌡️Preservation Physics
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·4d·
Discuss: Hacker News
🎯Gradual Typing
The anti-AI thread
forums.anandtech.com·11h
🔍BitFunnel
Kramer Intelligence Offers AI Services to U.S. Government for $1 per Agency
medium.com·1d·
Discuss: Hacker News
🎙️Whisper
The Hidden Ingredients Behind AI’s Creativity
wired.com·2d·
Discuss: Hacker News
🔲Cellular Automata
How Smart Aluminum Fences Are Transforming Business Security
dev.to·19h·
Discuss: DEV
🏠Home Automation
WHY PINNs?
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Am I Just Passing Time in University… or Building My Future?
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
With AI chatbots, Big Tech is moving fast and breaking people
arstechnica.com·1d·
Discuss: Hacker News, r/technews
🔲Cellular Automata
What GPT‑5 means for Managers and Leaders (In my view)
dev.to·3h·
Discuss: DEV
🌍Cultural Algorithms
🚀 Introducing ShiboScript – A Beginner-Friendly Scripting Language
dev.to·4d·
Discuss: DEV
🛡️WASM Security
MV-RAG: Retrieval Augmented Multiview Diffusion
arxiv.org·1d
🤖Advanced OCR
Cross-Attention Multimodal Fusion for Breast Cancer Diagnosis: Integrating Mammography and Clinical Data with Explainability
arxiv.org·1d
🧠Machine Learning
BrainPath: Generating Subject-Specific Brain Aging Trajectories
arxiv.org·12h
🌀Differential Geometry
OpenAI lost the plot on 'boring' LLM use-cases
softwaredoug.com·5d
💻Local LLMs