darzu.io - darzu.io

home > domains > darzu.io

Example domain paragraphs

I'm building Sprig , an open source game engine. Before that, I worked on: MakeCode , the Linux-based OS of Azure Sphere ; compiler research at UW with Eric Mullen , Zach Tatlock , and Dan Grossman ; build tools at Microsoft; Kodu ; and PL research at MSR.

Links to darzu.io (2)

• uwplse.org UW PLSE
• uwplse.github.io UW PLSE