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. When it come
by 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 agoNext level of this thread is with formal proof (e.g. SPARK). Left to the reader to complete the paragraph.