Short notes, links, and daily observations from Cliff538. A running log.