⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Digital Forensics Round-Up, August 06 2025
forensicfocus.com·15h
🔐Archive Cryptanalysis
Show HN: Sylvio AI – Your Smartest Quiet Teammate
sylvioai.xyz·11h·
Discuss: Hacker News
🎙️Whisper
Adrarsh Divakaran: Vibe Coding with Junie - JetBrains AI Coding Agent
blog.adarshd.dev·1d
🎙️Whisper
A diverse and distinct microbiome inside living trees
nature.com·15h
🦴Binary Paleontology
Claude Code vs. Cursor
open-data-analytics.medium.com·17h·
Discuss: Hacker News
🏗️Compiler Archaeology
Mechanistic View of Transformers: Patterns, Messages, Residual Stream… and LSTMs
towardsdatascience.com·1d
🌊Streaming Algorithms
Cybersecurity Instruction Tuned Model
huggingface.co·2d·
Discuss: Hacker News
🔒WASM Capabilities
I Built a One-Line Image Editor with Flux.1 + Kontext — Feedback Welcome!
dev.to·4h·
Discuss: DEV
✨Effect Handlers
AI Agents Explained: Everything You Need to Know in 2025
dev.to·1d·
Discuss: DEV
🤖AI Curation
Landsat30-AU: A Vision-Language Dataset for Australian Landsat Imagery
arxiv.org·1d
🤖Advanced OCR
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·2d·
Discuss: Hacker News
🔌Archive APIs
Continual Learning for VLMs: A Survey and Taxonomy Beyond Forgetting
arxiv.org·3h
🧠Machine Learning
Building and Aligning Comparable Corpora
arxiv.org·2d
📜Digital Philology
The Relative Instability of Model Comparison with Cross-validation
arxiv.org·3h
🧠Machine Learning
Causal Disentanglement and Cross-Modal Alignment for Enhanced Few-Shot Learning
arxiv.org·1d
📊Learned Metrics
Hotel Brendle orchestrator app
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·3h
👁️Perceptual Coding
Responsible Use of AI in Coding
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Data-Driven Discovery of Mobility Periodicity for Understanding Urban Transportation Systems
arxiv.org·3h
🔶Voronoi Diagrams
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·2d
⚙️TLA+