やったこと

PPL

YAPC が終わると PPL がはじまる。
改めて考えるとかなりのハードスケジュールである。

午前中はひたすら Gather でポスター配置をしていた。

作業しながら Separation Logic の話とかを聞いていた。
Biabduction という問題があるのだなぁ。実用の話も含めて興味深かった。

明日は色々あるので参加できないけど、明後日は ReDoS 修復の話もあるので楽しみ。