⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Congestion control at IETF 123
blog.apnic.net·17h
📡Network Protocol Design
Digital Forensics Jobs Round-Up, August 18 2025
forensicfocus.com·29m
🚨Incident Response
A question for the ages: Is The Elder Scrolls II: Daggerfall a good game?
arstechnica.com·2h
🏺Gaming Archaeology
Python Surges in Popularity. And So Does Perl
developers.slashdot.org·2d
🔄Language Evolution
How the head of Obsidian went from superfan to CEO
theverge.com·31m
🏺ZIP Archaeology
Archaeologists Found a 5,000-Year-Old Fortress That Nature Had Hidden for Centuries
popularmechanics.com·1h
🏺Computational Archaeology
Why Computer-Use Agents Should Think Less
prava.co·3d·
Discuss: Hacker News, Hacker News
🖥️Modern Terminals
Migrating from Monolith to Serverless
news.ycombinator.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Technologies to use for a web app
reddit.com·1d·
Discuss: r/golang
🔄Reproducible Builds
OVSegDT: Segmenting Transformer for Open-Vocabulary Object Goal Navigation
arxiv.org·12h
🤖Advanced OCR
Enhanced Spin-Induced Gravitational Wave Signature Extraction via Adaptive Fourier Decomposition
dev.to·2d·
Discuss: DEV
🎵Spectral Hashing
Unveiling Chemically-Induced Tau Aggregation Resolution via Targeted Peptide Libraries and AI-Driven Screening
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
STAMP: Multi-pattern Attention-aware Multiple Instance Learning for STAS Diagnosis in Multi-center Histopathology Images
arxiv.org·3d
🧮Vector Embeddings
UbiQTree: Uncertainty Quantification in XAI with Tree Ensembles
arxiv.org·4d
🧠Machine Learning
Thematic and Task-Based Categorization of K-12 GenAI Usages with Hierarchical Topic Modeling
arxiv.org·3d
🏛Digital humanities
Evaluation of GPT-based large language generative AI models as study aids for the national licensure examination for registered dietitians in Japan
arxiv.org·3d
🌳Context free grammars
HumanSense: From Multimodal Perception to Empathetic Context-Aware Responses through Reasoning MLLMs
arxiv.org·3d
🏛Digital humanities
Why I Built a Community That Destroys Bad Ideas in such a way they grow
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Boosting Mixed-Initiative Co-Creativity in Game Design: A Tutorial
arxiv.org·12h
🔲Cellular Automata
Actor-Critic for Continuous Action Chunks: A Reinforcement Learning Framework for Long-Horizon Robotic Manipulation with Sparse Reward
arxiv.org·12h
🔲Cellular Automata