First of all, new TLA+ workshop! October 16th, details here. Use the discount code C0MPUT3RTHINGS for $100 off. But enough about business, I’m here to complain. I’m giving the Are We Engineers talk in Perth September and looking over the slides has reminded me of how much I hate slides. I started with PowerPoint but
