Dependently typed Clojure DSL with a Lean4 compatible kernel Open Source News Development Q: 8 R: 9 Jun 27, 2026 Summary
Show HN: Decomp Academy – Learn to decompile GameCube games into matching C Open Source Open Source News Q: 8 R: 9 Jun 28, 2026 Summary
There Are No Instances in atproto Internet Standards Web Protocols Open Source Q: 8 R: 9 Jun 27, 2026 Summary
Regular expressions that work “everywhere” Development DevOps Open Source Q: 8 R: 9 Jun 25, 2026 Summary
The feature in OxCaml that more languages should steal Development Open Source Q: 8 R: 9 Jun 27, 2026 Summary
Prism: An Impure Functional Language With Typed Effects Open Source Development Q: 9 R: 9 Jun 27, 2026 Summary
pg_plan_advice — help the planner get the right plan Database Open Source Q: 9 R: 9 Jun 27, 2026 Summary
R One man, two kernels, and a lot of RISC-V Open Source OS Platforms Hardware Q: 8 R: 9 Jun 26, 2026 Summary
Supabase (YC S20) Is Hiring for Multigres Startup & VC Open Source SaaS Tools Q: 7 R: 8 Jun 27, 2026 Summary
ar Comparing Transformers and Hybrid Models at the Token Level Vulnerability & CVE Security Open Source Q: 7 R: 9 Jun 27, 2026 Summary
X Task Failed Successfully: Saturating NIC and Disk Bandwidth Performance & Scalability Linux Open Source Q: 8 R: 9 Jun 23, 2026 Summary
Shard your locks: benchmarking 6 Go cache designs Performance & Scalability Open Source Q: 8 R: 9 Jun 27, 2026 Summary
Red Alert, Command & Conquer, Dune 2000, Rebuilt for the Modern Era. Open Source Development Q: 8 R: 9 Jun 27, 2026 Summary
Faster KNN search in Manticore: 2-pass HNSW, batched distances, and AVX-512 Data Engineering Open Source AI News Q: 7 R: 8 Jun 26, 2026 Summary
DeepSeek open-sources inference optimizations with 60–85% faster generation [pdf] AI News Open Source News Q: 7 R: 9 Jun 27, 2026 Summary