On Saturday I started the vacation phase of the trip. Technically it started on Friday, but I changed rooms on Saturday, which had the disadvantage of taking far too long, and the advantage of an improved view. I had to check out of my old room by 10AM, but could not get into the new […]

This morning before breakfast I spent some quality time swimming with some sea turtles. For context, I am in Hawaii for a conference and vacation. Yesterday I spent about 90 minutes snorkeling in a lagoon on the resort property, and saw many species of fish, eels, and other sundry aquatic life, but the turtles eluded […]