[04:08:57] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 240 seconds)
[08:57:40] <daherb> good morning from the gf summer school
[08:57:57] <inariksit> good morning! ^^
[09:02:35] <mbrock> labrit!
[09:06:45] <vin-ivar> sup
[09:07:28] *** Joins: freeside (~user@2001:67c:2198:31:3d32:95a3:75ed:3e7e)
[09:11:39] *** Joins: freeside` (~user@luwifi.lu.lv)
[09:13:05] *** Quits: freeside (~user@2001:67c:2198:31:3d32:95a3:75ed:3e7e) (Ping timeout: 246 seconds)
[09:16:35] <daherb> "the cake is more like a burger"
[09:17:35] <daherb> normunds on the full stack of language technology
[09:29:42] *** Quits: freeside` (~user@luwifi.lu.lv) (Remote host closed the connection)
[09:53:25] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.)
[11:53:15] *** Joins: koo5 (~koom@37-48-44-103.tmcz.cz)
[11:56:20] *** Joins: freeside (~user@2001:67c:2198:31:1da2:f4ca:c6fa:7c0a)
[12:06:19] <jstar> hello Riga!
[12:10:09] <freeside> "hello" ++ "," ++ "Riga" ++ "!"
[12:10:27] *** Quits: koo5 (~koom@37-48-44-103.tmcz.cz) (Ping timeout: 258 seconds)
[12:24:45] *** Joins: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se)
[12:43:30] *** Quits: freeside (~user@2001:67c:2198:31:1da2:f4ca:c6fa:7c0a) (Ping timeout: 240 seconds)
[14:19:56] *** Joins: freeside (~user@2001:67c:2198:31:fd43:a2e2:b7cf:ff11)
[14:20:24] <freeside> https://github.com/ayberkt/GF-summer-school
[14:22:45] <daherb> i am too lazy to get up. can someone else please write the info about the irc channel on the whiteboard? ;)
[14:23:32] <freeside> haha
[14:29:42] <daherb> ok, i guess i have to do it myself
[14:29:49] <freeside> you are closer
[14:32:36] <inariksit> do it!
[14:32:41] <inariksit> no excuses daherb
[14:32:50] <inariksit> it's captain's orders
[14:33:04] <inariksit> hello from airport ^^
[14:36:42] <daherb> inariksit: i wrote it down on the board: "join irc for questions/help/fun/parties" :)
[14:36:58] <inariksit> woo!
[14:39:24] <daherb> but not too much effect yet. inariksit you are better at motivating people to join irc
[14:40:46] <inariksit> I'll announce it at my talk tomorrow!
[14:40:47] <inariksit> now boarding
[14:40:56] <inariksit> I'll give a call or something when I'm there
[14:45:42] <daherb> have a good trip and see you soon in riga
[14:51:39] *** Joins: tosun (~textual@5.179.9.52)
[14:52:18] *** tosun is now known as ayberkt
[14:54:46] <daherb> hi ayberkt
[14:55:44] <ayberkt> daherb: hello!
[15:13:11] *** Quits: ayberkt (~textual@5.179.9.52) (Quit: My Mac has gone to sleep. ZZZzzz…)
[15:23:41] <mbrock> we had a lot of trouble getting GF to install on Arch Linux (actually Manjaro), and instead I ended up building a static binary that can just be copied onto any 64-bit Linux computer and work
[15:23:51] <mbrock> if anyone would need that, it's on https://castle.brockman.se/gf
[16:12:28] *** Joins: tosun (~textual@5.179.9.52)
[16:29:15] *** Quits: tosun (~textual@5.179.9.52) (Quit: My Mac has gone to sleep. ZZZzzz…)
[16:45:13] <freeside> yay i did the exercise
[16:51:50] *** Joins: tosun (~textual@5.179.9.52)
[17:03:17] <freeside> i also implemented ILikeThePlaces
[17:03:40] <freeside> at this rate, i will have learned Italian by the end of the week.
[17:07:37] *** Quits: tosun (~textual@5.179.9.52) (Quit: My Mac has gone to sleep. ZZZzzz…)
[17:10:56] <freeside> now i go for coffee break.
[17:23:13] <inariksit> daherb: I'm in town
[17:24:02] <inariksit> are you guys still at the uni? I'm in a café in the old town
[17:26:00] <freeside> we are at the university
[17:26:03] <freeside> City> l AllPlacesAre University Shabby
[17:26:03] <freeside> all universities are shabby
[17:26:03] <freeside> Tutte le università sono sporce
[17:26:03] <freeside>  
[17:26:06] <freeside> 0 msec
[17:26:09] <freeside> City> l ILikeThePlaces University
[17:26:13] <freeside> I like the universities
[17:26:16] <freeside> Mi piacciono le università
[17:26:17] <inariksit> nice ^^
[17:26:29] <freeside> maybe it's just this university that is shabby
[17:26:32] <freeside> lol
[17:27:06] <freeside> Questa università è storica
[17:27:31] <inariksit> haha
[17:27:38] <inariksit> some say shabby, some say historical!
[17:27:47] <freeside> Questa antica università è molto storica
[17:28:25] <freeside> L'ascensore non è disponibile
[17:28:56] <inariksit> that's natural in such a historical place
[17:29:05] <inariksit> or are you just describing our venue
[17:29:12] <freeside> i am working through the exercise!
[17:29:14] <freeside> Ci sono ottantasei gradini di scale in questo edificio
[17:30:19] <freeside> my linearizations bear a suspicious degree of resemblance to this particular university, that is all
[17:31:06] <freeside> we had an interesting time at lunch trying to find vegan/vegetarian options
[17:31:14] <inariksit> oh damn
[17:31:21] <freeside> have you any had thoughts in that direction for the evening repast?
[17:32:53] <inariksit> I am vegan, if that's what you mean
[17:34:50] <daherb> inariksit: are you coming to university or do you want to meet somewhere else?
[17:35:08] <inariksit> I'm now in a café with quite full cup of tea
[17:35:13] <inariksit> and I assume you're going to leave soonish
[17:35:18] <inariksit> so I'd rather just meet you at the flat
[17:35:26] <freeside> https://translate.google.com/#en/tr/He's%20a%20teacher.%0AShe's%20a%20professor.%0AHe's%20a%20nurse.%0AShe's%20a%20programmer.
[17:35:46] <freeside> found an even edgier challenge case for Google Translate to get in trouble over
[17:35:50] <daherb> inariksit: where is the cafe? can we meet you there?
[17:35:54] *** Joins: tosun (~textual@5.179.9.52)
[17:36:21] <daherb> otherwise we can start walking back and be there in about 20 minutes
[17:36:33] <daherb> "there" being the airbnb
[17:37:00] <inariksit> that sounds good as well
[17:37:03] *** Quits: tosun (~textual@5.179.9.52) (Client Quit)
[17:37:06] <inariksit> let me check the address of the café
[17:37:42] <inariksit> Grecinieku iela 5
[17:39:05] <daherb> that seems to be about exactly the oposite direction than the apartment from the university
[17:39:17] <inariksit> aha
[17:39:23] <inariksit> I can come to the flat in that case
[17:39:25] <inariksit> what's the address?
[17:39:26] <daherb> so maybe we should meet at the apartment a bit later?
[17:39:33] <inariksit> sounds good
[17:40:27] <daherb> inariksit: matisa iela 28
[17:41:43] <daherb> we will walk back now and you can meet us at the apartment
[17:42:03] <inariksit> it's a very straight walk
[17:42:11] <inariksit> waah I still have tons of tea left to drink :-D
[17:44:31] <inariksit> it says 24 minutes walk
[17:44:53] <inariksit> it might be accurate cause I have luggage :-P
[17:46:28] <daherb> inariksit: if you are still at the cafe we might just drop by there and then we can walk together
[17:54:50] <mbrock> you're lucky, that apartment is very near Riga's best vegan cafe, Terapija on Bruninieku iela 69
[17:56:31] <mbrock> they have lunch and desserts, and in the evening you can e.g. have a tofu/seitan burger plus a nice local Malduguns beer for 6.66 euro
[17:56:41] <mbrock> and they always play really nice instrumental music
[17:59:27] *** Quits: proteusguy (~proteus-g@49.228.121.116) (Remote host closed the connection)
[17:59:45] *** Quits: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) (Ping timeout: 248 seconds)
[18:00:46] *** Joins: proteusguy (~proteus-g@49.228.121.116)
[18:01:35] *** Quits: freeside (~user@2001:67c:2198:31:fd43:a2e2:b7cf:ff11) (Ping timeout: 246 seconds)
[18:05:46] *** Joins: tosun (~textual@5.179.9.52)
[18:06:52] *** Quits: tosun (~textual@5.179.9.52) (Client Quit)
[18:54:38] <inariksit> mbrock: sounds nice!
[18:55:03] <inariksit> sorry this is super late dinner invitation, but we're meeting with prasanth, herbert and ann at the uni in 20 minutes
[18:55:34] <inariksit> if you want to join, you can call daherb: +49 151 54722664
[18:55:41] <inariksit> invitation is to everyone!
[19:01:59] <mbrock> I'm busy tonight but I would be up for some Terapija hacking/chatting some day after school!
[22:24:26] *** Joins: freeside (~user@109.110.19.118)
[22:24:45] <freeside> moo.
[22:26:58] <freeside> so, i can treat noun pluralization as a parametric feature, with (Number => Str). I can treat noun pluralization as an inherent feature, with { sg : Str ; pl : Str }. Both forms work. Operationally, what reason do I have for choosing one form above the other?
[22:28:29] <freeside> in the parametric form, one extends Number by adding more union tags: param Number = ... | ...
[22:29:42] <freeside> in the inherent form, one extends the record with ** { indefinite : Str }
[22:30:39] <freeside> http://www.grammaticalframework.org/doc/tutorial/gf-tutorial.html#toc55
[22:55:05] <mbrock> maybe one reason to use the table is that you can more easily select the form based on a `Number' parameter you have gotten from some context?
[22:55:41] <mbrock> the table type and the record type seem to be isomorphic, but I'm also curious if there is some significant difference
[23:12:48] *** Joins: lillann (uid244962@gateway/web/irccloud.com/x-kewsusowhayswkzk)
[23:12:51] <inariksit> \o/
[23:13:00] <inariksit> welcome!
[23:13:05] <inariksit> now we don't have to speak anymore
[23:13:09] <lillann> kiitos!
[23:13:16] <inariksit> which is probably good because I still have a bit sore throat
[23:13:20] <inariksit> yes perfect spelling!
[23:13:27] <lillann> great!
[23:14:13] <inariksit> so daherb is herbert, jstar is john, freeside and venicecat are the legalese people
[23:14:20] <inariksit> and mbrock seems to be also from the summer school
[23:14:54] <inariksit> and if you want to do what we are doing, https://www.duolingo.com/
[23:15:09] <lillann> cheers :)
[23:17:18] <mbrock> hei, I'm Mikael, Swedish turned Latvian, former GU student
[23:18:18] <inariksit> hej!
[23:18:50] <inariksit> how did you hear about GF? ^^
[23:26:06] *** Joins: tosun (~textual@85.9.209.35)
[23:26:20] <inariksit> hi tosun!
[23:36:09] <tosun> hi inariksit!
[23:52:38] <mbrock> I knew about it since a GU course on parsing by Aarne in like 2007 but didn't learn it, maybe from grammarphobia. And I have friends who work at Språkbanken. Since the summer school is 10 minutes from my house I thought it's time to learn :)
[23:58:00] <inariksit> haha okay
[23:58:28] <inariksit> so that's how to get people into GF, good to know ^^