⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

The Month of AI Bugs 2025
embracethered.com·15h
🔓Hacking
So, you're inspecting strings on the hot path
clipperhouse.com·2h·
Discuss: Hacker News
🌳Trie Structures
Num2words PyPI Package Compromised
stepsecurity.io·15h·
Discuss: Hacker News
📦Package Managers
An AI tool I find useful
notes.billmill.org·1d·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
How Rewriting Training Data Improved Kimi 2’s Performance
dbreunig.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Implement AI Typesetting in Word
medium.com·1d·
Discuss: Hacker News
📋Document Grammar
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·2d
🏗️Compiler Archaeology
Dual-Stream Global-Local Feature Collaborative Representation Network for Scene Classification of Mining Area
arxiv.org·4h
📊Learned Metrics
How I Got a Free OSCP Exam Directly from OffSec
infosecwriteups.com·1d
🏺Kerberos Archaeology
Geometric-Perturbation-Robust Cut-Cell Scheme for Two-Material Flows: Exact Pressure-Equilibrium Preservation and Rigorous Analysis
arxiv.org·4h
🌀Differential Geometry
Why I Like Go
dev.to·7h·
Discuss: DEV
🔗Concatenative Programming
LSFDNet: A Single-Stage Fusion and Detection Network for Ships Using SWIR and LWIR
arxiv.org·4h
🤖Advanced OCR
🚀 Just discovered this evening productivity hack:
dev.to·18h·
Discuss: DEV
⛏️File Carving
Top Skills Data Scientists Should Learn in 2025
kdnuggets.com·16h
🧪Data science
Learning Only with Images: Visual Reinforcement Learning with Reasoning, Rendering, and Visual Feedback
arxiv.org·4h
📊Learned Metrics
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·4h
🔐Quantum Cryptography
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·4h
🏛Digital humanities
FreeBSD installer updates: Lua scripting and graphical installer
discoverbsd.com·21h
🔌Operating system internals
Systematic AI Development: A Demo Project Breakdown
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Python Function Naming Convention: Best Practices
dev.to·1d·
Discuss: DEV
💧Liquid Types