andersk = Anders Kaseorg broder = Evan Broder ecprice = Eric Price geofft = Geoffrey Thomas hartmans = Sam Hartman mitchb = Mitchell Berger neboat = Tao Ben Schardl nelhage = Nelson Elhage price = Greg Price quentin = Quentin Smith tabbott = Tim Abbott y_z = Yang Zhang zev = Zev Benjamin