My last day is in just over two weeks! Starting my PhD in type theory at CMU.