[06:48:28] *** Quits: proteus-guy (~proteusgu@43.249.61.152) (Read error: Connection reset by peer)
[07:49:13] *** Joins: proteusguy (~proteusgu@223.27.212.175)
[08:58:01] *** Joins: drbean (~drbean@TC210-63-209-162.static.apol.com.tw)
[09:35:14] *** Quits: drbean (~drbean@TC210-63-209-162.static.apol.com.tw) (Read error: Connection reset by peer)
[09:35:37] *** Joins: drbean (~drbean@TC210-63-209-213.static.apol.com.tw)
[12:59:37] *** Quits: proteusguy (~proteusgu@223.27.212.175) (Ping timeout: 245 seconds)
[16:45:31] <inariksit> daherb: what are you going to talk about in your short talk tomorrow?
[16:45:33] <inariksit> I have no idea myself
[16:51:43] <inariksit> if I don't get a better idea by tomorrow, I'll talk about gftest's semantic implausibility and ask for tips :-D
[16:52:16] <inariksit> though I suspect I won't be motivated enough to do anything about it, but maybe it'll be a fun discussion anyway
[16:54:25] *** Joins: odanoburu (uid302941@gateway/web/irccloud.com/x-hrpgzxznnhbjzswa)
[16:54:36] <inariksit> hello!
[17:57:00] *** Joins: proteusguy (~proteusgu@cm-58-10-154-216.revip7.asianet.co.th)
[18:32:50] <daherb> inariksit: i think i should talk about my work on restricting grammars (which i haven't really worked on lately because i was in uppsala)
[20:44:51] <daherb> it seems that i thoroughly broke my grammar before traveling
[21:34:21] *** Joins: odanoburu_ (uid302941@gateway/web/irccloud.com/x-xkhdspjbgsiukvjw)
[21:39:25] *** Quits: odanoburu (uid302941@gateway/web/irccloud.com/x-hrpgzxznnhbjzswa) (Ping timeout: 248 seconds)
[21:39:27] *** odanoburu_ is now known as odanoburu