¬∃x(∀y(y∈x↔y∉y))

My avatar is the Fuzzbomb from the 1980s children’s educational PC game Agent USA for no particular reason. You can play it in your browser here.

  • 0 Posts
  • 7 Comments
Joined 1 year ago
cake
Cake day: July 9th, 2025

help-circle

  • The hate is at least partly because there is and has always been a holy war over programming languages. Your choice of programming language greatly affects me. The software you write in language A (usually) can’t interoperate well with the software I write in language B. You end up with duplication of effort and many implementations of a thing, one for each language, usually more than one, with differences between them that makes things complicated. You have more choices when there are more languages, adding complexity to the making of software. I would say Rust gets the brunt of the hate because it’s new, but in 2026 that’s not really true anymore.




  • I’d love to be a fly on the wall in the room at Google where the discussions are being had as to what to label the lake. If I’m to be charitable, I’d assume they’ve renamed it because they’re consistently following an internal rule which says they use geographic names from the GNIS, which was updated by the executive order, and they haven’t yet decided whether they should make an exception in this case. Every nonsensical rename in the GNIS weakens its credibility as an accurate database. I’m sure the debates are interesting. We don’t actually know if this is Google “bending the knee” or sticking with the rename for some other more technical reason.