a filename when none exists Open Source HTTP & Web Protocols Development Q: 9 R: 9 Aug 19, 2026 Summary
Looking for Missed Alarm Bugs in a Formal Verification Tool Development Open Source Q: 8 R: 9 Aug 14, 2026 Summary
Bun 1.4 Rust rewrite is not looking good Open Source Development AI Tools Q: 7 R: 9 Aug 19, 2026 Summary
Alibaba’s TSMC-Built 5nm RISC-V Chip, XuanTie C950, Now Runs Qwen-3.8 27B Model Natively, Unlocking Massive Vertical Integration Tailwinds AI News Open Source News AI Industry News Q: 8 R: 9 Aug 18, 2026 Summary
Palomar – a registry of Lean verified mathematics AI Tools Open Source AI News Q: 8 R: 9 Aug 19, 2026 Summary
genlayerlabs/genlayer-project-boilerplate Open Source DevOps Automation Q: 7 R: 9 Aug 19, 2026 Summary
Programmable Property-Based Testing AI Tools Machine Learning Open Source Q: 8 R: 8 Aug 18, 2026 Summary
Show HN: Loft Day – a wedding invitation turned point-and-click game Open Source Web Development Q: 8 R: 8 Aug 18, 2026 Summary
A 25-year-old video patent just expired, ending a legal headache for Linux Open Source Tech Industry News Q: 8 R: 9 Aug 15, 2026 Summary
Show HN: Interactive, animated architecture of any HuggingFace models AI Tools Open Source News Q: 8 R: 9 Aug 18, 2026 Summary
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome AI Research Open Source Q: 8 R: 9 Aug 18, 2026 Summary