hypercracker [he/him] to technology • 9 hours agoChinese EV company NIO is using the formally-verified seL4 operating system for its carsexternal-linkmessage-square0 fedilinkarrow-up115file-text
arrow-up115external-linkChinese EV company NIO is using the formally-verified seL4 operating system for its carshypercracker [he/him] to technology • 9 hours agomessage-square0 Commentsfedilinkfile-text