chris martens (they/them) on Nostr: people who work on types and formal methods have a long tradition of motivation ...
people who work on types and formal methods have a long tradition of motivation through fear — “software can break catastrophically! our stuff will prevent the bad thing!”— and one of my life missions is to figure out how to motivate through love instead
Published at
2025-01-08 14:27:57Event JSON
{
"id": "d9663898eb53cc0d4c2556af754b80407a50099c13bf885be0c798f167e679b9",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1736346477,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/113793202777825274",
"activitypub"
]
],
"content": "people who work on types and formal methods have a long tradition of motivation through fear — “software can break catastrophically! our stuff will prevent the bad thing!”— and one of my life missions is to figure out how to motivate through love instead",
"sig": "188b0a58160ecd8c33ae331e9f1abf2d0c26b584e53f00afa86223f0c4d35d66b6ac84412134e354994b8cd5c30963329c6670351cf72c392dbc9feb68561aa5"
}
