[00:50:30] *** Quits: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) (Ping timeout: 260 seconds) [03:06:25] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 248 seconds) [03:13:11] *** Joins: JuanDaugherty (~juan@98.4.124.117) [04:07:01] *** Joins: koo5 (~koom@79.98.72.195) [04:57:02] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.) [05:09:50] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 240 seconds) [05:22:03] *** Quits: proteusguy (~proteus-g@2405:9800:b408:bc31:5cb3:2d60:b355:f07c) (Remote host closed the connection) [05:24:07] *** Joins: koo5 (~koom@79.98.72.195) [08:14:34] freeside: no worries, I was tired already, and when the rain started I was happy I stayed inside! [08:37:50] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds) [08:55:13] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 248 seconds) [09:05:37] daherb: duh I'm an idiot, I washed all my socks so now they are all wet :-P [09:05:55] freeside: sorry if I miss your talk, I'm at home doing laundry! [09:05:59] or well now I'm done with it [09:12:16] inariksit: don't put them in the microwave oven to dry them. that would be a very bad idea (i heard from a friend ;)) [09:25:27] *** Joins: koo5 (~koom@79.98.72.195) [09:35:59] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [09:38:45] daherb: haha [09:38:53] luckily I didn't even think of that [09:39:25] according to the internet, https://www.gizmodo.com.au/2017/08/experts-say-boiling-underwear-in-a-hotel-kettle-is-super-super-super-super-gross-so-maybe-dont-do-it-k-thnx/ [09:41:41] hahah [09:41:45] people are so creative [10:12:18] *** Joins: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) [10:12:27] anna: I'm hungry [10:12:27] what do you want to accomplish by saying: "i'm hungry"? [10:12:39] anna: how to cure hangover [10:12:39] what do you want to accomplish by saying: "how to cure hangover"? [10:12:45] stupid bot [10:12:45] i am not a bot [10:13:06] can you please tell inariksit that soon there will be a coffee break [10:13:06] daherb: i will tell inariksit [10:13:16] i wonder if the coffee break is soon [10:13:16] inariksit: daherb wants me to tell you that soon there will be a coffee break [10:13:16] daherb: transmitted your message to inariksit [10:13:22] wow thanks [10:15:53] annaaerinteenbot: help [10:15:53] daherb: i listen for possible commands in all conversations in this channel, so you don't have to talk to me directly. I can *tell* or i can *ping* from you. if i am a channel operator i can *op* or *deop* if you ask politely. and sometime i am just stupid and annoying. [10:16:34] ping inariksit [10:16:34] daherb: i will ping inariksit for you [10:48:50] freeside: that was a great talk! ^^ [10:48:50] inariksit: daherb wants me to ping you [10:48:50] daherb: pinged inariksit for you [10:53:05] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [11:28:10] tell daherb tack foer senast! [11:28:11] esg: i will tell daherb [11:28:50] tell inariksit tack foer senast as well [11:28:51] esg: i will tell inariksit [11:29:23] bla [11:29:24] daherb: esg wants me to tell you tack foer senast [11:29:24] esg: transmitted your message to daherb [11:31:43] :) [11:34:07] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [11:34:30] freeside, venicecat, how do I join other channels on the legalese slack? [11:34:30] inariksit: esg wants me to tell you tack foer senast as well [11:34:30] esg: transmitted your message to inariksit [11:34:34] or where do I see other channels? [11:35:29] do you see a list of channels on the left of the slack window? [11:36:19] or you can just click on 'channels' to browse all channels [11:36:34] you are welcome to join all the channels [11:36:36] feel free to join any channels you like [11:36:49] aha right [11:36:51] thanks! [11:36:57] hint: if you want someone to pay for your conference travels, join #finance [11:37:02] that's a particularly useful channel [11:37:05] lol [11:37:10] lol [11:55:53] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [11:55:53] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [11:55:53] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [12:03:41] freeside: have you allowed connection via IRC to the legalese slack? [12:05:29] I'm using another slack successfully via irssi, and I am doing the same steps, but I just get 11:04:53 Invalid user name or password [12:05:43] alternatively, I am not actually doing the same steps and am just confused [12:09:15] *** Quits: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) (Ping timeout: 252 seconds) [12:32:06] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:68e9:2960:9f2b:481b) [12:47:25] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [13:28:53] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [13:57:09] i am not familiar with slack's IRC gateways. you might need to connect to legalese.slack.com separate from your other server? [13:57:37] if it needs to be specially enabled, then maybe i haven't specially enabled it. [14:19:17] what do I import to get "mkAdv : Str -> Adv" in English? [14:21:46] * mbrock cheats with `lin Adv { s = s }` [14:23:13] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 276 seconds) [14:33:27] mbrock: should be in ParadigmsEng [14:34:13] freeside: I created a separate network to legalese.slack.com [14:34:22] and I think yes you need to enable IRC connection specially [14:46:36] What did aarne say about "ParadigmsEng.mkAdv vs ConstructorsEng.mkAdv"? [14:52:59] one of them is phrasal, one is lexical [15:16:37] I'm trying to compile the API, and now it starts complaining about missing s field in some categories [15:17:33] I have had other people ask me quite a few times during this summer school what's wrong, and I've just answered "sometimes it works fine without s field, and other times it doesn't, so to be on the safe side, add an s field" [15:17:59] anyone who knows actually more about it? [15:18:43] "__ for free" is a good way to package your research ^^ [15:18:58] everyone loves free stuff! [16:01:40] drbean: so, i just got bitten by the mkAdv thing ... it turns out GF was picking ParadigmsEng's mkAdv, and that version of mkAdv was expecting a Str. But the thing I'm doing wants to call `mkAdv to_Prep` so I needed to specify SyntaxEng.mkAdv to_Prep. [16:01:44] and then that worked. [16:13:11] aha [16:17:00] freeside: I added a mkAdv : Adv -> AdvType -> Adv in ParadigmsChi [16:17:04] and pushed it to the repo [16:47:46] daherb: you have previously added a language to the repo, can you tell me if I'm missing something? [16:48:04] so this is what I'm thinking of doing now: [16:48:29] a) add directory basque, which includes all of the LangEus, GrammarEus, NounEus, VerbEus ... and MissingEus [16:48:43] b) add ConstructorsEus, SymbolicEus etc. in the directory api [16:49:00] c) add something in the Makefile (will look and copypaste and s/Xxx/Eus/) [16:49:04] d) something else? [16:49:39] (I didn't add the estonian myself, aarne did it 4 years ago) [17:13:50] *** Joins: JuanDaugherty (~juan@98.4.124.117) [17:14:13] *** Joins: koo5 (~koom@79.98.72.195) [18:01:50] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [18:29:06] 34 files changed, 3672 insertions(+), 6 deletions(-) [18:29:16] now let's see if I manage to fuck everything up! :-D [18:32:17] https://github.com/GrammaticalFramework/GF/commit/d70e7462196346235a2a84a3926d59fba9cc69ca [20:56:11] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 255 seconds) [20:57:50] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.) [21:10:07] *** Joins: koo5 (~koom@79.98.72.195)