1Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (opens in new tab)(nlnet.nl)4berkeleynerd1y ago1Save
4FBI Director Wray acknowledges bureau assessment that Covid-19 likely lab leak (opens in new tab)(cnn.com)11berkeleynerd3y ago0Save
6Mudita FreeRTOS-based e-ink OS now GPLv3 and available on GitHub (opens in new tab)(github.com)GitHub10berkeleynerd4y ago2Save
7Gnat 2021 GPL Community Edition Ada 202x compiler released (opens in new tab)(adacore.com)101berkeleynerd5y ago81Save
9WrittenRealms – An Old School MUD with build-tools and a great web UI (opens in new tab)(writtenrealms.com)2berkeleynerd6y ago0Save
11Fake human sacrifice filmed at CERN, with pranking scientists suspected (opens in new tab)(theguardian.com)3berkeleynerd9y ago0Save
12NSA Blames Website Outage on Inclement Weather (opens in new tab)(theregister.co.uk)2berkeleynerd9y ago1Save
