It's not lost on me that C and C++ toolchains, loaded with static analyzers, could barely reach ASIL B and just barely scratched ASIL C, but Rust got to ASIL D on its first publicly-released verified toolchain.
Just getting our asses spanked over and over and over, meanwhile we have people writing proposals (derogatory) about safety and security and giving keynotes where they barely understand the material instead of inviting actual experts to give us their industry-hardened opinions.
ThePhD /
npub19p…u862l
2023-10-05 17:57:00
Author Public Key
npub19pz4w2q5uvs9jz8aydmgk9pgtgpmdy6380aekuy8gdvjfvztcx0qnu862lPublished at
2023-10-05 17:57:00Event JSON
{
"id": "1970ad305411a89a46f148c269f5537bb476f964f5da0316fc3f99ae10eb8c63",
"pubkey": "2845572814e3205908fd23768b14285a03b693513bfb9b7087435924b04bc19e",
"created_at": 1696528620,
"kind": 1,
"tags": [
[
"proxy",
"https://pony.social/users/thephd/statuses/111183699651880140",
"activitypub"
]
],
"content": "It's not lost on me that C and C++ toolchains, loaded with static analyzers, could barely reach ASIL B and just barely scratched ASIL C, but Rust got to ASIL D on its first publicly-released verified toolchain.\n\nJust getting our asses spanked over and over and over, meanwhile we have people writing proposals (derogatory) about safety and security and giving keynotes where they barely understand the material instead of inviting actual experts to give us their industry-hardened opinions.",
"sig": "5d4f57f6c40cd12a5ae9bbcdf0ad586e9b50f7773723cef87ae44d39098b577b9fdd65217c0811e1e739b4c1e514c6c8e164ea354048d8e3a8a2d645fae512eb"
}