Y Hacker News new | ask | show | jobs

user: berkeleynerd created: 2014-10-24 karma: 471 submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada 4 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ada discord server now available 5 points | 5 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments No support for debugging Go on OpenBSD 1 points | 1 comments FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak 11 points | 0 comments