I have moved to toot.cafe: @sajith.
Today I learned that there are more kinds of woodpeckers in the US than I can reasonably hope to identify.
This one seems to be a red-bellied woodpecker, from the location and call it made.
I've got to met Hillel in real life only twice, and both times I took a ton of candy from him. Also I once drew him as an octopus giving his Strange Loop talk. I think he liked it.
I am glad that Hillel's book, "Practical TLA+", has been released!
Now looking forward to some light formal methods reading.