AI Powered Cat Flap
onlycat.com·4h·
Discuss: Hacker News
🍎Apple
Intel Announces It's Shutting Down Clear Linux
phoronix.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Billions of Edges per Second with Postgres
onesparse.com·3d·
Discuss: Hacker News
➡️Category Theory
The EU can be shut down with a few keystrokes
bitecode.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Problem of Hidden Dependencies
marcelsud.me·4d·
Discuss: Hacker News
👁️System Observability
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·6d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
✓Automated Theorem Proving
We migrated our site to Eleventy and increased performance by 24%
etch.co·1d·
Discuss: Hacker News
🔄Reproducible Builds
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·5d·
Discuss: Substack
🤖Program Synthesis
METR study finds AI doesn't make devs as productive as they think
leaddev.com·2d·
Discuss: r/programming
🤖Program Synthesis
Are We Scribes?
ashouri.xyz·1d·
Discuss: Hacker News
🐫Embedded OCaml
Command GitHub's Coding Agent from VS Code
code.visualstudio.com·1d·
Discuss: Hacker News, r/programming, r/webdev
🔄Reproducible Builds
Show HN: Claude Memory Visualizer
github.com·1d·
Discuss: Hacker News
💾Retro Computing
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·1d
🍎Apple
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·3d
🔠Type-Level Programming
Risk in Stochastic and Robust Model Predictive Path-Following Control for Vehicular Motion Planning
arxiv.org·2d
🔄Finite State Machines
The Explosive Rise of Agentic AI in 2025: Trends That Will Redefine Your World
lightcapai.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Globalization for Scalable Short-term Load Forecasting
arxiv.org·2d
👁️System Observability
NonverbalTTS: A Public English Corpus of Text-Aligned Nonverbal Vocalizations with Emotion Annotations for Text-to-Speech
arxiv.org·1d
🐫OCaml
Early thoughts on Kiro, Amazon's new agentic IDE/VSCode fork
trunk.io·3d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Linux and Secure Boot certificate expiration
lwn.net·1d·
Discuss: Hacker News
🔬Unikernels