Got dinner with gwillen, gustavo and some other cmu/columbia people. Talked about rust and logic and stuff. Good times.