This article is intriguing, I liked the playful tone, particularly in light of t...

		throwaway17_17 on July 28, 2022 \| parent \| context \| favorite \| on: HypeScript: Simplified TypeScript type system in T... This article is intriguing, I liked the playful tone, particularly in light of the subject. I’m hoping the talk gets streamed to YouTube. This also makes me interested in the formalization attempts I have heard are ongoing for TS’s type system. Anyone with good paper/videos on that development feel free to drop a link.

Which article were you referring to?

The link in the post goes to a GitHub repo.