My Honda CB250 parked at Casula Powerhouse.
I've been doing a lot of seL4 proof maintenance recently. All I've learnt is that whatever I bitterly whinged about last week was far better proof engineering than what I'm hacking this week (so to speak). A short memory indeed; or putting it another way, it's only clear to me how to do something in Isabelle after I'm over-invested in something half-arsed. I now have a greater understanding of seL4's bedrock abstractions and just how much we have abused them. Oh well.
In any case my proof chimping has paid for a bright shiny old Honda CB250, the Fabergé egg of the masses according to James May. (As you can see, mine looks nothing like his.) It's a 2005 model in almost perfect condition, and has done about 7,000km. I paid $4,000 for it to a bloke out at Mt Annan, and rode it home just this evening. (The price is decent for a motorcycle in this condition; the LAMS market is quite inflated.) Earlier editions have been called Dreams, reminding me of the aging 100cc scooters of Vietnam. It is super-easy to ride, and doesn't stall unless you try to take off in second gear, or something stupid like that. (That and many other things do I need to unlearn from my time in Saigon.) The ride home was uneventful; I got on the Hume/M5 by mistake for a bit but the traffic wasn't nearly as bad as I expected. I had dinner at El Manara in Lakemba for the first time since 2009 or so. It hasn't changed.
This model is weird as there seems to be no canonical example of it. The Wikipedia page suggests this is a Nighthawk, but those have spokes.