⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Practical Pedantism
dystroy.org·2d·
Discuss: r/rust
🌳Incremental Parsing
Flag this post
Learning Outside Your Specialty – Why I Got a Kubernetes Cert
danielleheberling.xyz·15h·
Discuss: Hacker News
📦Container Security
Flag this post
Hypernetworks: Neural Networks for Hierarchical Data
blog.sturdystatistics.com·11h·
Discuss: Hacker News
🧠Machine Learning
Flag this post
Why There Hasn't Been a ChatGPT Moment yet in Manufacturing
theshearforce.substack.com·5h·
Discuss: Substack
⚙️Proof Engineering
Flag this post
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·3d·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
Introducing Beads: A coding agent memory system
steve-yegge.medium.com·1d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Flag this post
Secure Governance and Scalable Management for AI Models
devops.com·11h
🔓Open Source Software
Flag this post
No More Complex Scripts! PerfTest Distributed Load Testing Uses a Single YAML to Orchestrate Massive Cluster Tests Gracefully
dev.to·19h·
Discuss: DEV
🏠Homelab Pentesting
Flag this post
Show HN: Todo-CLI – Add a todo, AI agents complete it for you
github.com·4h·
Discuss: Hacker News
📺Terminal UI
Flag this post
Bridging Gaps in Hate Speech Detection: Meta-Collections and Benchmarks for Low-Resource Iberian Languages
arxiv.org·1d
📜Digital Philology
Flag this post
Analyzing Data Quality and Decay in Mega-Constellations: A Physics-Informed Machine Learning Approach
arxiv.org·1d
🧠Machine Learning
Flag this post
Top 5 AI Test Case Generation Tools to Boost Your API Testing in 2025
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·14h·
Discuss: DEV
🎙️Whisper
Flag this post
Krish Naik: 5-Getting Started With Agentic RAG With Detailed Implementation Using LangGraph
vibe.forem.com·8h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Krish Naik: 5-Getting Started With Agentic RAG With Detailed Implementation Using LangGraph
dev.to·4h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·2h·
Discuss: DEV
🎬WebCodecs
Flag this post
Personalized Motion Guidance Framework for Athlete-Centric Coaching
arxiv.org·1d
🔲Cellular Automata
Flag this post
Reliable Active Learning from Unreliable Labels via Neural Collapse Geometry
arxiv.org·1d
🧠Machine Learning
Flag this post
The 64 KB Challenge: Teaching a Tiny Net to Play Pong
dev.to·2d·
Discuss: DEV
⚡Homebrew CPUs
Flag this post
Transfer Learning with Distance Covariance for Random Forest: Error Bounds and an EHR Application
arxiv.org·1d
🧠Machine Learning
Flag this post