berkeleynerd

Posts

• Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
  by berkeleynerdon 10/4/2024, 11:22 AMwith 1 comments
• Ada discord server now available
  by berkeleynerdon 5/11/2024, 1:04 PMwith 5 comments
• No support for debugging Go on OpenBSD
  by berkeleynerdon 4/10/2023, 2:42 PMwith 1 comments
• FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak
  by berkeleynerdon 3/1/2023, 7:20 AMwith 0 comments