Hi, I'm Soham.

I work as a functional programmer and enjoy thinking about expressive type systems, programming language design, and the development of compilers and theorem provers.

(You might also know me by the handle @evertedsphere or, previously, @mrkgnao.)

Writing

Most of my longer-form writing appears on this website.

Recent articles
Jan 1, 0001
Jan 1, 0001