[03:08:44] * NB0X [NB0X!~discrttm@unaffiliated/discrttm] has joined the channel. [03:20:15] * kumool [kumool!~kumool@adsl-64-237-238-241.prtc.net] has joined the channel. [03:40:24] * kumul [kumul!~kumool@adsl-64-237-237-61.prtc.net] has joined the channel. [03:42:45] * kumool [kumool!~kumool@adsl-64-237-238-241.prtc.net] has quit (Ping timeout: 252 seconds). [03:48:55] * nmz [nmz!~kumool@adsl-64-237-236-133.prtc.net] has joined the channel. [03:51:26] * kumul [kumul!~kumool@adsl-64-237-237-61.prtc.net] has quit (Ping timeout: 244 seconds). [04:04:55] * kumul [kumul!~kumool@adsl-64-237-239-65.prtc.net] has joined the channel. [04:07:34] * nmz [nmz!~kumool@adsl-64-237-236-133.prtc.net] has quit (Ping timeout: 268 seconds). [04:32:55] * nmz [nmz!~kumool@adsl-64-237-239-204.prtc.net] has joined the channel. [04:35:16] * kumul [kumul!~kumool@adsl-64-237-239-65.prtc.net] has quit (Ping timeout: 246 seconds). [04:55:51] * nmz [nmz!~kumool@adsl-64-237-239-204.prtc.net] has quit (Quit: Leaving). [06:51:50] * NB0X is now known as NB0X-QRT [06:52:56] * xkapastel [xkapastel!uid17782@gateway/web/irccloud.com/x-ozhbpwobczzuteas] has quit (Quit: Connection closed for inactivity). [07:04:19] * nowhereman_ [nowhereman_!~pierre@ede67-3-82-235-52-53.fbx.proxad.net] has joined the channel. [08:07:54] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [08:17:19] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Ping timeout: 268 seconds). [08:19:01] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [08:21:53] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Read error: Connection reset by peer). [08:22:12] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [08:23:31] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Read error: Connection reset by peer). [08:25:08] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [08:31:56] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Read error: Connection reset by peer). [08:40:06] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [08:51:51] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Ping timeout: 252 seconds). [08:54:23] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [11:05:09] * nowhereman_ [nowhereman_!~pierre@ede67-3-82-235-52-53.fbx.proxad.net] has quit (Ping timeout: 252 seconds). [11:26:31] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Ping timeout: 250 seconds). [11:27:07] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [12:03:49] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Ping timeout: 244 seconds). [12:55:11] * nowhereman_ [nowhereman_!~pierre@2a01:e35:2eb3:4350:3fcb:8255:8d52:d188] has joined the channel. [13:20:26] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [13:35:39] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has quit (Ping timeout: 252 seconds). [13:52:42] * nowhereman_ [nowhereman_!~pierre@2a01:e35:2eb3:4350:3fcb:8255:8d52:d188] has quit (Ping timeout: 264 seconds). [13:54:52] * xkapastel [xkapastel!uid17782@gateway/web/irccloud.com/x-lpkfbngqwwlfjmwx] has joined the channel. [14:02:19] i made a post about delimited continuations in a concatenative context on lambda the ultimate: http://lambda-the-ultimate.org/node/5554 [14:12:30] * kumool [kumool!~kumool@adsl-64-237-238-107.prtc.net] has joined the channel. [14:44:14] * nowhereman_ [nowhereman_!~pierre@2a01:e35:2eb3:4350:3fcb:8255:8d52:d188] has joined the channel. [15:43:58] * kumool [kumool!~kumool@adsl-64-237-238-107.prtc.net] has quit (Quit: Leaving). [16:30:58] * NB0X-QRT is now known as NB0X [16:32:14] * NB0X [NB0X!~discrttm@unaffiliated/discrttm] has quit (Quit: My MacBook has gone to sleep. ZZZzzz…). [17:47:15] * NB0X [NB0X!~discrttm@unaffiliated/discrttm] has joined the channel. [18:37:28] * NB0X is now known as NB0X-QRT [19:10:21] * NB0X-QRT is now known as NB0X [20:03:03] * pierpal [pierpal!~pierpal@host2-229-dynamic.17-79-r.retail.telecomitalia.it] has joined the channel. [22:24:31] * kumool [kumool!~kumool@adsl-64-237-238-107.prtc.net] has joined the channel. [23:39:03] * NB0X is now known as NB0X-QRT [23:39:05] * NB0X-QRT is now known as NB0X