⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

What Exif Data Reveals About Your Site
brainbaking.com·1d
🔍Format Forensics
3 tips for refactoring code with AI agents
kylenazario.com·3d
🔌Interface Evolution
Scaling Interpretability
anthropic.com·4d·
Discuss: Hacker News
📊Quantization
My AI-Driven Identity Crisis
dusty.phillips.codes·1d·
Discuss: Hacker News
λLambda Formalization
Master AI Art Anime: Create Stunning Visuals
dev.to·4h·
Discuss: DEV
📐Mathematical Art
On This Day in Math - August 15
pballew.blogspot.com·8h·
Discuss: www.blogger.com
🇬🇧British Computing
AI Agents: What Are They, Your Key to Smarter Coding
dev.to·1d·
Discuss: DEV
⚡Proof Automation
DINOMotion: advanced robust tissue motion tracking with DINOv2 in 2D-Cine MRI-guided radiotherapy
arxiv.org·8h
🌀Differential Geometry
AI Blob! LLM-Driven Recontextualization of Italian Television Archives
arxiv.org·1d
🏛Digital humanities
Autonomous Anomaly Detection & Predictive Maintenance via Spectral Dynamic Analysis in POSCO Steel Production Lines
dev.to·1d·
Discuss: DEV
📊Homelab Monitoring
Algorithmic Risk Assessment & Dynamic Pricing for Complex Infrastructure PPPs via Bayesian Sequential Optimization
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Performance of GPT-5 in Brain Tumor MRI Reasoning
arxiv.org·8h
🧠Machine Learning
I was kinda wrong about GPT-5
dev.to·1h·
Discuss: DEV
🖥️Terminal Renaissance
Pareto Multi-Objective Alignment for Language Models
arxiv.org·3d
🔗Monadic Parsing
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·3d
🌳Context free grammars
AI Weekend Projects That Slash Repetitive Work
dev.to·3d·
Discuss: DEV
📡RSS Automation
CSRF Testing Methodology: From Detection to Exploitation
infosecwriteups.com·5h
🧪Protocol Fuzzing
Automate AIOps with Amazon SageMaker Unified Studio projects, Part 1: Solution architecture
aws.amazon.com·2d
🏠Homelab Orchestration
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·1d
🕸️Algebraic Topology
Using LLMs to Capture Users' Temporal Context for Recommendation
arxiv.org·2d
⚖️Feed Ranking