asciinema : enregistrer son terminal, rejouer les replays, export en gif Linux Open Source Q: 8 R: 9 Jul 7, 2026 Summary
StreetComplete: Fixing OpenStreetMap, one tiny quest at a time Open Source Development Q: 8 R: 9 Jul 7, 2026 Summary
Mechanized type inference for record concatenation Development Open Source Q: 8 R: 9 Jul 7, 2026 Summary
Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM Open Source Web Development Q: 8 R: 9 Jul 7, 2026 Summary
Compiling a Go program into a native binary for Nintendo Switch Open Source Development Q: 8 R: 9 Jul 6, 2026 Summary
ar A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report AI Tools AI Research Open Source Q: 9 R: 9 Jul 7, 2026 Summary
Flathub bans AI-coded apps – with some exceptions AI News Open Source News Q: 7 R: 8 Jul 6, 2026 Summary
karakeep-app/karakeep — Self-hosted AI-powered Bookmark Manager Self-hosted AI Tools Open Source Q: 6 R: 9 Jul 7, 2026 Summary
IEEE Small AI Models Gain Traction Around the World AI News AI Tools Open Source Q: 8 R: 9 Jul 6, 2026 Summary
Fable turned remarkable into Tom Riddle's diary from Harry Potter LLM & Prompting Open Source News Q: 8 R: 9 Jul 6, 2026 Summary