00:00:01 rbarraud [~rbarraud@125-239-196-121.jetstream.xtra.co.nz] has joined #scheme 00:06:52 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 00:12:24 phao [phao@177.77.174.174] has joined #scheme 00:21:28 -!- Suthe [~Suthe@113.Red-83-33-81.dynamicIP.rima-tde.net] has quit [Quit: Suthe] 00:30:07 adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has joined #scheme 00:31:32 (greet world) 00:32:53 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 246 seconds] 00:36:36 -!- bfig [~b_fin_g@r190-135-35-211.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 244 seconds] 00:37:57 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 00:38:32 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 00:48:01 ssbr_ [~ssbr@python/site-packages/ssbr] has joined #scheme 00:51:16 -!- ijp [~user@host86-174-103-214.range86-174.btcentralplus.com] has quit [Quit: The garbage collector got me] 01:01:41 wbooze [~wbooze@xdsl-78-35-174-106.netcologne.de] has joined #scheme 01:08:53 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 01:10:51 peterhil [~peterhil@91-157-48-51.elisa-laajakaista.fi] has joined #scheme 01:15:43 -!- leo2007 [~leo@222.130.133.73] has quit [Ping timeout: 264 seconds] 01:17:04 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 01:17:04 adu, that will take long to terminate 01:17:51 phao: au contraire, on my system it fails immediately! 01:18:57 ahh 01:19:40 -!- mmc2 [~michal@178-85-66-32.dynamic.upc.nl] has quit [Ping timeout: 276 seconds] 01:19:43 phao: depends on the implementation 01:20:04 the naive implementation, yes, the "hello, pass it on" implementation is constant-time 01:24:29 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 01:27:37 tupi [~david@177.108.85.106] has joined #scheme 01:30:53 -!- rml [~user@cpe-68-172-219-214.hvc.res.rr.com] has left #scheme 01:37:56 bfig [~b_fin_g@r186-49-1-145.dialup.adsl.anteldata.net.uy] has joined #scheme 01:40:08 Hey... 01:40:29 Do monads have anything to do with that stream oriented programming model SICP talks about? 01:41:20 lcc [d03604a9@gateway/web/freenode/ip.208.54.4.169] has joined #scheme 01:44:57 -!- aloysius21 [~user@99-123-152-51.lightspeed.tukrga.sbcglobal.net] has quit [Remote host closed the connection] 01:50:30 -!- pyro- [~pyro@chopstick.dcollins.info] has quit [Changing host] 01:50:31 pyro- [~pyro@unaffiliated/purplepanda] has joined #scheme 01:51:21 phao: monads have a little bit to do with everything, they're very general 01:52:07 ahh 01:53:41 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 01:54:34 the Haskell type, however, was specifically designed to launch missiles from a perfect topical island where nothing changes 02:00:16 -!- lcc [d03604a9@gateway/web/freenode/ip.208.54.4.169] has quit [] 02:01:08 realitygrill [~realitygr@ool-18ba55c0.dyn.optonline.net] has joined #scheme 02:01:51 -!- ski_ is now known as ski 02:06:42 woonie [~woonie@175.156.195.38] has joined #scheme 02:10:27 -!- githogori [~githogori@216.207.36.222] has quit [Remote host closed the connection] 02:19:19 RITRedbeard__ [~RITReadbe@c-68-37-165-37.hsd1.nj.comcast.net] has joined #scheme 02:23:48 -!- amgarchIn9 [~amgarchin@p4FD600D4.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 02:26:50 -!- kilimanjaro is now known as CESSTHING 02:28:28 -!- adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has quit [Quit: adu] 02:29:55 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 02:32:54 leo2007 [~leo@123.112.97.249] has joined #scheme 02:35:13 -!- mjonsson [~mjonsson@38.109.95.133] has quit [Remote host closed the connection] 02:38:19 -!- turbofail [~user@38.99.37.210] has quit [Ping timeout: 250 seconds] 02:41:22 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 02:42:32 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 02:44:05 ping 02:44:08 er, hoi 02:45:28 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 02:46:55 -!- leo2007 [~leo@123.112.97.249] has quit [Ping timeout: 252 seconds] 02:47:27 mjonsson [~mjonsson@38.109.95.133] has joined #scheme 02:47:40 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 02:51:21 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 02:52:50 -!- gf3 is now known as ANASLEX 02:54:20 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 265 seconds] 02:58:20 leppie [~lolcow@196-210-191-71.dynamic.isadsl.co.za] has joined #scheme 03:00:41 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 03:09:23 arbn [~arbn@pool-74-98-200-128.pitbpa.fios.verizon.net] has joined #scheme 03:17:58 -!- MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has quit [Ping timeout: 276 seconds] 03:18:09 -!- realitygrill [~realitygr@ool-18ba55c0.dyn.optonline.net] has quit [Quit: Computer has gone to sleep] 03:19:55 -!- leppie [~lolcow@196-210-191-71.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 03:25:04 -!- mgsk is now known as mgs 03:33:06 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 03:35:39 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 03:42:21 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 03:43:15 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 03:46:33 -!- joast [~rick@98.145.85.206] has quit [Quit: Leaving.] 03:55:16 realitygrill [~realitygr@ool-18ba55c0.dyn.optonline.net] has joined #scheme 03:55:19 -!- realitygrill [~realitygr@ool-18ba55c0.dyn.optonline.net] has quit [Client Quit] 04:01:39 -!- phao [phao@177.77.174.174] has quit [Quit: Not Here] 04:23:04 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 04:24:11 -!- CESSTHING is now known as kilimanjaro 04:27:43 leppie [~lolcow@196-215-26-155.dynamic.isadsl.co.za] has joined #scheme 04:48:20 -!- tupi [~david@177.108.85.106] has quit [Quit: Leaving] 04:52:30 -!- mjonsson [~mjonsson@38.109.95.133] has quit [Quit: Leaving] 04:52:57 It looks like the R7RS-small review period will be extended to July 15. 04:57:49 phao [phao@177.78.124.108] has joined #scheme 05:04:23 rbarraud_ [~rbarraud@125-239-196-121.jetstream.xtra.co.nz] has joined #scheme 05:05:38 -!- rbarraud [~rbarraud@125-239-196-121.jetstream.xtra.co.nz] has quit [Ping timeout: 272 seconds] 05:09:46 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 05:17:14 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 05:21:15 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 05:30:20 -!- mgs is now known as mgsk 05:34:56 attila_lendvai [~attila_le@176.222.168.194] has joined #scheme 05:34:56 -!- attila_lendvai [~attila_le@176.222.168.194] has quit [Changing host] 05:34:57 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 05:35:04 -!- Aethaeryn [~Michael@wesnoth/umc-dev/developer/aethaeryn] has left #scheme 05:49:28 -!- hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 245 seconds] 05:49:28 -!- getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 245 seconds] 05:54:52 -!- leppie [~lolcow@196-215-26-155.dynamic.isadsl.co.za] has quit [Ping timeout: 244 seconds] 05:57:46 joast [~rick@98.145.85.206] has joined #scheme 06:00:16 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 06:10:06 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 06:10:31 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 06:10:31 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Client Quit] 06:14:02 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 272 seconds] 06:19:09 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 244 seconds] 06:20:37 -!- woonie [~woonie@175.156.195.38] has quit [Ping timeout: 248 seconds] 06:21:00 -!- phao [phao@177.78.124.108] has quit [Quit: Not Here] 06:24:18 leppie [~lolcow@196-210-191-71.dynamic.isadsl.co.za] has joined #scheme 06:28:44 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 06:35:28 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 06:37:23 chu_ [~chu@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 06:37:24 -!- chu_ [~chu@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has quit [Changing host] 06:37:24 chu_ [~chu@unaffiliated/chu] has joined #scheme 06:37:30 -!- chu_ is now known as chu 06:38:54 confab [~confab@50.13.178.125] has joined #scheme 06:39:22 -!- leppie [~lolcow@196-210-191-71.dynamic.isadsl.co.za] has quit [Ping timeout: 272 seconds] 06:43:09 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 07:07:40 leo2007 [~leo@222.130.134.41] has joined #scheme 07:11:48 gravicappa [~gravicapp@ppp91-77-211-229.pppoe.mtu-net.ru] has joined #scheme 07:13:29 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 245 seconds] 07:21:17 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 07:28:47 mmc2 [~michal@178-85-66-32.dynamic.upc.nl] has joined #scheme 07:36:10 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 07:37:37 -!- jcowan [~John@mail.digitalkingdom.org] has quit [Quit: Leaving] 07:50:25 -!- Quadrescence is now known as booklet 07:55:42 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Remote host closed the connection] 07:58:17 -!- booklet is now known as Quadrescence 08:03:18 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 08:09:12 leppie [~lolcow@196-210-191-52.dynamic.isadsl.co.za] has joined #scheme 08:14:41 -!- klutometis [~klutometi@pdpc/supporter/professional/klutometis] has quit [Quit: leaving] 08:18:01 -!- leppie [~lolcow@196-210-191-52.dynamic.isadsl.co.za] has quit [Ping timeout: 252 seconds] 08:18:15 klutometis [~klutometi@pdpc/supporter/professional/klutometis] has joined #scheme 08:18:16 *rudybot* bows deeply before his master, inventor of incubot 08:19:05 offby1: Thanks for that, by the way; need to resurrect incubot one of these days. 08:19:15  08:19:29 Oh, thank god; I've finally fixed UTF-8 in irssi in screen. 08:19:45 It's been well over half a decade that I've been laboring under the UTF-8 -> ? mapping. 08:23:26 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:23:33 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 08:23:48 noam [~noam@37.142.141.69] has joined #scheme 08:24:22 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:24:38 noam [~noam@37.142.141.69] has joined #scheme 08:28:41 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:29:07 noam [~noam@37.142.141.69] has joined #scheme 08:30:09 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:30:13 noam_ [~noam@37.142.141.69] has joined #scheme 08:30:30 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 08:30:39 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:31:00 noam_ [~noam@37.142.141.69] has joined #scheme 08:31:37 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 08:33:19 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:33:28 noam_ [~noam@37.142.141.69] has joined #scheme 08:38:25 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 08:40:01 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:40:14 -!- sporous [~sporous@antispammeta/bot/irssi/sporous] has quit [Disconnected by services] 08:40:26 noam_ [~noam@37.142.141.69] has joined #scheme 08:40:26 sporous [~sporous@antispammeta/bot/irssi/sporous] has joined #scheme 08:41:07 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 252 seconds] 08:42:49 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:43:06 noam_ [~noam@37.142.141.69] has joined #scheme 08:43:58 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:44:18 noam_ [~noam@37.142.141.69] has joined #scheme 08:45:36 leppie [~lolcow@196-210-191-52.dynamic.isadsl.co.za] has joined #scheme 08:49:12 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 08:49:38 henne_ [~quassel@91-67-165-122-dynip.superkabel.de] has joined #scheme 08:49:45 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 08:50:06 noam_ [~noam@37.142.141.69] has joined #scheme 08:56:08 -!- leppie [~lolcow@196-210-191-52.dynamic.isadsl.co.za] has quit [Ping timeout: 246 seconds] 09:00:03 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 09:00:25 noam_ [~noam@37.142.141.69] has joined #scheme 09:00:50 leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has joined #scheme 09:04:27 -!- arbn [~arbn@pool-74-98-200-128.pitbpa.fios.verizon.net] has quit [Quit: leaving] 09:07:04 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 09:07:28 noam_ [~noam@37.142.141.69] has joined #scheme 09:10:04 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 09:10:27 noam_ [~noam@37.142.141.69] has joined #scheme 09:22:19 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Ping timeout: 264 seconds] 09:25:48 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 09:26:42 noam [~noam@37.142.141.69] has joined #scheme 09:36:19 -!- shardz [~s@ilo.staticfree.info] has quit [Remote host closed the connection] 09:39:55 -!- leppie [~lolcow@196-210-248-62.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 09:45:11 leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has joined #scheme 09:46:39 amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has joined #scheme 09:49:57 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 09:51:01 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 09:58:33 -!- leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has quit [Ping timeout: 255 seconds] 10:03:27 leppie [~lolcow@196-215-11-69.dynamic.isadsl.co.za] has joined #scheme 10:08:49 add^_ [~add^_^@m37-2-227-227.cust.tele2.se] has joined #scheme 10:11:27 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 10:11:49 noam [~noam@37.142.141.69] has joined #scheme 10:12:26 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 10:12:47 noam [~noam@37.142.141.69] has joined #scheme 10:13:30 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 10:13:47 noam [~noam@37.142.141.69] has joined #scheme 10:20:09 -!- leppie [~lolcow@196-215-11-69.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 10:24:52 leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has joined #scheme 10:26:05 MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has joined #scheme 10:38:34 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 10:40:09 -!- leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 10:44:38 leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has joined #scheme 10:51:01 -!- leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 10:51:20 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 10:51:38 noam [~noam@37.142.141.69] has joined #scheme 10:56:23 -!- wbooze [~wbooze@xdsl-78-35-174-106.netcologne.de] has quit [Quit: Client Quit] 10:56:28 leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has joined #scheme 11:01:00 wbooze [~wbooze@xdsl-78-35-174-106.netcologne.de] has joined #scheme 11:06:07 -!- leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has quit [Ping timeout: 264 seconds] 11:08:38 noam_ [~noam@37.142.141.69] has joined #scheme 11:08:52 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 11:10:22 madmuppet006 [~chatzilla@122-62-124-247.jetstream.xtra.co.nz] has joined #scheme 11:11:05 leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has joined #scheme 11:18:00 visar [~visar@77.29.221.242] has joined #scheme 11:19:05 -!- visar [~visar@77.29.221.242] has left #scheme 11:21:42 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 11:22:07 noam_ [~noam@37.142.141.69] has joined #scheme 11:24:40 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 11:25:08 noam_ [~noam@37.142.141.69] has joined #scheme 11:25:49 kk` [~kk@217.155.42.31] has joined #scheme 11:25:50 -!- kk` [~kk@217.155.42.31] has quit [Changing host] 11:25:50 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 11:30:29 -!- leppie [~lolcow@196-215-35-197.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 11:35:02 leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has joined #scheme 11:39:32 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 11:40:13 -!- wbooze [~wbooze@xdsl-78-35-174-106.netcologne.de] has quit [Quit: Client Quit] 11:42:26 homie [~levgue@xdsl-78-35-174-106.netcologne.de] has joined #scheme 11:44:13 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 11:47:13 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Read error: Operation timed out] 11:49:42 -!- noam_ [~noam@37.142.141.69] has quit [Ping timeout: 246 seconds] 11:53:32 noam [~noam@37.142.141.69] has joined #scheme 11:54:44 -!- Euthydemus [~euthydemu@unaffiliated/euthydemus] has quit [Quit: leaving] 11:55:55 -!- jrslepak [~jrslepak@c-24-12-144-42.hsd1.il.comcast.net] has quit [Quit: This computer has gone to sleep] 11:56:08 Sorella [~quildreen@189-12-93-5.user.veloxzone.com.br] has joined #scheme 11:59:35 -!- huangjs [~huangjs@190.8.100.83] has quit [Quit: Leaving] 12:00:01 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 12:00:07 -!- homie [~levgue@xdsl-78-35-174-106.netcologne.de] has quit [Read error: Operation timed out] 12:00:41 noam [~noam@37.142.141.69] has joined #scheme 12:01:56 Suthe [~Suthe@113.Red-83-33-81.dynamicIP.rima-tde.net] has joined #scheme 12:06:21 ijp [~user@host86-182-152-31.range86-182.btcentralplus.com] has joined #scheme 12:11:05 notsosure [~yin@80.70.22.170] has joined #scheme 12:16:45 -!- noam [~noam@37.142.141.69] has quit [Ping timeout: 255 seconds] 12:17:06 -!- madmuppet006 [~chatzilla@122-62-124-247.jetstream.xtra.co.nz] has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0.1/20120614114901]] 12:31:20 homie [~levgue@xdsl-78-35-135-159.netcologne.de] has joined #scheme 12:32:32 noam [~noam@37.142.141.69] has joined #scheme 12:34:55 -!- chu [~chu@unaffiliated/chu] has quit [Quit: leaving] 12:35:39 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 12:36:47 -!- rvchangue [~rvchangue@unaffiliated/rvchangue] has quit [Quit: ] 12:44:26 rvchangue [~rvchangue@unaffiliated/rvchangue] has joined #scheme 12:51:39 noam [~noam@37.142.141.69] has joined #scheme 12:52:16 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 12:59:35 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Ping timeout: 260 seconds] 13:02:38 -!- notsosure [~yin@80.70.22.170] has quit [Ping timeout: 240 seconds] 13:04:55 jlf [~user@pdpc/supporter/active/jlf] has joined #scheme 13:10:38 -!- jlf [~user@pdpc/supporter/active/jlf] has left #scheme 13:13:13 tupi [~david@177.108.71.72] has joined #scheme 13:13:38 -!- noam [~noam@37.142.141.69] has quit [Ping timeout: 245 seconds] 13:14:24 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 13:18:53 -!- bfig [~b_fin_g@r186-49-1-145.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 255 seconds] 13:24:24 noam [~noam@37.142.141.69] has joined #scheme 13:31:09 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 13:31:48 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 13:32:22 bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has joined #scheme 13:33:07 snizzo [~Claudio@net-188-216-157-51.cust.dsl.vodafone.it] has joined #scheme 13:42:07 -!- noam [~noam@37.142.141.69] has quit [Ping timeout: 264 seconds] 13:44:00 -!- bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 244 seconds] 13:49:38 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 13:52:35 ijp` [~user@host31-53-169-138.range31-53.btcentralplus.com] has joined #scheme 13:55:35 -!- ijp [~user@host86-182-152-31.range86-182.btcentralplus.com] has quit [Ping timeout: 260 seconds] 14:02:07 bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has joined #scheme 14:11:58 noam [~noam@213.57.201.130] has joined #scheme 14:15:22 -!- ijp` is now known as ijp 14:26:08 -!- leppie [~lolcow@196-210-248-5.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 14:32:34 -!- fantazo [~fantazo@91.119.48.229] has quit [Ping timeout: 244 seconds] 14:36:32 getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 14:37:12 hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 14:45:08 fantazo [~fantazo@91.119.194.8] has joined #scheme 14:50:00 leppie [~lolcow@196-215-35-194.dynamic.isadsl.co.za] has joined #scheme 14:51:56 -!- henne_ [~quassel@91-67-165-122-dynip.superkabel.de] has quit [Remote host closed the connection] 14:54:46 -!- mgsk is now known as mgs 14:56:14 -!- b4283 [~user@122-117-157-82.HINET-IP.hinet.net] has quit [Remote host closed the connection] 14:57:12 -!- Sorella [~quildreen@189-12-93-5.user.veloxzone.com.br] has quit [Changing host] 14:57:12 Sorella [~quildreen@oftn/member/Sorella] has joined #scheme 14:58:35 -!- ijp [~user@host31-53-169-138.range31-53.btcentralplus.com] has quit [Ping timeout: 260 seconds] 14:59:11 Frotz! 15:00:30 b4283 [~user@122-117-157-82.HINET-IP.hinet.net] has joined #scheme 15:01:35 Plugh! 15:14:27 -!- fantazo [~fantazo@91.119.194.8] has quit [Remote host closed the connection] 15:16:40 -!- leo2007 [~leo@222.130.134.41] has quit [Ping timeout: 260 seconds] 15:19:02 leo2007 [~leo@222.130.134.41] has joined #scheme 15:34:23 -!- ssbr_ [~ssbr@python/site-packages/ssbr] has quit [Ping timeout: 255 seconds] 15:34:40 phao [phao@177.77.182.9] has joined #scheme 15:35:05 Zounds! 15:35:38 ssbr_ [~ssbr@python/site-packages/ssbr] has joined #scheme 15:37:04 -!- imphasing [~Alex@97-81-80-39.dhcp.athn.ga.charter.com] has quit [Ping timeout: 272 seconds] 15:42:14 what else is there to say? 15:42:42 Burp! 15:48:32 anyone knows how to formally demonstrate correctness of a procedure? 15:48:41 (using induction) 15:48:57 Yes. It requires a mean-looking bludgeon and a stern voice. 15:49:38 There are other ways, but that's an easy path toward suasion of your interlocutor. 15:57:58 snizzo: google for "hoare logic" 16:13:59 -!- pygospa [~Pygosceli@kiel-4dbed869.pool.mediaWays.net] has quit [Disconnected by services] 16:14:06 pygospa [~Pygosceli@kiel-4dbecbd2.pool.mediaWays.net] has joined #scheme 16:15:04 lcc [d03604ac@gateway/web/freenode/ip.208.54.4.172] has joined #scheme 16:15:19 imphasing [~Alex@97-81-80-39.dhcp.athn.ga.charter.com] has joined #scheme 16:24:34 -!- tupi [~david@177.108.71.72] has quit [Quit: Leaving] 16:26:13 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 16:29:51 ijp [~user@host86-162-111-195.range86-162.btcentralplus.com] has joined #scheme 16:32:52 -!- MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has quit [Read error: Connection reset by peer] 16:33:15 MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has joined #scheme 16:36:23 attila_lendvai [~attila_le@176.222.168.194] has joined #scheme 16:36:24 -!- attila_lendvai [~attila_le@176.222.168.194] has quit [Changing host] 16:36:24 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 16:40:26 -!- lcc [d03604ac@gateway/web/freenode/ip.208.54.4.172] has quit [Ping timeout: 245 seconds] 16:45:52 -!- leppie [~lolcow@196-215-35-194.dynamic.isadsl.co.za] has quit [Ping timeout: 244 seconds] 16:51:11 leppie [~lolcow@196-210-179-78.dynamic.isadsl.co.za] has joined #scheme 16:57:14 ijp` [~user@host31-53-168-51.range31-53.btcentralplus.com] has joined #scheme 16:59:55 -!- ijp [~user@host86-162-111-195.range86-162.btcentralplus.com] has quit [Ping timeout: 260 seconds] 17:01:18 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 17:03:10 osa1 [~sinan@88.242.234.195] has joined #scheme 17:05:29 I'm reading some blog posts and SO posts about call/cc and I think I got the idea(I also wrote an implementation of call/cc with Common Lisp). I'm wondering if we can say that all Scheme programs are actually implicitly passing continuations to functions. If we can't say that, how's call/cc implemented in Scheme? because once all functions are in continuation-passing style, implementing call/cc is easy, but I have no idea how can I implement it for programs 17:05:30 that isn't written in CPS 17:06:11 stack copying is a common strategy 17:06:53 -!- ijp` is now known as ijp 17:07:01 ijp: so, do modern Scheme implementations use stack copying? 17:07:11 depends on the implementation 17:07:47 ijp: do you know what technique does Racket use? or Gambit? or Chicken? 17:08:17 IIRC chicken does a CPS conversion, and racket copies the stack. Don't know about gambit. 17:08:22 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 17:08:28 thanks 17:11:32 and I believe chez does something more involved, described in "Representing control in the presence of first-class continuations" 17:16:41 osa1 : cf. SML/NJ, which has first-class continuations, heap-allocates the "stack" frames 17:17:49 jewel [~jewel@196.215.148.118] has joined #scheme 17:17:50 that's one way to do it, but it seems awfully wasteful 17:18:10 (so that you get s in general, when using `callcc') 17:18:30 well, it's fast and cheap 17:18:50 (cheap to use `callcc', i.e.) 17:20:02 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 17:22:19 -!- leppie [~lolcow@196-210-179-78.dynamic.isadsl.co.za] has quit [Ping timeout: 264 seconds] 17:27:20 leppie [~lolcow@196-210-179-78.dynamic.isadsl.co.za] has joined #scheme 17:31:04 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Remote host closed the connection] 17:37:57 -!- leppie [~lolcow@196-210-179-78.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 17:38:21 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 17:38:40 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 17:41:19 t4nk030 [185a03f3@gateway/web/freenode/ip.24.90.3.243] has joined #scheme 17:41:48 -!- t4nk030 [185a03f3@gateway/web/freenode/ip.24.90.3.243] has quit [Client Quit] 17:41:50 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 17:42:36 leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 17:45:15 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 17:46:57 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 17:51:28 leppie [~lolcow@196-215-35-194.dynamic.isadsl.co.za] has joined #scheme 18:00:34 osa1, `I'm wondering if we can say that all Scheme programs are actually implicitly passing continuations to functions.' Yes -- and, indeed, so do all programs in any recursive language, such as C, Java, Python, Erlang, &c. 18:11:42 -!- amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has quit [Ping timeout: 265 seconds] 18:12:35 -!- cdidd [~cdidd@128-72-218-229.broadband.corbina.ru] has quit [Remote host closed the connection] 18:17:04 dzhus [~dzhus@95-24-198-181.broadband.corbina.ru] has joined #scheme 18:25:27 lcc [~user@unaffiliated/lcc] has joined #scheme 18:25:41 tejaswidp [~tejaswidp@117.192.159.116] has joined #scheme 18:27:42 -!- snizzo [~Claudio@net-188-216-157-51.cust.dsl.vodafone.it] has quit [Remote host closed the connection] 18:29:14 lolcow [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 18:30:13 -!- leppie [~lolcow@196-215-35-194.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 18:30:27 -!- lolcow is now known as leppie 18:34:44 -!- MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has quit [Ping timeout: 245 seconds] 18:47:15 -!- gravicappa [~gravicapp@ppp91-77-211-229.pppoe.mtu-net.ru] has quit [Ping timeout: 260 seconds] 18:54:15 -!- osa1 [~sinan@88.242.234.195] has quit [Ping timeout: 260 seconds] 18:55:41 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Ping timeout: 265 seconds] 18:57:43 -!- hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 264 seconds] 18:57:43 -!- getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 264 seconds] 19:05:18 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 245 seconds] 19:15:54 gravicappa [~gravicapp@ppp91-77-174-78.pppoe.mtu-net.ru] has joined #scheme 19:16:01 -!- tejaswidp [~tejaswidp@117.192.159.116] has quit [Quit: Leaving] 19:21:07 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 19:22:15 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Client Quit] 19:24:18 amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has joined #scheme 19:28:19 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:29:25 lcc [~user@unaffiliated/lcc] has joined #scheme 19:37:34 -!- amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 19:37:44 amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has joined #scheme 19:42:35 -!- amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 19:44:02 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:45:01 fantazo [~fantazo@91.119.194.8] has joined #scheme 19:45:38 -!- fantazo [~fantazo@91.119.194.8] has quit [Remote host closed the connection] 19:45:53 fantazo [~fantazo@91.119.194.8] has joined #scheme 19:49:28 lcc [~user@unaffiliated/lcc] has joined #scheme 19:50:04 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Quit: leaving] 20:01:34 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 20:07:13 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 265 seconds] 20:15:49 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 20:24:03 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Ping timeout: 245 seconds] 20:31:52 -!- gravicappa [~gravicapp@ppp91-77-174-78.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 20:38:39 -!- imphasing [~Alex@97-81-80-39.dhcp.athn.ga.charter.com] has quit [Remote host closed the connection] 20:44:21 anothervenue [~anotherve@76.91.162.213] has joined #scheme 20:45:27 -!- bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 255 seconds] 20:45:55 bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has joined #scheme 20:49:08 woonie [~woonie@175.156.195.38] has joined #scheme 20:52:40 -!- jewel [~jewel@196.215.148.118] has quit [Ping timeout: 260 seconds] 21:07:49 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 244 seconds] 21:08:09 MrFahrenheit [~RageOfTho@cable-77-221-28-174.dynamic.vinet.ba] has joined #scheme 21:13:34 kniu [~kniu@pool-71-105-73-50.lsanca.dsl-w.verizon.net] has joined #scheme 21:15:37 leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 21:43:03 -!- fantazo [~fantazo@91.119.194.8] has quit [Remote host closed the connection] 21:43:15 keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has joined #scheme 21:44:24 phao_ [phao@187.117.237.31] has joined #scheme 21:45:22 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: antithesis] 21:46:47 -!- phao [phao@177.77.182.9] has quit [Ping timeout: 265 seconds] 21:49:19 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 264 seconds] 21:54:11 leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has joined #scheme 21:58:45 -!- add^_ [~add^_^@m37-2-227-227.cust.tele2.se] has quit [Quit: add^_] 22:04:53 -!- leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 22:09:33 leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 22:20:55 -!- phao_ [phao@187.117.237.31] has quit [Read error: Connection reset by peer] 22:23:11 imphasing [~Alex@97-81-80-39.dhcp.athn.ga.charter.com] has joined #scheme 22:25:38 -!- keenbug [~daniel@p4FE3B574.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 22:29:34 -!- ijp [~user@host31-53-168-51.range31-53.btcentralplus.com] has quit [Quit: The garbage collector got me] 22:31:17 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 22:31:31 -!- bfig [~b_fin_g@r186-48-196-99.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 246 seconds] 22:31:40 arcfide [~arcfide@c-69-136-24-18.hsd1.fl.comcast.net] has joined #scheme 22:35:54 leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has joined #scheme 22:38:48 amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has joined #scheme 22:41:37 getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 22:42:22 hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 22:42:38 -!- leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 22:48:08 leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 22:59:08 -!- peeeep [~potato@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Quit: Konversation terminated!] 22:59:13 -!- sizz [~sizz@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Read error: Connection reset by peer] 22:59:43 bfig [~b_fin_g@r190-135-17-82.dialup.adsl.anteldata.net.uy] has joined #scheme 23:00:59 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 23:02:32 sizz [~sizz@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 23:05:41 leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has joined #scheme 23:11:34 -!- amgarchIn9 [~amgarchin@p4FD61CAB.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 23:18:55 -!- leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has quit [Ping timeout: 252 seconds] 23:23:23 leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has joined #scheme 23:31:27 -!- copumpkin is now known as dog 23:35:07 -!- dog is now known as copumpkin 23:38:32 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 23:40:56 -!- leppie [~lolcow@196-210-179-86.dynamic.isadsl.co.za] has quit [Ping timeout: 272 seconds] 23:44:43 leppie [~lolcow@196-215-79-185.dynamic.isadsl.co.za] has joined #scheme 23:48:28 -!- dzhus [~dzhus@95-24-198-181.broadband.corbina.ru] has quit [Read error: Operation timed out] 23:56:12 -!- Suthe [~Suthe@113.Red-83-33-81.dynamicIP.rima-tde.net] has quit [Quit: Suthe]