⛏️ 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
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·2d
🛡Cybersecurity
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
The 9 Best CLIs with Artificial Intelligence
dev.to·2h·
Discuss: DEV
📟CLI Design
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·10h·
Discuss: DEV
🤖Grammar Induction
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·2d
🎯Performance Proofs
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
The 'Why' Algorithm: Building AI That Learns to Ask Questions
dev.to·21h·
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·1d
🧮Kolmogorov Complexity
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·5d·
Discuss: DEV
⚡SMT Applications