00:00:51 tizoc: Sure, I could add that. 00:01:05 Which reminds me, I need to make most of those parameters const. 00:01:06 foof`: sure, I will mail the patch in a few minutes 00:01:08 -!- wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has quit [Read error: Operation timed out] 00:04:02 -!- FareWell [~Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit [Quit: Leaving] 00:13:08 foof`: diff generated and mailed 00:25:12 thanks! 00:33:43 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 00:43:13 -!- saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 246 seconds] 00:49:53 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 00:53:15 Pinku [~Pinku@83.231.16.119] has joined #scheme 00:54:00 sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has joined #scheme 01:00:27 hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has joined #scheme 01:07:11 -!- phao [~phao@189.107.189.167] has left #scheme 01:07:13 phao [~phao@189.107.189.167] has joined #scheme 01:07:33 is it possible to change a list instead of creating a new one when I want a modified version of a given list? 01:22:09 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Ping timeout: 245 seconds] 01:25:31 pavelludiq [~quassel@87.246.28.180] has joined #scheme 01:26:34 -!- pavelludiq_ [~quassel@87.246.28.180] has quit [Ping timeout: 256 seconds] 01:31:06 phao: yes, you can use set-car! and set-cdr! to do that. 01:34:55 Lajla [~Lajla@213-84-222-243.adsl.xs4all.nl] has joined #scheme 01:36:13 ribbs [~ribbs@p024062.doubleroute.jp] has joined #scheme 01:37:03 -!- masm [~masm@bl9-115-71.dsl.telepac.pt] has quit [Quit: Leaving.] 01:45:06 -!- hadronzoo [~hadronzoo@ppp-70-251-113-63.dsl.rcsntx.swbell.net] has quit [Quit: hadronzoo] 01:45:46 -!- MrFahrenheit [~RageOfTho@users-55-165.vinet.ba] has quit [Ping timeout: 265 seconds] 01:46:27 arcfide [~arcfide@ppp-70-246-129-70.dsl.stlsmo.swbell.net] has joined #scheme 01:48:02 -!- ziggurat [~quassel@pool-173-71-25-61.dllstx.fios.verizon.net] has quit [Remote host closed the connection] 01:55:13 -!- _rata_ [~929bd90b@gateway/web/freenode/x-kovufbnzflijdkrz] has quit [Quit: Page closed] 02:00:49 -!- mario-goulart [~user@67.205.85.241] has quit [Remote host closed the connection] 02:02:28 MononcQc [~ferd@modemcable062.225-20-96.mc.videotron.ca] has joined #scheme 02:07:58 reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 02:08:53 thks. 02:10:21 -!- Pinku [~Pinku@83.231.16.119] has quit [Read error: Connection reset by peer] 02:20:36 dan131m [~chatzilla@adsl-70-233-154-17.dsl.okcyok.sbcglobal.net] has joined #scheme 02:20:57 -!- dan131m [~chatzilla@adsl-70-233-154-17.dsl.okcyok.sbcglobal.net] has left #scheme 02:21:31 -!- Fabse [~mightyfid@wikipedia/Track-n-Field] has quit [] 02:23:34 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote host closed the connection] 02:28:43 -!- alexsuraci_ [~alexsurac@32.168.25.225] has quit [Quit: alexsuraci_] 02:34:21 -!- Crito [~none@unaffiliated/crito] has quit [Quit: brb] 02:39:43 -!- pavelludiq [~quassel@87.246.28.180] has quit [Remote host closed the connection] 02:41:06 drwho [~drwho@c-71-225-11-30.hsd1.pa.comcast.net] has joined #scheme 02:45:30 jcowan [~jcowan@cpe-98-14-172-204.nyc.res.rr.com] has joined #scheme 03:00:02 -!- bzzbzz_ [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 03:14:17 -!- reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 03:17:34 reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 03:17:50 -!- futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has quit [Ping timeout: 268 seconds] 03:19:42 -!- bipt [bpt@cpe-075-182-095-009.nc.res.rr.com] has quit [Ping timeout: 258 seconds] 03:19:44 futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has joined #scheme 03:21:30 -!- phao [~phao@189.107.189.167] has quit [Quit: Leaving] 03:25:40 -!- kniu [~kniu@HOHOHO.RES.CMU.EDU] has quit [Ping timeout: 276 seconds] 03:38:16 Quadrescence [~quad@unaffiliated/quadrescence] has joined #scheme 03:40:30 kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has joined #scheme 03:42:42 -!- adiabatic [~adiabatic@dsl-206-55-130-248.tstonramp.com] has quit [Quit: Rockin music will set you free.] 03:45:12 Alright peoples. This is driving me batty. I'm making a custom "verbatim" form in plain TeX, and I want spaces to be significant at the start of lines. \obeylines\obeyspaces doesn't seem to work. I still want most of TeX to be the way it is, just with significant whitespace and active newlines. obeylines seems to work, but the spaces at the front of each line are...lost. 03:45:30 I'm annoyed. I remember some of you have gone through this ordeal before. Does anyone recall how something like this can be done relatively easily? 03:47:08 -!- MononcQc [~ferd@modemcable062.225-20-96.mc.videotron.ca] has quit [Quit: leaving] 03:52:34 timj_ [~timj@e176195174.adsl.alicedsl.de] has joined #scheme 03:54:40 -!- scheibo [~scheibo@129-97-249-119.uwaterloo.ca] has quit [Read error: Operation timed out] 03:56:16 -!- timj__ [~timj@e176208233.adsl.alicedsl.de] has quit [Ping timeout: 265 seconds] 04:13:17 foof`: Being able to quote keywords in plt is exactly what makes them first class -- it's the syntax that prevents you from using them outside of applications. 04:13:53 eli: Yes, I wasn't sure how to phrase that, sorry. 04:14:11 jcowan: http://macrologist.blogspot.com/2006/04/macros-parameters-binding-and.html 04:14:28 jcowan: And specifically, look for the term "morally hygienic" 04:15:54 foof`: I would be very surprised if this way of doing things is something that appeals to people, although IMO it works beautifully. (I had reservations when Matthew first suggested it.) 04:17:27 I can't see WG1 specifying any kind of keywords. 04:17:39 *jcowan* notes that Ikarus and PLT violate R6RS by treating the names inside record-type declarations as identifiers rather than plain symbols. 04:18:16 foof`: (And reading further, you said exactly what I'd expect...) 04:18:27 Say 04:18:38 what is your motivation to praefering Scheme above CL? 04:20:15 -!- JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has quit [Quit: This computer has gone to sleep] 04:20:57 jcowan: And BTW, I find this implementation counting business very questionable. If you go that way, then the obvious next step is to count users, not implementations. 04:21:20 (Eg, that "Scheme 7" thing, which I've never heard about, and is not googleable.) 04:21:48 Yes, jcowan's pick of standard Schemes is somewhat odd. 04:22:44 I just report on the 20-odd implementations I have installed on my system, that's all. I make no claims beyond that. 04:23:13 -!- reprore [~reprore@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 04:23:43 *Ahem* 04:24:26 Ahem? 04:25:15 jcowan: What would you do if the minister of finance (or whatever the american equivalent is called) goes on CNN and says that he chose to sell all of his $20M in stocks, but that's only a private decision that he made while sitting on the toilet and nobody else should read more into it? 04:25:32 s/would you do/would you do with *your* stocks/ 04:25:44 JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has joined #scheme 04:38:23 jcowan: But you *do* explicitly use that list as an argument of popularity. 04:41:41 ...and as foof` wrote that, I just stumbled on jcowan's "Based on this sparse set of implementations" sentence... 04:43:00 I'm not saying it's an unreasonable argument either, just that the list bears revising or qualifying. 04:43:10 BTW, I'd be surprised if Chez has no keywords at all, mit-scheme might have them soon due to Joe who suggested implementing them (and Chris didn't object to the addition), ikarus does have a library for doing them and Aziz has no moral objection to them. 04:44:03 I've tried all the standard syntax and Chez seems to have no keywords. 04:44:07 And I don't think Chris is going to allow them in MIT. 04:44:50 Well, the way they were initially proposed. 04:45:27 He only had issues with how the reader would be extended. 04:46:04 -!- KatieHuber is now known as KatieHuber|away 04:49:21 Daemmerung [~goetter@64.146.161.228] has joined #scheme 04:52:21 (Every time a specific person says "jewel-like", I laugh a little harder than the last time...) 04:52:35 s/specific/particular/ 04:53:12 eli: Some people do actually seem to need reminding of that, considering what they are proposing for WG1. 04:55:11 foof`: Well, IMO, the "jewel-like" deal and Clingers "piling features" sentences are things that held up scheme in its hole for so long, and will likely continue to do so. Of course there would be some value in "jewel-like" as a term about language design, if it wasn't worn out to meaninglessness by repeating it so often. 04:57:16 Scheme 7, btw, is a hacked version of Tinyscheme. 04:57:21 At least according to the source comments. 04:58:10 A surprising number of things are hacked versions of tinyscheme. 04:58:16 It's one of the reasons I made chibi. 04:59:01 I don't want to have to look at another project that claims to use Scheme and is actually tinyscheme under the hood. 05:00:37 -!- arrummzen [~arrummzen@ip68-5-249-130.oc.oc.cox.net] has quit [Ping timeout: 245 seconds] 05:01:29 *foof`* is stressed and grumpy 05:02:05 *elly* hugs foof` 05:02:07 oconnore_ [~oconnore_@ip72-210-76-249.mc.at.cox.net] has joined #scheme 05:02:10 what's wrong? 05:02:12 ^_^ 05:02:51 mostly moving hassles 05:02:54 ah 05:02:57 those are temporary, at least :) 05:03:20 But I've got to run some errands while it's still daylight. 05:03:28 Later all. 05:03:37 -!- foof` [~user@FLH1Aib193.osk.mesh.ad.jp] has quit [Quit: ERC Version 5.2 (IRC client for Emacs)] 05:04:40 Well, s7 does have call/cc. 05:04:47 *eli* ughs 05:04:54 There are only a few minor discrepancies from R5RS, the biggest of which is not having syntax-rules. 05:04:56 Why ugh? 05:05:35 *jcowan* tries to figure out s7's actual provenance 05:05:54 There's no shortage of scheme implementations ... and if you allow second-generation hacked versions of implementations then the list grows exponentially. 05:06:03 Oho. https://ccrma.stanford.edu/software/snd/snd/s7.html 05:06:53 So PLT is not the 4.2.7th generation of the original PLT? 05:06:53 *eli* ughs louder 05:07:40 Sure. 05:07:42 I don't, personally, weigh all implementations the same. But I'm well aware that few people agree on the proper weighting. 05:08:03 Each an every revision of the plt codebase is a new implementation, so we have about 20k implementations done only in the last 5 years. 05:08:16 s/an/and/ 05:08:21 *jcowan* shrugs. 05:08:42 S7 is substantially different from TinyScheme. I treat scsh as substantially different from Scheme48, even though it's basically a fork. 05:09:09 And ofcourse, given that there are about 20 or so dialects of things that could be considered scheme, this means about 400k implementations in 5 years. 05:10:11 If S7 is that thing from common music, then it is definitely not a language to even consider talking about in any scheme context. Common music as a system is very much into either common music or a language-agnostic "just compose music". 05:10:43 s7 is the scripting language within the `snd' editor. 05:11:00 So it may be. It also exists stand-alone. 05:11:35 It's always possible to draw lines that only include "real Schemes", which turns out to mean "Schemes I like". I don't draw such lines. 05:12:18 jcowan: In that case, as I said, you should include Swindle too, as a separate scheme, as well as many more schemes. 05:12:24 Just as aesthetic judgements are useless in standardization. "Ugly" doesn't tell you anything about a feature's merit: all it means is that the person making the judgment is very likely immune to rational conviction, and so arguing with them is useless. 05:14:02 I think Alex is worried that the bar is so high that WG1's product will never be accepted by the community, and so he's set the bar so high inside WG1 that nothing will escape. 05:15:49 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 05:16:21 *jcowan* shrugs. 05:16:27 Are we downhearted? No. 05:17:11 arrummzen [~arrummzen@ip68-5-249-130.oc.oc.cox.net] has joined #scheme 05:21:55 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 05:22:06 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 05:25:48 -!- sepult [~user@xdsl-87-78-74-140.netcologne.de] has quit [Read error: Connection reset by peer] 05:26:56 sepult [~user@xdsl-87-78-74-140.netcologne.de] has joined #scheme 05:28:23 jonrafkind [~jon@c-98-202-82-46.hsd1.ut.comcast.net] has joined #scheme 05:37:44 -!- jcowan [~jcowan@cpe-98-14-172-204.nyc.res.rr.com] has left #scheme 05:38:54 -!- JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has quit [Ping timeout: 240 seconds] 05:42:23 -!- arcfide [~arcfide@ppp-70-246-129-70.dsl.stlsmo.swbell.net] has quit [Quit: ircII EPIC4-2.8 -- Are we there yet?] 05:43:37 -!- sepult [~user@xdsl-87-78-74-140.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 05:46:06 JoelMcCracken [~joelmccra@pool-71-182-167-208.pitbpa.east.verizon.net] has joined #scheme 05:47:03 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 276 seconds] 05:51:33 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 06:25:21 -!- KatieHuber|away is now known as KatieHuber 06:28:43 leppie [~lolcow@dsl-243-50-80.telkomadsl.co.za] has joined #scheme 06:30:02 -!- PygoscelisPapua [~pygospa@g226230034.adsl.alicedsl.de] has quit [Ping timeout: 246 seconds] 06:31:53 PygoscelisPapua [~pygospa@f055206187.adsl.alicedsl.de] has joined #scheme 06:32:03 bipt [bpt@cpe-075-182-095-009.nc.res.rr.com] has joined #scheme 06:38:48 fabe [~fabe@p54A7E0A2.dip.t-dialin.net] has joined #scheme 06:58:19 -!- jonrafkind [~jon@c-98-202-82-46.hsd1.ut.comcast.net] has quit [Ping timeout: 260 seconds] 07:01:28 -!- nickgibbon [~nring@210.8.201.244] has quit [Quit: Leaving.] 07:04:09 pavelludiq [~quassel@87.246.28.180] has joined #scheme 07:09:27 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 07:17:47 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 07:17:58 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 07:20:46 -!- mbohun [~mbohun@202.124.74.201] has quit [Quit: Leaving] 07:21:21 -!- JoelMcCracken [~joelmccra@pool-71-182-167-208.pitbpa.east.verizon.net] has quit [Quit: This computer has gone to sleep] 07:23:02 -!- fabe [~fabe@p54A7E0A2.dip.t-dialin.net] has quit [Remote host closed the connection] 07:26:27 virl [~virl__@chello062178085149.1.12.vie.surfer.at] has joined #scheme 07:30:50 reprore [~reprore@2002:7230:a83a:c:21e:c2ff:feb4:2a5d] has joined #scheme 07:34:14 foof [~user@isa7-dhcp-116-212.naist.jp] has joined #scheme 07:41:47 -!- PygoscelisPapua [~pygospa@f055206187.adsl.alicedsl.de] has quit [Ping timeout: 246 seconds] 07:43:53 PygoscelisPapua [~pygospa@f055160058.adsl.alicedsl.de] has joined #scheme 07:48:22 -!- Daemmerung [~goetter@64.146.161.228] has quit [Ping timeout: 264 seconds] 07:50:34 attila_lendvai [~ati@4d6f5d3b.adsl.enternet.hu] has joined #scheme 07:51:37 -!- Morbeo [myrlochar@91.92.170.132] has quit [Ping timeout: 246 seconds] 08:09:54 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 08:13:35 wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has joined #scheme 08:18:15 Daemmerung [~goetter@64.146.161.228] has joined #scheme 08:22:10 -!- xwl_ [~user@esprx01x.nokia.com] has quit [Remote host closed the connection] 08:22:59 xwl_ [~user@esprx01x.nokia.com] has joined #scheme 08:27:09 -!- PygoscelisPapua [~pygospa@f055160058.adsl.alicedsl.de] has quit [Read error: Connection reset by peer] 08:28:52 -!- wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 08:32:32 PygoscelisPapua [~pygospa@f055071226.adsl.alicedsl.de] has joined #scheme 08:39:45 -!- sad0ur_ is now known as sad0ur 08:41:26 -!- Daemmerung [~goetter@64.146.161.228] has quit [Ping timeout: 265 seconds] 08:45:55 pavelludiq_ [~quassel@87.246.28.180] has joined #scheme 08:46:25 -!- pavelludiq [~quassel@87.246.28.180] has quit [Read error: Connection reset by peer] 08:48:14 Daemmerung [~goetter@64.146.161.228] has joined #scheme 08:51:14 Mandar [~armand@217.108.230.48] has joined #scheme 09:05:28 -!- hkBst [~hkBst@gentoo/developer/hkbst] has quit [Ping timeout: 258 seconds] 09:09:43 -!- mornfall_ [~mornfall@anna.fi.muni.cz] has quit [Quit: Reconnecting] 09:09:45 mornfall [~mornfall@anna.fi.muni.cz] has joined #scheme 09:09:47 -!- mornfall [~mornfall@anna.fi.muni.cz] has quit [Changing host] 09:09:47 mornfall [~mornfall@kde/developer/mornfall] has joined #scheme 09:11:30 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 09:13:30 -!- foof [~user@isa7-dhcp-116-212.naist.jp] has quit [Ping timeout: 256 seconds] 09:20:04 foof [~user@isa7-dhcp-116-212.naist.jp] has joined #scheme 09:21:04 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 09:24:52 -!- sstrickl [~sstrickl@pool-129-44-187-133.bos.east.verizon.net] has quit [Quit: sstrickl] 09:26:56 ecraven [~nex@octonex.swe.uni-linz.ac.at] has joined #scheme 09:29:18 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 09:38:59 bokr [~eduska@95.154.102.124] has joined #scheme 09:46:36 -!- hkBst [~hkBst@gentoo/developer/hkbst] has quit [Remote host closed the connection] 09:49:04 schmir [~schmir@mail.brainbot.com] has joined #scheme 09:50:04 -!- foof [~user@isa7-dhcp-116-212.naist.jp] has quit [Ping timeout: 245 seconds] 09:59:03 melba [~blee@unaffiliated/lazz0] has joined #scheme 10:00:08 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 10:10:02 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 10:10:04 -!- PygoscelisPapua [~pygospa@f055071226.adsl.alicedsl.de] has quit [Ping timeout: 245 seconds] 10:12:00 PygoscelisPapua [~pygospa@f055019220.adsl.alicedsl.de] has joined #scheme 10:12:04 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has left #scheme 10:17:50 -!- k4jd095b_ [~k4jd095b@87.70.183.61] has quit [Read error: Connection reset by peer] 10:18:05 k4jd095b_ [~k4jd095b@87.70.183.61] has joined #scheme 10:23:03 mbishop_ [~martin@adsl-156-111-54.msy.bellsouth.net] has joined #scheme 10:26:19 -!- mbishop [~martin@adsl-157-34-17.msy.bellsouth.net] has quit [Ping timeout: 265 seconds] 10:29:18 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 10:30:01 -!- reprore [~reprore@2002:7230:a83a:c:21e:c2ff:feb4:2a5d] has quit [Read error: Connection reset by peer] 10:30:10 sstrickl [~sstrickl@nomad.ccs.neu.edu] has joined #scheme 10:30:22 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 10:31:47 fradgers- [~fradgers-@5ad4c06e.bb.sky.com] has joined #scheme 10:36:50 -!- ribbs [~ribbs@p024062.doubleroute.jp] has quit [Quit: Leaving...] 10:39:25 -!- bokr [~eduska@95.154.102.124] has quit [Quit: Leaving.] 10:40:34 zk [~elderK@125-238-255-27.jetstream.xtra.co.nz] has joined #scheme 10:44:11 -!- elderK [~elderK@pdpc/supporter/active/elderk] has quit [Ping timeout: 260 seconds] 10:48:31 -!- zk is now known as elderK 10:48:32 -!- elderK [~elderK@125-238-255-27.jetstream.xtra.co.nz] has quit [Changing host] 10:48:32 elderK [~elderK@pdpc/supporter/active/elderk] has joined #scheme 10:52:48 Pinku [~Pinku@83.231.62.63] has joined #scheme 10:53:03 Hello, morning. 10:54:44 Morning, Hello :) 10:54:59 *elderK* points to free coffee, courtesy of the multiverse. 10:54:59 Hello, elderK. 10:55:02 enjoy 10:55:43 I can't drink coffee but i'll take a cup of tea, thanks. :))) 10:57:28 -!- TR2N [email@89-180-137-56.net.novis.pt] has quit [Ping timeout: 246 seconds] 10:57:45 bokr [~eduska@95.154.102.124] has joined #scheme 10:58:05 xwl_` [~user@esprx01x.nokia.com] has joined #scheme 10:58:20 -!- xwl_ [~user@esprx01x.nokia.com] has quit [Remote host closed the connection] 10:59:00 *elderK* casts teaify on the coffe 10:59:05 thar she blows. 10:59:05 :P 11:00:55 TR2N` [email@89-180-228-111.net.novis.pt] has joined #scheme 11:01:41 -!- TR2N` is now known as TR2N 11:04:58 -!- pavelludiq_ [~quassel@87.246.28.180] has quit [Remote host closed the connection] 11:10:14 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 11:14:56 -!- haptlK [~alsodongs@157.140.112.178] has quit [] 11:15:10 haptiK [~alsodongs@157.140.112.178] has joined #scheme 11:17:02 -!- bipt [bpt@cpe-075-182-095-009.nc.res.rr.com] has quit [Ping timeout: 256 seconds] 11:24:31 -!- duncanm [~duncan@a-chinaman.com] has quit [Disconnected by services] 11:24:34 duncanm_ [~duncan@a-chinaman.com] has joined #scheme 11:24:34 la la la 11:24:35 emma_ [~em@unaffiliated/emma] has joined #scheme 11:25:04 alexsuraci_ [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 11:25:17 rup_ [Rupert@deathcoil.net] has joined #scheme 11:27:34 -!- TR2N [email@89-180-228-111.net.novis.pt] has quit [Ping timeout: 245 seconds] 11:28:42 saccade__ [~saccade_@COMBINATOR.MIT.EDU] has joined #scheme 11:29:37 -!- kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has quit [*.net *.split] 11:29:37 -!- alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [*.net *.split] 11:29:38 -!- rup [Rupert@deathcoil.net] has quit [*.net *.split] 11:29:38 -!- joast [~rick@76.178.178.72] has quit [*.net *.split] 11:29:38 -!- fda314925 [~fda314925@121.124.124.117] has quit [*.net *.split] 11:29:38 -!- emma [~em@unaffiliated/emma] has quit [*.net *.split] 11:29:38 -!- saccade [~saccade_@COMBINATOR.MIT.EDU] has quit [*.net *.split] 11:33:55 kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has joined #scheme 11:37:43 fda314925 [~fda314925@121.124.124.117] has joined #scheme 11:38:37 joast [~rick@76.178.178.72] has joined #scheme 11:45:48 dzhus [~sphinx@95-27-173-60.broadband.corbina.ru] has joined #scheme 11:54:49 alvatar [~alvatar@70.127.222.87.dynamic.jazztel.es] has joined #scheme 11:57:04 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has quit [Remote host closed the connection] 11:57:11 -!- hkBst [~hkBst@gentoo/developer/hkbst] has quit [Read error: Connection reset by peer] 11:58:09 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 11:58:28 mario-goulart [~user@67.205.85.241] has joined #scheme 12:01:19 albacker [~eni@unaffiliated/enyx] has joined #scheme 12:08:01 MononcQc [~ftrottier@207.253.180.96] has joined #scheme 12:10:08 kingping [~kp@95.70.84.123] has joined #scheme 12:10:29 Hello folks. 12:10:38 Is plt-scheme ok for begginers? 12:11:38 yes :) 12:11:42 s/gin/inn/ 12:12:35 kingping: I've just started with mit because I'm following the SICP lectures 12:14:02 SICP 12:14:43 kingping: the lectures on the topic 12:14:45 structure and interpretation of computer programs 12:15:01 a classic textbook for CS 12:15:21 :) http://s.lurkmore.ru/images/thumb/8/8b/Sicp_cover.png/180px-Sicp_cover.png 12:15:34 actually, they are in mp4 format on the mit opencourseware website 12:15:39 Any scheme you can easily install is ok for beginners; but ones with good tracing facilities are excellent for advanced beginners :-) 12:16:06 alaricsp: Like debugger, yep, that's good. 12:20:12 -!- sstrickl [~sstrickl@nomad.ccs.neu.edu] has quit [Quit: sstrickl] 12:20:33 sstrickl [~sstrickl@nomad.ccs.neu.edu] has joined #scheme 12:21:33 -!- joast [~rick@76.178.178.72] has quit [Ping timeout: 240 seconds] 12:22:39 -!- cmatei [~cmatei@95.76.18.242] has quit [Ping timeout: 260 seconds] 12:23:58 JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has joined #scheme 12:35:22 cmatei [~cmatei@95.76.18.242] has joined #scheme 12:39:27 -!- mbishop_ [~martin@adsl-156-111-54.msy.bellsouth.net] has quit [Ping timeout: 260 seconds] 12:45:53 -!- KatieHuber is now known as KatieHuber|away 12:51:33 luz [~davids@139.82.89.70] has joined #scheme 12:52:40 wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has joined #scheme 12:53:28 -!- kingping [~kp@95.70.84.123] has quit [Quit: Vale.] 12:53:30 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has left #scheme 12:54:37 joast [~rick@76.178.178.72] has joined #scheme 12:55:26 mbishop_ [~martin@adsl-156-111-54.msy.bellsouth.net] has joined #scheme 12:57:10 -!- drwho [~drwho@c-71-225-11-30.hsd1.pa.comcast.net] has quit [Quit: A known mistake is better than an unknown truth.] 12:59:02 -!- elderK [~elderK@pdpc/supporter/active/elderk] has quit [Quit: elderK] 13:01:53 xwl [~user@123.115.121.9] has joined #scheme 13:02:28 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 13:03:35 mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 13:09:36 -!- KatieHuber|away is now known as KatieHuber 13:13:00 davazp [~user@147.Red-88-6-205.staticIP.rima-tde.net] has joined #scheme 13:25:05 josephholsten [~josephhol@adsl-64-149-63-227.dsl.tul2ok.sbcglobal.net] has joined #scheme 13:27:25 -!- josephholsten [~josephhol@adsl-64-149-63-227.dsl.tul2ok.sbcglobal.net] has quit [Quit: josephholsten] 13:33:20 pavelludiq [~quassel@87.246.28.180] has joined #scheme 13:37:32 -!- samth_away is now known as samth 13:41:48 fax [~none@unaffiliated/fax] has joined #scheme 13:44:20 -!- mejja [~user@c-68b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.0.14/2009090900]] 13:52:25 bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 14:16:26 -!- davazp [~user@147.Red-88-6-205.staticIP.rima-tde.net] has quit [Remote host closed the connection] 14:21:15 minion: chant 14:21:15 MORE LLONG 14:21:20 ...no. 14:23:14 phao [~phao@189.107.170.85] has joined #scheme 14:27:55 haha 14:28:03 minion: chant 14:28:03 MORE LLONG 14:28:09 yeah, that's not going to work 14:29:25 You've got to supply something more interesting to chant. 14:29:27 minion: chant 14:29:28 MORE INTERESTING 14:29:41 Otherwise, it's just more of the same. 14:29:43 minion: chant 14:29:43 MORE OF THE SAME 14:30:25 Think of minion as being more of a backing choir. 14:30:26 minion: chant 14:30:27 MORE OF A BACKING 14:30:43 chandler: that was funny, chandler. :-) 14:31:32 Probably more to you than to me. 14:31:33 minion: chant 14:31:33 MORE TO YOU 14:37:28 cornucopic [~r00t@202.3.77.126] has joined #scheme 14:48:05 -!- cornucopic [~r00t@202.3.77.126] has quit [Quit: so long..] 14:56:14 -!- KatieHuber is now known as KatieHuber|away 14:58:38 MrFahrenheit [~RageOfTho@users-55-109.vinet.ba] has joined #scheme 14:59:59 -!- pavelludiq [~quassel@87.246.28.180] has quit [Read error: Connection reset by peer] 15:02:45 foof [~user@FLH1Aib193.osk.mesh.ad.jp] has joined #scheme 15:05:42 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Quit: +++ killed by SIGSEGV +++] 15:07:38 acarrico [~acarrico@pppoe-68-142-33-192.gmavt.net] has joined #scheme 15:17:39 -!- alvatar [~alvatar@70.127.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 15:24:07 -!- bokr [~eduska@95.154.102.124] has quit [Quit: Leaving.] 15:40:41 -!- kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has quit [Ping timeout: 260 seconds] 15:41:59 -!- attila_lendvai [~ati@4d6f5d3b.adsl.enternet.hu] has quit [Ping timeout: 246 seconds] 15:45:34 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 15:49:55 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 15:56:11 Daemmeru` [~goetter@64.146.161.228] has joined #scheme 15:56:11 -!- Daemmerung [~goetter@64.146.161.228] has quit [Read error: Connection reset by peer] 15:56:26 -!- alexsuraci_ is now known as alexsuraci 16:03:12 -!- 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] 16:11:22 -!- foof [~user@FLH1Aib193.osk.mesh.ad.jp] has quit [Ping timeout: 276 seconds] 16:11:28 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 16:12:09 pdponze [~pdponze@144.85.124.96] has joined #scheme 16:12:33 Oh boy, I was out for a week, I hope nothing has happened for SG1/2 16:13:12 they were waiting for you 16:19:34 -!- schmir [~schmir@mail.brainbot.com] has quit [Remote host closed the connection] 16:25:21 -!- xwl [~user@123.115.121.9] has quit [Ping timeout: 268 seconds] 16:28:49 -!- MrFahrenheit [~RageOfTho@users-55-109.vinet.ba] has quit [Ping timeout: 245 seconds] 16:31:22 -!- ASau [~user@83.69.227.32] has quit [Ping timeout: 246 seconds] 16:32:48 ASau [~user@83.69.227.32] has joined #scheme 16:37:06 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 265 seconds] 16:41:26 -!- emma_ is now known as emma 16:42:47 pavelludiq [~quassel@87.246.28.180] has joined #scheme 16:47:48 fabe [~fabe@p54A7E0A2.dip.t-dialin.net] has joined #scheme 16:50:12 MrFahrenheit [~RageOfTho@users-55-124.vinet.ba] has joined #scheme 16:50:42 -!- Pinku [~Pinku@83.231.62.63] has quit [Ping timeout: 276 seconds] 16:57:04 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 17:01:27 Fabse [~mightyfid@wikipedia/Track-n-Field] has joined #scheme 17:02:37 hadronzoo [~hadronzoo@rrcs-67-78-79-54.sw.biz.rr.com] has joined #scheme 17:04:39 -!- wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 17:06:18 alvatar [~alvatar@70.127.222.87.dynamic.jazztel.es] has joined #scheme 17:06:54 scheibo [~scheibo@129-97-249-119.uwaterloo.ca] has joined #scheme 17:12:00 -!- Daemmeru` is now known as Daemmerung 17:14:23 Daemmerung pasted "It is a pity that call-with-values isn't n-ary" at http://paste.lisp.org/display/96622 17:20:51 michalk [~michalk@chello089073134224.chello.pl] has joined #scheme 17:22:40 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 17:22:56 sepult [~user@xdsl-78-35-195-233.netcologne.de] has joined #scheme 17:26:45 It's a pity you used syntax were a procedure would have sufficed 17:28:14 -!- Mandar [~armand@217.108.230.48] has quit [Quit: Quitte] 17:30:07 saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has joined #scheme 17:33:04 saccade [~saccade@dhcp-18-111-68-179.dyn.mit.edu] has joined #scheme 17:33:05 hiyuh [~hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has joined #scheme 17:36:04 Daemmerung, isn't that just compose? 17:40:03 samth: Indeed, pretty much. Thank you. 17:40:41 compose + left-to-right "application" + a little sugar for literal `values' at the head of the pipeline 17:42:34 Daemmerung, see the def of `compose' here: http://svn.plt-scheme.org/plt/trunk/collects/scheme/private/list.ss (it's at the end) 17:47:35 proq [~user@unaffiliated/proqesi] has joined #scheme 17:48:26 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 17:49:01 -!- haptiK [~alsodongs@157.140.112.178] has quit [Quit: dicks] 17:49:09 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 17:57:09 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Ping timeout: 245 seconds] 17:57:17 Mikaeel_Mohamed [~Mohamdu@129-97-241-106.uwaterloo.ca] has joined #scheme 17:59:55 bipt [bpt@cpe-075-182-095-009.nc.res.rr.com] has joined #scheme 18:02:06 -!- saccade [~saccade@dhcp-18-111-68-179.dyn.mit.edu] has quit [Quit: This computer has gone to sleep] 18:02:57 Daemmerung annotated #96622 "q&d version using PLT `compose'" at http://paste.lisp.org/display/96622#1 18:02:57 erato [~user@081-003-214-196.yesss.at] has joined #scheme 18:16:03 samth annotated #96622 "untitled" at http://paste.lisp.org/display/96622#2 18:16:17 Daemmerung, fixed your problem 18:18:01 Thanks. I was waiting until I suffered from a little more smoke inhalation before essaying it in syntax-rules. 18:18:44 *Daemmerung* returns to the morning's burning 18:21:13 -!- Fabse [~mightyfid@wikipedia/Track-n-Field] has quit [Ping timeout: 260 seconds] 18:21:33 funkenblatt [~user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has joined #scheme 18:22:41 kniu [~kniu@HOHOHO.RES.CMU.EDU] has joined #scheme 18:23:24 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 18:24:17 serfurj [~user@24-155-108-191.dyn.grandenetworks.net] has joined #scheme 18:25:15 ysph [~user@24.181.93.165] has joined #scheme 18:26:51 -!- JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has quit [Quit: This computer has gone to sleep] 18:29:57 Fabse [~mightyfid@wikipedia/Track-n-Field] has joined #scheme 18:31:11 Daemmerung, trying to write complex macros in syntax-rules is a fool's errand 18:33:24 saccade [~saccade@dhcp-18-111-68-179.dyn.mit.edu] has joined #scheme 18:34:59 attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 18:35:33 -!- hadronzoo [~hadronzoo@rrcs-67-78-79-54.sw.biz.rr.com] has quit [Quit: hadronzoo] 18:37:54 hmm, I when `open-database' uses a lock file, ensuring the closing of the database (and hence removing the lock file) via `dynamic-wind' is appropriate(?) 18:38:01 s/I when/when/ 18:38:19 -!- Khisanth [~Khisanth@pool-141-157-238-16.ny325.east.verizon.net] has quit [Quit: Leaving] 18:38:50 Khisanth [~Khisanth@pool-141-157-238-16.ny325.east.verizon.net] has joined #scheme 18:39:23 IIRC dynamic-wind cannot take back side effects 18:40:20 -!- hosh_office [~hosh@c-24-126-188-198.hsd1.ga.comcast.net] has quit [Read error: Connection reset by peer] 18:41:32 sepult` [~user@xdsl-78-35-214-36.netcologne.de] has joined #scheme 18:42:59 -!- sepult [~user@xdsl-78-35-195-233.netcologne.de] has quit [Disconnected by services] 18:43:02 -!- sepult` is now known as sepult 18:46:05 -!- MrFahrenheit [~RageOfTho@users-55-124.vinet.ba] has quit [Write error: Connection reset by peer] 18:46:16 -!- mbishop_ is now known as mbishop 18:46:21 MrFahrenheit [~RageOfTho@users-55-124.vinet.ba] has joined #scheme 18:50:08 C-Keen, nothing can take back side-effects 18:50:24 Backup. 18:50:55 mario-goulart, that might take a lot of storage :) 18:51:18 Safety has its price. :-) 18:53:06 *mbishop* straps on anti-denture defense system 18:53:15 I can't move, but at least I don't have to worry about offby1! 18:56:54 I am somewhat dismayed to report that when you said "nothing can take back side-effects" I immediately envisioned Chuck Norris proving you wrong 18:57:23 :) 18:57:24 -!- Fabse [~mightyfid@wikipedia/Track-n-Field] has quit [] 18:59:52 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 19:03:28 -!- dzhus [~sphinx@95-27-173-60.broadband.corbina.ru] has quit [Ping timeout: 258 seconds] 19:08:27 -!- metasyntax` [~taylor@75-149-208-121-Illinois.hfc.comcastbusiness.net] has quit [Quit: Be seeing you.] 19:19:05 -!- MrFahrenheit [~RageOfTho@users-55-124.vinet.ba] has quit [Ping timeout: 260 seconds] 19:19:34 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Ping timeout: 264 seconds] 19:21:23 HG` [~HG@xdsler200.osnanet.de] has joined #scheme 19:25:07 drwho [~drwho@c-71-225-11-30.hsd1.pa.comcast.net] has joined #scheme 19:32:38 -!- sphex_ [~nobody@modemcable072.42-37-24.mc.videotron.ca] has quit [Ping timeout: 246 seconds] 19:33:30 sphex [~nobody@modemcable072.42-37-24.mc.videotron.ca] has joined #scheme 19:36:12 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 19:36:19 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Ping timeout: 245 seconds] 19:43:53 -!- jeapostrophe is now known as jay-m 19:44:02 -!- jay-m is now known as jay-mccarthy 19:50:30 -!- alvatar [~alvatar@70.127.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 19:54:46 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 19:55:57 -!- pdponze [~pdponze@144.85.124.96] has quit [Ping timeout: 276 seconds] 19:56:15 pdponze [~pdponze@144.85.124.96] has joined #scheme 19:56:48 -!- michalk [~michalk@chello089073134224.chello.pl] has quit [Remote host closed the connection] 19:57:34 -!- arrummzen [~arrummzen@ip68-5-249-130.oc.oc.cox.net] has quit [Ping timeout: 245 seconds] 19:58:24 -!- Mr_Awesome [~eric@c-98-212-139-181.hsd1.il.comcast.net] has quit [Ping timeout: 245 seconds] 20:10:46 -!- erato [~user@081-003-214-196.yesss.at] has quit [Remote host closed the connection] 20:11:49 -!- specbot [~specbot@common-lisp.net] has quit [*.net *.split] 20:11:49 -!- samth [~samth@punge.ccs.neu.edu] has quit [*.net *.split] 20:11:49 -!- jyujin [~mdeininge@vs166245.vserver.de] has quit [*.net *.split] 20:11:49 -!- ineiros [~itniemin@james.ics.hut.fi] has quit [*.net *.split] 20:11:49 -!- Armageddon00 [~danking@zerowing.ccs.neu.edu] has quit [*.net *.split] 20:11:49 -!- kencausey [~ken@67.15.6.88] has quit [*.net *.split] 20:11:49 -!- ski [~slj@c-0712e055.1149-1-64736c10.cust.bredbandsbolaget.se] has quit [*.net *.split] 20:11:49 -!- eli [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 20:11:49 -!- gerard [~gerard@cs181141133.pp.htv.fi] has quit [*.net *.split] 20:11:50 -!- minion [~minion@common-lisp.net] has quit [*.net *.split] 20:11:51 -!- mhoye [~mhoye@shell.off.net] has quit [*.net *.split] 20:11:51 -!- z0d [~z0d@unaffiliated/z0d] has quit [*.net *.split] 20:12:44 C-Keen: I think I /can/ (within constraints) ensure using dynamic-wind that the lock file is removed, at the expense of forbidding re-entering the dynamic extent where the DB is open 20:14:15 -!- luz [~davids@139.82.89.70] has quit [Read error: Connection timed out] 20:14:48 luz [~davids@139.82.89.70] has joined #scheme 20:14:50 Armageddon00 [~danking@zerowing.ccs.neu.edu] has joined #scheme 20:14:56 kencausey [~ken@67.15.6.88] has joined #scheme 20:15:02 samth [~samth@punge.ccs.neu.edu] has joined #scheme 20:15:02 minion [~minion@common-lisp.net] has joined #scheme 20:15:02 mhoye [~mhoye@shell.off.net] has joined #scheme 20:15:02 jyujin [~mdeininge@vs166245.vserver.de] has joined #scheme 20:15:02 z0d [~z0d@unaffiliated/z0d] has joined #scheme 20:15:05 ski [~slj@c-0712e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 20:15:05 eli [~eli@winooski.ccs.neu.edu] has joined #scheme 20:15:05 gerard [~gerard@cs181141133.pp.htv.fi] has joined #scheme 20:15:26 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 20:15:44 ineiros [~itniemin@james.ics.hut.fi] has joined #scheme 20:18:29 -!- leppie [~lolcow@dsl-243-50-80.telkomadsl.co.za] has quit [Ping timeout: 246 seconds] 20:35:09 -!- MononcQc [~ftrottier@207.253.180.96] has quit [Quit: leaving] 20:40:49 -!- Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has quit [Quit: Leaving] 20:45:28 -!- KatieHuber|away is now known as KatieHuber 20:45:44 specbot [~specbot@common-lisp.net] has joined #scheme 20:51:43 Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 20:58:28 -!- pdponze [~pdponze@144.85.124.96] has quit [Ping timeout: 258 seconds] 21:00:02 JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has joined #scheme 21:00:33 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 21:01:52 Daemmerung annotated #96622 "Fools rush in..." at http://paste.lisp.org/display/96622#3 21:04:41 -!- duncanm_ is now known as duncanm 21:05:18 -!- melba [~blee@unaffiliated/lazz0] has quit [Quit: my favourite color is blue......NO, YELLOWWWWWWWWW] 21:06:30 Daemmerung, like I said 21:09:48 It was driving me nuts. Had to come inside and work it out. 21:10:23 rotty: have you read your "More simply addressing the confusion about UNWIND-PROTECT in Scheme" today? http://mumble.net/~campbell/blag.txt 21:10:35 (This is how I amuse myself while doing boring chores.) 21:13:29 schmir [~schmir@p54A93742.dip0.t-ipconnect.de] has joined #scheme 21:16:43 hadronzoo [~hadronzoo@64.134.146.124] has joined #scheme 21:22:09 yeah, but I still am not sure when I'm facing an actual problem instance :-/ 21:31:55 haha 21:31:58 I've just found out something very strange 21:32:12 I tend to find solutions to problems when I try to prove that the problem is unsolvable :-) 21:32:59 Tackle P =?= NP next! 21:33:21 do it! 21:35:11 wat would it mean if that fproblem was undecidible? 21:36:29 -!- JoelMcCracken [~joelmccra@pool-96-236-231-67.pitbpa.east.verizon.net] has left #scheme 21:39:48 -!- Mikaeel_Mohamed [~Mohamdu@129-97-241-106.uwaterloo.ca] has quit [Quit: Leaving] 21:41:30 fax, ? 21:53:53 -!- samth is now known as samth_awa 21:53:55 -!- samth_awa is now known as samth_away 21:59:31 -!- HG` [~HG@xdsler200.osnanet.de] has quit [Quit: Leaving.] 22:11:11 -!- k4jd095b_ [~k4jd095b@87.70.183.61] has quit [Read error: Connection reset by peer] 22:11:41 k4jd095b_ [~k4jd095b@87.70.183.61] has joined #scheme 22:16:05 MrFahrenheit [~RageOfTho@users-33-117.vinet.ba] has joined #scheme 22:20:11 jao [~jao@83.42.210.7] has joined #scheme 22:20:49 annodomini [~lambda@wikipedia/lambda] has joined #scheme 22:21:59 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 22:22:12 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [Quit: Leaving] 22:23:38 -!- saccade [~saccade@dhcp-18-111-68-179.dyn.mit.edu] has quit [Quit: This computer has gone to sleep] 22:24:15 -!- copumpkin [~copumpkin@c-75-69-96-50.hsd1.nh.comcast.net] has quit [Quit: copumpkin] 22:33:14 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 246 seconds] 22:33:16 -!- luz [~davids@139.82.89.70] has quit [Quit: Client exiting] 22:42:09 -!- attila_lendvai [~ati@catv-89-134-66-143.catv.broadband.hu] has quit [Ping timeout: 240 seconds] 22:42:59 -!- schmir [~schmir@p54A93742.dip0.t-ipconnect.de] has quit [Ping timeout: 265 seconds] 22:47:18 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 22:53:29 r5rs call-with-values 22:53:29 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-9.html#%_idx_574 22:53:30 -rudybot_:#scheme- http://tinyurl.com/5pbxgd 22:53:32 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 246 seconds] 22:54:24 Fabse [~mightyfid@wikipedia/Track-n-Field] has joined #scheme 22:58:14 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 22:58:56 -!- albacker [~eni@unaffiliated/enyx] has quit [Quit: Leaving] 23:03:24 -!- hadronzoo [~hadronzoo@64.134.146.124] has quit [Quit: hadronzoo] 23:03:53 wingo [~wingo@48.Red-79-151-126.dynamicIP.rima-tde.net] has joined #scheme 23:06:42 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 23:07:47 -!- Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has quit [Quit: Leaving] 23:08:04 -!- askhader [~askhader@taurine.csclub.uwaterloo.ca] has left #scheme 23:09:59 Poeir [~Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 23:12:16 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 23:27:15 saccade [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 23:35:43 TR2N [email@89.180.158.168] has joined #scheme 23:38:25 bokr [~eduska@95.154.102.124] has joined #scheme 23:38:50 annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has joined #scheme 23:38:55 -!- annodomini [~lambda@2002:97cb:ee3e:2:21c:b3ff:febc:c615] has quit [Changing host] 23:38:55 annodomini [~lambda@wikipedia/lambda] has joined #scheme 23:40:27 -!- ysph [~user@24.181.93.165] has quit [Ping timeout: 260 seconds] 23:40:48 Riastradh [~riastradh@tissot.csail.mit.edu] has joined #scheme 23:50:31 -!- MrFahrenheit [~RageOfTho@users-33-117.vinet.ba] has quit [Ping timeout: 260 seconds] 23:55:30 -!- bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]