Engineer at @getyardsale, lambda calculator, type theorist, armchair syntactician. Native speaker of Attic Greek, Sumerian. Linguistics student @ Berkeley.