I am a Haskell programmer at Consensys, an Ethereum laboratory/incubator/innovator founded by Joseph Lubin. Since joining, I have been working on the design and prototype of an enhanced smart contract system with a functional programming attitude.
Before becoming a programmer, I was a mathematician for a long time. I received my PhD from Harvard in geometric representation theory with Dennis Gaitsgory as my advisor. Afterward, I was a postdoc at the University of Michigan, ending in May 2015, when I left academia and became a programmer. Although I'm fairly highly educated in category theory, which you might think is related to my interest in Haskell, in fact, I don't use the connection very much in practice. The language is simply beautiful in its own right.
In academia, my only programming experience was with the macro/functional/awful language TeX, for which I wrote a few small packages, most notably ytabeau and the unpublished trace-pgfkeys (available on my website). Compared to writing TeX, nothing else is that bad.
Panorama City, Los Angeles, CA, USA
Member for 11 years
53 profile views
Last seen Apr 14 '19 at 19:16
- TeX - LaTeX 36.1k 36.1k 88 gold badges114114 silver badges173173 bronze badges
- MathOverflow 6.8k 6.8k 33 gold badges3434 silver badges5252 bronze badges
- Mathematics 6k 6k 1919 silver badges3030 bronze badges
- Stack Overflow 2.2k 2.2k 22 gold badges1515 silver badges1515 bronze badges
- English Language & Usage 1.4k 1.4k 11 gold badge99 silver badges1212 bronze badges
- View network profile
Top network posts
- 182 How to create a command with key values?
- 177 How to generate a random integer number from within a range
- 146 LaTeX3 versus pure Lua
- 144 Does TeX/LaTeX give a headstart with other programming languages?
- 73 When not to use \ensuremath for math macro?
- 63 Which : \only or \onslide ? (Beamer)
- 62 Why use a package to typeset units?
- View more network posts →