This very website :)
Did you know that TypeScript's type system is actually Turing-complete? In this post, we'll learn how to do perform math at compile time.