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