[03:47:31] *** Quits: drbean_ (~drbean@124.219.83.42) (Quit: ZNC - http://znc.in) [04:04:21] *** Joins: drbean (~drbean@124.219.82.41) [04:04:53] *** Quits: drbean (~drbean@124.219.82.41) (Client Quit) [04:09:17] *** Joins: drbean (~drbean@124.219.82.42) [04:45:13] *** Quits: drbean (~drbean@124.219.82.42) (Quit: ZNC - http://znc.in) [05:01:55] *** Joins: drbean (~drbean@124.219.83.42) [09:29:41] *** Joins: eerbmt (c191e608@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.8) [09:32:09] *** Joins: spectei (~fran@ilazki.thinkgeek.co.uk) [09:37:33] happy second week of summer school ^_^ [09:37:54] \o/ [09:53:58] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [09:57:43] sup [09:58:48] is he going to mention constructions! [09:58:56] hahaha [09:59:02] compositional! [09:59:04] buildable! [10:02:17] representation of interpretation [10:02:25] :D [10:02:31] mikel's giving my talk [10:02:34] you can do that with number language i think [10:02:38] sure! [10:03:07] he's just giving it to frame the rest :P [10:03:11] then you can build on it ! [10:03:39] "synchrotron radiation equipment adjustments" [10:03:43] mikel made this up :D [10:04:30] very philosophical [10:04:39] we could go to the chinese room thing next [10:04:53] chinese room thing ? [10:04:56] platos cave ? [10:05:02] or chinese whispers ? [10:05:09] or a combination [10:05:10] https://en.wikipedia.org/wiki/Chinese_room [10:05:31] whether there is any true understanding happening when a translator is translating text [10:05:33] nice [10:05:42] yes, i heard of that one ^^ [10:14:21] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [10:16:00] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:23:30] chunks! [10:24:39] "very well" [10:24:40] :s [10:37:35] , which are easy to write [10:38:31] hahahah [10:38:44] :D [10:39:27] (for the reference of ", which are easy to write", see third paragraph on the first page of http://www.mt-archive.info/70/CEC-1977-Goshawke.pdf ) [10:40:40] even jokes are in MLA here :/ [10:41:02] :-D [10:41:07] this is such an academic channel [10:41:13] :D [10:44:40] very Italian and crispy [10:45:23] greedy and pusillanimous [10:45:29] LOL [10:46:41] enthusiastically seeks after victuals [10:46:48] but is wary of engaging in physical violence [10:46:51] hahaha [10:47:20] a living being, of either sex, that he, or she, or it, makes at once for, excels at and revels in, [10:47:20] some human activity which the speaker of the sentence, in present circumstances, thinks is BAD; [10:47:21] whereas this same living being evades, will not tackle; shies off from, some other contrasting human activity [10:47:21] which the speaker of the sentence, in the same circumstances, thinks is GOOD. [10:48:26] (source_ http://www.mt-archive.info/50/NPL-1961-Masterman.pdf ) [11:11:23] inariksit, LOL [11:21:07] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [11:21:47] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [11:39:07] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [12:36:09] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [12:46:45] *** Joins: Gurkenglas (~Gurkengla@dslb-178-005-223-183.178.005.pools.vodafone-ip.de) [12:49:41] inariksit, [12:49:46] perhaps you could make a GF gramar [12:49:47] grammar [12:49:51] for Number Language [12:49:54] yeah! [12:49:55] ^^ [12:49:56] http://www.mt-archive.info/70/BCS-7-1978-Goshawke.pdf [12:50:03] next LREC paper [12:50:05] hahaha [12:50:34] it could be just a concrete syntax for RGL [12:51:33] *** Quits: Gurkenglas (~Gurkengla@dslb-178-005-223-183.178.005.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [12:52:30] :D [12:53:59] GF is so perfectly readable in comparison to that ^^ [12:55:26] so 01 = ProgrVP ; 02 = UseComp ; 03 = ComplSlash [12:55:49] but it makes sense that 03 is nicer to write on a punch card than ComplSlash [12:56:50] haha [12:58:38] if I'm ever stranded on an island with my laptop and only the papers about Number Language, I'll write a GF grammar for it [12:59:12] sounds like a nice break from drinking rum and eating coconuts [13:00:38] you guys should do day-o [13:00:48] what's that? [13:05:04] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [14:32:50] daaaaaaay [14:32:53] me say ddaaaayoh [14:34:17] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [14:34:41] https://www.youtube.com/watch?v=WiayZdPESno [14:34:49] speaking of rum and coconuts [14:52:39] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [14:52:50] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [15:08:27] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [15:10:27] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [15:23:01] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [15:27:05] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [15:29:36] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Client Quit) [15:30:22] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [15:38:20] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [15:47:59] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [17:04:51] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [17:10:28] *** Quits: spectei (~fran@ilazki.thinkgeek.co.uk) (Ping timeout: 272 seconds) [17:32:56] *** Joins: juanfran (5f113197@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.49.151) [17:33:01] *** Joins: 17SAAQDHV (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [17:33:01] *** Joins: 7GHABLXLA (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [17:33:08] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [17:34:08] *** Quits: juanfran (5f113197@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.49.151) (Client Quit) [18:20:48] *** Joins: drbean_ (~drbean@124.219.82.41) [18:22:40] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 272 seconds) [18:22:59] *** Joins: drbean (~drbean@124.219.82.41) [18:25:35] *** Joins: drbean- (~drbean@124.219.83.41) [18:26:20] *** Quits: drbean_ (~drbean@124.219.82.41) (Ping timeout: 258 seconds) [18:29:00] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 272 seconds) [18:29:54] *** Joins: drbean (~drbean@124.219.82.41) [18:32:52] *** Joins: drbean_ (~drbean@124.219.83.41) [18:33:27] *** Quits: drbean- (~drbean@124.219.83.41) (Ping timeout: 264 seconds) [18:35:58] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 244 seconds) [18:39:16] *** Joins: drbean (~drbean@124.219.82.42) [18:42:56] *** Quits: drbean_ (~drbean@124.219.83.41) (Ping timeout: 272 seconds) [18:47:46] *** Joins: drbean_ (~drbean@124.219.82.41) [18:49:39] *** Quits: drbean (~drbean@124.219.82.42) (Ping timeout: 264 seconds) [18:52:03] *** Joins: drbean (~drbean@124.219.83.41) [18:52:11] *** Quits: drbean_ (~drbean@124.219.82.41) (Ping timeout: 240 seconds) [18:53:36] *** Joins: drbean_ (~drbean@124.219.83.41) [18:57:23] *** Joins: drbean- (~drbean@124.219.83.41) [18:57:30] *** Quits: drbean (~drbean@124.219.83.41) (Ping timeout: 272 seconds) [18:59:12] *** Quits: drbean_ (~drbean@124.219.83.41) (Ping timeout: 260 seconds) [19:01:59] *** Joins: drbean (~drbean@124.219.83.42) [19:06:44] *** Quits: drbean- (~drbean@124.219.83.41) (Ping timeout: 240 seconds) [19:06:44] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-vwvuwscxewsjctbx) (Ping timeout: 272 seconds) [19:08:00] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 244 seconds) [19:09:04] *** Joins: drbean (~drbean@124.219.82.41) [19:09:24] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-dmxppqcbnhsiyohr) [19:34:32] *** Joins: drbean_ (~drbean@124.219.83.42) [19:37:27] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 244 seconds) [19:38:01] *** Joins: drbean (~drbean@124.219.83.42) [19:40:36] *** Joins: drbean- (~drbean@124.219.83.41) [19:41:05] *** Quits: drbean_ (~drbean@124.219.83.42) (Ping timeout: 258 seconds) [19:43:32] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 260 seconds) [19:48:52] *** Joins: drbean (~drbean@124.219.82.41) [19:51:31] *** Quits: drbean- (~drbean@124.219.83.41) (Ping timeout: 240 seconds) [19:53:42] *** Joins: drbean_ (~drbean@124.219.82.41) [19:54:02] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 260 seconds) [19:55:12] *** Joins: drbean (~drbean@124.219.83.41) [19:58:16] *** Quits: drbean_ (~drbean@124.219.82.41) (Ping timeout: 250 seconds) [20:08:02] *** Joins: drbean_ (~drbean@124.219.83.42) [20:10:39] *** Quits: drbean (~drbean@124.219.83.41) (Ping timeout: 264 seconds) [20:23:08] *** Joins: drbean (~drbean@124.219.82.41) [20:26:22] *** Quits: drbean_ (~drbean@124.219.83.42) (Ping timeout: 252 seconds) [20:28:37] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 258 seconds) [20:30:31] *** Joins: drbean (~drbean@124.219.83.41) [20:42:33] *** Quits: drbean (~drbean@124.219.83.41) (Ping timeout: 244 seconds) [20:44:05] *** Joins: drbean (~drbean@124.219.82.41) [20:52:03] *** Joins: drbean_ (~drbean@124.219.83.42) [20:53:22] *** Joins: drbean- (~drbean@124.219.82.42) [20:54:25] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 252 seconds) [20:56:31] *** Quits: drbean_ (~drbean@124.219.83.42) (Ping timeout: 240 seconds) [20:57:26] *** Joins: drbean (~drbean@124.219.82.42) [20:59:15] *** Quits: drbean- (~drbean@124.219.82.42) (Ping timeout: 264 seconds) [21:09:09] *** Joins: drbean_ (~drbean@124.219.83.42) [21:12:27] *** Quits: drbean (~drbean@124.219.82.42) (Ping timeout: 276 seconds) [21:24:07] *** Joins: drbean (~drbean@124.219.83.42) [21:25:38] *** Joins: drbean- (~drbean@124.219.82.42) [21:27:39] *** Quits: drbean_ (~drbean@124.219.83.42) (Ping timeout: 258 seconds) [21:29:04] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 252 seconds) [21:36:37] *** Joins: drbean (~drbean@124.219.83.42) [21:39:09] *** Quits: drbean- (~drbean@124.219.82.42) (Ping timeout: 258 seconds) [21:39:59] *** Joins: drbean_ (~drbean@124.219.82.41) [21:41:57] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 260 seconds) [22:04:13] *** Joins: juanfran (5f113197@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.49.151) [22:05:13] *** Quits: juanfran (5f113197@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.49.151) (Client Quit) [22:10:10] *** Joins: spectre (~fran@84.120.241.159.dyn.user.ono.com) [22:13:33] *** Quits: drbean_ (~drbean@124.219.82.41) (Ping timeout: 276 seconds) [22:13:42] *** Joins: drbean (~drbean@124.219.82.41) [22:25:52] *** Joins: drbean_ (~drbean@124.219.83.42) [22:28:03] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 240 seconds) [22:41:17] *** Joins: drbean (~drbean@124.219.83.42) [22:44:19] *** Quits: drbean_ (~drbean@124.219.83.42) (Ping timeout: 258 seconds) [23:39:24] *** Joins: drbean_ (~drbean@124.219.83.41) [23:41:32] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 260 seconds) [23:53:17] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [23:53:17] *** Quits: 7GHABLXLA (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [23:53:17] *** Quits: 17SAAQDHV (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)