1,029 karma · joined October 28, 2023
Yes, that's why google moved to manifest v3 and extensions can't do as much.
Just use dm-verity for remote servers.
No, the same account is used. You get prompted to choose a nickname each time you join a server though.
>So when they say "a Discord server", they really mean it--they're like droplets running independent deployments or whatever
No, they're probably all run on the same compute. The "official" name for a discord server from the API documentation is actually a "discord guild" and it works pretty much like a subreddit.
This seems like an implementation issue rather than a format/spec issue.
Like, what if you're getting a u32 over the wire? I feel like using an i32 to represent that data makes it more error-prone. Numbers will unexpectedly appear to be negative?