←back to thread

OpenVMM – A New VMM for Windows and Linux, Written in Rust

(github.com)
171 points g0xA52A2A | 2 comments | 17 Oct 24 05:42 UTC | HN request time: 0s | source
Show context
ericyd ◴[17 Oct 24 13:05 UTC] No.41869293[source]▶
Thank God this VMM is written in Rust, otherwise I would be very skeptical. I don't care about features or purpose or technical advantages, give me Rust or give me death.
replies(4): >>41869380 #>>41869386 #>>41871253 #>>41873298 #
jeroenhd ◴[17 Oct 24 13:16 UTC] No.41869380[source]▶
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.

replies(2): >>41870723 #>>41871618 #
1. hulitu ◴[17 Oct 24 17:22 UTC] No.41871618[source]▶
> 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.

replies(1): >>41872870 #
2. touisteur ◴[17 Oct 24 19:20 UTC] No.41872870[source]▶
Next level of this thread is with formal proof (e.g. SPARK). Left to the reader to complete the paragraph.