| 1. | | Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (nlnet.nl) |
| 4 points by berkeleynerd on Oct 4, 2024 | past | 1 comment |
|
| 2. | | Ada discord server now available (discord.com) |
| 5 points by berkeleynerd on May 11, 2024 | past | 5 comments |
|
| 3. | | No support for debugging Go on OpenBSD (github.com/go-delve) |
| 1 point by berkeleynerd on April 10, 2023 | past | 1 comment |
|
| 4. | | FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak (cnn.com) |
| 11 points by berkeleynerd on March 1, 2023 | past |
|
| 5. | | The Modern Windows Command Line (medium.com/go-windows) |
| 5 points by berkeleynerd on Aug 5, 2022 | past |
|
| 6. | | Mudita FreeRTOS-based e-ink OS now GPLv3 and available on GitHub (github.com/mudita) |
| 10 points by berkeleynerd on Nov 10, 2021 | past | 2 comments |
|
| 7. | | Gnat 2021 GPL Community Edition Ada 202x compiler released (adacore.com) |
| 101 points by berkeleynerd on May 28, 2021 | past | 81 comments |
|
| 8. | | AdaCore GNATPro Community 2020 Released (adacore.com) |
| 1 point by berkeleynerd on May 22, 2020 | past |
|
| 9. | | WrittenRealms – An Old School MUD with build-tools and a great web UI (writtenrealms.com) |
| 2 points by berkeleynerd on May 15, 2020 | past |
|
| 10. | | Purism's PureOS 3 Alpha Released (puri.sm) |
| 1 point by berkeleynerd on Nov 8, 2016 | past |
|
| 11. | | Fake human sacrifice filmed at CERN, with pranking scientists suspected (theguardian.com) |
| 3 points by berkeleynerd on Aug 18, 2016 | past |
|
| 12. | | NSA Blames Website Outage on Inclement Weather (theregister.co.uk) |
| 2 points by berkeleynerd on Aug 17, 2016 | past | 1 comment |
|
| 13. | | Support the FSF compliant EOMA68 modular libre computing device (crowdsupply.com) |
| 14 points by berkeleynerd on July 11, 2016 | past | 2 comments |
|
| 14. | | Multiple Black Vehicles with MD License Plates at Apple Executive Briefing Center |
| 162 points by berkeleynerd on Feb 17, 2016 | past | 49 comments |
|
| 15. | | Open Lunchbox – Modular Open Source Hardware (openlunchbox.com) |
| 2 points by berkeleynerd on Jan 1, 2016 | past |
|
| 16. | | Diabetes Drug Could Dramatically Increase Human Life Span (iflscience.com) |
| 1 point by berkeleynerd on Dec 1, 2015 | past |
|