berkeleynerd

Joined 10/24/2014, 9:52:27 PM has 471 karma

Posts

Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
by berkeleynerd on 10/4/2024, 11:22:50 AM with 1 comments
Ada discord server now available
by berkeleynerd on 5/11/2024, 1:04:09 PM with 5 comments
No support for debugging Go on OpenBSD
by berkeleynerd on 4/10/2023, 2:42:34 PM with 1 comments
FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak
by berkeleynerd on 3/1/2023, 7:20:26 AM with 0 comments
The Modern Windows Command Line
by berkeleynerd on 8/5/2022, 10:46:28 PM with 0 comments