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
Parallel JSON parsing on the GPU with compute shaders Performance & Scalability Hardware Open Source Q: 8 R: 9 Jul 28, 2026 Summary
Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python Open Source Containers & Docker Web Development Q: 6 R: 8 Jul 28, 2026 Summary
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines AI-written code Open Source AI Tools AI News Q: 8 R: 9 Jul 28, 2026 Summary
I Designed A Custom PCB To Avoid Pressing A Button Three Times IoT & Embedded Automation Open Source Q: 8 R: 9 Jul 28, 2026 Summary
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code AI Tools Development Open Source Q: 8 R: 9 Jul 28, 2026 Summary