⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·11h
🖥️Modern Terminals
[D] Best videos of talks on using RL to train reasoning models
reddit.com·5h·
Discuss: r/MachineLearning
📼Tape Linguistics
Let's Prove Leftpad
github.com·4d·
Discuss: Hacker News
📜Proof Carrying Code
Building an AI Internal Linking Plugin for WordPress
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Detecting Distillation Data from Reasoning Models
arxiv.org·4d
⚙️ABNF Mining
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·14h·
Discuss: DEV
🌈Spectroscopy
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·2d
🛡Cybersecurity
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
**Unlock the Power of Hybrid AI: Combining Reinforcement Lea
dev.to·7h·
Discuss: DEV
🤖Grammar Induction
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·6h·
Discuss: DEV
🧮Kolmogorov Complexity
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·2d
🎯Performance Proofs