50 years of proof assistants Open Source News Tech Industry News Development Q: 9 R: 9 Dec 5, 2025 Summary
Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster Development Performance & Scalability Open Source Q: 8 R: 9 Aug 25, 2026 Summary
Hunting Down a Go Runtime Bug on 32-bit Embedded Systems Development Open Source Linux Q: 9 R: 9 Aug 25, 2026 Summary
HelloAssembly The smallest possible complete Windows application Development Open Source Q: 8 R: 9 Aug 25, 2026 Summary
Porffor goes alpha August 11th Open Source Development Performance & Scalability Q: 8 R: 9 Aug 25, 2026 Summary
Galaxium, a WebGPU universe explorer Web Development APIs & Integrations Q: 9 R: 9 Aug 25, 2026 Summary
Building a High-Performance Data Grid in React, Vue, and Svelte Web Development Performance & Scalability Open Source Q: 8 R: 9 Aug 25, 2026 Summary
Autostep (YC P26) Is Hiring AI/Fullstack Engineers and a Chief of Staff Startup & VC Development Q: 7 R: 8 Aug 24, 2026 Summary
Curvature Beziers – Improving on a timeless recipe Development Open Source Q: 9 R: 9 Aug 19, 2026 Summary
Show HN: A Modern GUI Library for Ada: CSS Styling, XML UI, SDL3 Open Source Development API & Integrations Q: 8 R: 9 Aug 24, 2026 Summary
Une coroutine n'est pas un thread : Coroutines (1/5) Development Open Source Q: 7 R: 9 Aug 24, 2026 Summary
Coding expertise is going to collapse from AI reliance AI Tools AI News Development Q: 7 R: 9 Aug 24, 2026 Summary