I wish more computer scientists would read books like this, they’re a great antidote to people who think formal verification is some sort of systems safety panacea
https://hachyderm.io/@cornazano/111947785095905083
John Regehr /
npub15x…e5a5k
2024-02-18 04:39:58
Author Public Key
npub15xjwk4qzx56p5tdsmzsge7m5ahztkp4nzmrmkw2cp324t888rwsswe5a5kPublished at
2024-02-18 04:39:58Event JSON
{
"id": "97013b7c6854daa17c12f642d99a4edbad2917b0d0a828ccb7a05be3a2a22f38",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1708231198,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/111950639838880571",
"activitypub"
]
],
"content": "I wish more computer scientists would read books like this, they’re a great antidote to people who think formal verification is some sort of systems safety panacea \n\nhttps://hachyderm.io/@cornazano/111947785095905083",
"sig": "8723fec46a9cf9ffb6886972039a963f790b0e951c36d93881128ecf164889b94d1b6b5b8fc9271e5a76fe292b67f8109cee97f16bdfc2ff484dd860f4654cb7"
}