[mynameisnoone]

This is 2024. We need formally-verified operating systems, applications, and tools in the spirit of seL4 but going beyond it in rigor. Cobbling together lightly tested, over-engineered, heaving codebase systems with fragile, dangerous languages in this day and age is asking for users dying when foreign actors hack them, annoying bugs for many, and attack surface for malware and hacking generally.

On top of that, clean and unified UX and usable features must be provided or the engineering is all for naught.

[saagarjha]

I look forward to seeing your implementation of this :)

[fsflover]

> We need formally-verified operating systems

Compartmentalization is a far stronger security measure according to experience. See: Qubes OS.

[tucnak]

Intel only...