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
=> More informations about this toot | View the thread | More toots from chrisamaphone@hci.social
text/geminiThis content has been proxied by September (3851b).