Show HN: I Boiled a Decade of Debugging into a Practical Guide
jwworth.gumroad.com·3h·
Discuss: Hacker News
🧩Theorem Proving
Why Zig Could Be the Future of Systems Programming in 2025
devtechinsights.com·22h·
Discuss: DEV
🦀Rust
How many SPARCs is too many SPARCs?
thejpster.org.uk·16h
💾Retrocomputing
Recreationally overengineering my Location History
overengineer.dev·21h
🦀Rust
Former YC product lead shares how she builds voice agents
aimodelbehavior.substack.com·22h·
Discuss: Substack
🧩Theorem Proving
“Markdown is a disaster: why and what to do instead”
osnews.com·18h
🔧Compiler Design
Individual Pricing Algorithms on the Rise
hls.harvard.edu·3h·
Discuss: Hacker News
⚖Algorithmic Game Theory
AI = Data + Biases
krnel.ai·2d
🎲Probabilistic Programming
Tired Of SEO Spam, Software Engineer Creates A New Search Engine via @sejournal, @martinibuster
searchenginejournal.com·2d
⚖️Logic Programming
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·12h
⚖Algorithmic Game Theory
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.org·2d
🎲Probabilistic Programming
Predicting Vessel Default Risk Through Dynamic Ensemble Learning of Maritime Financial Data
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
What I Learned From a Week of AI-Assisted Coding: The Good, The Bad, and The Surprisingly Counterintuitive
dev.to·2h·
Discuss: DEV
🧩Theorem Proving
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·2d
🧭SMT Solvers
The Better AI Gets, The More It Needs Us
every.to·7h
🤖Sci-Fi
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
vibe.forem.com·6h·
Discuss: DEV
👐Open Source Software
Analyzing Information Sharing and Coordination in Multi-Agent Planning
arxiv.org·1d
🌍Distributed Systems
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·2d
⚖Algorithmic Game Theory
Speciesism in AI: Evaluating Discrimination Against Animals in Large Language Models
arxiv.org·2d
🧮Programming Language Theory
Hugging Face: 5 ways enterprises can slash AI costs without sacrificing performance
venturebeat.com·1d
🎲Probabilistic Programming