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