[01:04:14] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [01:49:08] *** Joins: vinit-ivar (~vinit@122.169.8.56) [01:51:04] *** Quits: vin-ivar (~vinit@122.169.2.125) (Ping timeout: 265 seconds) [04:25:54] *** Quits: vinit-ivar (~vinit@122.169.8.56) (Read error: Connection reset by peer) [04:27:23] *** Joins: vinit-ivar (~vinit@122.169.31.186) [04:28:59] *** Quits: spectre (~fran@37.152.235.8) (Ping timeout: 260 seconds) [04:48:53] *** Joins: daherb (~daherb@ppp-93-104-177-0.dynamic.mnet-online.de) [04:51:59] *** Quits: daherb_ (~daherb@ppp-93-104-171-140.dynamic.mnet-online.de) (Ping timeout: 256 seconds) [05:07:14] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds) [08:29:48] *** vinit-ivar is now known as vin-ivar [09:32:04] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [10:34:57] *** Joins: spectre (~fran@37.152.235.8) [11:55:36] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 264 seconds) [12:05:49] *** Quits: spectre (~fran@37.152.235.8) (Quit: Leaving) [12:06:00] *** Joins: spectei (~fran@unaffiliated/spectie) [12:24:57] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [12:54:22] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [13:02:07] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 252 seconds) [13:05:49] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [13:38:22] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 250 seconds) [14:03:53] *** Joins: michmech (57c6faaa@gateway/web/freenode/ip.87.198.250.170) [14:04:05] Hoi hoi, all! [14:04:11] hello! [14:04:30] hi [14:05:57] hei! [14:09:38] I wonder is somebody going to put the summer school group photo up somewhere? [14:10:08] It's just my wife won't believe I was there without photographic evidence. [14:10:39] hahah [14:11:18] I don't know about the fate of the photo [14:12:36] jstar maybe knows? [14:12:49] who took the photos? if it was aarne then the photo might be somewhere between china and gothenburg [14:12:52] Maybe it was so ugly Mike decided to quetly scrap it. [14:13:04] ;__; [14:13:40] it can't be ugly with all these beautiful people in wonderful t-shirts [14:14:23] Your faith in the human race is encouraging. [14:20:16] It was Mike Rosner took the photo. One of them, anyway. [14:20:46] Anyway, I was exaggerating. Wife not that suspicious. [14:20:50] you could fire off an electronic mail to him inquiring about the outcome [14:21:01] perhaps it is being retouched by the tourism authority [14:21:24] they're going to paste some dignitaries in [14:21:25] You mean the auld digital missive? That is a jolly good idea. [14:21:39] you should ask for the dignitary-free version [14:25:01] That, or they're going to retouch some undesireable GF community members out. [14:25:09] Like in Soviet Russia. [14:25:18] D: [14:25:33] i thought about that [14:25:34] if someone is feeling bored, these german disco sentences could do with GF parses and gold standards ^_^ https://github.com/GrammaticalFramework/gf-contrib/tree/master/testsuite [14:25:45] but then i thought, who is undesirable in the GF community [14:26:07] We're all *so* desirable! [14:26:47] yeah [14:26:51] exactly [14:27:58] oi daherb, what did you do with your photos? [14:29:06] At first I was like "wow, disco", then I was like "oh, disco means discontinuous". [14:29:23] haha [14:29:31] i was like "wow disco" then "ooh, discontinuous" [14:29:32] :P [14:29:54] same for me [14:29:56] german translation exercises \o/ [14:30:02] i'd do them but they wouldn't be gold standard [14:30:10] maybe year-old rusty iron rod standard [14:30:15] You've got your priorities set right. [14:30:15] hahah [14:30:25] vin-ivar: i completely forget about them. but i will try ro share them with you soon [14:30:40] daherb: cool! [14:34:22] This online chat malarkey is so confusing. You can have like two or three overlapping conversation threads unfolding at the same time. I'm too one-dimensional for that. [14:34:44] you get used to it [14:34:57] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [14:34:59] * inariksit is seeing daherb's photos IRL right now [14:35:39] also we'll have a karaoke night tonight! [14:35:48] \o/ [14:35:51] GF summer school should totally adopt that practice [14:35:54] i'm going to see bad religion :> [14:35:56] aye :D [14:36:02] nice [14:36:02] ooh, spectei [14:36:05] nice! [14:36:40] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 265 seconds) [14:36:58] :D [14:37:03] brb [14:37:08] this chair is more in front of the desk than that chair [14:37:33] michmech: and sometimes there are also random quotes from the talk someone is following, taken out of context [14:37:50] Who is this koo9 fellow? I'm curious about the ".cz". [14:39:34] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 265 seconds) [14:39:44] 14:55 < inariksit> koo7: are you from the summer school? [14:39:45] 16:05 < koo7> inariksit, just curious about gf [14:40:04] I haven't seen them talk after that [14:40:28] I'm not convinced it's a human. [14:41:21] I mean, we Czechs don't talk much, but we do talk a little! [14:48:17] it feels less bad to not follow during a not-very-technical talk [14:48:43] obviously I don't know what's going on since I've been writing an email but it's still less "omg now I'll never get on track" feeling [15:24:20] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [15:25:05] cat has cat-atoms in its denotation that are NOT vague [15:40:11] I'm naively hoping that someone will answer the question I sent to the mailing list on coreference resolution with GF. [15:40:15] I hope it can be done. [15:40:32] I hope the silence doesn't mean you can't do stuff like that with GF. [15:49:07] my silence means I'm clueless [15:49:21] but I'm sure there's someone that can help [15:50:57] Such as someone who wrote the GF book, for example. :-) [15:52:32] we did some anaphora resolution in the molto project, but outside of GF [15:53:04] Basically resolving "it" for the result of the last computation. [15:54:06] but "it" could refer to different types (Numbers, Functions) and the system know which "it" was relevant. [15:54:30] Yes, doing it outside of GF is an option. [15:55:09] We were already commited to interface a Sage system: No pressure to make it work with GF alone. [15:56:51] but your question suggests that you want to parse 'Text' (super Utterance types) [15:58:18] anaphora resolution is interesting stuff [16:00:53] No, I don't necessary want to parse anything in particular. [16:01:07] My question is more general. [16:01:45] I want my linearization rules to be able to know whether two arguments refer to the same thing or not. [16:02:34] So the linearization rule can decide whether to linearize something as "me" or "myself", for example. [16:03:18] Or maybe the place where this needs to happen is the abstract syntax? [16:03:49] I'd like to be able to specify, in an abstract syntax tree, that two function arguments refer to the same thing. [16:04:43] D'ont know if the 'new' defs rule could cope with something like: likes X X -> likes_himself [16:06:21] that could be a way [16:06:40] Yeah, I understand (kind of) how 'def' works. [16:06:48] It's "chapter 6" stuff. [16:07:19] And chapter 6 is full of vaguely promising stuff which I only "kind of" understand. [16:07:38] That's why I was asking for a fuly worked-out example. [16:11:19] This type of requirement is probably more common than some people think. [16:11:55] For example, in Czech (and other Slavic languages also, I assume) if a pronoun co-refers to the subject, it must be reflexive. [16:12:39] For example, "he will drive his car" has two different Czech translations depending on whether he will he drive his own car or someone else's. [16:13:00] he will drive car? [16:13:07] himself's [16:13:15] yeah it's the same in swedish too, there are different pronouns [16:13:15] Yeah, like that. [16:13:19] "self's car" [16:13:24] I think malin did something for her master's thesis [16:13:34] similar in Indian languages too, I think [16:13:36] to handle the swedish case [16:14:09] Aha! [16:14:54] I shall hunt Malin down and not give her peace until I get an answer. [16:15:24] michmech: this might be useful http://download.springer.com/static/pdf/138/chp%253A10.1007%252F978-3-642-32790-2_22.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F978-3-642-32790-2_22&token2=exp=1438698884~acl=%2Fstatic%2Fpdf%2F138%2Fchp%25253A10.1007%25252F978-3-642-32790-2_22.pdf%3ForiginUrl%3Dhttp%253A%252F%252Flink.springer.com%252Fchapter%252F10.1007%252F978-3-642-32790-2_22*~hmac=b2832634acb078e761d2cc64d3579379048195077c7349cbcba30bfc [16:15:30] "Formalizing the Rules for Reflexive Pronouns by Using Dependent Types." [16:15:34] on 4th page [16:16:24] or this is the original thesis, maybe it's explained with more examples here https://gupea.ub.gu.se/bitstream/2077/28838/1/gupea_2077_28838_1.pdf (page 26) [16:16:25] Ooh! That looks promising! [16:17:39] Thank you! [16:17:41] good luck! [16:17:47] going to a next class --> [16:21:32] I won't even have to hunt anyone down. [16:23:39] That's my bedtime reading sorted for tonight. [17:00:14] ^^ [17:22:40] I knew dependent types were the way to go. [17:23:11] If only they didn't fry and reboot my brain every time I try to understand them. [17:24:06] God-damn functional programming! :-) [17:25:00] Until I met GF all my programming was happily dysfunctional. [17:25:12] so you understand e.g. what a param Agr = Ag Number Person ; means? [17:25:49] Yes I do. That's a param though, not a dependent type. [17:27:10] there you form values of type Agr by having one value from Number, one value from Person (and a dummy data constructor Ag). so Ag Sg P2 and Ag Pl P3 are both of the same type. for a dependent type, they would be of different types [17:27:22] ok that's not a good explanation .... [17:27:33] but like hmm have you seen vectors dependent on length? [17:28:10] [1,2,3] and [1,1,1] and [3,99999,-42] are of type Vec 3 [17:28:15] and [1,2,3,4] is of type Vec 4 [17:29:10] (ok that Vec would most likely also be parametrised by the type of objects it includes; so [1,2,3] :: Vec 3 Int and ["hej","min","vän"] :: Vec 3 String [17:29:30] in contrast, in a non-dependently typed vectors, [1,2,3] and [1,2,3,4,5] are just Vec Int [17:29:44] Oh, I do understand dependent types in principle. Its their wider implications that sometimes aren't clear to me. [17:30:42] yeah okay :) sorry I wasn't just sure what you know already [17:31:46] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 246 seconds) [17:36:51] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [17:38:15] I've just landed on Mars. I know what Mars is but I still quite new here. [17:38:59] :) [17:39:29] if you have some specific questions about the paper or something, it's a nice exercise to formulate it so that you can ask it on the channel ^^ and someone might even answer you! [17:39:30] Or, I'm a two-dimensional being who's just discovered a third dimension. I know what it is in principle, but... [17:39:54] I find it strange when writing a concrete syntax for dependently-typed abstract syntax [17:40:03] like it's all clean and nice in the abstract [17:40:45] And it's a big heap of underscores in the concrete. [17:41:08] and a big heap of question marks in the parse ^_^ [17:41:26] And a big heap of confusion in my head. [17:42:58] Sometimes it's enough to formulate the question properly and the answer kind of resolves out of that. Like good old Prolog. [18:35:42] Keep it disco, GF! [18:35:47] *** Quits: michmech (57c6faaa@gateway/web/freenode/ip.87.198.250.170) (Quit: Page closed) [18:50:30] *** Joins: koo7 (~kook@37-48-45-223.tmcz.cz) [18:51:42] *** Parts: koo7 (~kook@37-48-45-223.tmcz.cz) () [19:53:21] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 255 seconds) [19:55:54] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [20:09:12] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 265 seconds) [20:16:10] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Quit: leaving) [20:26:53] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [20:28:28] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [21:02:40] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [21:20:07] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [21:20:55] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [21:37:41] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [23:04:28] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [23:22:39] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [23:24:43] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [23:41:39] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [23:46:25] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer)