Husband, father. CS PhD student at the U of Utah, making programming languages better. I usually write about macros, type systems, Racket, Elixir, Emacs, and hiking.

RT ≠ endorsement, etc. Just because I disagree with you doesn't mean I don't respect you.

I am indebted to my forebears who immigrated to America seeking a better future. I am the product of their decisions and sacrifices. Immigration is good.