Why Don't People Use Formal Methods? (2019) Development Open Source Automation Q: 9 R: 9 Jan 21, 2019 Summary
SDL_GPU minimal, single-header, high-performance 2D graphics painting library Open Source Development API & Integrations Q: 8 R: 9 Jul 30, 2026 Summary
Why every Wikimedian should be a toolmaker AI Tools Open Source AI News Q: 8 R: 9 Jul 30, 2026 Summary
LWN GCC steering committee announces AI policy AI News Open Source News Q: 8 R: 9 Jul 30, 2026 Summary
ANE Training — Backpropagation on Apple Neural Engine Open Source Machine Learning Hardware Q: 7 R: 9 Jul 30, 2026 Summary
FlashKDA: Flash Kimi Delta Attention — high-performance KDA kernels Open Source Machine Learning AI Tools Q: 8 R: 9 Jul 30, 2026 Summary
Snipe-IT - Open Source Asset Management System Open Source IT Management Self-hosted Q: 7 R: 8 Jul 30, 2026 Summary
Turning a Dumb AC Unit Smart (Without Losing my Security Deposit) IoT & Embedded Hardware Open Source Q: 7 R: 8 Jul 29, 2026 Summary
T Kuna: Decompiler Development in the Age of Coding Agents AI Tools AI Research Open Source Q: 7 R: 8 Jul 29, 2026 Summary
Keychron announces first open-source firmware for gaming mice Open Source Hardware IoT & Embedded Q: 7 R: 8 Jul 29, 2026 Summary
Concurrency, interactivity, mutability, choose two Development Open Source Q: 7 R: 9 Jul 27, 2026 Summary