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 regret this Show more
Google's photo sharing thing displays empty rectangles and spinners, and no photos, even when using Google's web browser.
Must be all the machine learning? 🤔
Recieved a text that sounds extremely legit. It has some words in ALL CAPS.
But... is the President trying to get a non-citizen to vote?
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.
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!