F*: A general-purpose proof-oriented programming language Security PKI & Certificates Open Source Q: 9 R: 9 Aug 2, 2026 Summary
Show HN: Katharos Functional programming and CSP-style concurrency for Python Open Source Development Q: 8 R: 9 Aug 2, 2026 Summary
Show HN: Fuse – statically typed functional programming language Open Source Development Q: 8 R: 9 Aug 2, 2026 Summary
Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores Open Source Database Self-hosted Q: 8 R: 9 Aug 2, 2026 Summary
A big win for Android interoperability Open Source News Tech Industry News Data Privacy Q: 8 R: 9 Jul 31, 2026 Summary
CRM: An open-source, agentic-first CRM Open Source Automation API & Webhooks Q: 7 R: 9 Aug 2, 2026 Summary
Elena, a library for building Progressive Web Components Web Development Open Source Development Q: 8 R: 9 Jul 30, 2026 Summary
The years-overdue announcement post for FlickBoard Open Source Self-hosted Development Q: 8 R: 9 Aug 1, 2026 Summary
~ Another "help, looking for mechanical keyboard" thread! cherrys, color backlit leds, usb only (no bt), 100% size Hardware Open Source Q: 8 R: 8 Jul 31, 2026 Summary
k-skill – A large collection of AI agent skills (NomaDamas) Open Source API & Integrations Development Q: 8 R: 9 Aug 2, 2026 Summary
Invidious – An open source alternative front-end to YouTube Open Source Self-hosted API & Integrations Q: 8 R: 9 Aug 2, 2026 Summary
Voice-Pro – AI speech recognition, translation, and dubbing (abus-aikorea) Open Source AI Tools Q: 8 R: 9 Aug 2, 2026 Summary
Generative AI for Beginners (Version 3) - A Course Open Source AI Tools Azure Q: 8 R: 9 Aug 2, 2026 Summary