[00:04:25] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [00:19:49] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Quit: Ragequit) [00:20:24] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [01:05:39] *** Quits: spectre (~fran@37.152.235.8) (Ping timeout: 255 seconds) [01:07:14] *** Joins: spectre (~fran@37.152.235.8) [01:47:21] *** Quits: spectre (~fran@37.152.235.8) (Ping timeout: 256 seconds) [02:00:16] *** Joins: spectre (~fran@37.152.235.8) [02:05:07] *** Joins: vin-ivar (~vinit@122.169.6.38) [02:07:26] *** Quits: vinit-away (~vinit@122.169.3.227) (Ping timeout: 260 seconds) [02:43:23] *** Joins: vinit-ivar (~vinit@122.169.15.116) [02:45:42] *** Quits: vin-ivar (~vinit@122.169.6.38) (Ping timeout: 260 seconds) [04:28:43] *** Joins: vinit-away (~vinit@122.169.32.228) [04:30:24] *** Quits: vinit-ivar (~vinit@122.169.15.116) (Ping timeout: 264 seconds) [04:32:03] *** Joins: vin-ivar (~vinit@122.169.32.52) [04:34:15] *** Quits: vinit-away (~vinit@122.169.32.228) (Ping timeout: 250 seconds) [04:49:35] *** Joins: daherb_ (~daherb@ppp-93-104-171-140.dynamic.mnet-online.de) [04:52:43] *** Quits: daherb (~daherb@ppp-93-104-177-97.dynamic.mnet-online.de) (Ping timeout: 252 seconds) [05:17:35] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 256 seconds) [08:03:37] *** Quits: vin-ivar (~vinit@122.169.32.52) (Ping timeout: 256 seconds) [08:03:40] *** Joins: vinit-ivar (~vinit@122.169.26.20) [08:21:23] *** vinit-ivar is now known as vin-ivar [11:17:25] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [11:22:08] hey jordis! [11:22:29] me and herb are right now at upf, following an ESSLLI lecture ^^ [12:08:01] *** Quits: spectre (~fran@37.152.235.8) (Ping timeout: 240 seconds) [12:09:19] *** Joins: spectre (~fran@37.152.235.8) [12:27:45] Hey! [12:28:19] hi [12:28:50] but we will leave for lunch soon [12:29:56] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [12:30:24] want to sneak in in the afternoon [12:31:01] is there something you're interested in? [12:31:18] http://parles.upf.edu/llocs/esslli/week-one-schedule [12:31:26] Mainly meet Gemma Boleda [12:32:28] And/or the talk on monads at 17:00 [12:32:38] oh yeah I'm going for that too [12:32:41] who's gemma boleda? [12:33:10] Local organizer http://parles.upf.edu/llocs/esslli/people [12:34:09] Want to convince her students to gf... [12:34:26] (expose her students to gf) [12:34:45] a noble purpose^^ [12:34:56] -- [12:35:09] ... and hard as all nobel purposes are [13:30:10] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 272 seconds) [13:44:50] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 240 seconds) [14:33:25] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [14:38:54] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [15:42:15] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Ping timeout: 260 seconds) [15:55:58] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 246 seconds) [16:04:28] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [17:54:10] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 246 seconds) [18:07:36] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) (Ping timeout: 255 seconds) [18:11:05] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-074-033.188.103.pools.vodafone-ip.de) [18:27:56] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [19:13:26] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 272 seconds) [19:48:06] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [20:00:55] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [20:01:42] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [20:24:10] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds) [20:37:39] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [20:42:06] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 244 seconds) [20:50:40] *** Joins: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [20:51:51] *** Quits: jordis (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Client Quit) [20:55:04] *** Joins: jordi1 (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) [20:55:08] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [20:56:04] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Read error: Connection reset by peer) [20:57:11] *** Quits: jordi1 (~jordi@66.Red-88-14-8.dynamicIP.rima-tde.net) (Remote host closed the connection) [21:06:09] *** Joins: koo9 (~kook@236.152.broadband3.iol.cz) [21:22:35] https://www.youtube.com/watch?v=JozAmXo2bDE&feature=youtu.be&t=157 [21:42:47] *** Joins: vinit-ivar (~vinit@122.169.2.125) [21:44:36] *** Quits: vin-ivar (~vinit@122.169.26.20) (Ping timeout: 250 seconds) [21:50:47] *** Quits: koo9 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 250 seconds) [22:01:14] *** vinit-ivar is now known as vin-ivar