Hacker Blogs
Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #13268

Y

Yuriy Bogomolov

Personal blog · ybogomolov.meprogramming

Yuriy Bogomolov's personal blog at ybogomolov.me covers programming. Since 2021, 6 different Hacker News readers have linked it 7 times, most often “Making Illegal States Unrepresentable”. The last post was in 2023, but the archive is still widely read.

Visit the blog
7mentions?
6HN people?
2021–2024first – last linked?
Links on Hacker News per year · peak 3 in 2023

Too few sampled comments (5) to say how often HN recommends it.?

Why HN links it

HN readers link this blog for posts on strictly-typed functional programming in TypeScript and fp-ts, including higher-kinded types, type-level UUIDs and making illegal states unrepresentable. Comments only link to it.

Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.

Yuriy Bogomolov’s personal blog

Most-linked posts?

  1. Making Illegal States Unrepresentable
    2 people · 2 mentions · first linked 2023-03-07

What Hacker News says?

  1. ybogomolov · 2022-04-07
    https://ybogomolov.me I blog about strictly-typed functional programming in TypeScript and fp-ts ecosystem.

    Comment linking /

    on “Ask HN: Share your personal site”
  2. EvgeniyZh · 2021-11-09

    Submitted Compile-Time Validation of UUIDs as a story · 3 points

    HN discussion
  3. BreakfastB0b · 2022-04-25
    How long before someone figures out how to encode lightweight higher kinded types[1] in Golang. There shall be weeping and gnashing of teeth. [1] https://ybogomolov.me/01-higher-kinded-types/

    Comment linking /01-higher-kinded-types/

    on “Crimes with Go Generics”
  4. ingve · 2023-05-21

    Submitted Making Illegal States Unrepresentable as a story · 1 points

    HN discussion
  5. n2d4 · 2024-09-20
    You can do it with template string types: https://ybogomolov.me/type-level-uuid

    Comment linking /type-level-uuid

    on “Microsoft TypeSpec”
  6. ybogomolov · 2023-07-06
    My personal blog: https://ybogomolov.me . I used to blog about functional programming in TypeScript and fp-ts. Now I don’t have much time for that, but I’m planning to revive the blog with more FP content soon.

    Comment linking /

    on “Ask HN: Could you share your personal blog here?”
  7. dangets · 2023-03-07
    A similar saying and popular blog post title is "Make illegal states unrepresentable" https://fsharpforfunandprofit.com/posts/designing-with-types... https://ybogomolov.me/making-illegal-states-unrepresentable/

    Comment linking /making-illegal-states-unrepresentable/

    on “Parse, Don't Validate (2019)”

Search all of HN for ybogomolov.me