1Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (opens in new tab)(nlnet.nl)4berkeleynerd1y ago1
4FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak (opens in new tab)(cnn.com)11berkeleynerd3y ago0
