00:00:14 i'm using class bitmap% and bitmap-dc% 00:00:29 -!- masm [~masm@bl19-130-56.dsl.telepac.pt] has quit [Quit: Leaving.] 00:01:13 -!- proq [~user@unaffiliated/proqesi] has quit [Ping timeout: 264 seconds] 00:01:18 -!- Paraselene_ [~Not@79-67-148-135.dynamic.dsl.as9105.com] has quit [Disconnected by services] 00:01:20 Paraselene [~Not@79-67-148-135.dynamic.dsl.as9105.com] has joined #scheme 00:01:30 i cheated for nwo 00:01:33 ran xvfb 00:01:34 nasty :) 00:07:34 toekutr [~toekutr@adsl-69-107-127-5.dsl.pltn13.pacbell.net] has joined #scheme 00:16:36 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 276 seconds] 00:16:53 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 00:26:15 -!- Blkt [~user@dynamic-adsl-94-37-230-215.clienti.tiscali.it] has quit [Quit: ERROR: do not makunbound t please!] 00:28:16 mbohun [~mbohun@202.124.74.168] has joined #scheme 00:31:33 -!- z0d [~z0d@unaffiliated/z0d] has quit [Ping timeout: 276 seconds] 00:35:07 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 276 seconds] 00:37:47 -!- scheibo [~scheibo@dsl-173-206-227-68.tor.primus.ca] has quit [Quit: Lost terminal] 00:39:04 -!- proq` is now known as proq 00:39:16 -!- proq [~user@173-164-85-86-Oregon.hfc.comcastbusiness.net] has quit [Changing host] 00:39:16 proq [~user@unaffiliated/proqesi] has joined #scheme 00:42:09 Thomas_H [~Thomas_H@d207-6-77-199.bchsia.telus.net] has joined #scheme 00:43:44 -!- toekutr [~toekutr@adsl-69-107-127-5.dsl.pltn13.pacbell.net] has quit [Quit: Leaving] 00:48:08 -!- fschwidom [~fschwidom@p5B26ACC4.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 00:48:57 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 00:50:24 Is there some reason (define a (make-array 0 10)) should be giving me an error? 00:50:53 ERROR: In procedure macroexpand: 00:50:53 ERROR: no expressions in body in (lambda () (define a (make-array 0 10))) 00:50:57 :/ 00:51:31 saccade [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 00:54:11 schmir [~schmir@p54A903FA.dip0.t-ipconnect.de] has joined #scheme 00:56:48 nevermind...figured it out 00:58:04 -!- schmir [~schmir@p54A903FA.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 01:02:02 snarkyboojum [~snarkyboo@58.171.124.174] has joined #scheme 01:14:36 Mohamdu [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has joined #scheme 01:17:43 -!- Michael_Mohamed [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has quit [Ping timeout: 260 seconds] 01:18:20 -!- curi_ [~curi@adsl-99-114-139-86.dsl.pltn13.sbcglobal.net] has quit [Quit: Leaving] 01:24:52 _danb_ [~user@124-168-128-117.dyn.iinet.net.au] has joined #scheme 01:27:37 -!- proq [~user@unaffiliated/proqesi] has quit [Ping timeout: 264 seconds] 01:28:25 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 276 seconds] 01:29:27 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 01:35:45 -!- bgs100 is now known as bgs000 01:49:10 SailorReality [~Sailormoo@21Cust248.tnt1.calgary.ab.da.uu.net] has joined #scheme 01:49:41 -!- SailorReality [~Sailormoo@21Cust248.tnt1.calgary.ab.da.uu.net] has left #scheme 01:53:13 likebike [~900fffe3@gateway/web/freenode/x-acgabtflybvoqqym] has joined #scheme 02:02:52 samth [~samth@64.168.229.50] has joined #scheme 02:06:46 -!- copumpkin [~copumpkin@c-75-69-96-50.hsd1.nh.comcast.net] has quit [Quit: copumpkin] 02:07:00 copumpkin [~copumpkin@c-75-69-96-50.hsd1.nh.comcast.net] has joined #scheme 02:09:04 asarch [~asarch@189.188.141.214] has joined #scheme 02:14:10 -!- saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 264 seconds] 02:26:53 parolang: yeah. Internal define is probably rewritten as a letrec, and you gave no body to this let (no expression after the define) 02:26:57 -!- Axioplase_ is now known as Axioplase 02:35:12 -!- dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 02:37:11 -!- samth [~samth@64.168.229.50] has quit [Read error: Operation timed out] 02:42:09 -!- snarkyboojum [~snarkyboo@58.171.124.174] has quit [Quit: snarkyboojum] 02:47:28 dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has joined #scheme 02:49:17 incubot: you are definitely expressing it wrong. 02:49:21 It is a _bad_ thing for a language to be so verbose in expressing ideas that you spend most of your time typing in order to do so, rather than coming up with new ideas & expressing them more simply. 02:50:50 incubot: new ideas are never simple. if they were there would be no need to toil in search of them. 02:50:53 activity; toil; employment; sometimes, specifically, 02:51:51 incubot: rat, race, cheese, not, going to, mars 02:51:54 I don't think it was Mars. 02:52:27 that's what venus said. 02:52:33 timj_ [~timj@e176196255.adsl.alicedsl.de] has joined #scheme 02:55:17 snarkyboojum [~snarkyboo@120.152.168.147] has joined #scheme 02:56:18 -!- timj [~timj@e176193125.adsl.alicedsl.de] has quit [Ping timeout: 260 seconds] 03:06:31 powerje [~powerje@adsl-75-49-18-32.dsl.wotnoh.sbcglobal.net] has joined #scheme 03:09:13 samth [~samth@64.168.229.50] has joined #scheme 03:12:31 -!- foof [~user@lain.inunome.com] has quit [Ping timeout: 260 seconds] 03:20:02 foof [~user@lain.inunome.com] has joined #scheme 03:20:45 arcfide [~arcfide@adsl-99-50-226-43.dsl.bltnin.sbcglobal.net] has joined #scheme 03:22:52 jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has joined #scheme 03:32:46 -!- samth [~samth@64.168.229.50] has quit [Ping timeout: 264 seconds] 03:36:05 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 03:36:22 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 03:53:25 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 03:54:22 virl [~virl__@chello062178085149.1.12.vie.surfer.at] has joined #scheme 03:55:57 -!- snarkyboojum [~snarkyboo@120.152.168.147] has quit [Quit: snarkyboojum] 04:02:43 snarkyboojum [~snarkyboo@120.156.121.107] has joined #scheme 04:14:14 -!- kniu [~kniu@pool-71-105-73-34.lsanca.dsl-w.verizon.net] has quit [Quit: Leaving] 04:17:21 Michael_Mohamed [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has joined #scheme 04:17:27 -!- Michael_Mohamed [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has quit [Read error: Connection reset by peer] 04:17:41 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 04:17:59 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 04:18:33 -!- Mohamdu [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has quit [Ping timeout: 260 seconds] 04:22:03 -!- dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 04:26:15 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 04:34:37 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has left #scheme 04:34:51 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 04:38:44 bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has joined #scheme 04:40:45 Maxels [~Maxel@97-90-238-123.dhcp.eucl.wi.charter.com] has joined #scheme 04:40:56 -!- snarkyboojum [~snarkyboo@120.156.121.107] has quit [Quit: snarkyboojum] 04:41:38 -!- turbofail [~user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has quit [Remote host closed the connection] 04:49:01 -!- Maxels [~Maxel@97-90-238-123.dhcp.eucl.wi.charter.com] has quit [Quit: Leaving] 04:57:55 -!- jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has quit [Read error: Connection reset by peer] 04:58:57 jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has joined #scheme 04:59:52 snarkyboojum [~snarkyboo@58.171.10.246] has joined #scheme 05:04:44 necroforest_ [~jarred@pool-72-66-100-119.washdc.fios.verizon.net] has joined #scheme 05:05:31 -!- virl [~virl__@chello062178085149.1.12.vie.surfer.at] has quit [Remote host closed the connection] 05:08:06 -!- necroforest [~jarred@pool-72-66-100-119.washdc.fios.verizon.net] has quit [Ping timeout: 265 seconds] 05:19:15 -!- jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has quit [Ping timeout: 240 seconds] 05:24:44 -!- asarch [~asarch@189.188.141.214] has quit [Quit: Leaving] 05:27:30 mathk [~mathk@lns-bzn-42-82-255-95-164.adsl.proxad.net] has joined #scheme 05:38:31 -!- tessier [~treed@mail.copilotco.com] has quit [Changing host] 05:38:31 tessier [~treed@kernel-panic/copilotco] has joined #scheme 05:40:35 dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has joined #scheme 05:48:27 toekutr [~toekutr@adsl-69-107-127-5.dsl.pltn13.pacbell.net] has joined #scheme 05:50:27 somnium [~user@adsl-65-186-62.dab.bellsouth.net] has joined #scheme 05:55:00 Well thats just great, I got banned from #lisp and I have no clue why 05:56:00 cause it's #lisp 05:56:48 thats how they operate? 05:57:51 -!- Zarutian [~zarutian@194-144-84-110.du.xdsl.is] has quit [Quit: Zarutian] 06:02:13 -!- mathk [~mathk@lns-bzn-42-82-255-95-164.adsl.proxad.net] has quit [Quit: ..zzZzzZ] 06:04:40 I'm pretty peeved 06:05:05 oh well, I use scheme anyways :\ 06:06:13 walterm [~root@c-68-54-64-79.hsd1.fl.comcast.net] has joined #scheme 06:13:53 karljoh [fooki@h-73-135.A165.priv.bahnhof.se] has joined #scheme 06:19:56 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 06:21:38 -!- arcfide [~arcfide@adsl-99-50-226-43.dsl.bltnin.sbcglobal.net] has quit [Quit: Leaving.] 06:21:44 -!- walterm [~root@c-68-54-64-79.hsd1.fl.comcast.net] has quit [Quit: leaving] 06:25:31 bombshelter13b_ [~bombshelt@76-10-149-209.dsl.teksavvy.com] has joined #scheme 06:26:40 -!- bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has quit [Ping timeout: 240 seconds] 06:41:09 -!- parolang [~user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has quit [Remote host closed the connection] 06:46:05 -!- luz [~davids@189.60.69.82] has quit [Quit: Client exiting] 06:51:29 Thomas_H: you were totally trolling #lisp with your dick-in-a-box routine 06:53:40 http://tunes.org/~nef/logs/lisp/10.05.25 06:58:04 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Remote host closed the connection] 06:59:17 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 07:07:48 Thomas_H: I don't see you getting banned in my logs (I mean, there's no message saying "@foo puts +b on Thomas_H" around the time you complained here) 07:08:10 Hum, you're in the banlist, though. 07:08:53 yay, -O3 makes my program an order of magnitude slower! \o/ 07:09:04 *foof* loves g++ oh so very much 07:11:15 Oh, I see why. You said something no very politically correct yesterday. 07:11:31 03:28:40 --- mode: ChanServ set +o Xof 07:11:31 03:28:44 --- mode: Xof set +b *!*Thomas_H@*.bchsia.telus.net 07:12:22 Well, the five lines above this explain everything 07:12:46 heh 07:13:18 I have to say that I have only seen the "dick in a box" routine in an attempt to impress me once 07:13:21 to be fair, he was responding to "lisp in a box"; but i would have confined it to a one-liner, not a five-liner. 07:13:29 and it was fortunately in a context in which that was acceptable :P 07:13:42 elly: having trouble conjuring up such a context... 07:14:02 watching snl reruns? 07:14:03 klutometis: my boyfriend does things like that sometimes :P 07:14:09 nah 07:14:22 how is everyone tonight? 07:14:23 elly: Did the context preserve higiene? 07:14:31 Axioplase: no, actually 07:14:38 Axioplase: contexts with humans in them are rarely hygenic 07:14:49 particularly when you evaluate an expression containing multiple humans 07:14:56 (your story did not preserve my spelling abilities. Damn.) 07:15:07 we were both... unboxed? ;P 07:15:10 I'll stop now 07:15:11 elly: we don't want to know. 07:15:17 elly: we want to see \o/ 07:15:22 no, Axioplase :P 07:15:38 I need to write more scheme 07:15:42 it's been all C for me lately 07:16:20 i had this blond dentist once; i desperately wanted her to break hygiene. but, alas: she was so clinical. 07:16:52 haha :P 07:17:00 klutometis, you owe me coffee in a few weeks! 07:17:17 elly: sounds great! ping me when you're settled 07:17:27 I am going to be in Somerville somewhere, I suspect 07:17:34 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 07:17:37 meeting local people is high on my todo list 07:17:43 not east somerville, i hope? 07:18:06 even so, it's probably not as bad as everyone makes it out to be... 07:18:20 I have no idea which part of it is east. I'm planning to be near Porter Square. 07:18:54 oh, that's handy. right by the T 07:19:44 that's the idea :) 07:19:47 google is right near Kendall 07:20:00 perfect 07:20:44 I am sure google will have a lot of social stuff as well 07:20:46 -!- snarkyboojum [~snarkyboo@58.171.10.246] has quit [Quit: snarkyboojum] 07:21:24 klutometis: are there any local scheme user groups that do anything interesting? 07:21:40 elly: there are seminars at mit once and awhile 07:21:54 from my experience with google, though, it tends to be a self-referential world 07:22:03 at least on the west coast, it's a little insular 07:22:07 jcowan may disagree 07:22:13 well, on the west coast, it's in Mountain View 07:22:17 exactly 07:22:35 which is not so much a city as a google barracks :P 07:22:58 heh; mountain view does have the best pancakes, though ;) 07:23:11 there is no way that is true 07:23:21 the best pancakes are those eaten at 0430 at Eat 'n' Park near CMU :) 07:25:30 (primarily a function of time, not of source, I'm sure.) 07:30:34 maybe you can me help complete my intra-google pancake survey, then; i've only had mountain view and santa monica 07:30:52 I have no idea how the rules for that work 07:32:37 it involves inviting me to breakfast ;) 07:32:48 I think I can probably arrange that! 07:32:54 nice! 07:33:27 only if you are a perfect gentleman, though :) 07:34:32 or gentlewoman, I guess 07:34:36 I just realized I had been assuming 07:35:02 of course; i've been practicing an impeccable breakfast-face ;) 07:35:24 gentleman; but most of my exes have become lesbians, for some reason. 07:35:41 so maybe my subscription is questionable. 07:36:15 well, that's okay - I'm already inclined towards women as well as men, so a change is unlikely :P 07:36:21 I thought you said your eyes were lesbians, and I was very confused 07:36:49 mbishop: sounds like an interesting mushroom trip 07:37:54 elly: oh, that's interesting; i'm ambiguous, too. 07:38:11 ambisexterous! 07:38:15 -!- guenther_ [~unknown@sahnehaschee.unix-ag.uni-kl.de] has left #scheme 07:38:39 klutometis: hehe. I'm fairly weird along most axes, in fact. 07:38:40 nice; better claim that one on urban dictionary before i do! 07:38:48 (not least of which my fondness for axes.) 07:38:59 -!- jay-mccarthy [~jay@lallab.cs.byu.edu] has quit [Ping timeout: 258 seconds] 07:39:10 urbandictionary already has ambisexterous 07:39:21 i noticed; all the good neologisms are always taken 07:39:27 It's uncool. 07:40:02 -!- blake_johnson [~bjohn3x@lallab.cs.byu.edu] has quit [Ping timeout: 260 seconds] 07:40:16 snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has joined #scheme 07:40:40 are you saying, by the way, that you have a fondness for some axes but not others? 07:41:00 I have a fondness for most kinds of edged weapons, really. 07:41:06 jay-mccarthy [~jay@lallab.cs.byu.edu] has joined #scheme 07:41:30 merely decorative ones? 07:41:38 Uncool. 07:41:42 blake_johnson [~bjohn3x@lallab.cs.byu.edu] has joined #scheme 07:41:57 functional, then. 07:42:47 chittoor [~chittoor@listertech.in] has joined #scheme 07:42:51 -!- 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!] 07:45:50 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 07:53:17 *foof* prefers declarative edged weapons 07:53:31 speak softly and carry a sharp katana 07:57:25 schmir [~schmir@mail.brainbot.com] has joined #scheme 08:05:05 z0d [~z0d@unaffiliated/z0d] has joined #scheme 08:08:17 -!- mbohun [~mbohun@202.124.74.168] has quit [Quit: Leaving] 08:13:18 myu2 [~myu2@2001:200:141:7101:226:bbff:fe11:f1f4] has joined #scheme 08:14:07 -!- toekutr [~toekutr@adsl-69-107-127-5.dsl.pltn13.pacbell.net] has quit [Ping timeout: 272 seconds] 08:16:02 ejs [~eugen@77.222.151.102] has joined #scheme 08:20:33 -!- ejs [~eugen@77.222.151.102] has quit [Ping timeout: 252 seconds] 08:22:11 toekutr [~toekutr@adsl-69-107-97-1.dsl.pltn13.pacbell.net] has joined #scheme 08:22:38 -!- toekutr [~toekutr@adsl-69-107-97-1.dsl.pltn13.pacbell.net] has quit [Read error: Connection reset by peer] 08:25:55 Bonjour [~4e29e354@gateway/web/freenode/x-cpshvlorwklmjgwl] has joined #scheme 08:26:22 ejs [~eugen@nat.ironport.com] has joined #scheme 08:27:46 anyone know how to customize the prompt in mit-scheme? 08:28:01 either that or customize paredit to not treat brackets as parens? 08:29:51 *foof* is baffled that mit-scheme's default prompt would include an unbalanced ] 08:30:37 masm [~masm@bl19-152-99.dsl.telepac.pt] has joined #scheme 08:30:55 it was supposed to be a joke about lisp in a box 08:31:10 not a "troll" 08:33:12 -!- mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has quit [Ping timeout: 276 seconds] 08:33:58 perhaps it excludes balanced [, first hack for students in the lab... final comment: the balance in the force has been promptly balanced! 08:34:16 *sladegen* has no excuse. 08:34:27 sladegen: you're terrible. 08:34:32 Thomas_H: well, maybe the op who banned you didn't see the joke (I didn't at first either) 08:34:37 foof: speak softly and carry a well-concealed dagger 08:35:00 s/blanced/restored/doh 08:35:41 *sladegen* slaps himself in order to wake up his keyboard. 08:35:52 Yeah, maybe. I sent him a polite message and hopefully he sees it and reconsiders :\ 08:39:30 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 08:48:17 mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has joined #scheme 08:49:02 karme [~user@static.180.75.40.188.clients.your-server.de] has joined #scheme 08:51:13 lisppaste: ,url 08:51:13 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 08:51:56 Leonidas pasted "Prolog permutation" at http://paste.lisp.org/display/100494 08:53:10 I am trying to translate this prolog code into scheme (using minikanren) and I have do-insert already working, but could someone explain me how permute is supposed to work? 08:59:35 karme` [~user@static.180.75.40.188.clients.your-server.de] has joined #scheme 09:00:19 -!- karme [~user@static.180.75.40.188.clients.your-server.de] has quit [Remote host closed the connection] 09:00:53 -!- karme` [~user@static.180.75.40.188.clients.your-server.de] has quit [Remote host closed the connection] 09:03:13 seangrove [~user@c-67-188-2-246.hsd1.ca.comcast.net] has joined #scheme 09:06:23 -!- jao [~jao@138.Red-88-6-166.staticIP.rima-tde.net] has quit [Read error: Connection reset by peer] 09:09:55 -!- Arelius` is now known as Arelius 09:10:51 melba [~blee@unaffiliated/lazz0] has joined #scheme 09:14:14 phao [~phao@189.107.141.188] has joined #scheme 09:17:46 gravicappa [~gravicapp@80.90.116.82] has joined #scheme 09:19:03 fradgers- [~fradgers-@5e02b45e.bb.sky.com] has joined #scheme 09:21:08 Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has joined #scheme 09:23:36 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Read error: Operation timed out] 09:26:27 -!- ejs [~eugen@nat.ironport.com] has quit [Ping timeout: 265 seconds] 09:27:56 stis_i8 [~chatzilla@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 09:28:43 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 248 seconds] 09:30:03 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 09:30:12 -!- Axioplase is now known as Axioplase_ 09:31:38 -!- myu2 [~myu2@2001:200:141:7101:226:bbff:fe11:f1f4] has quit [Remote host closed the connection] 09:32:53 ejs [~eugen@nat.ironport.com] has joined #scheme 09:35:00 oh dear lord 09:35:06 which one of you experts are awake 09:35:18 doesn't matter, just watch http://www.youtube.com/watch?v=rdj6deraQ6k 09:43:08 fschwidom [~fschwidom@p5B26AAED.dip0.t-ipconnect.de] has joined #scheme 09:47:52 i like the closing parens 09:49:44 :-) 09:54:03 ) 09:54:28 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 10:05:36 :-) 10:10:02 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 10:23:06 -!- ejs [~eugen@nat.ironport.com] has quit [Ping timeout: 240 seconds] 10:30:59 ejs [~eugen@nat.ironport.com] has joined #scheme 10:34:04 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 10:34:24 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 10:35:24 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 10:42:26 -!- rbarraud [~rbarraud@118-93-254-201.dsl.dyn.ihug.co.nz] has quit [Remote host closed the connection] 10:44:43 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 260 seconds] 10:46:34 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 10:50:00 -!- ejs [~eugen@nat.ironport.com] has quit [Ping timeout: 240 seconds] 10:52:59 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Quit: Leaving.] 10:53:15 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 10:55:19 ejs [~eugen@77.222.151.102] has joined #scheme 10:55:42 HG` [~HG@xdsl-92-252-51-106.dip.osnanet.de] has joined #scheme 10:58:39 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 11:05:33 asarch [~asarch@189.188.157.218] has joined #scheme 11:30:39 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 276 seconds] 11:33:46 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 11:40:34 -!- ejs [~eugen@77.222.151.102] has quit [Ping timeout: 264 seconds] 11:45:28 ejs [~eugen@nat.ironport.com] has joined #scheme 11:52:02 -!- ejs [~eugen@nat.ironport.com] has quit [Ping timeout: 260 seconds] 12:00:58 wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has joined #scheme 12:01:21 -!- chittoor [~chittoor@listertech.in] has quit [Ping timeout: 245 seconds] 12:08:22 -!- wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has quit [Ping timeout: 265 seconds] 12:08:49 wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has joined #scheme 12:12:04 chittoor [~chittoor@listertech.in] has joined #scheme 12:13:00 ejs [~eugen@108-16-95-178.pool.ukrtel.net] has joined #scheme 12:18:40 jgracin [~jgracin@dh111-186.xnet.hr] has joined #scheme 12:23:50 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Read error: Connection reset by peer] 12:24:51 -!- sladegen [~nemo@unaffiliated/sladegen] has quit [Disconnected by services] 12:25:00 sladegen [~nemo@unaffiliated/sladegen] has joined #scheme 12:28:49 -!- wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has quit [Ping timeout: 264 seconds] 12:29:14 wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has joined #scheme 12:31:38 -!- wingo [~wingo@ATuileries-153-1-70-151.w83-202.abo.wanadoo.fr] has left #scheme 12:34:31 *Daemmerung* has his tiny mind blown 12:52:07 -!- powerje [~powerje@adsl-75-49-18-32.dsl.wotnoh.sbcglobal.net] has quit [Quit: powerje] 12:58:51 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 12:59:22 snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has joined #scheme 12:59:36 MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has joined #scheme 13:08:01 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Quit: Leaving.] 13:08:07 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 13:09:33 xwl [~user@123.115.116.25] has joined #scheme 13:21:14 -!- MichaelRaskin [~MichaelRa@pantagruel.mccme.ru] has quit [Remote host closed the connection] 13:21:28 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 13:22:44 -!- phao [~phao@189.107.141.188] has left #scheme 13:25:35 -!- hkBst [~hkBst@gentoo/developer/hkbst] has left #scheme 13:25:42 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 13:27:38 -!- leppie [~lolcow@196-210-254-202.dynamic.isadsl.co.za] has quit [Ping timeout: 265 seconds] 13:31:54 -!- Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has quit [Read error: Connection reset by peer] 13:32:14 leppie [~lolcow@196-210-162-39-wblv-esr-3.dynamic.isadsl.co.za] has joined #scheme 13:35:34 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 13:36:17 Leonidas: 1. A singleton list is already permuted. 2. To permute any other list, permute its cdr, then insert its car at any point into the result. 3. I usually see the first clause of your permute written as permute([], []). i.e. defined on the empty list. 4. I don't know Kanren, so that's all. 13:37:22 StucKman [~mdione@lakshmi.inria.fr] has joined #scheme 13:37:54 -!- StucKman [~mdione@lakshmi.inria.fr] has left #scheme 13:39:33 -!- ejs [~eugen@108-16-95-178.pool.ukrtel.net] has quit [Ping timeout: 252 seconds] 13:44:36 ejs [~eugen@105-7-95-178.pool.ukrtel.net] has joined #scheme 13:52:04 -!- hkBst [~hkBst@gentoo/developer/hkbst] has quit [Quit: hkBst] 13:52:22 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 13:56:09 -!- leppie [~lolcow@196-210-162-39-wblv-esr-3.dynamic.isadsl.co.za] has quit [Ping timeout: 265 seconds] 14:03:35 luz [~davids@139.82.89.70] has joined #scheme 14:03:44 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Quit: Leaving.] 14:03:59 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 14:16:00 -!- gravicappa [~gravicapp@80.90.116.82] has quit [Ping timeout: 240 seconds] 14:23:19 phao [~phao@189.107.141.188] has joined #scheme 14:23:27 -!- phao [~phao@189.107.141.188] has quit [Client Quit] 14:26:07 bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 14:28:53 Zarutian [~zarutian@194-144-84-110.du.xdsl.is] has joined #scheme 14:33:15 kuribas [~user@d54C4335C.access.telenet.be] has joined #scheme 14:39:51 Dawgmatix [~dman@c-76-124-9-27.hsd1.nj.comcast.net] has joined #scheme 14:44:19 parolang [~user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has joined #scheme 14:48:42 MrFahrenheit [~RageOfTho@users-55-27.vinet.ba] has joined #scheme 14:51:42 -!- jgracin [~jgracin@dh111-186.xnet.hr] has quit [Remote host closed the connection] 14:51:47 -!- xwl [~user@123.115.116.25] has quit [Remote host closed the connection] 14:52:22 xwl [~user@123.115.116.25] has joined #scheme 14:57:16 -!- xwl [~user@123.115.116.25] has quit [Remote host closed the connection] 14:57:41 xwl [~user@123.115.116.25] has joined #scheme 14:58:57 bweaver` [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 15:00:31 -!- bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 15:03:57 tym [~tym@195.238.92.85] has joined #scheme 15:04:53 jewel [~jewel@196-210-134-109-rhwh-esr-2.dynamic.isadsl.co.za] has joined #scheme 15:08:13 sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has joined #scheme 15:13:40 josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has joined #scheme 15:22:08 langmartin [~user@exeuntcha2.tva.gov] has joined #scheme 15:30:06 -!- NNshag [user@lns-bzn-24-82-64-190-142.adsl.proxad.net] has quit [Ping timeout: 252 seconds] 15:37:30 -!- qebab [finnrobi@heidi.itea.ntnu.no] has quit [Remote host closed the connection] 15:41:04 -!- sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 15:43:38 -!- HG` [~HG@xdsl-92-252-51-106.dip.osnanet.de] has quit [Quit: Leaving.] 15:44:30 NNshag [user@lns-bzn-24-82-64-189-87.adsl.proxad.net] has joined #scheme 15:46:15 -!- xwl [~user@123.115.116.25] has quit [Remote host closed the connection] 15:46:36 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 15:56:40 -!- Bonjour [~4e29e354@gateway/web/freenode/x-cpshvlorwklmjgwl] has quit [Quit: Page closed] 15:56:56 -!- stis_i8 [~chatzilla@1-1-1-39a.veo.vs.bostream.se] has quit [Ping timeout: 258 seconds] 15:59:49 leppie [~lolcow@196-210-186-100-wblv-esr-3.dynamic.isadsl.co.za] has joined #scheme 16:03:10 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 16:05:32 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [Quit: Leaving] 16:09:29 -!- bweaver` is now known as bweaver 16:09:53 Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has joined #scheme 16:10:31 -!- jewel [~jewel@196-210-134-109-rhwh-esr-2.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 16:13:55 -!- ejs [~eugen@105-7-95-178.pool.ukrtel.net] has quit [Quit: This computer has gone to sleep] 16:19:22 jao [~jao@83.43.33.213] has joined #scheme 16:28:00 -!- hkBst [~hkBst@gentoo/developer/hkbst] has left #scheme 16:30:33 -!- samth_away is now known as samth 16:34:21 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 16:40:43 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 248 seconds] 16:50:23 -!- jar286 [~jar@dhcp-18-111-5-137.dyn.mit.edu] has quit [Quit: jar286] 16:51:39 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 16:53:24 hkBst [~hkBst@gentoo/developer/hkbst] has joined #scheme 16:58:52 jar286 [~jar@30-16-246.dynamic.csail.mit.edu] has joined #scheme 16:59:24 -!- jonphilpott [~user@38.98.50.98] has left #scheme 17:02:18 sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has joined #scheme 17:08:57 proq [~user@173-164-85-86-Oregon.hfc.comcastbusiness.net] has joined #scheme 17:08:58 -!- proq [~user@173-164-85-86-Oregon.hfc.comcastbusiness.net] has quit [Changing host] 17:08:58 proq [~user@unaffiliated/proqesi] has joined #scheme 17:10:17 BerndBauer [~bernd@d91-130-24-79.cust.tele2.at] has joined #scheme 17:14:00 -!- tym [~tym@195.238.92.85] has quit [Remote host closed the connection] 17:15:16 mathk [~mathk@lns-bzn-58-82-251-254-99.adsl.proxad.net] has joined #scheme 17:15:38 -!- nowhereman [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has quit [Remote host closed the connection] 17:17:08 somnium` [~user@adsl-243-26-202.dab.bellsouth.net] has joined #scheme 17:19:38 -!- somnium [~user@adsl-65-186-62.dab.bellsouth.net] has quit [Ping timeout: 260 seconds] 17:20:20 -!- BerndBauer [~bernd@d91-130-24-79.cust.tele2.at] has left #scheme 17:20:21 -!- josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has quit [Quit: josephholsten] 17:20:28 nowhere_man [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has joined #scheme 17:21:14 -!- schmir [~schmir@mail.brainbot.com] has quit [Remote host closed the connection] 17:21:22 -!- Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has quit [Quit: Quitte] 17:23:53 curi_ [~curi@adsl-99-114-139-86.dsl.pltn13.sbcglobal.net] has joined #scheme 17:25:27 -!- chittoor [~chittoor@listertech.in] has quit [Quit: Leaving] 17:27:00 -!- nowhere_man [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has quit [Remote host closed the connection] 17:29:34 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 17:38:30 nowhere_man [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has joined #scheme 17:39:25 -!- nowhere_man [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has quit [Remote host closed the connection] 17:42:52 nowhere_man [~pierre@AStrasbourg-551-1-58-125.w83-194.abo.wanadoo.fr] has joined #scheme 17:43:32 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 17:44:33 somnium`` [~user@adsl-65-178-226.dab.bellsouth.net] has joined #scheme 17:46:19 -!- somnium` [~user@adsl-243-26-202.dab.bellsouth.net] has quit [Ping timeout: 248 seconds] 17:47:02 -!- somnium`` [~user@adsl-65-178-226.dab.bellsouth.net] has left #scheme 17:50:36 Daemmerung: thats the functional way. I know how to permute it in this way, but kanren really gives me a hard time. 17:53:53 saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has joined #scheme 17:54:13 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 18:00:31 -!- mathk [~mathk@lns-bzn-58-82-251-254-99.adsl.proxad.net] has quit [Ping timeout: 245 seconds] 18:01:00 -!- cpr420 [~cpr420@unaffiliated/cpr420] has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!] 18:15:21 Killeroid [~Kill3r@24.60.254.113] has joined #scheme 18:21:17 alvatar [~alvatar@236.127.222.87.dynamic.jazztel.es] has joined #scheme 18:22:21 HG` [~HG@xdslfa070.osnanet.de] has joined #scheme 18:31:01 hotblack23 [~jh@p4FC5B479.dip.t-dialin.net] has joined #scheme 18:31:26 Sveklo [~sveklo@unaffiliated/sveklo] has joined #scheme 18:31:42 -!- Sveklo [~sveklo@unaffiliated/sveklo] has quit [Remote host closed the connection] 18:31:50 Sveklo [~sveklo@unaffiliated/sveklo] has joined #scheme 18:32:34 virl [~virl__@chello062178085149.1.12.vie.surfer.at] has joined #scheme 18:35:31 -!- sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has quit [Read error: Connection reset by peer] 18:36:34 sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has joined #scheme 18:40:02 Leonidas: my description is how the Prolog that you cited works. I saw your post to plt-scheme. Maybe someday I'll read TRS and be more helpful. 18:40:22 -!- dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 18:43:08 kniu [~kniu@pool-71-105-73-34.lsanca.dsl-w.verizon.net] has joined #scheme 18:44:55 -!- jar286 [~jar@30-16-246.dynamic.csail.mit.edu] has quit [Quit: jar286] 18:54:47 aleix [~aleix@250.119.21.95.dynamic.jazztel.es] has joined #scheme 18:54:53 -!- mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has quit [Ping timeout: 240 seconds] 18:54:56 -!- aleix [~aleix@250.119.21.95.dynamic.jazztel.es] has quit [Client Quit] 19:00:53 kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has joined #scheme 19:03:30 -!- kniu [~kniu@pool-71-105-73-34.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 252 seconds] 19:04:43 Also - there is a Kanren (not miniKanren) translation of Oleg's 8-Queens prolog program in the Kanren distribution. I don't know how close Kanren is to miniKanren, but the prolog program is very similar to the one you're trying to translate (same author, duh). Look for "qperm." 19:05:04 Reading that, it reminds me a bit of Schelog, which once upon a time I knew. 19:08:28 schmir [~schmir@p54A90FCA.dip0.t-ipconnect.de] has joined #scheme 19:08:55 josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has joined #scheme 19:20:12 arcfide [~arcfide@adsl-99-50-226-43.dsl.bltnin.sbcglobal.net] has joined #scheme 19:22:40 -!- parolang [~user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has quit [Remote host closed the connection] 19:26:29 TR2N [email@89-180-176-198.net.novis.pt] has joined #scheme 19:27:55 -!- bgs000 is now known as bgs100 19:27:58 -!- alvatar [~alvatar@236.127.222.87.dynamic.jazztel.es] has quit [Ping timeout: 260 seconds] 19:28:21 fabe [~fabe@p54A7DCDC.dip.t-dialin.net] has joined #scheme 19:29:43 alvatar [~alvatar@97.126.222.87.dynamic.jazztel.es] has joined #scheme 19:33:11 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 19:33:30 kniu [~kniu@pool-71-105-73-34.lsanca.dsl-w.verizon.net] has joined #scheme 19:34:04 Daemmerung: oh, i didn't know that, thanks 19:36:13 choas [~lars@p5B0DC48B.dip.t-dialin.net] has joined #scheme 19:36:37 queens.scm does not look too similar to minikanren unfortunately :/ 19:38:06 Alas. 19:38:24 jengle [~jengle@69.0.55.45] has joined #scheme 19:45:14 Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has joined #scheme 19:46:07 -!- jengle [~jengle@69.0.55.45] has quit [Quit: Leaving.] 19:46:52 -!- virl [~virl__@chello062178085149.1.12.vie.surfer.at] has quit [Remote host closed the connection] 19:53:22 IJP [~Ian@86.135.220.180] has joined #scheme 19:57:53 dfkjjkfd [~paulh@232-13-ftth.onsnetstudenten.nl] has joined #scheme 19:59:06 -!- asarch [~asarch@189.188.157.218] has quit [Quit: Leaving] 20:01:07 -!- sepult [~levgue@xdsl-87-79-180-164.netcologne.de] has quit [Read error: Connection reset by peer] 20:08:15 -!- Dawgmatix [~dman@c-76-124-9-27.hsd1.nj.comcast.net] has quit [Quit: Ex-Chat] 20:10:04 cpr420 [~cpr420@unaffiliated/cpr420] has joined #scheme 20:13:00 -!- fabe [~fabe@p54A7DCDC.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 20:17:56 qebab [finnrobi@heidi.itea.ntnu.no] has joined #scheme 20:18:05 -!- fschwidom [~fschwidom@p5B26AAED.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 20:26:15 -!- kar8nga [~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net] has quit [Remote host closed the connection] 20:30:20 jar286 [~jar@30-16-246.dynamic.csail.mit.edu] has joined #scheme 20:30:49 -!- jar286 [~jar@30-16-246.dynamic.csail.mit.edu] has quit [Client Quit] 20:31:56 fabe [~fabe@p54A7FAC0.dip.t-dialin.net] has joined #scheme 20:33:57 -!- lisptastic [~user@76.177.227.49] has quit [Remote host closed the connection] 20:36:05 -!- fabe [~fabe@p54A7FAC0.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 20:37:41 -!- kuribas [~user@d54C4335C.access.telenet.be] has quit [Read error: Connection reset by peer] 20:43:23 -!- NNshag [user@lns-bzn-24-82-64-189-87.adsl.proxad.net] has quit [Quit: Quitte] 20:43:29 Nshag [user@lns-bzn-24-82-64-189-87.adsl.proxad.net] has joined #scheme 20:49:58 RageOfThou [~RageOfTho@users-55-27.vinet.ba] has joined #scheme 20:49:58 -!- MrFahrenheit [~RageOfTho@users-55-27.vinet.ba] has quit [Read error: Connection reset by peer] 20:50:45 chandler pasted "7-line programs are hard" at http://paste.lisp.org/display/100533 20:51:03 Any bright ideas on how to make this program narrower? 20:54:34 -!- langmartin [~user@exeuntcha2.tva.gov] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:55:24 parolang [~user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has joined #scheme 20:57:06 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 260 seconds] 21:00:19 -!- Sveklo [~sveklo@unaffiliated/sveklo] has quit [Quit: Leaving...] 21:01:53 -!- karljoh [fooki@h-73-135.A165.priv.bahnhof.se] has quit [] 21:01:57 -!- HG` [~HG@xdslfa070.osnanet.de] has quit [Quit: Leaving.] 21:06:02 -!- alvatar [~alvatar@97.126.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 21:07:52 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 21:08:14 -!- kilimanjaro is now known as math_grill 21:11:04 mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has joined #scheme 21:14:20 Not without obfuscating it even further. You're contrained by the width of the URL. -- I was hoping that somebody could think of something in 7 lines that used (require xml). 21:14:36 constrained,r ather 21:18:49 I think the constraint is simply too narrow for many interesting programs. 21:19:46 Perhaps there will be a space for slightly larger examples, in which case I could flesh this out a bit more. 21:24:17 Guest25487 [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:24:17 -!- Mandar [~armand@pha75-21-78-228-186-233.fbx.proxad.net] has quit [Quit: Quitte] 21:25:46 -!- Guest25487 [~user@xdsl-78-34-205-162.netcologne.de] has quit [Client Quit] 21:28:53 sepult` [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:30:32 -!- sepult` is now known as sepult 21:30:37 -!- sepult [~user@xdsl-78-34-205-162.netcologne.de] has quit [Client Quit] 21:32:35 Guest35959 [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:34:02 -!- Guest35959 [~user@xdsl-78-34-205-162.netcologne.de] has quit [Client Quit] 21:35:51 sepult` [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:35:58 hello 21:36:47 -!- luz [~davids@139.82.89.70] has quit [Quit: Client exiting] 21:37:23 -!- sepult` is now known as sepult 21:37:27 -!- sepult [~user@xdsl-78-34-205-162.netcologne.de] has quit [Remote host closed the connection] 21:38:55 sepult [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:39:02 -!- Khisanth [~Khisanth@pool-96-246-7-135.nycmny.east.verizon.net] has quit [Read error: Connection reset by peer] 21:39:22 anyone here? 21:39:27 -!- sepult [~user@xdsl-78-34-205-162.netcologne.de] has quit [Read error: Connection reset by peer] 21:40:19 Yes, but I don't often respond to "hello". 21:40:21 I don't care what anybody else says... I've heard strange noises in this channel, and I say it's HAUNTED. 21:40:33 haha ok 21:40:41 incubot: echo 21:40:43 Try EHLO next time 21:40:46 true, but "echo" is a command, and "." is a legitimate argument to it; and cmd.exe's syntax allows the argument to immediately follow the command. 21:40:55 sepult [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 21:41:04 im stuck on htdp exercise 12.4.2 21:41:13 the one about rearranging words 21:50:53 mejja [~user@c-14bee555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 21:57:18 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 260 seconds] 21:57:28 -!- josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has quit [Quit: josephholsten] 21:57:41 samth annotated #100533 "untitled" at http://paste.lisp.org/display/100533#1 21:57:52 chandler, how's that? 21:59:38 The `string-append' is still necessary; for some reason, it doesn't always come out in one string. 21:59:58 oh, ok 22:00:12 i'm trying to find a concise way of getting all the statuses 22:00:16 but it's hard 22:00:55 But, if putting the #lang and the require forms on the same line is OK, it's still possible to put the string-append in. 22:01:46 peddie [~peddie@adsl-99-191-72-123.dsl.pltn13.sbcglobal.net] has joined #scheme 22:01:55 FunkyDrummer [~RageOfTho@users-55-27.vinet.ba] has joined #scheme 22:05:46 -!- RageOfThou [~RageOfTho@users-55-27.vinet.ba] has quit [Ping timeout: 264 seconds] 22:07:39 -!- melba [~blee@unaffiliated/lazz0] has quit [Quit: i want to be formal but i'm here to party] 22:08:16 chandler annotated #100533 "all the statuses" at http://paste.lisp.org/display/100533#2 22:08:25 samth: Have a look at that. 22:09:24 josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has joined #scheme 22:12:13 MononcQc [~Ferd@modemcable062.225-20-96.mc.videotron.ca] has joined #scheme 22:12:13 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Read error: Connection reset by peer] 22:17:22 fschwidom [~fschwidom@p5B26AAED.dip0.t-ipconnect.de] has joined #scheme 22:17:25 hmm 22:18:00 chandler annotated #100533 "narrower version" at http://paste.lisp.org/display/100533#3 22:19:27 alvatar [~alvatar@90.127.222.87.dynamic.jazztel.es] has joined #scheme 22:20:55 -!- hotblack23 [~jh@p4FC5B479.dip.t-dialin.net] has quit [Quit: Leaving.] 22:21:20 That with the `compose' is cute. 22:25:47 Khisanth [~Khisanth@pool-96-246-7-135.nycmny.east.verizon.net] has joined #scheme 22:28:06 *Daemmerung* hates Apple with the fury of a thousand burning suns. So of course he is tricking out a new iMac for his wife. Feel his pain. 22:31:11 Hm. I thought this "Choose Language" nonsense was going to go away in Racket-land, or at least that the default would be to use the language declared in the source. 22:31:23 chandler, i think that is the default 22:31:36 Okay, so, does anyone know of a good libcdio non-GPL'd alternative? 22:32:06 samth: No; I just built and ran Racket for the first time on a machine that's never had PLT or Racket on it before, and it wasn't selected as the default. 22:32:22 chandler, was it the "you must choose a language"? 22:32:26 Specifically, I want to do some ISO9660 image work, such as extracting and listing files. 22:33:35 samth: http://i47.tinypic.com/ipoz9c.png 22:33:48 chandler, yeah, that's what i mean 22:33:49 t 22:34:01 -!- peddie [~peddie@adsl-99-191-72-123.dsl.pltn13.sbcglobal.net] has quit [Quit: leaving] 22:34:22 samth: Hey, would you be available to answer questions about Typed Scheme during the next couple of weeks? 22:34:25 the reason that still exists is so that students don't start in some language that doesn't make sense 22:34:28 arcfide, yeah 22:34:37 sorry for not getting back to you sooner 22:34:46 i've been pretty busy the last couple weeks 22:34:52 but it should be better now 22:34:55 samth: For some reason I had thought that this was going away in the future. Oh well. 22:35:05 I think this is a fairly lousy default, for what it's worth. 22:35:26 Hehe, no problems. A colleague of mine and I are working on some stuff, and we wanted to see if we could apply it to Typed Scheme, but we wanted to see if we could get some experts on Typed Scheme before we ventured that direction. 22:36:17 chandler, it certainly isn't great 22:36:22 arcfide: libarchive can read iso images (2.9 has some write support) 22:37:31 cpr420: I'm just concerned with read support for ISO images. 22:38:46 peddie [~peddie@adsl-99-191-72-123.dsl.pltn13.sbcglobal.net] has joined #scheme 22:39:07 DrRacket... isn't it a bit unprofessional? DrFrankenstein would at least be less remotely funny. 22:39:51 bburhans [einstein@unvanquished/developer/bpb] has joined #scheme 22:40:20 *elly* watches bburhans warily 22:41:40 *Daemmerung* watches the watchmen 22:41:42 s/isn't it/doesn't it sound/ 22:41:47 Daemmerung: watchwomen? 22:42:04 watchdog 22:42:09 there you go 22:42:24 ipsos custodietrices 22:43:14 no, custoditrices 22:43:26 Mohamdu [~Mohamdu@CPE0013f7bc6820-CM0013f7bc681c.cpe.net.cable.rogers.com] has joined #scheme 22:43:34 doesn't quite scan like the masc ver 22:43:49 it's true 22:44:35 *Daemmerung* leaves to look up the damned declension 22:44:42 misogonic english not flexing with gender... 22:46:26 custos -odis is both m. and f.! no "custoditrix" form necessary. yay. 22:46:59 ipsos custodes 22:48:27 *sladegen* translates: oopsos custom diet tricks... 22:48:28 ipsos operators? :P 22:48:32 -!- josephholsten [~josephhol@adsl-70-234-142-142.dsl.tul2ok.sbcglobal.net] has quit [Quit: josephholsten] 22:51:09 -!- choas [~lars@p5B0DC48B.dip.t-dialin.net] has quit [Quit: leaving] 22:52:21 rbarraud [~rbarraud@118-93-254-201.dsl.dyn.ihug.co.nz] has joined #scheme 22:56:37 chandler, it seems like it would just be nice to have an xml-request function that was (compose xml->xexpr document-element read-xml get-pure-port string->url) 22:57:37 -!- sepult [~user@xdsl-78-34-205-162.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:01:28 -!- qebab [finnrobi@heidi.itea.ntnu.no] has quit [Read error: Operation timed out] 23:02:05 -!- mejja [~user@c-14bee555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: ChatZilla 0.9.86 [Firefox 3.5.9/2010031700]] 23:02:51 samth annotated #100533 "untitled" at http://paste.lisp.org/display/100533#4 23:03:26 -!- bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 23:05:29 chandler, there's my final effort 23:06:10 -!- fschwidom [~fschwidom@p5B26AAED.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 23:07:09 -!- samth is now known as samth_away 23:09:45 qebab [finnrobi@heidi.itea.ntnu.no] has joined #scheme 23:13:01 -!- math_grill is now known as kilimanjaro 23:13:38 josephholsten [~josephhol@adsl-38-12-46.tulsaconnect.com] has joined #scheme 23:13:44 -!- josephholsten [~josephhol@adsl-38-12-46.tulsaconnect.com] has quit [Client Quit] 23:16:04 -!- eldragon [~eldragon@84.79.67.254] has quit [Ping timeout: 265 seconds] 23:17:40 -!- schmir [~schmir@p54A90FCA.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 23:19:27 -!- Nshag [user@lns-bzn-24-82-64-189-87.adsl.proxad.net] has quit [Quit: Quitte] 23:20:03 -!- masm [~masm@bl19-152-99.dsl.telepac.pt] has quit [Quit: Leaving.] 23:23:03 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 23:24:14 Nshag [user@lns-bzn-45-82-65-165-221.adsl.proxad.net] has joined #scheme 23:33:33 -!- emma [~em@unaffiliated/emma] has quit [Ping timeout: 252 seconds] 23:34:13 -!- arcfide [~arcfide@adsl-99-50-226-43.dsl.bltnin.sbcglobal.net] has quit [Quit: Leaving.] 23:37:31 Daemmerung: I wonder if someone could resurrect SGI to sell nice Unix desktops to the masses. 23:41:38 I think jwz's rant about the level of suck of early 2000's Linux was one of the influences for me getting a Mac 23:42:06 in the UI department, at least. 23:42:30 sepult [~user@xdsl-78-34-205-162.netcologne.de] has joined #scheme 23:42:54 User Interfaces are overrated. 23:43:27 start working with a plugboard and you might change your mind :P 23:44:09 Well, plugboards, ok. But punchcards are enough! 23:44:44 I thought a lot of IBM stuff still uses virtual punchcards, or at least has a lot of stuff with punchcard restrains 23:44:46 restraints 23:44:50 on the mainframe end 23:45:33 myu2 [~myu2@w179122.dynamic.ppp.asahi-net.or.jp] has joined #scheme 23:46:12 Thing is, it's a sweet box she's getting. That just rubs grit into the wound. 23:46:25 -!- fradgers- [~fradgers-@5e02b45e.bb.sky.com] has left #scheme 23:47:41 snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has joined #scheme 23:48:50 yeah. I will need a upgrade path sooner orlater. 23:49:01 But I'm going to have to listen to her vent about the thing not working quite right for the next five years, just as she has the current box. And I refuse to learn enough of The Apple Way(tm) to play tech-in-the-office-next-door. 23:52:44 turbofail [~user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has joined #scheme 23:53:43 -!- saint_cypher [~saint_cyp@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 240 seconds] 23:53:48 Owner___ [~b83b11d0@gateway/web/freenode/x-mvdnttdsklleyarh] has joined #scheme 23:54:20 whats a paste site that doesn't mess up my indenting? 23:54:41 lisppaste: url? 23:54:41 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 23:54:43 -!- Owner___ is now known as Owner_ 23:54:48 Owner_: Try that. 23:54:54 thanks mang 23:55:20 Owner_: Use that URL for anything meant for #scheme. Otherwise, just go to paste.lisp.org and paste there. 23:55:36 samth_away: at-exp? I'm not seeing where that's used here. 23:55:58 -!- Owner_ [~b83b11d0@gateway/web/freenode/x-mvdnttdsklleyarh] has quit [Client Quit] 23:56:06 pjb` [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 23:56:09 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [Remote host closed the connection] 23:57:41 -!- kencausey [~ken@67.15.6.88] has quit [Ping timeout: 240 seconds] 23:58:18 -!- hkBst [~hkBst@gentoo/developer/hkbst] has quit [Remote host closed the connection] 23:58:29 -!- drhodes [~none@209-20-72-61.slicehost.net] has quit [Ping timeout: 240 seconds] 23:59:21 drhodes [~none@209-20-72-61.slicehost.net] has joined #scheme