Conversation

Notices

1. Embed this notice
   chris martens (chrisamaphone@hci.social)'s status on Thursday, 09-Jan-2025 06:26:29 JST chris martens

   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

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Thursday, 09-Jan-2025 07:38:09 JST julesh

     in reply to

     @chrisamaphone My motivation is "unlimited power", does that count?