⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Total Pixel Space
blog.computationalcomplexity.org·1h·
Discuss: blog.computationalcomplexity.org
🌀Fractal Compression
Threat Bulletin: Fire in the Woods – A New Variant of FireWood
intezer.com·8h
🌳Archive Merkle Trees
Mistral: Fine-Tuning on Satellite Imagery
mistral.ai·23h·
Discuss: Hacker News
🤖Advanced OCR
Radicle 1.3.0
radicle.xyz·1d·
Discuss: Lobsters, Hacker News
🌳Git Internals
Forward Deployed AI Research
publish.obsidian.md·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Static vs. Runtime Reachability: Insights from Latio’s On the Record Podcast
socket.dev·7h·
Discuss: Hacker News
👁️System Observability
Python's with Statement: Manage External Resources Safely
realpython.com·7h
🧠Program Logic
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
🚀 CPS in Go: Unlock Go’s Superpowers in 2025 ⚙️
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Complex behaving Hardware with CircuitPython - Part II
hackster.io·1d
⚡Circuit Design
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·17h
🔍Vector Forensics
Gradient- and Newton-Based Unit Vector Extremum Seeking Control
arxiv.org·17h
🌀Differential Geometry
Mixture-of-Agents (MoA): Improving LLM Quality through Multi-Agent Collaboration
hackernoon.com·2d
🧮SMT Solvers
Positional Biases Shift as Inputs Approach Context Window Limits
arxiv.org·1d
🔗Parser Combinators
Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
arxiv.org·1d
🎯Threat Hunting
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.org·1d
🧠Machine Learning
Beyond Automation: The Role of AI and Gen AI in Modern Software Testing
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Golang API Structure for Beginners
dev.to·2d·
Discuss: DEV
⚡gRPC
Evaluating Podcast Recommendations with Profile-Aware LLM-as-a-Judge
arxiv.org·17h
📊Feed Optimization
Hyperdimensional Semantic Graph Analysis for Automated Scientific Knowledge Graph Construction
dev.to·3d·
Discuss: DEV
📋Document Grammar