I'm currently asoftware engineermicrokitchen inspector at Meta, working onPyrefly (our next-gen typechecker for Python). Previously, I worked on developer infrastructure for WhatsApp and product infrastructure for Messenger.

I'm interested in compilers, programming languages, and data visualization, and I maintaina blog where I talk about some of those things.

PinnedLoading

1. facebook/pyreflyfacebook/pyreflyPublic

   A fast type checker and IDE for Python

   Rust 3.3k 126

2. facebook/pyre-checkfacebook/pyre-checkPublic

   Performant type-checking for python.

   OCaml 7.1k 453

3. chocopy-python-compilerchocopy-python-compilerPublic

   Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.

   Python 66 6

4. intro-to-d3intro-to-d3Public

   Forked fromsquare/intro-to-d3

   Introductory tutorial for D3.js v5-v7, updated & forked from Square's Intro to D3 Tutorial

   CSS 31 2

5. fire-emblem-chessfire-emblem-chessPublic

   Fire Emblem themed pass & play browser chess game, implemented in ReScript

   ReScript 12

6. xicxicPublic archive

   Forked fromBluefire2/xic

   An optimizing compiler for the Xi and Xi++ languages

   Java 1