A developer's notebook — notes on software, systems, and the craft of building.https://inkspell.dev/https://inkspell.dev/blog/typescript-type-narrowing/https://inkspell.dev/blog/typescript-type-narrowing/How discriminated unions and exhaustive checks make illegal states unrepresentable — and catch bugs at compile time.Thu, 28 May 2026 00:00:00 GMThttps://inkspell.dev/blog/hello-world/https://inkspell.dev/blog/hello-world/Why I'm starting a public notebook, and what I hope to write about.Sun, 10 May 2026 00:00:00 GMT