[00:02:39] good night #gf! [00:07:56] *** Joins: ayberkt (~ayberkt@85.9.209.35) [00:08:09] *** Quits: tosun (~textual@85.9.209.35) (Quit: Textual IRC Client: www.textualapp.com) [00:10:53] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Remote host closed the connection) [00:11:20] *** Joins: ayberkt (~ayberkt@85.9.209.35) [00:11:28] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Client Quit) [00:19:10] *** Quits: freeside (~user@109.110.19.118) (Ping timeout: 255 seconds) [02:51:23] *** Quits: relrod (~relrod@redhat/relrod) (*.net *.split) [02:51:31] *** Quits: mbrock (sid76765@gateway/web/irccloud.com/x-hjknvgctnvthdaif) (*.net *.split) [02:54:12] *** Joins: mbrock (sid76765@gateway/web/irccloud.com/x-kkypxbuzkuqfubvd) [02:56:43] *** Joins: relrod (~relrod@redhat/relrod) [05:01:25] *** Quits: stoopkid_ (uid137696@gateway/web/irccloud.com/x-hkccwbnoellscnuu) (Quit: Connection closed for inactivity) [05:42:35] *** Quits: proteusguy (~proteus-g@49.228.121.116) (Ping timeout: 255 seconds) [05:44:58] *** Joins: stoopkid_ (uid137696@gateway/web/irccloud.com/x-stqmoqdasnmnfvry) [05:55:11] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:4dd6:95b:ef3d:6820) [07:47:17] *** Quits: proteusguy (~proteus-g@2405:9800:b408:bc31:4dd6:95b:ef3d:6820) (Ping timeout: 240 seconds) [08:00:00] *** Quits: deego (~user@unaffiliated/deego) (Ping timeout: 240 seconds) [08:00:12] good morning #gf! [08:04:12] *** Joins: proteusguy (~proteus-g@49.228.116.10) [08:21:42] *** Quits: jbalint_ (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Ping timeout: 260 seconds) [08:30:17] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [08:30:17] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [08:30:17] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [08:55:30] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds) [08:56:48] *** Quits: daherb (~daherb@cse-principia.cse.chalmers.se) (Ping timeout: 240 seconds) [08:57:03] *** Joins: daherb (~daherb@cse-principia.cse.chalmers.se) [09:06:18] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [09:06:19] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [09:06:19] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [09:07:20] *** Joins: Paula (05b309e6@gateway/web/freenode/ip.5.179.9.230) [09:07:36] *** Joins: astro42 (05b30c84@gateway/web/freenode/ip.5.179.12.132) [09:08:23] Hi - this is Andreas joining [09:08:37] *** Joins: ayberkt (~ayberkt@5.179.9.100) [09:08:52] *** Joins: freeside (~user@5.179.9.5) [09:09:08] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [09:09:54] *** Joins: felixhultin (~felix@luwifi.lu.lv) [09:10:07] hello! [09:10:39] so plans for tonight: going to the vegetarian place that mbrock recommends, and tomorrow there will be a party at the airbnb flat of me, daherb and lillann [09:11:19] \o/ great! [09:11:21] cool [09:12:29] mbrock: is it small, should we book a table or something? [09:12:41] we probably should, yeah [09:12:50] count me in [09:13:50] we can wait until lunch or so and then you book mbrock? [09:13:54] *** Joins: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) [09:13:55] \m/ [09:13:56] \o/ [09:14:01] hello Nasrin! [09:14:04] *** Joins: Keeleleek (53b40093@gateway/web/freenode/ip.83.180.0.147) [09:14:06] thumbs up! [09:14:41] i will join you please for the dinner. i eat potatoes. [09:14:50] perhaps too many. [09:14:55] jstar: can you give ops [09:14:57] so I can change topic [09:15:14] /topic #gf Grammatical Framework · www.grammaticalframework.org · IRC logs at /irc | Dinner tonight (Aug 15) in Terapija on Bruninieku iela 69 [09:15:54] Nasrin and Keeleleek, do you want to join us for a dinner tonight in Terapija? [09:17:57] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds) [09:19:15] *** Quits: Keeleleek (53b40093@gateway/web/freenode/ip.83.180.0.147) (Ping timeout: 260 seconds) [09:20:39] *** Joins: koo5 (~koom@79.98.72.195) [09:22:30] inariksit: hmm apparently I'm not ops either [09:22:47] but you're an owner of this channel of some sort, right? [09:22:52] it's been agges since I used IRC. [09:22:57] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [09:22:57] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [09:22:57] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [09:22:58] yes there's some way of claiming them again [09:23:03] can't remember atm [09:23:09] I can google [09:23:11] I'll try to pre-reserve "the big table" now and maybe reserve more later if we are many. From 1800 maybe? [09:23:23] /msg chanserv op #gf [09:23:26] try that [09:23:32] mbrock: sounds good [09:23:45] *** ChanServ sets mode: +o jstar [09:23:52] \o/ [09:24:01] *** ChanServ sets mode: +o inariksit [09:24:09] ooh I can do that too :-D [09:24:13] I didn't remember [09:24:14] hmm so anyone can claim ops? [09:24:21] daherb: try [09:24:21] or maybe I whitelisted you a long time ago [09:24:27] sounds vaguely familiar [09:25:04] *** inariksit changes topic to 'Dinner tonight (Aug 15) in Terapija on Bruninieku iela 69 | Grammatical Framework · www.grammaticalframework.org · IRC logs at /irc' [09:25:21] *** inariksit changes topic to 'Dinner tonight (Aug 15) in Terapija on Bruninieku iela 69 at 18:00 | Grammatical Framework · www.grammaticalframework.org · IRC logs at /irc' [09:25:30] jstar: okay daherb can't do it [09:25:38] thanks, I'll remember that from now on! ^^ [09:27:19] *** Joins: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) [09:27:38] hello pkolachi! [09:27:41] dinner tonight, see topic [09:28:05] *** Quits: felixhultin (~felix@luwifi.lu.lv) (Ping timeout: 240 seconds) [09:29:43] greetings! \0/ [09:29:50] foooood [09:30:08] i will join too please [09:30:11] yes! [09:30:14] everyone is welcome ^^ [09:31:02] 21:55:39 < mbrock> the table type and the record type seem to be isomorphic, but I'm also curious if there is some significant difference [09:31:34] records are less flexible in a sense; you must know the exact name of a field that you want to project [09:31:54] whereas from a table, you can use wildcards, variables, or determine the parameter by using some computation [09:32:01] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 248 seconds) [09:32:40] *** Quits: Paula (05b309e6@gateway/web/freenode/ip.5.179.9.230) (Ping timeout: 260 seconds) [09:33:48] also people feel free to spread the invitation around, this is not meant to be a secret society [09:34:08] so when talking to your neighbour who is not here, ask them if they want to join too ^^ [09:36:33] *** jstar sets mode: +o daherb [09:43:52] daherb suggested yesterday that I use `++ BIND ++` instead of the gluing operator, which seems not to work sometimes. Can someone explain why that is? [09:44:11] the gluing operator only works in opers, not in lins [09:44:33] so you can have the gluing operator, +, in e.g. morphological opers [09:44:40] when you create an inflection table [09:45:15] but then in the linearisations of the abstract syntax functions, you can only select and concatenate strings from the pre-computed inflection tables [09:45:20] on a slide that just went past, aarne just missed a golden opportunity to motivate tables as opposed to records: \\_ => "fish" is a really good example of why (Number=>Str) not { sg:Str; pl:Str } [09:45:27] so at runtime, you can't use the single + [09:45:51] but sometimes we really would like to do that, so that's why there's the BIND token [09:46:15] I see, thanks! [09:46:28] it's an added layer to the parser, basically, when the parser encounters the BIND token, it does extra special things [09:46:54] freeside: yeah :) [09:47:15] freeside: the other good reason is that with NUmber=>Str you can do n.s ! det.n [09:47:20] *** Joins: koo5 (~koom@79.98.72.195) [09:47:42] *** Joins: felixhultin (~felix@luwifi.lu.lv) [09:47:49] whereas if we had { sg:Str; pl:Str }, we'd have to do it in a clumsy way, like "case det.n of Sg => n.sg ; Pl => n.pl" [09:47:59] couldn't you do (n.s).(det.n)? [09:48:11] no [09:48:27] the value in det.n cannot be a record field [09:48:32] exit [09:48:38] *** Quits: felixhultin (~felix@luwifi.lu.lv) (Client Quit) [09:48:42] like it could be the string "sg" or "pl", or the param Sg or Pl [09:49:06] but there's no way to make the value of a record field into a record field of another record [09:49:07] *** Joins: felixhultin (~androirc@m83-185-93-221.cust.tele2.se) [09:50:00] ayberkt: if you're more interested in the BIND token, you can read this http://www.aclweb.org/anthology/W15-3305 [09:50:12] gotcha. [09:50:14] maybe there is room in the tutorial for these kinds of FAQs, or maybe i should go write a blog post about this, in the tradition, frequently seen in Haskell, of people writing explainer blogs to explain things to themselves [09:50:25] freeside: would be great! [09:50:44] GF is just not so big that people would've written these blogs :) [09:51:02] but it would be super helpful if someone/you did, then we could also just link them to other newbies ^^ [09:51:36] cool. soon i will be writing monad tutorials for GF lol [09:51:41] hahahah [09:51:46] I'm looking forward to it [09:53:33] i hope aarne later talks about how to think about the runtime vs compiletime aspects, and they _why_ behind some of the rules that he is explaining now. [09:53:57] it's tricky to decide what to talk about, we have people who are much newer than you to GF [09:54:04] and they might be overwhelmed by such details [09:54:05] "because if we broke this rule you would also break the symmetry between parsing and linearization" [09:55:40] speaking of the newer people, maybe this afternoon if there is interest i would be happy to offer a short introduction to how to think about types vs data, for people who are new to programming or are new to typed languages ... [09:55:56] I think daherb is planning on pretty much that thing! [09:56:14] or not sure if it's just more practical "how is python different from GF" [09:56:43] ah, cool [09:57:02] or maybe you can chat about it during the coffee break? [09:57:34] yesterday i observed people making some minor errors like `table = { sg => Str }` which, if not corrected, will get in the way of further progress [09:57:41] it is more like "if you are thinking in a python way, how do you have to change the way you are thinking that you are not completely lost in gf" [09:59:09] daherb: i presume there will be some introduction to types and complex data structures? type declarations as complementary to data definitions, etc. [10:00:30] freeside: i started writing a tutorial and would be happy to get feedback/contributions. you can find it on https://github.com/daherb/GF-for-Python-programmers [10:00:58] right on, i will check it out! [10:03:36] *** Quits: freeside (~user@5.179.9.5) (Read error: Connection reset by peer) [10:03:37] *** Joins: freeside` (~user@2001:67c:2198:31:5856:8a82:8a7f:236f) [10:10:43] *** Joins: paula (05b309e6@gateway/web/freenode/ip.5.179.9.230) [10:10:53] hi paula [10:12:46] hello! [10:13:26] hi! [10:14:00] *** Joins: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) [10:14:25] i wish i knew why the bot crashes all the time [10:14:25] i am not a bot [10:14:35] anna don't lie to us [10:14:35] are you talking about me? [10:15:17] *** Quits: freeside` (~user@2001:67c:2198:31:5856:8a82:8a7f:236f) (Ping timeout: 246 seconds) [10:16:04] * inariksit is installing GF 3.9 ^^ [10:16:20] good luck [10:16:24] it has latin in API now! \o/ [10:16:41] I didn't know about the Missing module, I wonder if I could add what I have of basque in there already :-D [10:16:51] inariksit: yes, but in an old version [10:17:00] okay [10:17:02] *** Joins: freeside (~user@5.179.9.5) [10:17:31] about the missing you can have a look at https://github.com/daherb/GF-latin/blob/master/api/mkMissing.sh [10:17:47] ooh thanks ^^ [10:19:46] *** Quits: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) (Ping timeout: 276 seconds) [10:19:51] where's mkMissing.hs? [10:19:59] ok nevermind [10:33:19] *** Quits: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [10:33:55] *** Quits: paula (05b309e6@gateway/web/freenode/ip.5.179.9.230) (Ping timeout: 260 seconds) [10:34:30] *** Quits: astro42 (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [10:35:05] *** Quits: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) (Ping timeout: 260 seconds) [10:35:56] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 240 seconds) [10:36:18] *** Joins: angelo__ (~angelo@ksit.fixme.fi) [10:36:29] welcome! [10:36:31] hi everyone [10:36:39] also if someone else wants an account on my server, just let me know and I'll fix it ^ ^ [10:36:44] now coffee break! [10:37:43] *** Quits: felixhultin (~androirc@m83-185-93-221.cust.tele2.se) (Remote host closed the connection) [10:38:00] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [10:58:12] *** Quits: freeside (~user@5.179.9.5) (Read error: Connection reset by peer) [10:58:33] *** Joins: freeside (~user@2001:67c:2198:31:e14a:b311:72d4:43fb) [10:59:57] *** Joins: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) [11:02:56] *** Quits: freeside (~user@2001:67c:2198:31:e14a:b311:72d4:43fb) (Ping timeout: 240 seconds) [11:07:58] angelo__: https://github.com/daherb/Boten-Anna [11:10:18] *** Joins: ayberkt (~ayberkt@5.179.9.100) [11:14:16] *** Joins: angelo___ (~angelo@ksit.fixme.fi) [11:14:41] angelo___: you can resume the screen with screen -rdU [11:14:55] so don't type screen irssi after the first time [11:16:48] *** Joins: freeside (~user@2001:67c:2198:31:e14a:b311:72d4:43fb) [11:19:37] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [11:21:57] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 260 seconds) [11:25:59] *** Quits: freeside (~user@2001:67c:2198:31:e14a:b311:72d4:43fb) (Ping timeout: 246 seconds) [11:27:04] *** Joins: freeside (~user@5.179.9.5) [11:31:19] *** Quits: freeside (~user@5.179.9.5) (Client Quit) [11:31:31] *** Joins: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) [11:31:42] hm, the wifi today is not as good as it was yesterday. [11:34:48] damn [11:34:58] I'm using eduroam, and that has been working fine at least [11:39:09] inariksit: what do you think I'm getting wrong here: https://gist.github.com/ayberkt/c2517bdf11c1d16c4dbf02116f6808f0 [11:39:22] In `defAccMarking` [11:41:49] let's see [11:42:05] what's the error? [11:43:30] ok yeah I got the files now [11:44:47] I added the error to the gist [11:45:22] it could be just that you can, in theory, change the dac of a Place [11:45:36] so it looks like more of a runtime computation [11:46:11] I don't know, that was just a thought [11:46:32] I can poke it a bit and answer after ^^ [11:47:07] have you tried Place = {s : DefAccCase => Str} ; ? [11:49:03] ah sorry, I think it'd be just better if you had Place = {s : Case => Str} and you would construct a table with Nom => "bar"; Acc => "barı" [11:49:32] and you can give the DefAccCase param as an argument to a mkNoun oper [11:49:39] so you can get rid of the dac field [11:51:34] inariksit: that makes sense, but is this supposed to work? Why is such gluing unsupported? [11:52:00] Also, everything I do is here: https://github.com/ayberkt/GF-summer-school [11:52:10] I just pushed the code that does not work currently onto the `def-acc-case` branch [11:55:19] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 255 seconds) [11:55:34] ayberkt: this works https://gist.github.com/inariksit/ef7c5a5a79c35724203b7fab7c3c08db [11:55:57] the mkPlace oper is not very pretty, it can be easily made nicer and not repeat the {s = table {Nom => s ; Acc => s + "i" }}; in all of the cases [12:00:56] (now I removed the copypaste, so nevermind!) [12:09:18] 10:51:33 < ayberkt> inariksit: that makes sense, but is this supposed to work? Why is such gluing unsupported? <-- my best guess is that it's because if your type for place is Place = {s : Str; dac : DefAccCase};, then the dac field can be potentially updated during runtime [12:09:38] and that's different from having an inflection table that is computed at compile-time [12:09:48] you can ask aarne if you have a more philosophical argument for that ^^ [12:14:28] "there's a special thing I've never seen except for this slide" [12:14:36] that's good to teach to newbies! [12:16:27] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 240 seconds) [12:18:22] *** Joins: ayberkt (~ayberkt@5.179.9.100) [12:19:29] did you see my answers before you dropped ayberkt? [12:19:52] between 11:55 and 12:09 [12:22:29] i have restaged my irc presence to a more permanently connected host, so I hope to be dropping less [12:22:48] yay [12:25:53] ah, this is a super important slide [12:26:24] i think many of the students might be suffering from input overload, though. https://s-media-cache-ak0.pinimg.com/originals/ea/9f/40/ea9f405f5e78f2e4abec1cc08a9d25c4.jpg [12:27:09] the complementary slide here would ask: what operations MAY be applied to run-time variables? [12:31:19] that's easy, ++ [12:31:33] and in case of parameters, you can pattern match [12:31:43] but for strings no pattern-matching [12:32:09] and you can also ignore one, like f a b = { s = a } ; [12:32:34] and you can repeat them, f a b = { s = a ++ a ++ b } [12:33:21] (you can ignore more than one too, that sounded confusing! :-D) [12:37:25] happy lunch #gf! [12:38:07] inariksit: I didn't have any philosophical reasons, I guess I should just be using tables :) [12:38:27] okay :) [12:42:14] *** Quits: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) (Ping timeout: 260 seconds) [12:42:16] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 240 seconds) [12:45:44] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [13:07:22] *** Joins: felixhultin (~androirc@m77-218-244-100.cust.tele2.se) [13:47:56] *** Quits: felixhultin (~androirc@m77-218-244-100.cust.tele2.se) (Ping timeout: 240 seconds) [14:10:17] *** Joins: ayberkt (~ayberkt@5.179.9.100) [14:11:27] *** Joins: drbean (~drbean@124.219.82.42) [14:12:07] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [14:12:40] *** Joins: esg (~emil@esg.xen.prgmr.com) [14:16:27] *** Joins: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) [14:16:57] *** Joins: wanshujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) [14:17:46] so many new names ^_^ [14:17:48] welcome everyone! [14:18:05] hello! [14:18:16] helllloooooooo!!! [14:18:47] this channel is perfect for asking questions, so if you have anything, just paste your error here, and you can show your code e.g. in https://pastebin.com/ [14:19:19] yes! everybody should ask questions. [14:19:21] and also eat dinner. [14:19:24] *** Joins: felixhultin (~androirc@m83-185-84-10.cust.tele2.se) [14:19:30] there is a vegetarian dinner that will happen tonight. [14:19:32] i like potatoes. [14:19:59] *** Joins: Gunta (05b308f7@gateway/web/freenode/ip.5.179.8.247) [14:20:17] welcome! [14:20:55] *** Joins: lauma (05b309a5@gateway/web/freenode/ip.5.179.9.165) [14:21:01] hello! [14:21:25] I've checked with Terapija cafe and booked half of it, which I believe fits something like 15 people. They recommend that we arrive at 18 for ordering dinner, because another party is coming at 18:30 and service will be slower then [14:21:35] mbrock: great! [14:22:48] *** Joins: Gunta_ (05b308f7@gateway/web/freenode/ip.5.179.8.247) [14:23:23] *** Joins: Baiba (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:23:35] ^__^ [14:23:45] *** Quits: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) (Ping timeout: 260 seconds) [14:24:12] hello all newcomers! who are you? ^^ [14:24:20] *** Quits: Gunta (05b308f7@gateway/web/freenode/ip.5.179.8.247) (Ping timeout: 260 seconds) [14:24:46] *** Joins: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:24:49] or we can just all meet at Terapija and have a guessing game [14:25:30] *** Quits: lauma (05b309a5@gateway/web/freenode/ip.5.179.9.165) (Ping timeout: 260 seconds) [14:25:30] *** Quits: wanshujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) (Ping timeout: 260 seconds) [14:27:50] *** Quits: Baiba (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [14:39:09] *** Joins: livyr (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:39:53] *** Quits: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Quit: Page closed) [14:40:14] *** Joins: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:51:27] *** Quits: Gunta_ (05b308f7@gateway/web/freenode/ip.5.179.8.247) (Ping timeout: 260 seconds) [14:53:08] *** Joins: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) [14:56:22] is anyone here familiar with the JavaScript output possibility? I've figured out ``gf --make -f js'' but I wonder if there is a JavaScript library that this output is meant to use [14:57:35] *** Quits: livyr (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [14:58:05] so, what text editor should people use? [14:58:19] https://atom.io/ [14:58:27] is my current recommendation [14:58:56] *** Joins: wanshujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) [14:58:59] wanshujun: try installing http://atom.io/ if you need a text editor [15:00:47] other people may have different ideas. [15:03:40] now you want to git clone https://github.com/ayberkt/GF-summer-school [15:04:16] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 240 seconds) [15:04:35] *** Quits: drbean (~drbean@124.219.82.42) (Ping timeout: 240 seconds) [15:05:42] *** Joins: ayberkt (~ayberkt@5.179.9.100) [15:10:31] If someone managed to install gf on arch linux in a non-hacky way let me know ;) [15:11:42] felixhultin: me and Nasrin had lots of horrible problems with that, and I ended up building a static binary that you can get at https://castle.brockman.se/gf [15:12:08] that binary should work on any Linux x86-64 system [15:12:46] it probably does count as a hacky way though :) note that you'll need to download and set up the resource grammar library separately if you want to use that [15:17:32] see https://github.com/mbrock/gf-static for how the binary is built [15:18:03] Yeah, I did that, it'll suffice for now :) [15:32:35] *** Quits: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) (Ping timeout: 260 seconds) [15:34:16] felixhultin: sorry, just realized it's 3.8 instead of 3.9, I will try to get the new version [15:36:30] I didn't see 3.9 on hackage [15:37:26] wanshujun: I also started making a very primitive GF syntax mode for Atom if you are interested [15:37:56] hey ayberkt, thanks, i have submitted another pull request for https://github.com/mengwong/GF-summer-school/blob/ssglobaldoc/day-2/aarne-session.txt [15:37:59] Had to stop working on it, because the grammar formalism people use for text editors is horrible [15:38:34] freeside: I added you as a collaborator, feel free to commit directly :) [15:38:47] freeside: you're mengwong right? [15:39:23] oh lol thanks [15:39:31] i can neither confirm nor deny that i am mengwong [15:39:37] ayberkt: yeah, my script installed with cabal-install but apparently 3.9 was only released on friday and hasn't made it into hackage :) [15:39:42] freeside: lol [15:40:03] mbrock: just use stack, it's easier for everyone [15:40:23] it's long past the time we deprecate cabal-install imho [15:40:31] except that GF is not in Stackage :) [15:40:37] edit you ~/.stack/global-project/stack.yaml [15:40:41] That's what I did [15:40:42] Yes it is [15:40:44] surely, there should be no difference between 3.8 and 3.9 for the purposes of this course ... [15:45:37] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 260 seconds) [15:50:37] *** Quits: felixhultin (~androirc@m83-185-84-10.cust.tele2.se) (Ping timeout: 276 seconds) [15:57:36] Nasrin: here is an archive containing both gf 3.9 and the compiled resource grammar library: https://castle.brockman.se/gf-3.9-static.tar.gz [16:11:42] *** Joins: ayberkt (~ayberkt@5.179.9.100) [16:14:10] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Client Quit) [16:24:05] *** Joins: ayberkt (~ayberkt@5.179.9.100) [16:26:08] *** Joins: Irene (05b30994@gateway/web/freenode/ip.5.179.9.148) [16:26:31] *** Irene is now known as Guest41655 [16:26:46] *** Joins: A_ (05b309d1@gateway/web/freenode/ip.5.179.9.209) [16:35:31] *** Joins: aw_ (05b30c84@gateway/web/freenode/ip.5.179.12.132) [16:36:07] *** Quits: aw_ (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Client Quit) [16:36:09] *** Quits: A_ (05b309d1@gateway/web/freenode/ip.5.179.9.209) (Ping timeout: 260 seconds) [16:36:36] *** Joins: awbg (05b30c84@gateway/web/freenode/ip.5.179.12.132) [16:37:08] HELLO EVERYONE WE ARE ON THE BIG SCREEN [16:57:28] *** Joins: Gunta (05b308f7@gateway/web/freenode/ip.5.179.8.247) [16:58:33] hi! for those who want to join, we have some reservations at Terapija, a vegan cafe with burgers and beer and desserts. We can fit around 15 people, and we should be there at 18, or even earlier for faster service [16:58:58] They are cash only. If we walk we pass an ATM, otherwise there is one fairly nearby [16:59:24] Walking is around 20 minutes to Bruninieku iela 69, otherwise a taxi with the Taxify app should be less than 4 euros [17:01:49] *** Quits: Gunta (05b308f7@gateway/web/freenode/ip.5.179.8.247) (Ping timeout: 260 seconds) [17:21:09] the plan is to start walking around 5:30pm, which is about 10 minutes from now [17:21:37] *** Joins: aaaaa (05b309d1@gateway/web/freenode/ip.5.179.9.209) [17:26:20] *** Quits: aaaaa (05b309d1@gateway/web/freenode/ip.5.179.9.209) (Ping timeout: 260 seconds) [17:28:05] *** Quits: awbg (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [17:28:21] *** Joins: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) [17:30:02] I'm in, and told Ben (my husband) to join if is Ok. [17:33:57] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Ping timeout: 240 seconds) [17:34:30] *** Quits: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [17:36:15] *** Quits: Guest41655 (05b30994@gateway/web/freenode/ip.5.179.9.148) (Ping timeout: 260 seconds) [17:37:24] *** Quits: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) (Ping timeout: 260 seconds) [17:37:25] *** Quits: wanshujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) (Ping timeout: 260 seconds) [17:37:25] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [20:43:27] *** inariksit changes topic to 'Dinner Wednesday 16 Aug at Matisa iela 28! Bring your own plate and drinks & snacks | Grammatical Framework · www.grammaticalframework.org · IRC logs at /irc' [20:45:28] *** inariksit changes topic to 'Dinner 16 Aug @ Inari, Herb & Ann (Matisa iela 28) at 19. Bring your own plate if you have one, also drinks & snacks | www.grammaticalframework.org · IRC logs at /irc' [20:48:46] *** Joins: cestmoi (5509d123@gateway/web/freenode/ip.85.9.209.35) [20:49:04] *** Parts: cestmoi (5509d123@gateway/web/freenode/ip.85.9.209.35) () [22:03:14] *** Quits: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (*.net *.split) [22:03:14] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (*.net *.split) [22:03:14] *** Quits: proteusguy (~proteus-g@49.228.116.10) (*.net *.split) [22:03:24] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [22:03:25] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [22:03:25] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [22:08:21] *** Joins: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) [22:20:27] *** Joins: ayberkt (~ayberkt@85.9.209.35) [22:46:32] moooof [22:51:35] I just made a Slack for those who are not particularly fond of IRC. [22:52:21] I'll ask Normunds to propagate the invitation link on the mailing list. [22:52:50] If you are on the Slack, feel free to add the people you know :) [23:09:49] *** Joins: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) [23:51:55] *** Quits: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) (Ping timeout: 260 seconds)