Mert Özen's blog posts on software development, backend, frontend, and DevOps.
We derive types from values with type-level typeof, build unions from a type's keys with keyof, look at the index signature surprise, and use the keyof typeof pattern in practice.