categories fediverse (1) java (1) journalism (1) mastodon (1) politics (1) programming (1) twitter (1) type-level-programming (1) types (1) typescript (1)