berkeleynerd

Karma: 471
Created: 11 years ago

Recent Submissions

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

All submissions on HN · View profile on HN