Hyperbole Implicit Buttons: Build your Hyperverse Open Source Development API & Integrations Q: 8 R: 9 Jul 29, 2026 Summary
Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels Development Open Source Q: 8 R: 8 Jul 29, 2026 Summary
Streaming the IETF MoQ sessions with MoQ… kinda! Network Network Architecture Open Source Q: 8 R: 9 Jul 29, 2026 Summary
Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-design AI Research AI Tools Open Source Q: 9 R: 9 Jul 29, 2026 Summary
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