On: OpenVMM – A New VMM for Windows and Linux, Written...

[jeroenhd]

When it comes to low-level, security sensitive software like this, I actually do value the software being written in a relatively safe language.

Could Rust, could be C# for all I care.

[hulitu → jeroenhd]

> When it comes to low-level, security sensitive software like this, I actually do value the software being written in a relatively safe language.

When it comes to low-level, security sensitive software like this, I actually do value the software being tested extensively. Bugs are bugs even if they are written in C, Rust, Ada, Elixir, Lisp or whatever language you like.

[touisteur → hulitu]

Next level of this thread is with formal proof (e.g. SPARK). Left to the reader to complete the paragraph.

[sitkack → jeroenhd]

Rust's safety properties are vastly better than C#, memory safety is the barrier to entry.

[hulitu → sitkack]

(i've heard) unless you use unsafe. /s