[03:28:41] *** Joins: drbean (~drbean@TC210-63-209-169.static.apol.com.tw) [03:56:08] *** Quits: drbean (~drbean@TC210-63-209-169.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) [12:25:55] *** Joins: ski (~ski@nc-2504-30.studat.chalmers.se) [12:36:27] inariksit: I suppose my preferences would be outside of teaching time, i.e. not in Feb-Apr. [12:46:49] right, I think the plan is still in summer, so jun-aug [14:54:59] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [14:55:10] hey [14:55:50] does anyone here have any experience with precedence as defined in the standard library, prelude/Formal.gf [14:56:38] I'm wanting to modify it, and am not sure to overload operators [14:57:27] so that infixl, etc can support more than just binary operators [17:33:00] hi wmacmil! I don't have any experience, that's a part of GF I've avoided for my 10 years in GF [17:33:14] you could ask on the mailing list [17:33:25] yeah i've sent aarne an email so i'm sure he'll get back [17:33:48] just thought id double check here [17:34:16] yeah, doesn't hurt! [17:34:50] btw, we're planning to do next gf summer school remotely, would you like to present your exjobb stuff there? [17:35:36] in the summer, so no hurry :-D [17:35:52] yeah i would :) [17:36:12] cool! [17:36:28] aarne has two other students at the moment too, so there's going to be a lot of activity [17:40:34] have you moved to singapore yet? [17:41:30] no, but it's getting closer all the time! [17:41:46] today I've been looking at flats with pools :-D [17:42:31] but doubtful as many saunas [17:42:47] the paperwork is in, and if everything goes well, it'd get accepted in december, and then we can move (me and LambdaDuck) in january [17:42:57] haha, the whole country is a sauna [17:43:29] sounds like a match made in heaven, for a Finn. [17:43:34] yep! [17:44:08] so are you still working for digital grammars [17:44:12] it's also been exciting to talk to skatteverket, because according to singapore law, we are independent contractors, but skatteverket only understands employed or egenföretagare [17:44:30] officially not during the year I'm working in singapore [17:44:49] in practice I've been fixing some things here and there during the summer and autumn [17:45:06] but I've been primarily working for CCLAW since june [17:45:30] the plan is to come back next summer and start working for dg again [17:45:49] cool [17:46:00] I'm secretly hoping that e.g. some of aarne's current students could take my job, so I would have the possibility to stay even a bit longer in singapore, if I want to :-D [17:46:33] yeah i gotta talk to aarne then [17:46:46] there's 3 of you, so prepare for a competition! [17:47:12] haha or well, I would hope that DG gets so many customers that there's room to hire everyone who wants to work with GF ^_^ [17:47:15] except my linguistics knowledge is bit behind [17:47:24] :) [17:47:57] I think it's cool how GF attracts people from different backgrounds [17:51:01] how are you doing with your thesis work? apart from needing to fiddle with precedences [17:52:06] um getting back in the productive train i think [17:52:36] i was a bit in the agda, type theory universe for a while, but I'm excited to be back writing gf code [17:53:44] do you have much experience with pgf? [17:54:27] do you mean the actual binary format, or the library? [17:57:51] anyway, I had to dig into some internals when I wrote gftest, and I wrote this blog post that is a high-level overview https://inariksit.github.io/gf/2018/06/13/pmcfg.html [17:58:14] if that's too high-level, then the next resource is krasimir's phd thesis :-P [17:59:13] cool i'll read it [17:59:31] i've actually really enjoyed your blog posts that i've read, btw, so thank you [17:59:41] succinct, understandable, and helpful [18:00:15] oh, I'm glad to hear! ^^ [18:00:26] once i stop procrastinating so much maybe i can contribute some blog posts as well - the gf website is a bit behind when it comes to some of the more nuanced aspects of GF [18:00:44] oh yes, that would be great! [18:01:10] I think some of the stuff in my blog could easily be moved to the main GF website [18:02:20] but I also like the liberty to write whatever, in my latest draft I wrote a long dialogue between me and an imaginary troll who is trying to argue that japanese has person agreement [18:03:06] I may remove it from the final version, but anyway, I don't think I'd get to writing the same way if I was writing directly to the gf website :-D [18:04:38] getting a hang of the PGF format is really useful for writing grammars, it's really just the idea of how your GF code expands to concrete categories and functions [18:05:40] in this https://groups.google.com/g/gf-dev/c/QsipBJFPPOo/m/58CTNhb2AwAJ I managed to optimise roman's russian RG from ~130k to ~35k concrete categories, by just cutting down a few params :-D [18:06:34] it's also a sign that the GF compiler could be smarter [18:12:03] ok i'll have to pick your brain when i know more [18:15:44] if you have any concrete questions, just ask anytime! there's a lot I don't know about the exact details of the compilation, but since gftest, I've been pretty obsessed about the concrete cats/funs :-D