Tootfinder

Opt-in global Mastodon full text search. Join the index!

@BugWarp@wikis.world
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.

@samir@functional.computer
2024-12-20 23:00:25

@… 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…

@GroupNebula563@mastodon.social
2024-11-27 00:23:27

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…