[02:26:05] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 244 seconds) [03:05:44] *** Quits: crazydiamond (~crazydiam@178.141.8.220) (Ping timeout: 265 seconds) [03:41:45] *** Quits: drbean_ (~drbean@124.219.83.217) (Quit: ZNC - http://znc.in) [04:57:53] *** Joins: daherb_ (~daherb@ppp-93-104-173-66.dynamic.mnet-online.de) [05:00:46] *** Quits: daherb (~daherb@ppp-93-104-175-131.dynamic.mnet-online.de) (Ping timeout: 246 seconds) [07:15:21] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 244 seconds) [07:29:33] *** Joins: crazydiamond (~crazydiam@178.141.30.123) [10:02:37] *** Joins: jordi__ (935353fc@gateway/web/freenode/ip.147.83.83.252) [10:03:52] *** Joins: jordi1 (~jordi@CTNET2.upc.es) [10:04:50] hello [10:05:07] hello! [10:05:26] greetings from rome ^_^ [10:05:35] making my way to barcelona, managed to get this far :-D [10:06:03] You’re coming to Barcelona? [10:06:47] yeah, to ESSLLI [10:07:07] btw you don't need to put your name in the < >, it's showing already :) [10:07:09] 09:59:51 < jordi1> hello [10:07:09] 10:00:08 < inariksit> hello! [10:10:53] Good! wanted to attend too [10:12:07] don’t know how these <> appear. In fact i’m bridging to IRC from a Slack client. [10:13:47] aah okay :-D [10:14:32] Sorry not to have a proper farewell in Malta. [10:14:46] no worries, everybody was quite busy there [10:14:47] I though you were going to catch the bus too [10:14:55] we were just surprised to lose our new bass :-D [10:15:36] we’ll sing any other time! [10:16:02] yeah :) [10:36:46] *** Quits: jordi1 (~jordi@CTNET2.upc.es) (Ping timeout: 246 seconds) [10:38:21] *** Quits: jordi__ (935353fc@gateway/web/freenode/ip.147.83.83.252) (Ping timeout: 246 seconds) [10:44:14] was reading your messages from saturday inariksit [10:44:22] how did you get off the island in the end? [10:44:28] :) [10:48:40] *** jstar changes topic to 'Grammatical Framework · www.grammaticalframework.org · IRC logs at /irc' [10:58:01] jstar: I just took the expensive ferry :-P then spent a day in sicily and took a night train to rome [10:58:51] inariksit: is there still a rail ferry between sicily and the mainland? [10:59:06] esg: haha apparently yes, I was asleep during that [10:59:36] i like trains on ferries. [10:59:37] I was telling to my host in rome that I was awake when the train was in a tunnel, and he was like "nope, it's crossing the sea witha ferry" [10:59:55] but anyway at some point it spent quite a while in a tunnel! :-D [11:00:24] esg: yeah, the idea is nice, a shame I missed it :-D [11:01:04] now I should decide how to get to bcn by wed night or thu morning, I want to see my old catalan teacher who is there only until friday [11:01:20] train again? [11:01:22] but first see around rome ^^ only been here for 3 hours [11:01:26] yeah probably [11:01:34] there's also a boat from civitavecchia to barcelona, 24 hours [11:01:35] have fun, i've never been to rome [11:01:48] aah, the boat sounds nice as well. [11:03:06] yeah [11:04:29] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [11:21:49] nice, sounds like fun :D [11:24:55] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [11:31:51] *** Joins: chru (~chru@2001:638:504:20e0:ccf:789c:a569:36e8) [11:32:23] hey chru! [11:32:29] drbean had something to tell you [11:32:38] let me find it [11:33:42] http://listenmaa.fi/b/drbean.txt [11:34:51] with correct encoding: http://pastebin.com/J3rnQqVT [11:35:46] cool, thanks! [11:37:27] i'll be around this week, so maybe i'll meet him here [11:39:33] inariksit: whom do I mail my code and stuff to? for the summer school website [11:44:02] in theory to anyone with access to modify the page (e.g. me), in practice to jstar :-D [11:44:13] I'm still doing the finnish morpho thing [11:44:44] not working quite as I want :'D [11:44:44] > l (ComplSlash (SlashV2a kill_V2) (UsePron youSg_Pron)) [11:44:45] kill you [11:44:45] tappaa &+ +V+Inf1+Lat tappakaa sinut tapetaan [11:45:05] the finnish means "kill kill you are killed" [11:45:12] so violent [11:45:22] vin-ivar: yeah send them to me by email please [11:45:35] address is on the page [12:09:10] jstar, cool [12:35:54] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [12:53:56] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [12:58:55] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [13:00:47] *** Quits: chru (~chru@2001:638:504:20e0:ccf:789c:a569:36e8) (Remote host closed the connection) [13:05:29] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [13:36:19] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [13:37:55] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [13:51:27] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [13:57:23] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [14:01:26] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Ping timeout: 240 seconds) [14:01:27] *** Joins: chru (~chru@2001:638:504:20e0:12e:a16e:33d4:6a42) [14:04:53] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 252 seconds) [14:05:39] *** Quits: chru (~chru@2001:638:504:20e0:12e:a16e:33d4:6a42) (Ping timeout: 244 seconds) [14:07:28] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [14:14:18] *** Joins: vinit-ivar (~vinit@122.169.38.26) [14:14:47] *** Quits: vin-ivar (~vinit@122.169.36.251) (Ping timeout: 252 seconds) [14:22:44] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [14:31:48] *** Joins: chru (~chru@2001:638:504:20e0:7de3:b028:d0f8:bc58) [14:36:25] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [14:46:42] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [14:48:39] *** Quits: crazydiamond (~crazydiam@178.141.30.123) (Remote host closed the connection) [14:57:44] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [14:59:10] *** Joins: jordi1 (~jordi@CTNET2.upc.es) [15:03:00] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Read error: No route to host) [15:03:42] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [15:07:34] *** Parts: jstar (~jstar@unaffiliated/jstar) ("Leaving") [15:07:39] *** Joins: jstar (~jstar@unaffiliated/jstar) [15:07:48] *** ChanServ sets mode: +o jstar [15:21:56] *** Joins: jordi__ (935353fc@gateway/web/freenode/ip.147.83.83.252) [15:27:27] *** Quits: jordi__ (935353fc@gateway/web/freenode/ip.147.83.83.252) (Ping timeout: 246 seconds) [15:33:37] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [15:49:40] *** Quits: jordi1 (~jordi@CTNET2.upc.es) (Ping timeout: 246 seconds) [16:34:06] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [16:38:30] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Ping timeout: 255 seconds) [16:41:58] *** Quits: chru (~chru@2001:638:504:20e0:7de3:b028:d0f8:bc58) (Remote host closed the connection) [16:45:23] *** Joins: chru (~chru@2001:638:504:20e0:2496:20c2:20cf:9c4d) [17:09:24] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 264 seconds) [17:28:22] *** Quits: chru (~chru@2001:638:504:20e0:2496:20c2:20cf:9c4d) (Quit: Leaving...) [17:28:53] *** Joins: mbm (534720e2@gateway/web/freenode/ip.83.71.32.226) [17:29:17] *** mbm is now known as Guest66208 [17:30:35] *** Parts: Guest66208 (534720e2@gateway/web/freenode/ip.83.71.32.226) () [17:31:10] *** Joins: michmech (534720e2@gateway/web/freenode/ip.83.71.32.226) [17:33:06] Good afternoon. [17:33:33] This is me, Michal, making an honest attempt to use the GF IRC channel. [17:35:04] As you can see I like to use proper capitalization and punctuation. [17:35:28] I will have none of that "textspeak" nonsense. [17:35:30] LOL! [17:36:22] :D [17:36:27] hi michal! [17:36:36] congrats! [17:37:38] Ah, good. It almost felt a little lonely here! [17:59:46] Sometimes it is rather quiet and then suddenly this chatroom becomes surprisingly busy [18:00:16] I think I am probably a genius because I have figured out how to run GF in web service mode on Windows. [18:00:29] I had to manually create the directory "C:\Users\Thomas H\AppData\Roaming\cabal\gf-3.7\www" though. [18:00:51] oh my god. is it really hardcoded? [18:01:05] Apparently. Hello Thomas! LOL [18:16:35] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [18:55:48] *** Joins: crazydiamond (~crazydiam@178.141.166.164) [19:01:45] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [19:04:07] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Read error: Connection reset by peer) [19:04:40] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [19:13:10] Good night GF, sleep well. [19:13:15] I'm glad we had this talk. [19:13:21] *** Parts: michmech (534720e2@gateway/web/freenode/ip.83.71.32.226) () [19:41:21] damn [19:41:23] running things on windows [19:41:26] *** vinit-ivar is now known as vin-ivar [19:52:14] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection) [20:47:49] *** Joins: jordi1 (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [21:32:14] vin-ivar: haha yeah [21:32:48] the hardcoded C:\Users\Thomas\... was a problem in the regular GF binary also, but I managed to change it just by changing the windows environment variables [21:33:18] i would have managed to change it by changing the OS :') [21:33:32] yeah [21:38:54] *** Joins: Tor_ (~main@cm-84.213.31.155.getinternet.no) [21:55:04] *** Quits: jordi1 (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 246 seconds) [23:51:37] *** Quits: Tor_ (~main@cm-84.213.31.155.getinternet.no) (Remote host closed the connection)