I'm currently in flux of where to post my research updates. Looking for a formal methods/programming language/software engineering community on one of the socials.

Going back to Twitter for now. Bluesky doesn't have the same level of liveliness, and its Discover tab will show the same posts for days or weeks in a row.

A book in my shelf. It's interesting that from a floating-point perspective, addition is harder than multiplication because figuring out the magnitude is more difficult than addition, so requires more logic.

Some people on here arguing over public transit when what we really need is thousands of miles of railways for these only

Awaken is a weird spell. One time my party awakened a bird and asked it some questions, then tried to bring it back to its mate. I then posed that the creature would never be able to bond with its mate on any meaningful level because their intelligence differences were too vast.

Good lighthouse facts in here: www.youtube.com/watch?v=dNJU...

The two sides of modernity