![](https://cdn.masto.host/wikisworld/accounts/avatars/109/523/169/367/096/072/original/e47afca17bad0d17.jpg)
2024-12-09 02:35:27
So I've finally finished #Arcane but not sure what to think. I couldn't do a rewatch of S1 as I wanted, but I didn't feel the same connection and impact as back then.
So I've finally finished #Arcane but not sure what to think. I couldn't do a rewatch of S1 as I wanted, but I didn't feel the same connection and impact as back then.
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
Reminder to please stop using Twitter (or X, or whatever it's called now). It is owned by a fascist. Your posts are being used to train an AI that is owned by a fascist. Apparently, said fascist owns your accounts and posts as well. I suggest making a post informing your followers you are moving to the Fediverse or Bluesky or wherever (feel free to link here if you want), and then deleting your account after a couple weeks or so. Twitter is no longer social media. It's a disinformati…