[00:18:04] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [06:29:51] *** Joins: proteusguy (~proteus-g@p2035150-ipngn200605osakachuo.osaka.ocn.ne.jp) [06:31:11] *** Quits: proteusguy (~proteus-g@p2035150-ipngn200605osakachuo.osaka.ocn.ne.jp) (Max SendQ exceeded) [06:48:54] *** Joins: koom (~koo5@79.98.72.195) [09:30:14] *** Quits: koom (~koo5@79.98.72.195) (Quit: Leaving) [09:30:22] *** Joins: koom (~koo5@79.98.72.195) [09:30:53] /irc [09:31:30] good morning! [09:31:48] that was a spell to summon inariksit ^_^ [10:15:40] morning [10:26:51] *** Quits: koom (~koo5@79.98.72.195) (Ping timeout: 246 seconds) [10:27:33] hi vin-ivar! [10:27:39] how was it in umeå? [10:27:46] that was like 2 months ago or something? :-D [10:30:34] umea was nice! [10:30:37] cool city [10:30:42] argh unfamiliar keyboard = no diacritics ;( [10:33:25] you're forgiven [10:33:34] and where are you located now? [10:35:33] prague atm [10:35:53] i'll do my thesis at charles uni [10:35:55] okay that was a vague question, are you staying there for the whole year or just visiting? [10:35:59] okay ^^ [10:36:01] cool [10:36:03] the year :D [10:36:06] nice! [10:36:12] that's closer than malta [10:36:15] hahaha [10:36:17] I'll still have to make the dreads for you [10:36:18] yes [10:36:22] <3 [10:36:37] come to gothenburg next week, we've got freeside and venicecat visiting [10:36:46] oh [10:36:48] is there a thing happening? [10:36:52] at jstar's defence and workshop [10:37:05] so defence is on wednesday, workshop on thursday, party on friday [10:37:12] and I was thinking of celebrating my birthday on the weekend [10:37:24] the actual day is thursday, but I don't want to steal the show :-D [10:37:36] nice! [10:37:39] hahaha [10:49:48] how's the post doc hunting going, inariksit? [10:50:27] I wouldn't really call it hunting, I'm even less eyes-open now, I'm just TAing and doing stuff [10:50:42] probably by 2018 I realise "gaaah it's this year" [10:50:46] and then it will start :-P [10:50:56] ahaha [10:50:59] :D [10:51:08] plenty of time for 2018 [10:51:11] yeah! [10:51:19] I mean I have contract until september 2018 ^_^ [10:51:21] that's oceans of time [10:56:02] okay good that's exactly how long I have too o/ [11:00:11] ^^ [11:14:38] this is the program for jstar's workshop: http://remu.grammaticalframework.org/contracts/workshop/ [11:45:00] *** Joins: koom (~sirdancea@109.107.211.244) [12:17:24] sick [12:17:26] sounds fun :D [12:34:44] *** Quits: koom (~sirdancea@109.107.211.244) (Read error: Connection reset by peer) [12:35:58] *** Joins: koom (~sirdancea@109.107.211.244) [12:45:06] *** Quits: koom (~sirdancea@109.107.211.244) (Read error: Connection reset by peer) [12:46:32] *** Joins: koom (~sirdancea@109.107.211.244) [12:49:11] mmmmm [12:49:19] so, are there logs, inariksit ? [13:02:58] koom: yes, http://old-darcs.grammaticalframework.org/irc/ [13:05:06] *** Quits: koom (~sirdancea@109.107.211.244) (Read error: Connection reset by peer) [13:06:29] *** Joins: koom (~sirdancea@109.107.211.244) [13:15:48] thanks [13:57:07] *** Quits: koom (~sirdancea@109.107.211.244) (Read error: Connection reset by peer) [13:58:32] *** Joins: koom (~sirdancea@109.107.211.244) [17:02:00] *** Joins: koom_ (~koo5@109.107.211.244) [17:42:52] *** Joins: JuanDaugherty (~juan@98.4.124.117) [18:11:53] *** Quits: koom_ (~koo5@109.107.211.244) (Ping timeout: 252 seconds) [18:24:53] *** Joins: koom_ (~koo5@109.107.211.244) [19:59:50] *** Quits: koom_ (~koo5@109.107.211.244) (Ping timeout: 255 seconds) [22:15:05] *** Quits: koom (~sirdancea@109.107.211.244) (Ping timeout: 240 seconds) [22:17:42] *** Joins: koom (~sirdancea@109.107.211.244) [22:19:33] *** Quits: koom (~sirdancea@109.107.211.244) (Read error: Connection reset by peer) [23:45:51] *** Joins: koom (~koo5@79.98.72.195)