[00:20:34] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 246 seconds) [01:18:50] *** Quits: relrod (~relrod@redhat/relrod) (Ping timeout: 240 seconds) [01:58:39] *** Joins: ayberkt (~ayberkt@85.9.209.35) [02:03:22] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 260 seconds) [03:46:43] *** Joins: ayberkt (~ayberkt@85.9.209.35) [03:51:17] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 260 seconds) [04:32:23] *** Joins: relrod (~relrod@origin.elrod.me) [04:32:25] *** Quits: relrod (~relrod@origin.elrod.me) (Changing host) [04:32:25] *** Joins: relrod (~relrod@redhat/relrod) [04:48:41] *** Quits: relrod (~relrod@redhat/relrod) (Quit: .) [04:49:17] *** Joins: relrod (~relrod@origin.elrod.me) [04:49:17] *** Quits: relrod (~relrod@origin.elrod.me) (Changing host) [04:49:18] *** Joins: relrod (~relrod@redhat/relrod) [05:19:46] *** Joins: drbean (~drbean@124.219.82.41) [05:34:48] *** Joins: ayberkt (~ayberkt@85.9.209.35) [05:39:12] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 260 seconds) [06:57:17] *** Joins: proteusguy (~proteus-g@180.183.116.133) [07:12:06] *** Quits: drbean (~drbean@124.219.82.41) (Quit: ZNC 1.6.5 - http://znc.in) [07:22:54] *** Joins: ayberkt (~ayberkt@85.9.209.35) [07:27:13] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 245 seconds) [08:05:26] *** Joins: ayberkt (~ayberkt@85.9.209.35) [08:09:53] *** Quits: ayberkt (~ayberkt@85.9.209.35) (Ping timeout: 248 seconds) [08:25:37] *** Joins: freeside_ (uid218331@gateway/web/irccloud.com/x-nowqvilecfujaiyf) [08:27:40] For Paula, footnoting our discussion from last night's dinner excursion: http://www.threevirtues.com/ [09:01:51] *** Joins: ayberkt (~ayberkt@5.179.9.100) [09:05:48] *** Joins: pkolachi (05b30877@gateway/web/freenode/ip.5.179.8.119) [09:06:34] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [09:07:21] yeah, i think slack is more user-friendly [09:08:12] *** Joins: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) [09:15:10] good morning [09:20:22] *** Quits: ayberkt (~ayberkt@5.179.9.100) (Quit: Lost terminal) [09:32:02] good morning [09:32:21] daherb: i'm putting in a decent number of edits to your GF-for-python Document.tex, hope that's OK :) [09:34:19] freeside: i am looking forward to see it [09:45:38] *** Joins: awbg (05b30c84@gateway/web/freenode/ip.5.179.12.132) [10:16:34] i have updated the README with some technical notes that may be helpful to newbies not just to GF but to the command line generally: https://github.com/ayberkt/GF-summer-school [10:20:59] if i had more time and more webdev experience, i would take on a project to upgrade the GF website to look more shiny and modern, like https://spacy.io/docs/usage/pos-tagging [10:21:29] more CSS! more cowbell! [10:23:51] ayberkt: can I also be a contributor in your repo? [10:34:55] *** Quits: freeside_ (uid218331@gateway/web/irccloud.com/x-nowqvilecfujaiyf) (Quit: Connection closed for inactivity) [10:36:30] *** Quits: Nasrin (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [10:36:30] *** Quits: pkolachi (05b30877@gateway/web/freenode/ip.5.179.8.119) (Ping timeout: 260 seconds) [10:45:34] *** Joins: freeside_ (uid218331@gateway/web/irccloud.com/x-lphrzwxuojmnwnsj) [10:47:00] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [11:11:33] *** Joins: pkolachi (05b30877@gateway/web/freenode/ip.5.179.8.119) [11:18:14] *** Joins: astro42 (d403c62b@gateway/web/freenode/ip.212.3.198.43) [11:19:16] I can't come in today - sorry. [11:23:44] *** Quits: astro42 (d403c62b@gateway/web/freenode/ip.212.3.198.43) (Ping timeout: 260 seconds) [11:25:56] okay, dumb question: remind me, what was the morning assignment for day 3? was it to re-express the City grammar using the RGL API? [11:28:24] *** Quits: awbg (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [11:29:22] *** Joins: Loquilla (05b30994@gateway/web/freenode/ip.5.179.9.148) [11:30:46] freeside: i think it was adding languages to the city grammar using the api [11:31:06] and if you are finished with that you can extend the abstract syntax and implement that as well [11:33:24] *** Joins: livyr (05b30c84@gateway/web/freenode/ip.5.179.12.132) [11:40:19] i think i might be the only monolingual person in the room :( [11:40:39] maybe i will invent a new language involving liberal use of rude words [11:42:15] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [12:07:13] hm, does the eclipse plugin have type-aware completion hints? [12:26:10] no idea [12:37:43] okay, i give up and ask for help [12:37:43] AllPlacesAre plc prp = mkUtt (mkCl (mkNP all_Predet (mkNP the_Det plc)) prp); [12:38:01] > l AllPlacesAre City Empty [12:38:01] all city is empty [12:38:32] > l AllPlacesAre City Empty [12:38:32] all the city is empty [12:38:52] the all_Predet is not imposing plural-ness on the NP [12:39:00] *** Quits: Loquilla (05b30994@gateway/web/freenode/ip.5.179.9.148) (Ping timeout: 260 seconds) [12:39:05] NP should have its pluralness already from before [12:39:17] don't you have a thePl_Det? [12:39:39] yes there is, just use that ^^ [12:39:42] ah, my bad, thank you [12:39:48] (^^)v [12:40:03] I'll have lunch at the cafeteria here, have to finish my slides [12:40:03] what if i don't use a Det at all? [12:40:10] all cities are empty [12:40:17] that is still a aPl_Det [12:40:31] which just linearises as an empty string and chooses the plural from the CN [12:40:39] oho, that is what i was missing [12:40:41] it is invisible [12:41:01] then there's MassNP : CN -> NP, but it chooses the singular [12:41:06] so aPl_Det is what you want [12:43:04] *** Quits: livyr (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [12:45:24] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [12:54:55] *** Quits: freeside_ (uid218331@gateway/web/irccloud.com/x-lphrzwxuojmnwnsj) (Quit: Connection closed for inactivity) [13:33:49] *** Quits: pkolachi (05b30877@gateway/web/freenode/ip.5.179.8.119) (Ping timeout: 260 seconds) [13:45:32] *** Quits: proteusguy (~proteus-g@180.183.116.133) (Remote host closed the connection) [14:01:07] https://github.com/inariksit/GFSS2017 [14:03:37] *** Joins: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) [14:04:20] *** Joins: lauma (05b309a5@gateway/web/freenode/ip.5.179.9.165) [14:15:23] *** Joins: Baiba (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:17:10] thanks inariksit , I didn't get this either. [14:17:23] *** Joins: Loquilla (05b30994@gateway/web/freenode/ip.5.179.9.148) [14:19:54] *** Quits: Baiba (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [14:21:21] *** Joins: proteusguy (~proteus-g@49.228.116.10) [14:34:10] *** Joins: Astro42 (d403c62b@gateway/web/freenode/ip.212.3.198.43) [14:37:32] *** Joins: Shujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) [14:37:37] *** Joins: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) [14:54:55] *** Quits: Astro42 (d403c62b@gateway/web/freenode/ip.212.3.198.43) (Ping timeout: 260 seconds) [15:15:02] *** Joins: lreal (05b30c84@gateway/web/freenode/ip.5.179.12.132) [15:27:23] Slides for this afternoon's presentation: https://docs.google.com/presentation/d/13RFVpcuZdfSNAFtzD9qPvCVdyET0X_-uBQLkEdOopHk/edit?usp=sharing [15:27:25] yay, thanks [15:29:15] only veg food tonight? =) [15:29:23] *** Joins: keeleleek (05b30915@gateway/web/freenode/ip.5.179.9.21) [15:29:57] I missed the slides link -- can someone re-post it again? [15:30:33] one sec [15:31:44] see the bottom of https://github.com/ayberkt/GF-summer-school/blob/master/day-3/notes.md [15:32:22] thanks! [15:34:00] *** Quits: lreal (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [15:35:10] *** Quits: lauma (05b309a5@gateway/web/freenode/ip.5.179.9.165) (Ping timeout: 260 seconds) [15:35:45] *** Quits: paula_ (05b309e6@gateway/web/freenode/ip.5.179.9.230) (Ping timeout: 260 seconds) [15:36:54] *** Quits: keeleleek (05b30915@gateway/web/freenode/ip.5.179.9.21) (Ping timeout: 260 seconds) [15:45:40] *** Quits: Loquilla (05b30994@gateway/web/freenode/ip.5.179.9.148) (Ping timeout: 260 seconds) [15:54:25] *** Quits: Shujun (05b309ee@gateway/web/freenode/ip.5.179.9.238) (Ping timeout: 260 seconds) [17:08:44] *** Joins: keeleleek (~keeleleek@ksit.fixme.fi) [17:08:58] https://github.com/GrammaticalFramework/gf-contrib/blob/master/mini/newmini/functor/MiniLexiconFunctor.gf [17:31:00] Hiii is there a slack link? [17:37:07] inariksit: are you busy or should we head home soon? [18:08:07] *** Joins: liv (57f68898@gateway/web/freenode/ip.87.246.136.152) [18:30:43] *** Joins: tosun (~textual@5.179.9.100) [18:34:24] *** Quits: tosun (~textual@5.179.9.100) (Client Quit) [18:36:35] *** Quits: venicecat (05b30941@gateway/web/freenode/ip.5.179.9.65) (Ping timeout: 260 seconds) [18:42:15] *** Joins: freeside_ (uid218331@gateway/web/irccloud.com/x-iemessptcvmalkup) [18:56:13] hello freeside_! [19:01:40] *** Quits: liv (57f68898@gateway/web/freenode/ip.87.246.136.152) (Ping timeout: 260 seconds) [20:52:06] *** Quits: freeside_ (uid218331@gateway/web/irccloud.com/x-iemessptcvmalkup) (Quit: Connection closed for inactivity) [22:53:11] party! [22:53:15] thank you for the fun time. [23:05:18] non. https://youtu.be/Rz8AZ88O4a0