[02:16:32] *** Quits: Patternmaster (~georg@ns3066474.ip-79-137-70.eu) (Quit: leaving)
[06:28:09] *** Quits: odanoburu (uid302941@gateway/web/irccloud.com/x-ijcrbudliwlwlntq) (Quit: Connection closed for inactivity)
[12:39:12] *** Quits: drbean (~drbean@TC210-63-209-214.static.apol.com.tw) (Read error: Connection reset by peer)
[14:53:21] *** Joins: odanoburu (uid302941@gateway/web/irccloud.com/x-crwqvybosfpngrbm)
[17:14:58] <inariksit> I blogged about GF to PMCFG https://inariksit.github.io/gf/2018/06/13/pmcfg.html
[17:43:56] <odanoburu> inariksit: nice! how does PGF relate to PMCFG?
[17:47:55] <inariksit> PGF is a PMCFG, if I've understood correctly
[17:48:42] <inariksit> maybe I should really change all PMCFGs into PGF in that post to be concrete about that I'm talking about this format that GF prints out
[17:49:05] <inariksit> but now after I've written papers and talked about PMCFG, it's just a habit to type the whole long thing
[17:49:20] <inariksit> http://school.grammaticalframework.org/2017/slides/Krasimir-Mechanics_of_GF.pdf here there's also talk about GF core
[17:50:33] <inariksit> I just suppose everything is the same thing, but I may miss some subtleties
[17:54:53] <odanoburu> I had understood that PMCFG  was something like a class of grammar expressiveness (which GF belonged to)  from the GF book, but when you talked about it in this way I thought it was also a format (like pgf)
[17:55:13] <inariksit> ah no, sorry
[17:55:22] <inariksit> yeah I should probably be clearer about that
[17:55:29] <inariksit> thanks!
[17:56:11] <odanoburu> it's probably that I'm still new to all this!
[17:56:59] <odanoburu> I should read this presentation and at least skim through angelov's and bringert's theses...
[17:58:40] <inariksit> well, if you think it's useful to know italian to eat pizza :-P
[18:04:32] <odanoburu> it's useful to learn a tiny bit Italian to pose as a pizza  conoisseur
[18:04:45] <odanoburu> jokes apart, I find it interesting to know how GF works
[18:05:12] <odanoburu> probs because I'm not a CS student but want to be one
[18:08:13] <inariksit> what is your major exactly? language technology?
[18:08:29] <inariksit> mine was too, in helsinki it was in the faculty of arts
[18:08:47] <inariksit> so I'm a MA, and doing my phd at the department of computer science and engineering
[18:15:28] <odanoburu> applied math, which in my department means 'anything remotely connected with math'
[18:16:03] <odanoburu> cool! good to see actual examples of people who did it :D
[18:18:07] <inariksit> haha right, I somehow pictured "want to be CS student" as someone farther down in the purity hierarchy (https://xkcd.com/435/)
[18:18:36] <inariksit> not sure where exactly CS should be on that scale :-P
[18:18:40] <odanoburu> I just realized that 'dilettante' would've worked better than 'conoisseur' in my previous joke T.T
[18:19:01] <inariksit> too bad IRC doesn't allow you to edit your lines
[18:19:03] <inariksit> just like real life
[18:19:07] <inariksit> :-P
[18:19:14] <odanoburu> well, it's applied math, so I'd say it's in the same class, while TCS is in with pure math
[18:19:52] <odanoburu> yeah, I'm always like 'it would've been awesome if I had said that' some 30 min later
[18:21:09] <odanoburu> but the xkcd strip doesn't distinguish between pure and applied, so we're at loss
[18:21:16] <odanoburu> at a*
[19:19:35] <inariksit> wow that took a long time to clarify; what do you think now? https://inariksit.github.io/gf/2018/06/13/pmcfg.html
[19:19:41] <inariksit> I added a subsection "Terminology"
[20:00:40] <odanoburu> I'm on it!
[20:00:51] <odanoburu> funny that angelov is behind this too https://github.com/PMCFG/PMCFG
[20:01:29] <odanoburu> which is apparently a latter effort 🤔
[20:03:11] <odanoburu> thanks, I get it fully now :D
[20:08:13] <inariksit> \o/
[20:09:13] <inariksit> writing blog is so much nicer than writing thesis
[20:09:32] <inariksit> well, I'm planning to use my posts as a base for the thesis, just remove some links and jokes
[20:09:59] <inariksit> I was writing a post about the technicalities of the fixpoint computation, and felt like I needed to explain the sequences and whatnot, and so it became that poist
[20:10:01] <inariksit> *-i
[20:16:48] <odanoburu> you are posting quite a bit! and it's teaching me a lot, so thanks !
[20:17:11] <odanoburu> that's something I hope to understand, because I didn't get it that well on your article
[20:58:03] <inariksit> yeah that was not a lot of space for it, koen wrote that
[20:58:09] <inariksit> I'll continue tomorrow, now I'm going home!
[20:58:12] <inariksit> thanks for reading ^^
[23:45:55] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 260 seconds)
[23:50:32] *** Joins: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com)
[23:50:32] *** Quits: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com) (Changing host)
[23:50:32] *** Joins: jbalint (~jbalint@unaffiliated/jbalint)