I like the journey of software development. The problems one encounters, and the small glow from solving them. The losing oneself in an arcane landscape where occult words have power. The journey is more important than the destination, and as software is never truly finished perhaps there is no destination. Theorem proving feels like an interesting challenge.

If all human activity has to be a competition (the world makes everything a competition) then I am competing against myself and my limitations.

The first lesson I learnt at University (perhaps the only lesson I really learnt) was that if you think you’ve discovered something then you’re either wrong or someone else has discovered it first. A good lesson. But I journey despite what other people or AIs have done.