Xavier Leroy on programming, languages and formal verification Development Open Source Q: 8 R: 9 Jul 26, 2026 Summary
Go Analysis Framework: modular static analysis by go team API & Integrations Open Source Development Q: 8 R: 9 Jul 26, 2026 Summary
Postgresql Testing – No Docker, Brew, or apt Development DevOps Open Source Q: 8 R: 9 Jul 23, 2026 Summary
No Stack Overflow, No Autocomplete: What Coding Felt Like in the 80s Development Q: 8 R: 9 Jul 26, 2026 Summary
Goshot : créer de belles captures d'écran de code en Go Open Source Development Q: 8 R: 9 Jul 26, 2026 Summary
Show HN: ZWPlayer – Free player with interactive annotations and subtitle search Web Development API & Integrations Security Q: 7 R: 9 Jul 26, 2026 Summary
Show HN: SpinWin – A macOS menu bar app to visually rotate or spin any window Open Source Development API & Integrations Q: 8 R: 9 Jul 25, 2026 Summary
Y Show HN: Writemark, a dependency free web component for inline Markdown editing Web Development Open Source API & Integrations Q: 8 R: 9 Jul 25, 2026 Summary
How I Find Problems to Solve as a Staff Engineer Development Open Source IT Management Q: 8 R: 9 Jul 25, 2026 Summary
A friend showed me another 'learned a new language' site Development Open Source Q: 6 R: 7 Jul 24, 2026 Summary
My web version of Mars MIPS, now have builtin C compiler Web Development Q: 6 R: 7 Jul 25, 2026 Summary
Writing a (valid) C program without main() Linux Development Open Source Q: 9 R: 9 Jul 25, 2026 Summary
stinkpot: sqlite-backed shell history Open Source Development Self-hosted Q: 8 R: 9 Jul 25, 2026 Summary