from Hacker News

berkeleynerd

joined 10/24/14, 9:52 PM has 471 karma

• Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada

  by berkeleynerd on 10/4/24, 11:22 AM, with 1 comments

• Ada discord server now available

  by berkeleynerd on 5/11/24, 1:04 PM, with 5 comments

• No support for debugging Go on OpenBSD

  by berkeleynerd on 4/10/23, 2:42 PM, with 1 comments

• FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak

  by berkeleynerd on 3/1/23, 7:20 AM, with 0 comments

• The Modern Windows Command Line

  by berkeleynerd on 8/5/22, 10:46 PM, with 0 comments

• Mudita FreeRTOS-based e-ink OS now GPLv3 and available on GitHub

  by berkeleynerd on 11/10/21, 11:12 AM, with 2 comments

• Gnat 2021 GPL Community Edition Ada 202x compiler released

  by berkeleynerd on 5/28/21, 9:22 AM, with 81 comments

• AdaCore GNATPro Community 2020 Released

  by berkeleynerd on 5/22/20, 6:37 PM, with 0 comments

• WrittenRealms – An Old School MUD with build-tools and a great web UI

  by berkeleynerd on 5/15/20, 8:24 AM, with 0 comments

• Purism's PureOS 3 Alpha Released

  by berkeleynerd on 11/8/16, 3:30 PM, with 0 comments