[10:00:59] *** Joins: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) [10:35:23] *** Quits: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 240 seconds) [10:35:38] *** Quits: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 256 seconds) [10:48:18] *** Joins: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) [11:03:37] *** Quits: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 265 seconds) [11:16:02] *** Joins: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) [16:19:45] *** Quits: scrmpy (~scrmpy@n122-110-174-43.sun2.vic.optusnet.com.au) (Ping timeout: 240 seconds) [20:31:27] i see that i didn't thank daherb and inariksit for the explanation of CompCN vs CompNP way back. thanks! [20:32:58] do people think that there will be a physical summer school later in the year, or will it be a virtual one (or none)? [20:33:18] i don't really need to know, but i'm curious. [20:35:05] inariksit: the unit test code is really useful, i'm very happy for that! [20:35:27] esg: it's peter ljunglöf's, but I'm happy that you like it! [20:35:40] there has been no plans about summer school, but a virtual one could be interesting [20:36:04] but I don't really know if we have time and energy to plan that [20:37:23] inariksit: completely understandable. i've been attending two virtual workshops over the summer, and that was surprisingly good. [20:37:58] but there is of course a large aspect that is lost. [20:39:46] yeah, I've seen virtual conferences too! some have cool things like spatial chats [20:40:15] in my case, I'm basically working two jobs, I have the new one but I'm still fixing some DG things for languages where I wrote the RG, so I'm way too tired to even think about organising a summer school [20:41:47] I expect not to be fixing these bugs forever, at some point they should stop finding new ones, and when my weekends are reliably free, I'll probably feel more motivated in thinking about a (virtual) gfss! [20:46:42] yes, don't kill yourself! are you in singapore now, or still in se? [20:54:56] still in gothenburg, nobody has any estimates when the borders will open for swedes :-P but I'm not in a hurry, I think the collaboration works well enough online! [20:55:29] no doubt it will be better once I am in singapore, but most importantly, it's good already [21:04:21] good to hear. [23:27:56] *** Joins: michmech (~Thunderbi@194.213.43.122) [23:40:46] *** Quits: michmech (~Thunderbi@194.213.43.122) (Quit: michmech)