Python has made a lot of progress with gradual typing, a flexible type system, and type-checkers that scale well to very large codebases. One nice feature that was introduced in Python 3.9 allows developers to add annotations as additional metadata about a type. The syntax is covered in the documentation of the typing module, briefly: name: Annotated[Type, …] Specifies an annotated variable name of type Type, with some additional information .

Hosting a Personal Mastodon I’m part of the T_____r diaspora. Something about paying $8 per-month to the world’s richest product manager didn’t feel right. Unfortunately, the few big Mastodon hosts had already suspended registration by the time I decided to move. There are lots of smaller instances available, but I’ve been burned with T______r and I’m genuinely worried there are some problems ahead for the flotilla of fediverse hosts. The administrators of these instances are clearly dedicated and competent; but how can I be sure they’ll stay online?