If you needed any more evidence that memory safety is the future...

[Moritz Maxeiner via Digitalmars-d]

On Wednesday, 8 March 2017 at 13:50:28 UTC, Paulo Pinto wrote:
> [...]
>
> I will just leave this here.
>
> https://muen.codelabs.ch/

This seems really cool, but I though seL4[1] were the first in 
the field.
Guess I'll have some more research to do :p

[1] https://sel4.systems/