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
Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser Development Open Source Q: 6 R: 8 Jul 24, 2026 Summary
ar Kimi Linear: An Expressive, Efficient Attention Architecture AI Research Machine Learning Open Source Q: 9 R: 9 Jul 28, 2026 Summary
Golang Maps: how Swiss Tables replaced the old bucket design Performance & Scalability Open Source Development Q: 8 R: 9 Jul 24, 2026 Summary
Golang Maps: How Swiss Tables Replaced the Old Bucket Design Development Open Source Performance & Scalability Q: 8 R: 9 Jul 28, 2026 Summary
Develop Cross-Platform CLI and GUI Tools With Tcl/Tk. Powerful, Event-Driven, Open-Source And Future-Proof Toolkit… From the Past?! Open Source Development Scripting Q: 8 R: 9 Jul 28, 2026 Summary
Making KIO copy many files fast Linux Performance & Scalability Open Source Q: 8 R: 9 Jul 28, 2026 Summary
Programming Languages Are Authoring Tools for Platforms Development Open Source Q: 8 R: 9 Jul 24, 2026 Summary
Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts AI Tools Automation Open Source Q: 8 R: 9 Jul 28, 2026 Summary
PyTorch: a reference language Open Source News LLM & Prompting AI News Q: 8 R: 9 Jul 28, 2026 Summary
Neutrino-1 8B released: 8.19B-parameter decoder-only model with ternary weights and open-source licensing AI News Open Source LLM & Prompting Q: 8 R: 9 Jul 28, 2026 Summary
The age of token efficiency, the age of libraries AI Tools AI News Open Source Q: 8 R: 9 Jul 28, 2026 Summary
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review AI Tools AI News Open Source News Q: 8 R: 9 Jul 28, 2026 Summary
Using an open model feels surprisingly good AI Tools Open Source Self-hosted Q: 8 R: 9 Jul 28, 2026 Summary
PostgreSQL's MVCC is bad. So is everyone else's. Database Performance & Scalability Open Source Q: 8 R: 9 Jul 28, 2026 Summary