[09:36:19] *** Quits: proteusguy (~proteusgu@202.58.193.235) (Ping timeout: 246 seconds) [09:40:18] *** Joins: proteusguy (~proteusgu@202.58.193.235) [12:01:10] *** Joins: daherb (~daherb@cse-principia.cse.chalmers.se) [12:01:59] inariksit: didn't you teach the "gf for python programmers" at the gf summer school? [13:46:11] yeah I did [13:46:17] do you want to see my slides? [13:46:26] yes, that would be great [13:46:49] https://docs.google.com/presentation/d/13DyMfIKJji0pO53d0C8ucvjjkQ1yRIPVL88uK_Mwda8/edit#slide=id.p [13:48:44] did you invent goose typing? ;) [13:48:59] hahah that's google's fault, I searched for duck and got that [13:49:24] obviously I have no rights to any of the animal pictures [13:49:40] i like the turtles [13:49:52] https://duckduckgo.com/?q=transparent+duck&t=ffab&atb=v133-1&ia=images they look pretty much like the bird on my slides [13:50:56] maybe you're just thinking of the wild ducks and I'm thinking of https://en.wikipedia.org/wiki/Domestic_duck [14:09:14] i was thinking that it looked a bit like that https://en.wikipedia.org/wiki/File:Domestic_Goose.jpg but actually geese have longer necks [16:24:25] I'm sure your students will be as critical about ducks, better to use a more iconic duck! [16:24:30] wild or rubber duck [16:24:46] do you have access to this article from chalmers? https://dl.acm.org/citation.cfm?id=1644881 [16:24:52] if so, could you download and send it to me? [16:24:55] inari@digitalgrammars.com [16:40:05] and also this: https://link.springer.com/chapter/10.1007/978-3-319-67056-0_7 [17:18:34] you got mail [17:18:49] thanks! [21:05:53] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 245 seconds)