I worked in computer software all the days of my working life. And it has also been one of my major hobbies.

Gathered here are languages and applications I’m using, issues I’ve had, and notes on an automated theorem prover I’m wasting time on.