berkeleynerd | Dark Hacker News

1.	Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada(nlnet.nl) 4 points by berkeleynerd 1 year ago \| 1 comment
2.	Ada discord server now available(discord.com) 5 points by berkeleynerd 2 years ago \| 5 comments
3.	No support for debugging Go on OpenBSD(github.com) 1 points by berkeleynerd 3 years ago \| 1 comment
4.	FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak(cnn.com) 11 points by berkeleynerd 3 years ago \| 0 comments