4 ms·My last day is in just over two weeks! Starting my PhD in type theory at CMU.by jonsterling 10y agoMy last day is in just over two weeks! Starting my PhD in type theory at CMU.