hypercracker [he/him]@hexbear.net to technology@hexbear.netEnglish · 7 hours agoChinese EV company NIO is using the formally-verified seL4 operating system for its carsfosstodon.orgexternal-linkmessage-square0fedilinkarrow-up113arrow-down10file-text
arrow-up113arrow-down1external-linkChinese EV company NIO is using the formally-verified seL4 operating system for its carsfosstodon.orghypercracker [he/him]@hexbear.net to technology@hexbear.netEnglish · 7 hours agomessage-square0fedilinkfile-text