⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Embedded bare-metal C with Bazel and AVR
popovicu.com·12h
🦀Embedded Rust
Custom rules in GitLab Duo Agentic Chat for greater developer efficiency
about.gitlab.com·3d
🔄Language Evolution
external-secrets/external-secrets
github.com·12h
🦠Parasitic Storage
State of torch.compile for training (August 2025)
blog.ezyang.com·1d·
Discuss: Hacker News
🦀Rust Macros
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·3d
🧠Intelligence Compression
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.org·1d
🔍Information Retrieval
From DeepSeek-MoE to R1: how expert routing and RL made the leap
chrishayduk.com·1d·
Discuss: Hacker News
🔍Vector Forensics
The AI Debugger That Understands My Stack Better Than I Do
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Placing Arguments
blog.yoshuawuyts.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Is chain-of-thought AI reasoning a mirage?
seangoedecke.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Automated DOM-Based XSS Vulnerability Mitigation via Behavioral Anomaly Detection and Adaptive Patching
dev.to·1d·
Discuss: DEV
🛡️WASM Sandboxing
Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The BC Cancer Registry
arxiv.org·10h
🎙️Whisper
Why Clojure?
blog.cleancoder.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
webMCP: Efficient AI-Native Client-Side Interaction for Agent-Ready Web Design
arxiv.org·1d
🔗Hypermedia APIs
How to Use LLMs for Powerful Automatic Evaluations
towardsdatascience.com·1d
🔗Constraint Handling
Vibe Coding Awareness Month
hellotonic.com·1d·
Discuss: Hacker News
🔄Language Evolution
How to Deploy Vertex AI Workbench with Terraform — Without UI Pain
hackernoon.com·6h
🏠Homelab Orchestration
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·3d
🎯Performance Proofs
IADGPT: Unified LVLM for Few-Shot Industrial Anomaly Detection, Localization, and Reasoning via In-Context Learning
arxiv.org·10h
🧠Machine Learning
Automated Ontology Alignment for Rare Disease Knowledge Integration
dev.to·1d·
Discuss: DEV
🔢Denotational Semantics