Top all-time · #7038
Ben's Engineering Blog
Personal blog · kaleidawave.github.io/postsprogrammingsystems
Ben's Engineering Blog is a personal blog at kaleidawave.github.io about programming and systems. Since 2021, 11 different Hacker News readers have linked it 18 times, most often “Ezno: a new TypeScript compiler”. It is still writing: the last post was on 2026-06-17, and you can follow it by feed.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN readers link these posts about Ezno, a TypeScript checker written in Rust, and its type-checking features, such as checking that `const x: 5 = 4 + 2` is an error. One commenter points to a newer update post.
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.
writings on the things
Most-linked posts?
- Ezno: a new TypeScript compiler6 people · 6 mentions · first linked 2022-09-22
- Ezno in '234 people · 4 mentions · first linked 2023-01-18
What Hacker News says?
How does this compare to Ezno? It evaluates types dependently even, so that something like `const x: 5 = 4 + 2` creates a compile time error, as it knows x equals 6, not 5 like its type states. https://kaleidawave.github.io/posts/introducing-ezno/ https://news.ycombinator.com/item?id=32941613
Comment linking /posts/introducing-ezno/
on “Show HN: ESInfer – Make JavaScript Type-Safe”Submitted Ezno: a new TypeScript compiler as a story · 212 points
HN discussion> I'm curious if there are any practical reasons we don't see them implemented in more languages. I believe it's because they're not exactly easy to implement and the resulting extensive type checking might also affect compiler performance. By the way, another great example of refinement types (in JavaScript) is this one: https://kaleidawave.github.io/posts/introducing-ezno/
Comment linking /posts/introducing-ezno/
on “Ask HN: What is new in Algorithms / Data Structures these days?”Submitted Show HN: Ezno, a type checker for JavaScript and optimiser for React as a story · 175 points
HN discussionA newer update than one you linked: https://kaleidawave.github.io/posts/ezno-23/
Comment linking /posts/ezno-23/
on “Show HN: Ezno, a TypeScript checker written in Rust, is now open source”Submitted Sets, types and type checking as a story · 118 points
HN discussionUnlike stc, Ezno is meant to be an extension for what TS offers today. Check this article[1] for all the cool stuff it can do. [1] https://kaleidawave.github.io/posts/introducing-ezno/
Comment linking /posts/introducing-ezno/
on “Show HN: Ezno, a TypeScript checker written in Rust, is now open source”Submitted Ezno (TypeScript type checker written in Rust) 2025 update as a story · 5 points
HN discussionVery cool! Congrats on the launch, even if it is very early. Unsolicited feedback: I read the name an Enzo (n-zo) until I read the readme and realized it was Ezno (es-no). Since in a previous post [0] you say you're unsure on the name, Enzo could be a good one if this is a common mistake. [0] https://kaleidawave.github.io/posts/introducing-ezno/
Comment linking /posts/introducing-ezno/
on “Show HN: Ezno, a TypeScript checker written in Rust, is now open source”Submitted Mapped Types and Properties as a story · 4 points
HN discussionSubmitted Adding negated and number intrinsic types to TypeScript as a story · 2 points
HN discussionSubmitted Enzo JavaScript type checker: the quest continues as a story · 2 points
HN discussionSubmitted A Preview of Ezno's TypeScript Type Checker as a story · 2 points
HN discussionSubmitted Ezno in '23 as a story · 2 points
HN discussionSubmitted Prism Compiler: Server Components for Rust with no double data as a story · 2 points
HN discussionSubmitted II Lines of Code as a story · 1 points
HN discussionSubmitted Ezno in '23 as a story · 1 points
HN discussionSubmitted Ezno in 2023 as a story · 1 points
HN discussion
