[06:10:34] *** Quits: spectre (~fran@host86-162-207-235.range86-162.btcentralplus.com) (Ping timeout: 245 seconds) [06:11:03] *** Joins: spectre (~fran@host86-162-207-235.range86-162.btcentralplus.com) [07:55:12] *** Quits: koo7 (~kook@85.70.152.236) (Ping timeout: 272 seconds) [07:55:59] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [12:14:19] *** Quits: spectre (~fran@host86-162-207-235.range86-162.btcentralplus.com) (Ping timeout: 260 seconds) [12:58:24] *** Joins: spectre (~fran@host-92-10-110-71.as43234.net) [13:02:22] *** Quits: spectre (~fran@host-92-10-110-71.as43234.net) (Client Quit) [13:02:49] *** Joins: spectre (~fran@host-92-10-110-71.as43234.net) [13:34:57] *** Joins: inariksitZA (a3c81033@gateway/web/freenode/ip.163.200.16.51) [13:35:53] hey! I can't ssh into my server from the university [13:36:18] hope we'll get more traffic soon, we're organising a 3-day GF workshop in pretoria, starting from wednesday [13:36:47] annaaerinteenbot: how are you prepared for all this activity [13:36:47] What do you want to accomplish by saying: "how are you prepared for all this activity" [13:38:14] inariksitZA, are you able to telnet to port 6667 on irc.freenode.net from your laptop ? [13:39:41] didn't try that, I just tried to ssh, then to run irssi locally (but I was missing some library), and instead of installing that I just figured that webchat was faster [13:40:20] if you can get out on port 6667 i can set up an ssh server on ilazki on that port and you can go via that [13:40:37] web irc is D: [13:40:39] so just "telnet irc.freenode.net 6667"? it says unable to connect to remote host [13:40:48] I also have some actual client [13:40:48] ok, so yeah the port is blocked [13:40:59] try [13:41:01] no worries, I'll just use this or a client, works anyway [13:41:24] telnet www.apertium.org 443 [13:41:26] for ssh it says "ssh: connect to host ksit.fixme.fi port 22: Connection refused" [13:41:41] apertium.org works [13:42:22] anyway, I can login to my server from the hotel, and for the days I can just use something from my computer locally [13:42:38] now talking with the hosts ^^ [13:54:47] inariksitZA: so you are in south africa already? [13:54:56] *** daherb_ is now known as daherb [14:10:52] daherb: yep! [14:23:59] i hope it is nice there. i just returned to cold and snowy gothenburg yesterday [14:29:02] *** Quits: spectre (~fran@host-92-10-110-71.as43234.net) (Ping timeout: 265 seconds) [14:33:54] *** Joins: esg (~emil@esg.xen.prgmr.com) [14:42:10] daherb: yeah, really warm ^^ [14:42:42] we're just learning about en-zu SMT, using morphemes in language model [14:46:42] *** Joins: BobL (0245ce2a@gateway/web/freenode/ip.2.69.206.42) [15:02:18] hey BobL! [15:02:25] how's it going with the assignment? [15:08:26] Good afternoon Inari, thanks, hope you are doing well :-) I am looking at code in order to understand Swedish work with GF. I have some questions in some hours today, if it is okay with you [15:18:03] yeah, I'm in south africa this week [15:18:15] teaching in a GF workshop [15:18:30] I'll have time in a couple of hours, go ahead! [15:20:43] thank you Inari, best of luck with your work in south africa [15:27:21] *** Quits: inariksitZA (a3c81033@gateway/web/freenode/ip.163.200.16.51) (Ping timeout: 252 seconds) [16:12:23] *** Quits: daherb (~daherb@c83-248-143-133.bredband.comhem.se) (Quit: leaving) [16:12:53] *** Joins: daherb (~daherb@c83-248-143-133.bredband.comhem.se) [16:22:21] *** Quits: BobL (0245ce2a@gateway/web/freenode/ip.2.69.206.42) (Ping timeout: 252 seconds) [16:45:23] *** Joins: BobL (0244b814@gateway/web/freenode/ip.2.68.184.20) [17:45:35] *** Quits: BobL (0244b814@gateway/web/freenode/ip.2.68.184.20) (Quit: Page closed) [17:56:10] *** Joins: spectre (~fran@2001:8b0:951:728:7a31:c1ff:fecd:969e) [18:16:58] *** Joins: BobL (0244b814@gateway/web/freenode/ip.2.68.184.20) [18:34:46] Hi Inari. here is a question: i am looking at the code you wrote during the spring course, "RobotPerfectSwedishWithoutTypos". In the Swedish concrete, there is a line: [18:35:05] MkObject determiner kind = determiner.s ! kind.g ++ kind.s ! determiner.n ! determiner.d [18:35:18] Can you be kind as to explain for me a bit the last part: kind.s ! determiner.n ! determiner.d [19:08:11] sure! [19:08:41] Determiner is a record type that has a field named s, of type Gender => String [19:10:20] and it also has fields n : Number and d : Species [19:10:33] Kind is a record type that has fields s : Number => Species => String, and g : Gender [19:11:17] by convention, the most important field, the one that will contain the actual string value of the word in question, is named s [19:11:34] and for Determiner, the final string value depends on gender [19:11:47] for Kind, the final string value depends on number and species [19:12:01] so determiner has an inherent number and species, but variable gender [19:12:19] and kind has inherent gender, but variable number and species [19:12:42] when we form an Object from Determiner and Kind, both need some information from each other [19:13:18] so we will form an Object (ie. a qualified Kind) by combining the right form of the determiner and the kind [19:15:31] ++ is a concatenation operator; on the left hand side, we have the right form of the determiner, we can access it by writing "determiner.s ! kind.g" [19:16:24] and the right hand side, first we select "kind.s ! determiner.n", which gives us yet another table [19:16:47] we've peeled one layer by choosing the number from the determiner, but we need yet another selection [19:17:15] because the type of Kind's s field is Number => Gender => Str [19:17:33] so we need to have two selections in order to get to the string [19:17:49] hence kind.s ! det.n ! det.d [19:32:59] thank you so much Inari for this, I see that I understand it! Thanks! One further question on this line: so basically "kind.s ! det.n" is first calculated and then from this "kind.s ! det.n" we go one level further into the table, correct? [19:33:24] yeah [19:33:37] you can put parentheses like (kind.s ! det.n) ! det.s [19:33:44] sorry, det.d [19:33:49] instead of det.s [19:35:37] very nice and clear description here Inari :) thank you. I will return with my next question in some time but I continue looking at code to understand it, so that it goes as clear as I can understand. Thanks Inari! [20:55:46] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds) [21:54:33] *** Quits: BobL (0244b814@gateway/web/freenode/ip.2.68.184.20) (Ping timeout: 252 seconds) [23:01:24] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz)