00:08:46 saccade_ [n=saccade@209-6-23-56.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 00:11:47 george_ [n=george@189.107.174.168] has joined #scheme 00:12:35 -!- george_ is now known as summersalt 00:13:12 -!- xian [n=xian@pdpc/supporter/active/xian] has left #scheme 00:15:18 -!- BW^- [i=Miranda@94.191.142.70.bredband.tre.se] has quit [Read error: 110 (Connection timed out)] 00:17:40 -!- name [n=name@sburn/devel/name] has quit ["Lost terminal"] 00:20:07 derekv [n=derek@noogenesis.resnet.mtu.edu] has joined #scheme 00:22:15 schme [n=marcus@c83-254-190-108.bredband.comhem.se] has joined #scheme 00:27:02 -!- sm [n=sm@pool-71-107-254-205.lsanca.dsl-w.verizon.net] has quit [] 00:34:12 -!- schme_ [n=marcus@c83-254-190-108.bredband.comhem.se] has quit [Read error: 110 (Connection timed out)] 00:36:00 -!- Axioplase [n=Pied@79.248.206-77.rev.gaoland.net] has quit ["leaving"] 00:41:03 antoszka_ [n=antoszka@unaffiliated/antoszka] has joined #scheme 00:41:05 -!- sphex [n=sphex@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 104 (Connection reset by peer)] 00:41:07 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Remote closed the connection] 00:41:10 -!- hotblack23 [n=jh@p5B053AA5.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 00:41:16 sphex [n=sphex@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 00:41:21 -!- Deformative [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 00:41:31 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 00:41:36 Deformative [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has joined #scheme 00:42:40 klutomet1s [n=klutomet@klutometis.wikitex.org] has joined #scheme 00:42:43 schme_ [n=marcus@c83-254-190-108.bredband.comhem.se] has joined #scheme 00:43:08 -!- schme [n=marcus@c83-254-190-108.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 00:43:32 -!- klutometis [i=klutomet@pdpc/supporter/active/klutometis] has quit [Read error: 104 (Connection reset by peer)] 00:45:42 -!- Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has quit [Read error: 60 (Operation timed out)] 00:47:27 Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has joined #scheme 00:52:08 -!- BW^-4376 is now known as BW^- 00:59:53 JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 01:04:48 -!- klutomet1s is now known as klutometis 01:16:30 -!- attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has quit [Read error: 110 (Connection timed out)] 01:21:00 rtra [n=rtra@unaffiliated/rtra] has joined #scheme 01:31:25 AtomicToad [n=billgate@ool-182ddad4.dyn.optonline.net] has joined #scheme 01:34:54 grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has joined #scheme 01:37:39 Pfft_ [n=vilhelms@nic505.wireless-resnet.upenn.edu] has joined #scheme 01:38:28 Daemmerung [n=goetter@64.146.161.228] has joined #scheme 01:39:07 -!- Nshag [i=user@Mix-Orleans-106-4-133.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 01:40:09 -!- AtomicToad [n=billgate@ool-182ddad4.dyn.optonline.net] has quit [] 01:43:33 -!- grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has quit [] 01:49:28 -!- JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has quit [Read error: 110 (Connection timed out)] 01:52:25 tizoc_ [n=user@r190-135-36-77.dialup.adsl.anteldata.net.uy] has joined #scheme 02:00:35 raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has joined #scheme 02:05:39 -!- tizoc [n=user@r190-135-49-145.dialup.adsl.anteldata.net.uy] has quit [Nick collision from services.] 02:05:41 -!- tizoc_ is now known as tizoc 02:07:11 the compiler i've been working on: http://wingolog.org/archives/2008/11/02/guile-bar-mitzvah 02:07:19 -!- mejja [n=user@c-7d2472d5.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 02:15:32 is it 13 years old? 02:17:07 oh apparently so 02:17:10 -!- kniu [n=kniu@LEMON.RES.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 02:17:19 kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has joined #scheme 02:27:30 jonrafkind: time passes, indeed 02:35:33 -!- jonrafkind [n=jon@wireless21.wireless.utah.edu] has quit [Read error: 110 (Connection timed out)] 02:42:11 that's under the age of consent! 02:42:15 whoops, wrong channel 02:44:11 what's it about? 02:46:59 hehe 02:47:25 synx: wikipedia claims that 13 is of age 02:47:38 wingo-tp: omg 02:47:43 of age for what is another question 02:48:12 i am not sure if guile is jewish or not so i don't really know 02:48:12 for playing with legos of course. 02:48:17 yes. 02:51:29 woo, it appears to be 4 in the morning 02:56:36 -!- CaptainMorgan [n=CaptainM@c-75-68-42-94.hsd1.nh.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 02:56:49 jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has joined #scheme 02:58:51 mike___ [n=mike@dslb-088-067-022-244.pools.arcor-ip.net] has joined #scheme 03:05:46 -!- mike___ [n=mike@dslb-088-067-022-244.pools.arcor-ip.net] has quit ["This computer has gone to sleep"] 03:20:37 -!- wingo-tp [n=wingo@232.Red-81-38-182.dynamicIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 03:24:09 naw, you're confused; it's ten to 8 in the evening! 03:28:16 -!- kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has quit [Remote closed the connection] 03:28:23 sili [n=sili@222.127.230.225] has joined #scheme 03:28:38 kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has joined #scheme 03:34:40 Daemmeru` [n=goetter@64.146.161.228] has joined #scheme 03:34:40 -!- Daemmerung [n=goetter@64.146.161.228] has quit [Read error: 104 (Connection reset by peer)] 03:39:49 *sladegen* confirms it's quarter to 5. 03:41:39 Don't forget that in certain uncivilized portions of the world, daylight savings time will turn into a pumpkin in a few hours, and we'll (nearly) all have our stolen our of sleep returned to us. 03:41:52 `Our stolen hour', even. 03:42:00 And with that, I go to sleep! 03:53:34 -!- Bzek [n=SK_sj@mcc-dyn-19-195.kosnet.ru] has quit ["Love."] 03:56:38 -!- Daemmeru` is now known as Daemmerung 03:59:05 -!- minion [n=minion@common-lisp.net] has quit ["Common Lisp IRC library - http://common-lisp.net/project/cl-irc"] 03:59:05 -!- specbot [n=specbot@common-lisp.net] has quit ["Common Lisp IRC library - http://common-lisp.net/project/cl-irc"] 03:59:06 -!- lisppaste [n=lisppast@common-lisp.net] has quit [Broken pipe] 03:59:07 hadronzoo_ [n=hadronzo@ppp-70-247-170-199.dsl.rcsntx.swbell.net] has joined #scheme 03:59:20 lisppaste [n=lisppast@common-lisp.net] has joined #scheme 03:59:22 minion [n=minion@common-lisp.net] has joined #scheme 03:59:28 specbot [n=specbot@common-lisp.net] has joined #scheme 04:00:03 -!- hadronzoo_ [n=hadronzo@ppp-70-247-170-199.dsl.rcsntx.swbell.net] has quit [Client Quit] 04:01:21 -!- antoszka_ [n=antoszka@unaffiliated/antoszka] has quit [Remote closed the connection] 04:01:24 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 04:03:09 elmex_ [n=elmex@e180067225.adsl.alicedsl.de] has joined #scheme 04:06:45 Daemmeru` [n=goetter@64.146.161.228] has joined #scheme 04:06:45 -!- Daemmerung [n=goetter@64.146.161.228] has quit [Read error: 104 (Connection reset by peer)] 04:07:21 -!- Daemmeru` [n=goetter@64.146.161.228] has quit [Client Quit] 04:10:11 -!- elmex [n=elmex@e180064208.adsl.alicedsl.de] has quit [Read error: 104 (Connection reset by peer)] 04:10:14 -!- elmex_ is now known as elmex 04:24:17 http://www.milk.com/wall-o-shame/polytron.html 04:24:25 Argh! 04:33:18 gnomon: that's the most disgusting ad for a food processor I've ever seen 04:37:24 gnomon: thanks for sharing. Now, please atone. 04:41:34 JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 04:41:38 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 04:41:47 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 04:44:12 -!- derekv [n=derek@noogenesis.resnet.mtu.edu] has left #scheme 04:50:10 AtomicToad [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 05:02:36 -!- AtomicToad [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has quit [] 05:03:38 -!- Pfft_ [n=vilhelms@nic505.wireless-resnet.upenn.edu] has quit [] 05:05:50 AtomicToad [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 05:07:53 -!- JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has quit [Read error: 110 (Connection timed out)] 05:12:15 -!- benny [n=benny@i577A0F35.versanet.de] has quit [Connection timed out] 05:26:35 -!- goedel [i=steffen@pdpc/supporter/professional/goedel] has quit ["Leaving"] 05:27:28 -!- tjafk1 [n=timj@e176217015.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 05:28:03 tjafk1 [n=timj@e176210235.adsl.alicedsl.de] has joined #scheme 05:28:34 la la la 05:29:12 -!- AtomicToad [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has quit [] 05:30:19 yodely-hodely 05:36:12 hey offby1 05:38:50 hoy duncanm 05:43:55 ahoy mateys! 05:44:52 hello, sailor 05:45:14 well, hel-LO to you, too 05:45:20 *offby1* looks zbigniew up and down lasciviously 05:45:23 come here often? 05:45:36 a hollow voice says "plugh" 05:46:43 *offby1* consults his Hungarian phrasebook 05:53:44 -!- sreeram [n=sreeram@122.164.8.143] has quit [] 06:02:42 offby1: my hovercraft is full of eels 06:12:04 I hate when that happens. 06:12:21 I have had it with these motherfucking eels on this motherfucking hovercraft! 06:20:42 -!- gweiqi [n=greg@69.120.126.163] has left #scheme 06:24:13 Daemmerung [n=goetter@64.146.161.228] has joined #scheme 06:33:10 incubot: I will not buy this record, it is scratched. 06:33:12 it might be the hardware issue. it might be even as low as quantum level hardware problem. it only goes to show that we barely scratched the surface cracking open atom. ... yes and as you see i tend to agree ;) 06:36:06 incubot: this cannot be my room, for I do not breathe ammonia 06:36:09 He once stopped an exam with a nervous student and said. Let's stop and breathe for a moment. Then the student became less nervous. 06:37:15 incubot: I can eat glass, it doesn't hurt me. 06:37:17 Dammit, I forgot that the hardest part of assembling Ikea bookshelves was connecting the glass doors to the bookshelf proper 06:40:09 -!- rtra [n=rtra@unaffiliated/rtra] has quit [Read error: 131 (Connection reset by peer)] 06:46:57 Damn it. I cannot keep my app's window from flashing when it switches from one canvas to another. 06:51:05 are there young children around? If not, don't worry about it; it's nothing you haven't seen before 06:51:05 -!- Daemmerung [n=goetter@64.146.161.228] has quit [Read error: 104 (Connection reset by peer)] 06:51:52 toga! toga! 06:52:01 Daemmerung [n=goetter@64.146.161.228] has joined #scheme 06:54:32 I have had it with these motherfucking bots on this motherfucking channel! 06:55:57 mbishop [n=martin@unaffiliated/mbishop] has joined #scheme 06:57:06 -!- mbishop [n=martin@unaffiliated/mbishop] has quit [Client Quit] 06:57:49 mbishop [n=martin@unaffiliated/mbishop] has joined #scheme 07:00:05 I think that all good, right-thinking people in this channel are sick and tied of being told that all good, right-thinking people in this channel are fed up with being told that all good, right-thinking people in this channel are fed up with being sick and tired. 07:00:38 I thought everyone here was a bot. 07:02:43 Everyone here is a bit, zbigniew 07:02:46 ... even you 07:03:02 I'm feeling a big more zbigniew than usual, it's true. 07:03:07 s/big/bit 07:09:04 -!- Daemmerung [n=goetter@64.146.161.228] has quit [Read error: 104 (Connection reset by peer)] 07:25:39 -!- incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has quit [Remote closed the connection] 07:29:17 Daemmerung [n=goetter@64.146.161.228] has joined #scheme 07:41:12 choas [n=lars@p5B0DDAE1.dip.t-dialin.net] has joined #scheme 07:52:27 -!- Daemmerung [n=goetter@64.146.161.228] has quit ["Smoove out."] 08:06:54 -!- summersalt [n=george@189.107.174.168] has quit [Remote closed the connection] 08:15:13 hotblack23 [n=jh@p5B0539AE.dip.t-dialin.net] has joined #scheme 08:18:30 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 08:18:37 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 08:30:16 -!- araujo [n=araujo@gentoo/developer/araujo] has quit ["Leaving"] 08:59:42 sreeram [n=sreeram@61.247.251.10] has joined #scheme 09:06:08 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has quit [Remote closed the connection] 09:08:42 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 09:09:13 -!- travisbemann is now known as travis 09:09:17 -!- travis is now known as travis|away 09:20:34 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 09:21:14 antoszka_ [n=antoszka@unaffiliated/antoszka] has joined #scheme 09:22:40 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Read error: 104 (Connection reset by peer)] 09:23:32 -!- rmns [n=ramunas@88.222.137.30] has left #scheme 09:25:05 fschwidom [n=fschwido@dslb-084-059-052-067.pools.arcor-ip.net] has joined #scheme 09:27:33 -!- saccade_ [n=saccade@209-6-23-56.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 09:41:49 benny [n=benny@i577A0519.versanet.de] has joined #scheme 09:44:49 grrrr 10:03:51 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [Read error: 60 (Operation timed out)] 10:06:14 Kusanagi [n=Motoko@71-14-81-211.dhcp.stls.mo.charter.com] has joined #scheme 10:12:46 rmns [n=ramunas@88.222.137.30] has joined #scheme 10:18:27 -!- moonfart [n=moonfart@199.2.121.90] has quit [Read error: 110 (Connection timed out)] 10:24:14 -!- antoszka_ [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 10:26:25 -!- meryrus [n=ahoman@61.152.106.169] has quit ["Ex-Chat"] 10:32:59 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [Nick collision from services.] 10:32:59 Motoko-Kusanagi [n=Motoko@71-14-81-211.dhcp.stls.mo.charter.com] has joined #scheme 10:33:29 name [n=name@sburn/devel/name] has joined #scheme 10:44:58 araujo [n=araujo@gentoo/developer/araujo] has joined #scheme 10:45:37 MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 10:47:52 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 10:51:33 -!- Motoko-Kusanagi [n=Motoko@71-14-81-211.dhcp.stls.mo.charter.com] has quit [Client Quit] 10:53:23 Kusanagi [n=Motoko@unaffiliated/kusanagi] has joined #scheme 10:54:40 attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has joined #scheme 10:56:38 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 10:57:21 besiria [n=user@ppp083212086163.dsl.uom.gr] has joined #scheme 11:07:36 mike_ [n=mike@dslb-088-066-229-239.pools.arcor-ip.net] has joined #scheme 11:13:33 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [] 11:16:12 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 11:20:41 -!- besiria [n=user@ppp083212086163.dsl.uom.gr] has quit [Remote closed the connection] 11:22:05 meryrus [n=ahoman@61.152.106.169] has joined #scheme 11:25:06 besiria [n=user@ppp083212086163.dsl.uom.gr] has joined #scheme 11:25:32 -!- rdd [n=rdd@c83-250-142-219.bredband.comhem.se] has quit [Read error: 54 (Connection reset by peer)] 11:26:54 GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has joined #scheme 11:27:02 -!- GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has left #scheme 11:55:00 Axioplase [n=Pied@79.248.206-77.rev.gaoland.net] has joined #scheme 12:07:29 jgracin [n=jgracin@82.193.208.195] has joined #scheme 12:10:11 -!- attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has quit ["..."] 12:24:51 xwl [n=user@125.33.197.53] has joined #scheme 12:30:03 -!- sreeram [n=sreeram@61.247.251.10] has quit [] 12:31:07 -!- choas [n=lars@p5B0DDAE1.dip.t-dialin.net] has quit ["leaving"] 12:36:21 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has quit [Read error: 113 (No route to host)] 12:37:33 kib2_ [n=chatzill@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 12:38:26 -!- xwl [n=user@125.33.197.53] has quit [Remote closed the connection] 12:47:04 woot, IronScheme does very broken CPS 12:57:54 -!- besiria [n=user@ppp083212086163.dsl.uom.gr] has quit [Remote closed the connection] 13:04:40 MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 13:14:19 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 13:18:10 -!- benny [n=benny@i577A0519.versanet.de] has quit [Read error: 60 (Operation timed out)] 13:28:15 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 13:31:48 -!- meryrus [n=ahoman@61.152.106.169] has left #scheme 13:35:14 drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 13:51:29 -!- Axioplase [n=Pied@79.248.206-77.rev.gaoland.net] has quit ["bbl"] 13:52:17 -!- ttmrichter [n=ttmricht@58.48.196.230] has quit [Connection timed out] 13:52:42 tizoc_ [n=user@r190-135-28-71.dialup.adsl.anteldata.net.uy] has joined #scheme 13:54:14 -!- jgracin [n=jgracin@82.193.208.195] has quit [Remote closed the connection] 13:59:05 -!- raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has quit [Remote closed the connection] 14:10:00 drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 14:10:22 -!- tizoc [n=user@r190-135-36-77.dialup.adsl.anteldata.net.uy] has quit [Read error: 110 (Connection timed out)] 14:10:49 jewel [n=jewel@dsl-242-184-103.telkomadsl.co.za] has joined #scheme 14:14:44 drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 14:19:51 szgyg [n=luni@dsl51B6AA53.pool.t-online.hu] has joined #scheme 14:22:52 -!- drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [lem.freenode.net irc.freenode.net] 14:22:52 -!- jewel [n=jewel@dsl-242-184-103.telkomadsl.co.za] has quit [lem.freenode.net irc.freenode.net] 14:22:52 -!- drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [lem.freenode.net irc.freenode.net] 14:22:52 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [lem.freenode.net irc.freenode.net] 14:22:52 -!- kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has quit [lem.freenode.net irc.freenode.net] 14:22:52 -!- Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- dfeuer [n=dfeuer@wikimedia/Dfeuer] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- pitui [n=pitui@doh.research.att.com] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- Wardje [n=Ward@67.202.80.55] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- ineiros [n=ineiros@kosh.hut.fi] has quit [lem.freenode.net irc.freenode.net] 14:22:53 -!- Adrinael [i=adrinael@rid7.kyla.fi] has quit [lem.freenode.net irc.freenode.net] 14:23:47 drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 14:23:47 jewel [n=jewel@dsl-242-184-103.telkomadsl.co.za] has joined #scheme 14:23:47 drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 14:23:47 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 14:23:47 kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has joined #scheme 14:23:47 Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has joined #scheme 14:23:47 dfeuer [n=dfeuer@wikimedia/Dfeuer] has joined #scheme 14:23:47 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 14:23:47 pitui [n=pitui@doh.research.att.com] has joined #scheme 14:23:47 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 14:23:47 Wardje [n=Ward@67.202.80.55] has joined #scheme 14:23:47 ineiros [n=ineiros@kosh.hut.fi] has joined #scheme 14:23:47 Adrinael [i=adrinael@rid7.kyla.fi] has joined #scheme 14:24:51 -!- aquanaut [n=user@pool-71-191-49-201.washdc.fios.verizon.net] has quit [Remote closed the connection] 14:24:56 -!- drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Read error: 110 (Connection timed out)] 14:25:50 "woot" is usually an expression of happiness or celebration 14:28:58 benny [n=benny@i577A0519.versanet.de] has joined #scheme 14:28:59 -!- viocizgd [n=viocizgd@209.216.196.2] has quit [K-lined] 14:29:53 -!- drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 14:49:51 gweiqi [n=greg@69.120.126.163] has joined #scheme 14:59:07 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 15:03:25 choas [n=lars@p5B0DDAE1.dip.t-dialin.net] has joined #scheme 15:04:55 jgracin [n=jgracin@82.193.208.195] has joined #scheme 15:10:50 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 15:16:56 offby1: it is a mini celebration 15:17:07 it did not do any CPS before 15:19:43 aaaah 15:19:50 I thought you were celebrating the brokenness. 15:20:21 next step is trying to figure how to integrate this very manual process into my compiler 15:26:53 -!- synthasee [n=synthase@68.63.20.12] has quit [Read error: 60 (Operation timed out)] 15:30:51 synthasee [n=synthase@68.63.20.12] has joined #scheme 15:32:29 Isn't IronScheme scheme implemented in python implemented in C? 15:32:53 I thought it was CLR 15:33:06 DLR 15:33:39 http://www.codeplex.com/IronScheme Don't konw what the thing itself is made of 15:33:42 ogod that's even worse 15:34:40 why is that worse? 15:34:42 Looks like C#? 15:35:02 XTL, no I compile to MSIL byte code 15:35:48 I mean the implementation language 15:35:56 but large bits of 'primitive' procedures are still implemented in C#, slowly converting them 15:36:08 Right 15:36:16 the compiler is also C# 15:46:51 MS is only designing their own special assembly code to lock you in you know. 15:48:07 -!- mike_ [n=mike@dslb-088-066-229-239.pools.arcor-ip.net] has quit ["Leaving"] 15:49:05 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit [Read error: 110 (Connection timed out)] 15:49:22 GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has joined #scheme 15:50:00 -!- GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has left #scheme 15:53:32 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 15:55:58 vasa [n=vasa@mm-218-88-84-93.dynamic.pppoe.mgts.by] has joined #scheme 15:58:53 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 16:02:12 -!- kniu [n=kniu@CMU-301252.WV.CC.CMU.EDU] has quit [Remote closed the connection] 16:03:36 weird. In order to investigate a bug that crashed rudybot annoyingly often, I added a bunch of diagnostic output ... and since doing so, the bug hasn't recurred; the bot has now been up almost as long as it's ever been. I thus bring you: Heisenbug! 16:07:24 where? i can't see it! 16:07:27 awesome! 16:14:22 Sinden [n=Sinden@nickweinhold.demon.co.uk] has joined #scheme 16:19:13 -!- benny [n=benny@i577A0519.versanet.de] has quit [Read error: 104 (Connection reset by peer)] 16:19:54 automejja [n=edwin@c-7d2472d5.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 16:25:22 -!- Sinden [n=Sinden@nickweinhold.demon.co.uk] has quit ["Leaving"] 16:26:29 -!- travis|away is now known as travisbemann 16:33:58 woot, IronScheme does CPS a bit better :) Now to figure out what is broken... 16:34:55 Rather what else is broken :) 16:35:35 -!- automejja [n=edwin@c-7d2472d5.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 16:36:35 leppie: so you're hacking IronScheme as we watch? 16:36:53 if so, could you add a feature whereby it tells me which stocks will appreciate rapidly? 16:36:59 i didnt know i was being watched! :O 16:37:30 ceiling cat is watching you code 16:37:41 Ur Doin It Rong 16:38:08 ok time to go 16:44:52 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Read error: 54 (Connection reset by peer)] 16:47:21 drdo```` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 16:49:13 -!- synthasee [n=synthase@68.63.20.12] has quit [Connection timed out] 16:57:42 -!- travisbemann is now known as travis|away 16:58:48 benny [n=benny@i577A0519.versanet.de] has joined #scheme 17:00:05 sreeram [n=sreeram@122.164.243.121] has joined #scheme 17:01:18 -!- drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 17:02:04 drdo````` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 17:06:43 -!- gweiqi [n=greg@69.120.126.163] has quit [Read error: 110 (Connection timed out)] 17:09:55 -!- sphex [n=sphex@modemcable185.138-56-74.mc.videotron.ca] has quit [Remote closed the connection] 17:16:47 -!- drdo```` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 17:17:49 drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 17:19:20 gweiqi [n=greg@69.120.126.163] has joined #scheme 17:24:00 -!- szgyg [n=luni@dsl51B6AA53.pool.t-online.hu] has left #scheme 17:24:05 drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 17:25:25 -!- drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Nick collision from services.] 17:25:28 -!- drdo` is now known as drdo 17:26:45 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 17:26:54 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 17:30:03 Nshag [i=user@Mix-Orleans-105-3-144.w193-250.abo.wanadoo.fr] has joined #scheme 17:32:18 -!- drdo````` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 17:34:03 -!- sili [n=sili@222.127.230.225] has quit [Read error: 110 (Connection timed out)] 17:48:49 saccade_ [n=saccade@209-6-23-56.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 18:11:17 mejja [n=user@c-7d2472d5.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 18:14:42 peter_12 [n=peter_12@S010600119506b129.gv.shawcable.net] has joined #scheme 18:19:11 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has quit [Remote closed the connection] 18:19:48 drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 18:23:19 la la la 18:34:45 -!- drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 18:40:36 arcfide [n=arcfide@h-68-164-10-234.chcgilgm.dynamic.covad.net] has joined #scheme 18:40:49 Hey xz. 18:40:55 Have you solved your monad issue? 18:41:37 Speaking of which, is there a "monad library" for scheme? 18:42:54 bashyal [n=bashyal@208.42.136.59] has joined #scheme 18:43:02 Doctor, I think I have ... monads 18:43:50 Oh, well, what do you know, Oleg has something. 18:43:52 Hah. 18:46:11 -!- peter_12 [n=peter_12@S010600119506b129.gv.shawcable.net] has quit [] 18:54:29 kuribas [i=kristof@d54C43FFE.access.telenet.be] has joined #scheme 18:59:02 -!- bashyal [n=bashyal@208.42.136.59] has quit [] 19:00:47 AtnNn [n=welcome@modemcable230.56-56-74.mc.videotron.ca] has joined #scheme 19:07:09 drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 19:09:45 -!- arcfide [n=arcfide@h-68-164-10-234.chcgilgm.dynamic.covad.net] has quit ["Leaving"] 19:11:24 -!- saccade_ [n=saccade@209-6-23-56.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 19:12:42 axolance [n=hellues@88.235.218.117] has joined #scheme 19:12:52 lisppaste: url 19:12:53 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 19:13:42 JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 19:14:44 axolance pasted "withdraw (sicp exercise)" at http://paste.lisp.org/display/69595 19:15:27 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 19:15:31 hey i am noob and i study sicp .I try to write withdraw 19:15:35 by using set 19:15:51 what is my mistake i dont have sufficient knowledge about set 19:15:57 Strav [n=user@dsl-216-221-36-82.aei.ca] has joined #scheme 19:16:00 axolance: BEGIN 19:16:58 he. Does anyone have the answers for sicp 5.4 (a and b). I know this exercise is a little trivial but I wish to make sure I understand this part well enough. 19:17:18 hmm 19:17:21 begin 19:18:41 axolance pasted "withdraw (sicp exercise)" at http://paste.lisp.org/display/69596 19:18:56 mejja: like that right ? 19:19:38 can you use anythingh in set higher order function map foldr etc... or lambda or something else 19:19:55 i use anything in ( ) example (- balance amount) 19:21:33 haha 19:21:49 /whois is a funny thing 19:22:31 duncanm: I guess it depends on the person. 19:22:38 -!- drdo` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Success] 19:23:40 argh. besides eli bendersky's and that poor sicp wiki, any complete source for sicp's answers? 19:26:34 Strav, many of the exercises are somewhat open-ended; simply comparing the text of one solution to the text of another will not necessarily tell you of the correctness of a solution. Would you care to show your solution, and ask whether it looks sensible? Later in SICP you'll even run your solution in a simulator to empirically test it. 19:30:07 hello Riastradh 19:30:32 -!- Strav [n=user@dsl-216-221-36-82.aei.ca] has quit [Read error: 104 (Connection reset by peer)] 19:30:39 Strav [n=user@dsl-216-221-36-82.aei.ca] has joined #scheme 19:32:53 drdo``` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 19:34:43 Strav` [n=user@dsl-216-221-36-82.aei.ca] has joined #scheme 19:42:00 yay 19:43:00 was more simple to get the regsim working afterall. 19:43:07 -!- choas [n=lars@p5B0DDAE1.dip.t-dialin.net] has quit ["leaving"] 19:44:45 MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 19:45:20 -!- Strav` [n=user@dsl-216-221-36-82.aei.ca] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 19:47:57 -!- drdo`` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 19:52:54 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 19:54:55 -!- Strav [n=user@dsl-216-221-36-82.aei.ca] has quit [Read error: 110 (Connection timed out)] 19:55:57 ecraven [n=nex@plc31-103.linzag.net] has joined #scheme 19:56:03 a question 19:56:13 if we have function called withdraw 19:56:24 and we say ((eq? m 'withdraw) withdraw) 19:56:29 my is a variable 19:56:52 m* , ' mean call that funtion and look at its value 19:58:50 axolance: http://www.htdp.org/ 20:07:42 -!- tizoc_ is now known as tizoc 20:08:53 'withdraw is a symbol 20:09:00 -!- travis|away is now known as travisbemann 20:09:25 symbol that call function withdraw. I study sicp :D 20:10:01 i haven't done sicp but sicp is scheme isn't it? what do you mean "symbol that call function withdraw" 20:10:12 you want to invoke withdraw and look at its return value? 20:10:18 yes 20:10:25 (withdraw) 20:10:29 it is advanced than htdp i guess 20:10:42 yes 20:10:48 exactly 20:10:53 yes, that is not 'withdraw 20:10:57 'withdraw is a symbol 20:10:58 i guess ' make it happen 20:11:04 no. ' mean (quote) 20:11:09 hmm 20:11:15 (quote withdraw) 20:11:43 hmm i dont know quote really but i learn by reading sicp.O guess 20:11:48 I guess* 20:11:57 where do you see sicp saying 'withdraw will invoke it 20:12:55 grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has joined #scheme 20:12:58 hmm 20:13:27 chapter 3 -> 3.1.1 local variable 20:14:48 ((acc 'withdraw) 50) ? 20:14:52 that is passing a message 20:15:08 oh I see, yes you are looking at the message passing stuff 20:15:16 they shouldn't have named the message withdraw and the function withdraw, that is confusing 20:15:29 the idea is that you pass a symbol to the function and depending on what the symbol is you do something 20:15:37 so if you pass in 'withdraw then it should invoke the withdraw function 20:15:48 if you pass in 'deposit then it should invoke the deposit function 20:16:01 try renaming 'withdraw to 'foobar and it will still work if you pass 'foobar 20:20:26 -!- grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has quit [] 20:29:04 drdo```` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 20:31:24 wingo--tp [n=wingo@250.Red-88-17-207.staticIP.rima-tde.net] has joined #scheme 20:31:52 leppie: I know, no need to point out trivialities. 20:36:36 drdo````` [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 20:38:29 jonrafkind: thanks for help 20:43:47 -!- drdo``` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 20:43:53 importantshock [n=importan@161.253.41.186] has joined #scheme 20:44:57 *wingo--tp* reads dybvig's lovely history of chez paper. 20:52:04 -!- drdo```` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Read error: 110 (Connection timed out)] 20:52:13 scheme [n=unknown@sicp.csail.mit.edu] has joined #scheme 20:53:03 *scheme* sucks 20:53:29 heh 20:54:08 -!- importantshock [n=importan@161.253.41.186] has quit [Remote closed the connection] 20:55:03 Hah! 20:59:00 -!- drdo````` [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Connection timed out] 21:00:04 axolance pasted "error" at http://paste.lisp.org/display/69600 21:00:30 i read sicp just take this error and i dont understand can you say me the error :D 21:04:29 sorry i wrote a function that lis like sicp 21:04:33 saccade_ [n=saccade@dhcp-18-188-73-186.dyn.mit.edu] has joined #scheme 21:04:39 and i call this like sicp 21:04:40 did you mean make-accumulator2 instead of make-accumulator maybe? (in anyt) 21:04:50 but in the sicp work my code doesnt work 21:06:32 axolance pasted "error" at http://paste.lisp.org/display/69601 21:06:41 sorry 21:06:52 it is my mistake p1dzkl 21:06:57 it still doesnt work 21:07:15 ii did make-accumulator instead of make-accumulator2 21:07:15 Adamant [n=Adamant@c-98-244-152-196.hsd1.ga.comcast.net] has joined #scheme 21:13:56 Kusanagi [n=Motoko@unaffiliated/kusanagi] has joined #scheme 21:20:09 i fix problem but i dont udnerstand the reason :D 21:35:42 *scheme* is a sad, sad circus 21:38:36 incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has joined #scheme 21:39:33 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 21:42:54 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 21:43:09 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 21:51:21 -!- bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit [Read error: 110 (Connection timed out)] 21:51:55 peter_12 [n=peter_12@S010600119506b129.gv.shawcable.net] has joined #scheme 21:54:02 bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 21:55:50 synthasee [n=synthase@68.63.20.12] has joined #scheme 21:58:22 BW^-4376 [i=Miranda@79.138.128.159.bredband.tre.se] has joined #scheme 21:58:35 -!- jgracin [n=jgracin@82.193.208.195] has quit [Remote closed the connection] 21:58:43 anyone remember how to hook application exit in gambit? :) 21:59:01 or.. in C would work really. 22:00:00 -!- wingo--tp [n=wingo@250.Red-88-17-207.staticIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 22:03:09 scheme: what behooves it thee to agitate this scheme-like gentility? 22:03:15 incubot: does scheme really suck? 22:03:18 in general, you just have to suck it up and define an "internal" macro such as %def 22:05:00 -!- mejja [n=user@c-7d2472d5.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 22:05:47 -!- vasa [n=vasa@mm-218-88-84-93.dynamic.pppoe.mgts.by] has quit ["I am not vasya, i am vasa"] 22:06:03 *scheme* will suck you in 22:06:34 wingo-tp [n=wingo@250.Red-88-17-207.staticIP.rima-tde.net] has joined #scheme 22:09:29 incubot: how tall are you? 22:09:31 Oh, yeah, I forgot you're only 4' tall. 22:09:37 incubot: how old are you? 22:10:09 incubot: heisenbug? 22:10:11 Heisenbug was a conceptual bug in the test, not the code itself :/ 22:10:21 lol 22:10:31 incubot: if I have two oranges, and I give you one, how old is Ann? 22:10:33 I can post the code in a sec, anyone want to give me some tips? :D 22:10:47 minion: advice for incubot 22:10:47 incubot: #11939: Because the computer cannot read your mind. Guess what? I cannot read your mind *either*. 22:10:50 It is part of 'the real reason,' which from me is that interpretation -- by either human or computer -- is easier with the mark and costs practically nothing. While it is true that the mark would be imposed, it is hardly an arbitrary _restriction_ on style: even with the mark, in quasiquoted macros, I still choose to apply case distinctions. 22:11:25 lelf [n=lelf@217.118.90.120] has joined #scheme 22:11:27 incubot: make nonsense! 22:11:30 good nonsense is hard to write I suppose 22:11:42 klutometis: he's pretty good. 22:11:52 incubot: chant 22:11:54 chant 22:11:58 heh 22:11:59 rudybot_: quote 22:11:59 offby1: I'LL AVERAGE YOU OUT. 22:14:02 rudybot_: eval /nick rudybot 22:14:02 sladegen: error: reference to undefined identifier: /nick 22:14:53 true fact: rudybot_'s original name was "fartbot" 22:14:55 *offby1* nods gravely 22:17:52 -!- BW^- [i=Miranda@79.138.203.248.bredband.tre.se] has quit [Read error: 110 (Connection timed out)] 22:20:09 la la la 22:20:25 ayup 22:24:28 goedel [i=steffen@pdpc/supporter/professional/goedel] has joined #scheme 22:30:41 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 22:32:36 -!- kuribas [i=kristof@d54C43FFE.access.telenet.be] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 22:34:56 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 22:38:02 aleix [n=aleix@46.Red-83-61-3.staticIP.rima-tde.net] has joined #scheme 22:38:10 -!- lelf [n=lelf@217.118.90.120] has quit ["used jmIrc"] 22:39:29 -!- scheme [n=unknown@sicp.csail.mit.edu] has quit [Remote closed the connection] 22:44:16 anybody know quickest way to (over)write a file with the contents of a string in ikarus? 22:44:31 i have a string with the filename 22:44:34 too 22:45:41 -!- axolance [n=hellues@88.235.218.117] has quit [Read error: 113 (No route to host)] 22:46:32 I'd assume there's something like "with-output-to-file" 22:46:45 -!- ecraven [n=nex@plc31-103.linzag.net] has quit ["bbl"] 22:46:45 so I'd do (with-output-to-file (lambda (op) (display my-string op))) 22:47:00 of course I dunno what with-output-to-file does if the named file exists already 22:47:09 also don't forget to pass the file's name, as I just did :-| 22:47:27 (with-output-to-file filename (lambda (op) (display my-string op))) 22:47:32 offby1: are you using ikarus? 22:47:42 I've played with it a little. It's fast :) 22:47:49 it is? 22:47:51 I don't really know R6RS though. 22:47:54 me neither 22:47:56 Oh yeah, it's a native-code compiler. 22:48:00 Why wouldn't it be fast? 22:48:04 to x86? 22:48:07 yep 22:48:10 Abdulaziz++ 22:48:11 with-output-to-file overwrites the file, by default. 22:48:51 offby1: can you apt-get it on ubuntu? 22:49:06 no wait 22:49:16 with-output-to-file errors out if the file exists, by default. 22:49:37 = 'error not ='replace 22:49:54 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [Read error: 60 (Operation timed out)] 22:50:59 duncanm: not that I know of. 22:51:29 duncanm: oh, you're volunteering to package it for Debian? Good for you! 22:51:39 oh, seriously : it _is_ available 22:52:00 on Ignoble Ignatz, anyway 22:52:06 dunno 'bout Hardy 22:52:35 hee hee 22:52:44 i got to say "Armpit ... Scheme" in #lisp 22:55:43 -!- wingo-tp [n=wingo@250.Red-88-17-207.staticIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 22:55:43 pfo [n=pfo@chello084114049188.14.vie.surfer.at] has joined #scheme 22:55:43 so how can I avoid the error by default? 22:55:57 and say overwrite 22:59:26 borism_ [n=boris@195-50-200-185-dsl.krw.estpak.ee] has joined #scheme 23:00:04 is scheme (gambit-c) powerful enough to program a big theorem prover? 23:02:41 or is it only capable for a prototype, which should be engineered later in C 23:03:27 I have a amd64 with 8GB RAM 23:03:39 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit [Remote closed the connection] 23:03:43 running linux 23:06:32 CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has joined #scheme 23:06:37 -!- borism [n=boris@195-50-212-207-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 23:07:30 goedel, Gambit performs quite well indeed on heavy numeric tasks. 23:07:55 but is it efficient enough? 23:08:13 for symbolic computation 23:09:25 big search spaces have to be gone through 23:10:07 That depends entirely on your definition of "efficient enough". 23:10:49 replies on proving a simple theorem should be a amtter of seconds 23:11:03 s/amtter/matter/ 23:11:18 -!- CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has quit [Client Quit] 23:13:34 using tableau method, matrix resolution, and term rewriting (Knuth-Bendix-Completion-Algm) 23:15:05 and a lot of heuristic rules 23:15:42 *gnomon* shrugs 23:15:43 http://www.ccs.neu.edu/home/will/Twobit/benchmarksAbout.html#nboyer 23:15:50 Give it a try. 23:18:56 Kusanagi [n=Motoko@unaffiliated/kusanagi] has joined #scheme 23:24:52 GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has joined #scheme 23:25:17 -!- GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has left #scheme 23:31:20 gnomon: for these benchmarks you need a definition of (run-benchmark ...) 23:32:59 gnomon: I would need a copy of Dick Gabriel's book 23:33:46 CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has joined #scheme 23:34:03 I meant that you could use that could as a basis for your implementation of a theorem solver, not that you could just run them in the abstract. If you really want a definition of RUN-BENCHMARK, I'm sure that WC would respond very politely to a short email. 23:35:02 gnomon: ah ok---thanks 23:35:15 -!- BW^-4376 is now known as BW^- 23:37:59 -!- jewel [n=jewel@dsl-242-184-103.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 23:38:06 -!- travisbemann is now known as travis|away 23:39:37 No problem. Others here may be able to provide you with better advice; I'm just tossing out what I know. 23:39:41 (which isn't much) 23:49:20 -!- hotblack23 [n=jh@p5B0539AE.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 23:51:16 offby1` [n=user@q-static-138-125.avvanta.com] has joined #scheme 23:55:05 axodlanse [n=hear@88.235.218.117] has joined #scheme 23:55:09 lisppaste, url 23:55:09 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 23:55:11 aleix_ [n=aleix@46.Red-83-61-3.staticIP.rima-tde.net] has joined #scheme 23:56:18 -!- kib2_ [n=chatzill@bd137-1-82-228-159-28.fbx.proxad.net] has quit ["ChatZilla 0.9.83 [Firefox 3.0.3/2008092417]"] 23:56:24 geckosenator [n=sean@c-24-8-193-190.hsd1.co.comcast.net] has joined #scheme 23:57:54 -!- offby1 [n=user@q-static-138-125.avvanta.com] has quit [Nick collision from services.] 23:58:58 -!- offby1` is now known as offby1