China, Singapore line up for dumped Australian Gov CS research team (seL4) (opens in new tab)

(innovationaus.com)

5 pointsflgb5y ago1 comments

1 comments

1 comments · 1 top-level

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.

j / k navigate · click thread line to collapse