2 ms·

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, co

• sitkack 2y ago
  Rust's safety properties are vastly better than C#, memory safety is the barrier to entry.
  • hulitu 2y ago
    (i've heard) unless you use unsafe. /s
• hulitu 2y ago
  > 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 2y ago
    Next level of this thread is with formal proof (e.g. SPARK). Left to the reader to complete the paragraph.