⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

What Exif Data Reveals About Your Site
brainbaking.com·1d
🔍Format Forensics
Building Developer-First Identity Solutions with Brian Pontarelli [audio]
packetpushers.net·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Scaling Interpretability
anthropic.com·4d·
Discuss: Hacker News
📊Quantization
My AI-Driven Identity Crisis
dusty.phillips.codes·1d·
Discuss: Hacker News
λLambda Formalization
AI's Security Crisis: Why Your Assistant Might Betray You
lastweekinaws.com·1d·
Discuss: Hacker News
📰RSS Archaeology
The Software of Science
mirawelner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
On This Day in Math - August 15
pballew.blogspot.com·10h·
Discuss: www.blogger.com
🇬🇧British Computing
Google’s Agent-to-Agent (A2A) Protocol is here—Now Let’s Make it Observable
hackernoon.com·2d
🔌Interface Evolution
Advanced Wear Characterization via Multi-Scale Bayesian Optimization of Surface Texturing
dev.to·8h·
Discuss: DEV
⚙️Tape Engineering
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·3d
🌳Context free grammars
Pareto Multi-Objective Alignment for Language Models
arxiv.org·3d
🔗Monadic Parsing
AI Weekend Projects That Slash Repetitive Work
dev.to·3d·
Discuss: DEV
📡RSS Automation
CSRF Testing Methodology: From Detection to Exploitation
infosecwriteups.com·7h
🧪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
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·2d
🧠Intelligence Compression
OmniVTLA: Vision-Tactile-Language-Action Model with Semantic-Aligned Tactile Sensing
arxiv.org·2d
✋Tactile Computing
Enhanced Algorithmic Optimization for Sustainable Aquaculture Feed Production via Multi-Modal Data Fusion
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Towards Spatially Consistent Image Generation: On Incorporating Intrinsic Scene Properties into Diffusion Models
arxiv.org·10h
📊Learned Metrics