The Month of AI Bugs 2025
embracethered.com·13h
🔓Hacking
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·3d·
Discuss: Hacker News
🧮SMT Solvers
Paper FOMO and ICML 2025 Outstanding Papers
gonzoml.substack.com·10h·
Discuss: Substack
🎯Performance Proofs
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·17h·
Discuss: Hacker News, r/compsci, r/programming
💾Memory Mapping
The Missing 20%: Why Agentic Systems Need Built-In Control
fsilavong.github.io·2d·
Discuss: Hacker News
🤖Network Automation
I’m new here
reddit.com·5h·
Discuss: r/kubernetes
🐚Shell Calculus
Recommendations to overcome language barriers in the Vera C. Rubin Observatory Research Ecosystem
arxiv.org·1d
📚MARC Archaeology
KL-001-2025-016: Xorux LPAR2RRD File Upload Directory Traversal
seclists.org·6h
💣ZIP Vulnerabilities
Advancing Mental Disorder Detection: A Comparative Evaluation of Transformer and LSTM Architectures on Social Media
arxiv.org·2h
📝Text Embeddings
Assessing the Reliability and Validity of a Balance Mat for Measuring Postural Stability: A Combined Robot-Human Approach
arxiv.org·1d
✋Tactile Computing
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🤖Archive Automation
MultiNRC: A Challenging and Native Multilingual Reasoning Evaluation Benchmark for LLMs
arxiv.org·5d
🧮SMT Solvers
How Elicitation in MCP Brings Human-in-the-Loop to AI Tools
thenewstack.io·4d
⚙️TLA+
Deep Generative Models of Evolution: SNP-level Population Adaptation by Genomic Linkage Incorporation
arxiv.org·2h
🧮Kolmogorov Bounds
EmberAI: Algolia MCP Server Challenge
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
Axiomatizing Rumsfeld Ignorance
arxiv.org·4d
🔲Proof Irrelevance
How I Connected Claude to Maven Central (And Why You Should Too)
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Prostate Cancer Classification Using Multimodal Feature Fusion and Explainable AI
arxiv.org·2h
🧠Machine Learning
Python Ceiling Division
dev.to·1d·
Discuss: DEV
📐Interval Arithmetic
Building Trust in AI: Enterprise Knowledge Base Validation with MindsDB
dev.to·3d·
Discuss: DEV
🧬PostgreSQL Forensics