⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·4d
🦀Rust Macros
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com·14h·
Discuss: Hacker News
🎛️Feed Filtering
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
Building Repo Bench
repoprompt.com·3d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🤖Archive Automation
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·3d
🎯Performance Proofs
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
The 'Why' Algorithm: Building AI That Learns to Ask Questions
dev.to·1d·
Discuss: DEV
🤖AI Curation
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·2d·
Discuss: DEV
📏Code Metrics
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·2d
🧮Kolmogorov Complexity
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·28m·
Discuss: DEV
📊Multi-vector RAG
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·5d·
Discuss: DEV
⚡SMT Applications
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·2d
✓Automated Theorem Proving
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·4d·
Discuss: Hacker News, r/neovim
🔗Lisp
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·2d
⚡Proof Automation
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·2d
🕵️Vector Smuggling
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler