/untyped

About

Myself

• Applied PL Engineer

Interests

• Programming Languages and Type Theory
• Engineering Leadership
• Parallel & Asynchronous Programming

Mantra

We don’t rise to the level of our expectations; we fall to the level of our training. - Archilochus

Plans are useless, but planning is indispensable. - Dwight Eisenhower

Works

• Book
• ocaml-ps
• .dotfiles
• .doom.d