freenode/#sicl - IRC Chatlog Search Monday, 10th of December 2018, 9:42:36 UTC 10:03:52 beach Aside from this years paper submissions, it looks to me like I should work on code generation next.