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
Kimi K3 Architecture Overview and Notes AI Research LLM & Prompting Open Source Q: 9 R: 9 Jul 28, 2026 Summary
Xenharmlib (music theory library) adds support for Just Intonation Open Source Development Q: 8 R: 9 Jul 28, 2026 Summary
You Could Have Come Up With Kimi Delta Attention AI Research Machine Learning Open Source Q: 8 R: 9 Jul 28, 2026 Summary
Show HN: XY – Fast, composable, GPU-accelerated charts, written in Rust Open Source News Python Analytics Q: 8 R: 9 Jul 28, 2026 Summary
Show HN: Base-GPUI: A GPUI port of Base UI headless components Open Source Development API & Integrations Q: 7 R: 8 Jul 28, 2026 Summary
Parallel JSON parsing on the GPU with compute shaders Open Source Development Performance & Scalability Q: 7 R: 9 Jul 28, 2026 Summary