China, Singapore line up for dumped Australian Gov CS research team (seL4)innovationaus.com 5 pointsflgb5 years ago1 commentSaveHideCopy link On HNComments−jhvkjhk5yLi auto is a competitor of Tesla, seL4 is one of the most secure micro kernel, finally some electric car company that take software seriously.
Comments
Li auto is a competitor of Tesla, seL4 is one of the most secure micro kernel, finally some electric car company that take software seriously.