00:02:10 ak70 [~user@85.232.202.87] has joined #scheme 00:02:47 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 00:03:33 -!- wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has quit [Ping timeout: 268 seconds] 00:04:03 AtnNn [~welcome@modemcable049.173-176-173.mc.videotron.ca] has joined #scheme 00:05:04 -!- saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 245 seconds] 00:07:42 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 00:12:14 -!- phao [~phao@189.107.170.85] has quit [Read error: Connection reset by peer] 00:17:49 incubot: Actually, being disjoint is irrelevant. 00:17:54 How would that be faster than disjoint structure types? 00:18:28 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 00:19:34 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 264 seconds] 00:21:04 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 00:23:12 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Ping timeout: 252 seconds] 00:28:08 phao [~phao@189.107.175.184] has joined #scheme 00:35:39 -!- fabe [~fabe@p54A7E0A2.dip.t-dialin.net] has quit [Remote host closed the connection] 00:42:38 -!- proq [~user@unaffiliated/proqesi] has quit [Remote host closed the connection] 00:43:05 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 246 seconds] 00:54:03 -!- virl [~virl__@chello062178085149.1.12.vie.surfer.at] has quit [Remote host closed the connection] 00:56:26 -!- mario-goulart [~user@67.205.85.241] has quit [Remote host closed the connection] 01:01:46 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 01:05:19 -!- Riastradh [~riastradh@tissot.csail.mit.edu] has quit [Quit: leaving] 01:08:12 -!- funkenblatt [~user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has left #scheme 01:14:06 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has left #scheme 01:16:40 hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has joined #scheme 01:19:26 -!- hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has quit [Remote host closed the connection] 01:19:33 hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has joined #scheme 01:28:15 -!- scheibo [~scheibo@129-97-249-119.uwaterloo.ca] has quit [Ping timeout: 260 seconds] 01:29:44 -!- pavelludiq [~quassel@87.246.28.180] has quit [Remote host closed the connection] 01:37:14 -!- sstrickl [~sstrickl@nomad.ccs.neu.edu] has quit [Quit: sstrickl] 01:40:05 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 01:41:49 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.0.14/2009090900]] 01:43:14 -!- alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [Remote host closed the connection] 01:45:19 -!- AtnNn [~welcome@modemcable049.173-176-173.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 01:58:07 alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 02:00:29 -!- hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has quit [Quit: hadronzoo] 02:21:01 seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has joined #scheme 02:25:38 -!- Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has quit [Ping timeout: 264 seconds] 02:27:49 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 02:28:18 Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 02:28:57 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 02:29:51 -!- jao [~jao@83.42.210.7] has quit [Ping timeout: 276 seconds] 02:36:54 -!- fax [~none@unaffiliated/fax] has quit [Quit: Lost terminal] 02:38:56 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: Leaving] 02:41:44 -!- Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has quit [Read error: Connection reset by peer] 02:43:05 Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 02:43:08 -!- kniu [~kniu@HOHOHO.RES.CMU.EDU] has quit [Read error: Operation timed out] 02:45:01 jao [~jao@118.Red-88-6-166.staticIP.rima-tde.net] has joined #scheme 02:52:40 ysph [~user@adsl-221-214-225.mgm.bellsouth.net] has joined #scheme 02:57:58 -!- metasyntax [~taylor@pool-71-127-125-129.aubnin.fios.verizon.net] has quit [Quit: Be seeing you.] 02:59:45 kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has joined #scheme 03:00:00 Colloguy [~flx@64.134.236.48] has joined #scheme 03:11:10 foof [~user@FLH1Aib193.osk.mesh.ad.jp] has joined #scheme 03:16:14 jengle [~jengle@69.0.90.238] has joined #scheme 03:18:36 annodomini [~lambda@pool-151-203-238-62.bos.east.verizon.net] has joined #scheme 03:18:37 -!- annodomini [~lambda@pool-151-203-238-62.bos.east.verizon.net] has quit [Changing host] 03:18:37 annodomini [~lambda@wikipedia/lambda] has joined #scheme 03:33:11 -!- phao [~phao@189.107.175.184] has quit [Quit: Leaving] 03:47:06 -!- KatieHuber is now known as KatieHuber|away 03:48:16 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 246 seconds] 03:50:10 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 03:52:33 timj__ [~timj@e176203230.adsl.alicedsl.de] has joined #scheme 03:52:43 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Max SendQ exceeded] 03:53:40 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 03:56:39 -!- timj_ [~timj@e176195174.adsl.alicedsl.de] has quit [Ping timeout: 265 seconds] 03:58:11 sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has joined #scheme 03:58:25 -!- hiyuh [~hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has quit [Ping timeout: 246 seconds] 03:59:13 -!- sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has quit [Remote host closed the connection] 04:00:04 sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has joined #scheme 04:06:17 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 04:08:11 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 04:17:15 -!- Fabse [~mightyfid@wikipedia/Track-n-Field] has quit [] 04:18:44 ak70` [~user@85.232.202.87] has joined #scheme 04:20:43 -!- ak70 [~user@85.232.202.87] has quit [Ping timeout: 260 seconds] 04:29:51 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 04:30:15 -!- jengle [~jengle@69.0.90.238] has left #scheme 04:44:56 -!- KatieHuber|away is now known as KatieHuber 05:10:17 melba [~blee@unaffiliated/lazz0] has joined #scheme 05:26:13 -!- ysph [~user@adsl-221-214-225.mgm.bellsouth.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 05:36:03 -!- seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 05:37:53 ziggurat [~quassel@pool-173-71-25-61.dllstx.fios.verizon.net] has joined #scheme 05:47:48 toekutr [~toekutr@adsl-69-107-143-127.dsl.pltn13.pacbell.net] has joined #scheme 05:55:04 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 06:05:09 bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has joined #scheme 06:10:29 -!- Colloguy [~flx@64.134.236.48] has quit [Ping timeout: 268 seconds] 06:15:46 xwl [~user@222.130.142.3] has joined #scheme 06:25:02 -!- bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has quit [Quit: If only your veins were filled with oil, the world would rush to your rescue!] 06:34:36 pavelludiq [~quassel@87.246.28.180] has joined #scheme 06:43:31 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 06:43:42 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 06:45:10 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 06:58:50 seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has joined #scheme 07:00:00 sepult` [~user@xdsl-78-35-192-238.netcologne.de] has joined #scheme 07:02:23 -!- sepult [~user@xdsl-78-35-214-36.netcologne.de] has quit [Ping timeout: 260 seconds] 07:06:18 -!- KatieHuber is now known as KatieHuber|away 07:11:55 -!- KatieHuber|away is now known as KatieHuber 07:12:13 -!- ziggurat [~quassel@pool-173-71-25-61.dllstx.fios.verizon.net] has quit [Remote host closed the connection] 07:24:53 leppie [~lolcow@dsl-243-50-80.telkomadsl.co.za] has joined #scheme 07:41:43 arcfide [~arcfide@ppp-70-246-129-70.dsl.stlsmo.swbell.net] has joined #scheme 07:42:03 Hello everyone. 07:42:06 How is life? 08:08:02 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 08:10:53 bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has joined #scheme 08:14:03 -!- toekutr [~toekutr@adsl-69-107-143-127.dsl.pltn13.pacbell.net] has quit [Quit: Leaving] 08:29:29 albacker [~eni@unaffiliated/enyx] has joined #scheme 08:31:03 -!- kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has quit [Ping timeout: 252 seconds] 08:32:40 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 08:43:29 xwl` [~user@222.130.142.3] has joined #scheme 08:55:16 xwl`` [~user@123.114.37.38] has joined #scheme 08:56:29 -!- xwl` [~user@222.130.142.3] has quit [Ping timeout: 240 seconds] 08:56:54 -!- xwl [~user@222.130.142.3] has quit [Ping timeout: 252 seconds] 08:57:18 virl [~virl__@chello062178085149.1.12.vie.surfer.at] has joined #scheme 08:58:18 -!- xwl`` [~user@123.114.37.38] has quit [Remote host closed the connection] 08:58:26 xwl [~user@123.114.37.38] has joined #scheme 08:59:42 -!- xwl [~user@123.114.37.38] has quit [Remote host closed the connection] 09:00:20 xwl [~user@123.114.37.38] has joined #scheme 09:05:55 -!- xwl [~user@123.114.37.38] has quit [Remote host closed the connection] 09:13:04 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 09:13:17 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 09:15:26 xwl [~user@123.114.37.38] has joined #scheme 09:20:45 -!- k4jd095b_ [~k4jd095b@87.70.183.61] has quit [Read error: Connection reset by peer] 09:21:00 k4jd095b_ [~k4jd095b@87.70.183.61] has joined #scheme 09:26:38 -!- xwl [~user@123.114.37.38] has quit [Remote host closed the connection] 09:49:01 gavino [~g@cpe-76-172-28-85.socal.res.rr.com] has joined #scheme 09:49:31 is there a way for 2 machines to share variables stored in memory? 10:10:03 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 10:10:59 -!- PygoscelisPapua [~pygospa@f055019220.adsl.alicedsl.de] has quit [Ping timeout: 268 seconds] 10:12:27 PygoscelisPapua [~pygospa@f055174156.adsl.alicedsl.de] has joined #scheme 10:24:41 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Read error: Connection reset by peer] 10:46:13 -!- k4jd095b_ [~k4jd095b@87.70.183.61] has quit [Read error: Connection reset by peer] 10:46:27 k4jd095b_ [~k4jd095b@87.70.183.61] has joined #scheme 10:47:13 -!- k4jd095b_ [~k4jd095b@87.70.183.61] has quit [Client Quit] 10:54:00 svbg [~svbg@89.189.147.205.dynamic.ufanet.ru] has joined #scheme 10:55:33 -!- bokr [~eduska@95.154.102.124] has quit [Quit: Leaving.] 10:56:37 Skewb [~Skewb@83.231.93.214] has joined #scheme 10:56:54 Morning. 11:03:11 bokr [~eduska@95.154.102.124] has joined #scheme 11:12:06 morning 11:12:09 I should go bed. 11:15:02 -!- jao [~jao@118.Red-88-6-166.staticIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 11:36:38 HG` [~HG@xdslet067.osnanet.de] has joined #scheme 11:48:33 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 11:48:34 choas [~lars@p5B0DAFEC.dip.t-dialin.net] has joined #scheme 11:48:52 -!- ak70` [~user@85.232.202.87] has quit [Ping timeout: 265 seconds] 11:50:44 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 11:50:55 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 11:55:32 -!- Skewb [~Skewb@83.231.93.214] has quit [Read error: Connection reset by peer] 11:56:22 fabe [~fabe@p54A7FAC8.dip.t-dialin.net] has joined #scheme 11:56:54 -!- fabe [~fabe@p54A7FAC8.dip.t-dialin.net] has quit [Read error: Connection reset by peer] 12:01:35 -!- arcfide [~arcfide@ppp-70-246-129-70.dsl.stlsmo.swbell.net] has quit [Remote host closed the connection] 12:06:33 hotblack23 [~jh@p4FC5B126.dip.t-dialin.net] has joined #scheme 12:08:42 -!- melba [~blee@unaffiliated/lazz0] has quit [Quit: my favourite color is blue......NO, YELLOWWWWWWWWW] 12:11:41 -!- svbg [~svbg@89.189.147.205.dynamic.ufanet.ru] has quit [Quit: svbg] 12:21:05 -!- gavino [~g@cpe-76-172-28-85.socal.res.rr.com] has quit [Remote host closed the connection] 12:25:23 attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 12:26:24 MrFahrenheit [~RageOfTho@users-55-167.vinet.ba] has joined #scheme 12:35:21 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 12:39:26 -!- KatieHuber is now known as KatieHuber|away 12:41:19 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 12:42:31 -!- sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has quit [Quit: sstrickl] 12:44:41 ?? 12:46:03 !! 12:46:11 :-) 12:46:29 (-: 12:57:42 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has left #scheme 12:57:48 xwl [~user@123.115.121.9] has joined #scheme 12:57:53 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 12:58:25 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has quit [Quit: fradgers-] 12:58:42 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 13:02:59 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 13:31:09 -!- oconnore_ [~oconnore_@ip72-210-76-249.mc.at.cox.net] has quit [Remote host closed the connection] 13:33:55 fabe [~fabe@p54A7FAC8.dip.t-dialin.net] has joined #scheme 13:40:04 annodomini_ [~lambda@pool-151-203-238-62.bos.east.verizon.net] has joined #scheme 13:40:05 -!- annodomini_ [~lambda@pool-151-203-238-62.bos.east.verizon.net] has quit [Changing host] 13:40:05 annodomini_ [~lambda@wikipedia/lambda] has joined #scheme 13:40:08 -!- sepult` [~user@xdsl-78-35-192-238.netcologne.de] has quit [Read error: Connection reset by peer] 13:49:41 -!- attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has quit [Ping timeout: 265 seconds] 13:53:50 -!- bokr [~eduska@95.154.102.124] has quit [Quit: Leaving.] 13:53:54 -!- seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has quit [Ping timeout: 252 seconds] 13:58:29 ... 14:02:42 -!- KatieHuber|away is now known as KatieHuber 14:06:29 sepult [~user@xdsl-78-35-192-238.netcologne.de] has joined #scheme 14:12:19 -!- annodomini_ [~lambda@wikipedia/lambda] has quit [Quit: annodomini_] 14:14:12 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 14:18:56 annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has joined #scheme 14:18:56 -!- annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has quit [Changing host] 14:18:56 annodomini [~lambda@wikipedia/lambda] has joined #scheme 14:23:01 minion: memo for Riastradh: Please revert birkholz type-punning "fix". (SIGSEGV on 64-bit machines) 14:23:01 Remembered. I'll tell Riastradh when he/she/it next speaks. 14:30:12 minion: thank you sir 14:30:12 np 14:31:09 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 14:31:33 svbg [~svbg@94.41.205.206.dynamic.ufanet.ru] has joined #scheme 14:49:29 scheibo [~scheibo@129-97-249-183.uwaterloo.ca] has joined #scheme 14:59:00 sstrickl [~sstrickl@nomad.ccs.neu.edu] has joined #scheme 15:02:23 Owner_ [~ae66d3ce@gateway/web/freenode/x-xmdmoakfokjrtawx] has joined #scheme 15:11:05 phao [~phao@189.107.211.40] has joined #scheme 15:15:27 wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has joined #scheme 15:18:03 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 15:18:33 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 15:25:08 -!- wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has quit [Ping timeout: 256 seconds] 15:28:15 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.0.14/2009090900]] 15:29:58 reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:31:41 -!- KatieHuber is now known as KatieHuber|away 15:57:44 -!- Owner_ [~ae66d3ce@gateway/web/freenode/x-xmdmoakfokjrtawx] has left #scheme 16:06:07 AtnNn [~welcome@modemcable049.173-176-173.mc.videotron.ca] has joined #scheme 16:08:58 alvatar [~alvatar@120.126.222.87.dynamic.jazztel.es] has joined #scheme 16:16:06 kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has joined #scheme 16:20:46 samth_away: see Henry Baker's papers on reversible computing. 16:20:59 samth_away: that's about taking back side effects. 16:28:13 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 265 seconds] 16:32:00 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 16:42:28 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has left #scheme 16:53:00 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 16:53:43 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 16:54:20 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: *bork bork*] 17:02:12 -!- sstrickl [~sstrickl@nomad.ccs.neu.edu] has quit [Quit: sstrickl] 17:07:50 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has left #scheme 17:08:18 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 17:12:03 lisptastic [~user@76.177.227.49] has joined #scheme 17:12:40 -!- HG` [~HG@xdslet067.osnanet.de] has quit [Quit: Leaving.] 17:15:02 jengle [~jengle@64.252.186.161] has joined #scheme 17:21:50 hadronzoo [~hadronzoo@ppp-70-251-135-203.dsl.rcsntx.swbell.net] has joined #scheme 17:26:52 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 17:26:57 annodomini [~lambda@dhcp-0078827411-bd-e2.client.student.harvard.edu] has joined #scheme 17:26:57 -!- annodomini [~lambda@dhcp-0078827411-bd-e2.client.student.harvard.edu] has quit [Changing host] 17:26:57 annodomini [~lambda@wikipedia/lambda] has joined #scheme 17:32:32 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 17:32:45 seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has joined #scheme 17:34:48 luz [~davids@189.122.90.116] has joined #scheme 17:47:18 ventonegro [~alex@189.100.198.49] has joined #scheme 17:51:38 -!- jengle [~jengle@64.252.186.161] has quit [Quit: leaving] 17:51:51 -!- alvatar [~alvatar@120.126.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 17:58:49 -!- reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 18:03:03 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Read error: Operation timed out] 18:03:07 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #scheme 18:17:27 Nshag [~none@AClermont-Ferrand-551-1-28-130.w86-202.abo.wanadoo.fr] has joined #scheme 18:18:29 -!- seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 18:19:39 _Pb [~jcw@75.131.194.186] has joined #scheme 18:20:29 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Ping timeout: 245 seconds] 18:20:36 -!- _Pb [~jcw@75.131.194.186] has left #scheme 18:21:34 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 18:21:39 -!- xwl [~user@123.115.121.9] has quit [Ping timeout: 240 seconds] 18:24:31 -!- Nshag [~none@AClermont-Ferrand-551-1-28-130.w86-202.abo.wanadoo.fr] has quit [Quit: Quitte] 18:25:25 Nshag [~none@AClermont-Ferrand-551-1-28-130.w86-202.abo.wanadoo.fr] has joined #scheme 18:26:11 -!- MrFahrenheit [~RageOfTho@users-55-167.vinet.ba] has quit [Read error: Connection reset by peer] 18:26:32 MrFahrenheit [~RageOfTho@users-55-167.vinet.ba] has joined #scheme 18:27:18 seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has joined #scheme 18:28:31 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 18:29:16 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 18:32:29 attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 18:33:23 toekutr [~toekutr@adsl-69-107-143-127.dsl.pltn13.pacbell.net] has joined #scheme 18:34:05 -!- seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 18:35:33 Blkt [~user@net-93-151-229-219.t2.dsl.vodafone.it] has joined #scheme 18:38:21 ASau: http://www.gnu.org/software/gdb/news/reversible.html 18:39:30 -!- attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has quit [Ping timeout: 248 seconds] 18:40:17 -!- Sergio` [~Sergio`@unaffiliated/sergio/x-8197433] has quit [Remote host closed the connection] 18:42:08 -!- KatieHuber|away is now known as KatieHuber 18:42:42 Sergio` [~Sergio`@unaffiliated/sergio/x-8197433] has joined #scheme 18:49:51 -!- Blkt [~user@net-93-151-229-219.t2.dsl.vodafone.it] has quit [Ping timeout: 260 seconds] 18:51:58 alvatar [~alvatar@120.126.222.87.dynamic.jazztel.es] has joined #scheme 19:00:06 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 19:00:40 -!- toekutr [~toekutr@adsl-69-107-143-127.dsl.pltn13.pacbell.net] has quit [Quit: Leaving] 19:01:12 -!- hadronzoo [~hadronzoo@ppp-70-251-135-203.dsl.rcsntx.swbell.net] has quit [Quit: hadronzoo] 19:07:29 -!- snorble [~none@s83-179-14-105.cust.tele2.se] has left #scheme 19:18:37 -!- luz [~davids@189.122.90.116] has quit [Remote host closed the connection] 19:19:45 -!- MrFahrenheit [~RageOfTho@users-55-167.vinet.ba] has quit [Ping timeout: 258 seconds] 19:28:01 hadronzoo [~hadronzoo@rrcs-67-78-79-54.sw.biz.rr.com] has joined #scheme 19:28:58 snorble [~none@s83-179-14-105.cust.tele2.se] has joined #scheme 19:39:19 sepult` [~user@xdsl-87-79-114-38.netcologne.de] has joined #scheme 19:40:46 -!- sepult [~user@xdsl-78-35-192-238.netcologne.de] has quit [Disconnected by services] 19:40:47 -!- sepult` [~user@xdsl-87-79-114-38.netcologne.de] has quit [Read error: Connection reset by peer] 19:40:56 -!- KatieHuber is now known as KatieHuber|away 19:41:54 sepult` [~user@xdsl-87-79-114-38.netcologne.de] has joined #scheme 19:44:14 -!- sepult` is now known as sepult 19:57:06 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote host closed the connection] 19:57:12 -!- albacker [~eni@unaffiliated/enyx] has quit [Quit: Leaving] 19:59:23 annodomini_ [~lambda@140.247.5.228] has joined #scheme 19:59:23 -!- annodomini_ [~lambda@140.247.5.228] has quit [Changing host] 19:59:23 annodomini_ [~lambda@wikipedia/lambda] has joined #scheme 20:03:43 seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has joined #scheme 20:14:46 -!- annodomini_ is now known as annodomini 20:26:01 -!- alvatar [~alvatar@120.126.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 20:26:54 davazp [~user@147.Red-88-6-205.staticIP.rima-tde.net] has joined #scheme 20:28:30 -!- fda314925 [~fda314925@121.124.124.117] has quit [Remote host closed the connection] 20:34:27 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 20:36:02 -!- KatieHuber|away is now known as KatieHuber 20:36:40 -!- ventonegro [~alex@189.100.198.49] has quit [Quit: ventonegro] 20:41:43 dsmith [~dsmith@cpe-173-88-196-177.neo.res.rr.com] has joined #scheme 20:44:01 attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 20:49:13 -!- leppie [~lolcow@dsl-243-50-80.telkomadsl.co.za] has quit [Ping timeout: 265 seconds] 20:53:10 samth_away,mejja,ASau : Prolog implementations often allow "retrying" a CALL to a Predicate that just EXITed or FAILed, however this (afaik) doesn't undo side-effects 20:53:43 ski: please, read papers I refer to. 20:53:44 -!- dsmith [~dsmith@cpe-173-88-196-177.neo.res.rr.com] has quit [Ping timeout: 246 seconds] 20:54:00 (i'm just about to do that, have a little patience :) 20:55:47 :) 20:56:55 -!- davazp [~user@147.Red-88-6-205.staticIP.rima-tde.net] has quit [Remote host closed the connection] 20:58:57 samth_away,mejja,ASau : otoh, Mercury supports "I/O tabling", which memoizes the result of every primitive I/O predicate (including an id unique to that call) and 20:58:58 -rudybot_:#scheme- http://tinyurl.com/yfmncs6 20:58:59 -rudybot_:#scheme- http://tinyurl.com/ybnsxln 20:59:39 (it took a little while to find/recall which of the papers were talking about I/O tabling) 21:00:30 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 21:00:31 (as for the "ordinary" back-in-time (not undoing side-effects) in Prolog, i haven't read any paper on that ..) 21:01:22 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Ping timeout: 248 seconds] 21:04:06 (ASau : hm, i just realized i read you as saying roughly "please, refer to papers I can read" (i'm tired) .. not to imply i won't read those Baker papers (of which i think i've read at least some, a while ago)) 21:05:25 gwynddyllyd [~fintn@201.29.231.96] has joined #scheme 21:05:35 -!- gwynddyllyd [~fintn@201.29.231.96] has left #scheme 21:08:13 adiabatic [~adiabatic@dsl-206-55-130-248.tstonramp.com] has joined #scheme 21:14:40 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 21:19:48 -!- phao [~phao@189.107.211.40] has quit [Quit: Leaving] 21:25:13 ski: summary-- Baker cooked up a gedankenLisp in which every primitive is reversible. Kind of a reach to draw any Scheme lessons from that other than "oh, neat." 21:26:08 phao [~phao@189.107.221.115] has joined #scheme 21:29:41 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 21:31:19 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 21:35:11 -!- KatieHuber is now known as KatieHuber|away 21:37:29 -!- pjb [~t@241.Red-79-149-206.staticIP.rima-tde.net] has quit [Ping timeout: 246 seconds] 21:40:07 -!- attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has quit [Ping timeout: 240 seconds] 21:41:58 attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 21:47:18 -!- hadronzoo [~hadronzoo@rrcs-67-78-79-54.sw.biz.rr.com] has quit [Quit: hadronzoo] 21:53:38 hadronzoo [~hadronzoo@ppp-70-251-135-203.dsl.rcsntx.swbell.net] has joined #scheme 21:54:45 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Quit: +++ killed by SIGSEGV +++] 22:01:23 -!- pavelludiq [~quassel@87.246.28.180] has quit [Read error: Connection reset by peer] 22:09:41 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 22:10:23 Colloguy [~flx@64.134.238.37] has joined #scheme 22:12:43 krr [~matthias@dslb-084-056-052-203.pools.arcor-ip.net] has joined #scheme 22:12:59 -!- krr [~matthias@dslb-084-056-052-203.pools.arcor-ip.net] has quit [Quit: krr] 22:17:46 reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 22:19:23 -!- reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 22:29:10 -!- fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has left #scheme 22:31:23 Skewb [~Skewb@62.32.145.156] has joined #scheme 22:31:33 hi. 22:43:01 MrFahrenheit [~RageOfTho@users-55-198.vinet.ba] has joined #scheme 22:47:42 -!- seangrove [~user@c-67-188-3-10.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 22:50:30 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 22:50:58 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 22:58:57 -!- hotblack23 [~jh@p4FC5B126.dip.t-dialin.net] has quit [Quit: Leaving.] 22:59:35 -!- attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has quit [Ping timeout: 256 seconds] 23:07:56 -!- TR2N [email@89.180.158.168] has quit [Ping timeout: 265 seconds] 23:09:15 ski_ [~slj@c-0712e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 23:09:21 gnomon_ [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 23:09:21 gerard__ [~gerard@cs181141133.pp.htv.fi] has joined #scheme 23:10:24 -!- saccade [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: This computer has gone to sleep] 23:13:58 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [*.net *.split] 23:13:58 -!- ski [~slj@c-0712e055.1149-1-64736c10.cust.bredbandsbolaget.se] has quit [*.net *.split] 23:13:58 -!- eli [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 23:13:58 -!- gerard [~gerard@cs181141133.pp.htv.fi] has quit [*.net *.split] 23:19:38 oddmunds [~oddmunds@cm-84.208.72.55.getinternet.no] has joined #scheme 23:23:49 -!- choas [~lars@p5B0DAFEC.dip.t-dialin.net] has quit [Quit: leaving] 23:25:07 X-Scale [email@89-180-209-48.net.novis.pt] has joined #scheme 23:34:22 -!- virl [~virl__@chello062178085149.1.12.vie.surfer.at] has quit [Remote host closed the connection] 23:51:29 doc_who [~Sam@c-98-231-201-176.hsd1.md.comcast.net] has joined #scheme 23:51:41 hello 23:56:36 annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has joined #scheme 23:56:36 -!- annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has quit [Changing host] 23:56:36 annodomini [~lambda@wikipedia/lambda] has joined #scheme