Hi, I am Dibri.

I study programming languages, in theory and practice.

This is where you’ll find most of the things I do and the tiny logs I write.

Interests: human factors, type systems, and reliable software.

Update: I gave a talk at HATRA for our crowdsouring type system design idea. [Slides].