On: How can we develop transformative tools for though...

[deterministic]

I agree. Learning how to use interactive theorem proving tools like Coq, LEAN etc. has blown my mind and given me a much better way to think about software development. The same way that learning basic maths teaches you a new way to think clearly about the messy real world.

[pizza → deterministic]

How did you do approach learning it to make it “stick” to such an extent that it’s changed how you approach problems?

[deterministic → pizza]

I completed the first volume of Software Foundations:

https://softwarefoundations.cis.upenn.edu/

and then started proving tiny toy examples correct from scratch. I also read a lot of papers on type theory and the history of proof assistants. It’s really interesting fun stuff.