/
lemm.ee
Search
Explore
Create
technology
hypercracker
•
4d ago
•
100%
Chinese EV company NIO is using the formally-verified seL4 operating system for its cars
fosstodon.org
20
0
Comments
0
Hot
Top
New