Start with one of my favourites
A Brainfuck Interpreter That Runs in the Typechecker
And finding the first 4 prime numbers in under 9 GB of RAM
I Patched the TypeScript Compiler to Add Up Nine Numbers
Solving HackerRank problems in the typesystem
The Functional Language Hiding Inside TypeScript's Types
An intro to function programming with typescript's types