1SeL4 – a formally verified, capability-based microkernel (opens in new tab)(sel4.systems)6wh3132mo ago4Save
4Radshield: Software Radiation Protection for Commodity Hardware in Space (opens in new tab)(radshield.github.io)3wh31310mo ago0Save
6Places, non-places and supermodernity: on the issues of rooting and uprooting (opens in new tab)(brown.edu)2wh3132y ago0Save
7ChatGPT Therapy Is Good, but It Misses What Makes Us Human (opens in new tab)(columbiapsychiatry.org)1wh3133y ago0Save
9Cosmic rays don't strike twice: understanding the nature of DRAM errors (opens in new tab)(dl.acm.org)3wh3133y ago0Save
10First 210 solar days of Mars 2020 Perseverance Robotic Operations (opens in new tab)(trs.jpl.nasa.gov)1wh3133y ago0Save
11Enzian: An open, general, CPU/FPGA platform for systems software research (opens in new tab)(dl.acm.org)3wh3133y ago0Save
12Post-Olympic Depression Haunts the Games' Winners and Losers (opens in new tab)(theatlantic.com)1wh3133y ago0Save
15Why Do Keynote Speakers Keep Suggesting That Improving Security Is Possible? (opens in new tab)(youtube.com)Video2wh3133y ago0Save
