Helpful.

Can't claim to have gotten any research done today, but I did write yet another Vim syntax plugin for yet another research language, so it's impossible to say if I was unproductive or not,

the old "append '...in bed' to a fortune" game, but instead prepend "under Curry-Howard ..." to a seminar discussion question

Because clearly I haven't been given enough work to do, this past weekend I blogged about formally-verifying a Fizzbuzz cs.utexas.edu/~ntaylor/blog/…

at the start of every meeting with my advisor I put three dollar bills on his desk, taking one away every time he tells me that "once again, we are not going to solve this problem with session types" x.com/ProfRobAnderso…

Giving types.pl/web/@nathan a try if any of you are too

...aaand here's the third and final Dafny post, where we port Java's `Integer.toString()` method, and prove that it adheres to the specification we wrote in part 2: cs.utexas.edu/~ntaylor/blog/… (Does this seem like a lot of work? Well we talk about that in parts 2 and 3 too)

making a proof assistant assistant out of Jocelyn Qiaochu Chen's new toy