berkeleynerd

472 karmajoined October 24, 2014On HN

Recent submissions

Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada nlnet.nl
4berkeleynerd1y1 comment
Ada discord server now available discord.com
5berkeleynerd2y5 comments
No support for debugging Go on OpenBSD github.com/go-delve
1berkeleynerd3y1 comment
FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak cnn.com
11berkeleynerd3ydiscuss
The Modern Windows Command Line medium.com
5berkeleynerd4ydiscuss
Mudita FreeRTOS-based e-ink OS now GPLv3 and available on GitHub github.com/mudita
10berkeleynerd4y2 comments
Gnat 2021 GPL Community Edition Ada 202x compiler released adacore.com
101berkeleynerd5y81 comments
AdaCore GNATPro Community 2020 Released adacore.com
1berkeleynerd6ydiscuss
WrittenRealms – An Old School MUD with build-tools and a great web UI writtenrealms.com
2berkeleynerd6ydiscuss
Purism's PureOS 3 Alpha Released puri.sm
1berkeleynerd9ydiscuss
Fake human sacrifice filmed at CERN, with pranking scientists suspected theguardian.com
3berkeleynerd10ydiscuss
NSA Blames Website Outage on Inclement Weather theregister.co.uk
2berkeleynerd10y1 comment

All submissions and comments on Hacker News.