3 ms·
I call this the "Lie back and think of England" stance. You're not wrong, until the end, it should be: "you have to distrust the Rust org, all of it." And not
by carapace 4y ago
I call this the "Lie back and think of England" stance.
You're not wrong, until the end, it should be: "you have to distrust the Rust org, all of it."
And not just Rust, Python and JS and all the others. There are languages and systems that take trust and security seriously, but these are not they.
- Thiez 4y agoPray tell us, which languages do take trust and security seriously, according to you?
- carapace 4y ago(Is it that you don't know of any yourself? Or that you think I can't provide examples? In what world is what I said even slightly controversial? Type checking is just catching on now, decades after it was invented and implemented. C'mon.) Anyway, off the top of my head, Ada. https://en.wikipedia.org/wiki/Ada_(programming_language) https://en.wikipedia.org/wiki/Ada_(programming_language) and E... https://en.wikipedia.org/wiki/E_(programming_language) https://en.wikipedia.org/wiki/E_(programming_language) https://en.wikipedia.org/wiki/CapROS https://en.wikipedia.org/wiki/CapROS Qubes and SEL4 are Operating systems. (OK Labs was acquired by General Dynamics. That seems like a pretty good recommendation to me.) https://en.wikipedia.org/wiki/Qubes_OS https://en.wikipedia.org/wiki/Qubes_OS https://en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4 https://en.wikipedia.org/wiki/L4_microkernel_family#High_ass...