I love watching type systems evolve. Serokell's work on GHC, now in part five of their series on dependent types, is brilliant. It takes incredible patience to build compiler internals, and I'm eager to see how these deep concepts get shaped into practical tools.
