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.

If you're a JavaScript developer interested in learning the basics of functional programming through ReScript, check out my bookIntroducing ReScript: Functional Programming for Web Applications.

I'm available for part-time consulting/freelancing in the area of data visualization and D3.js - if you're interested in my services, shoot me an email.

PinnedLoading

1. facebook/pyreflyfacebook/pyreflyPublic

   A fast type checker and IDE for Python

   Rust 83 5

2. facebook/pyre-checkfacebook/pyre-checkPublic

   Performant type-checking for python.

   OCaml 7k 446

3. chocopy-python-compilerchocopy-python-compilerPublic

   Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.

   Python 58 5

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