✧✦✶Catherine✶✦✧ on Nostr: but to answer to this more concretely: the fact that one component of a system can ...
but to answer to this more concretely: the fact that one component of a system can violate a contract doesn't make contracts pointless or, indeed, less valuable; this is true regardless of how your hardware is built and whether your kernel is written in assembly, C, Rust, or Ada
the only real difference is how much of the contract is machine-checked
Published at
2024-04-22 03:45:40Event JSON
{
"id": "90215eec04e009571e6d285543e218e78cc81bf36b059fa60c453dda08bccbf1",
"pubkey": "269bf643b055ada34b723a876521bd3fc6b6d8357bd4952047d0004e3778a716",
"created_at": 1713757540,
"kind": 1,
"tags": [
[
"e",
"5d1a08f84850ff1927eae540a83229743cb91dd362c858bd762d0c5e11aaf1d5",
"",
"reply"
],
[
"p",
"269bf643b055ada34b723a876521bd3fc6b6d8357bd4952047d0004e3778a716"
],
[
"e",
"38c700c3b5fa8c215fb274451f7a9d28a79e6633a49029a432b063773419ce86",
"",
"root"
],
[
"p",
"04f8915424c713657ad6ce59443d28dbdcf5832687c9af560ae388f59276a137"
],
[
"proxy",
"https://mastodon.social/users/whitequark/statuses/112312814159825371",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/whitequark/statuses/112312814159825371",
"pink.momostr"
]
],
"content": "but to answer to this more concretely: the fact that one component of a system can violate a contract doesn't make contracts pointless or, indeed, less valuable; this is true regardless of how your hardware is built and whether your kernel is written in assembly, C, Rust, or Ada\n\nthe only real difference is how much of the contract is machine-checked",
"sig": "ae121be8436f277915815ee8ee01c1fdedd54b9060f46396f003f7a367f6f284c2793202ee642295a489ccd991110aa9ab8140682f5bf2cbb8685438bb552ae0"
}
