Show HN: Learning Rust by writing a Markdown to HTML compiler Development Open Source Q: 8 R: 9 Jul 29, 2026 Summary
LWN Lockless MPSC FIFO queues for io_uring Linux Open Source Performance & Scalability Q: 8 R: 9 Jul 24, 2026 Summary
Hubbele: Open-source notetaking app for you and your agents Open Source Productivity Tools Development Q: 7 R: 8 Jul 29, 2026 Summary
Starling, a Linux Desktop written from scratch Linux Open Source AI Tools Q: 8 R: 9 Jul 28, 2026 Summary
Lightweight Spring Boot Monitoring Without Prometheus and Grafana Monitoring Open Source DevOps Q: 8 R: 9 Jul 29, 2026 Summary
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU Open Source Development Web Development Q: 8 R: 9 Jul 29, 2026 Summary
Your type checker may be wrong - an introduction to formal proof verification and the Curry-Howard Correspondence Development Open Source Q: 8 R: 9 Jul 25, 2026 Summary
Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript Open Source Automation Q: 8 R: 9 Jul 28, 2026 Summary
Y Robotics development made dead simple (open source) Open Source Development Q: 6 R: 7 Jul 26, 2026 Summary
Running Kimi K3 on a M1 Mac Local AI & Self-hosted LLM Open Source AI Research Q: 8 R: 9 Jul 28, 2026 Summary
Why Rocq is better than Lean for program verification Open Source Tech Industry News Q: 8 R: 9 Jul 28, 2026 Summary
Una Watch: Garmin watch competitor but repairable, open ecosystem and USB-C Hardware Open Source IoT & Embedded Q: 7 R: 7 Jul 28, 2026 Summary
I vibe-coded a travel app in a weekend, security scan found 8 critical flaws Security Security Audit Open Source Q: 8 R: 8 Jul 28, 2026 Summary
Coding Tools MCP (v0.2.2): Give any AI chat or agent a pair of hands on your code AI Tools Open Source Automation Q: 8 R: 8 Jul 28, 2026 Summary
Scientific computing in the age of agentic AI Open Source News Development Linux Q: 8 R: 8 Jul 28, 2026 Summary