00:01:58 yarra [n=yarra@118.176.71.3] has joined #scheme 00:02:09 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 00:02:16 -!- yarra is now known as Yarra 00:20:03 lowlycoder [n=x@unaffiliated/lowlycoder] has joined #scheme 00:24:09 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 00:24:40 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 00:24:50 -!- lowlycoder [n=x@unaffiliated/lowlycoder] has quit [Client Quit] 00:32:10 -!- Axioplase_ is now known as Axioplase 00:37:34 -!- npoektop [n=user@85.202.112.90] has quit [Read error: 110 (Connection timed out)] 00:39:35 -!- soupdragon [n=f@amcant.demon.co.uk] has quit [Remote closed the connection] 00:40:55 -!- aack [n=user@a83-161-214-179.adsl.xs4all.nl] has quit [Remote closed the connection] 00:41:58 chylli [n=lchangyi@119.181.15.104] has joined #scheme 00:44:43 TimMc [n=timmc@pinball.ccs.neu.edu] has joined #scheme 00:50:36 -!- Phaze [n=PhazeDK@0x5da32b16.cpe.ge-0-1-0-1104.soebnqu1.customer.tele.dk] has quit ["Leaving"] 00:50:39 QinGW [n=wangqing@203.86.81.2] has joined #scheme 01:00:52 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 01:03:21 -!- jao [n=jao@21.Red-83-43-33.dynamicIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 01:05:56 -!- Fare [n=Fare@bleriot.merseine.nu] has quit [Read error: 113 (No route to host)] 01:17:55 borism [n=boris@195-50-199-163-dsl.krw.estpak.ee] has joined #scheme 01:24:06 -!- borism_ [n=boris@195-50-204-6-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 01:25:04 -!- arcfide [n=arcfide@99.50.224.193] has left #scheme 01:26:51 QinGW1 [n=wangqing@203.86.81.2] has joined #scheme 01:31:09 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 60 (Operation timed out)] 01:51:22 overdrive [n=overdriv@client-86-25-216-177.glw-bng-011.adsl.virginmedia.net] has joined #scheme 01:51:25 hi ppl 01:54:03 hi person 01:56:56 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 60 (Operation timed out)] 01:57:16 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 02:10:20 foof` [n=user@dn157-046.naist.jp] has joined #scheme 02:11:21 Dawgmatix [n=dawgmati@c-68-32-44-191.hsd1.nj.comcast.net] has joined #scheme 02:17:17 emacs [n=overdriv@client-86-25-219-111.glw-bng-011.adsl.virginmedia.net] has joined #scheme 02:18:33 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 02:25:34 -!- overdrive [n=overdriv@client-86-25-216-177.glw-bng-011.adsl.virginmedia.net] has quit [Read error: 110 (Connection timed out)] 02:27:52 -!- foof [n=user@dn157-046.naist.jp] has quit [Read error: 110 (Connection timed out)] 02:33:58 sleepydog [n=root@64-252-139-167.adsl.snet.net] has joined #scheme 02:35:40 Is there a standard function that will always return true? 02:35:53 -!- RageOfThou [n=RageOfTh@89.146.190.240] has quit [Read error: 110 (Connection timed out)] 02:36:54 (lambda o #t) will do it 02:37:12 probably no standard named one though 02:38:16 okay, just want to avoid redundancy 02:39:10 (define #f #t) now it's ALL true! mwoohahah! 02:40:06 you just blew my mind :P 02:47:21 -!- Dawgmatix [n=dawgmati@c-68-32-44-191.hsd1.nj.comcast.net] has quit [] 02:48:22 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 02:53:15 tjafk1 [n=timj@e176223083.adsl.alicedsl.de] has joined #scheme 02:53:29 -!- socialite [n=piespy@dynamic-87-105-184-63.ssp.dialog.net.pl] has quit [Remote closed the connection] 02:53:38 sladegen: Don't joke about that! (I do a lot of javascript, where you can do evil things like `undefined = 3;` 02:53:50 and I thought you were serious for a second.) 02:54:30 borism_ [n=boris@195-50-199-163-dsl.krw.estpak.ee] has joined #scheme 02:56:12 -!- Nshag [i=user@Mix-Orleans-106-4-208.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 02:58:42 jengle [n=jengle@64-252-187-232.adsl.snet.net] has joined #scheme 02:59:43 -!- borism [n=boris@195-50-199-163-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 02:59:57 zitterbewegung [n=pygowave@arche.p2k-network.org] has joined #scheme 03:00:13 hi 03:00:49 eno__ [n=eno@adsl-70-137-160-171.dsl.snfc21.sbcglobal.net] has joined #scheme 03:00:53 i'm trying to teach myself computer science from SICP w/ the video lectures, and the authors mention an atom? procedure 03:01:16 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 104 (Connection reset by peer)] 03:01:19 but when i try to use the procedure on MIT scheme (for windows), the procedure doesn't exist 03:01:52 has anyone here had this problem? 03:01:57 TimMc: You still can't do `5 = 3;' 03:02:16 TimMc: And that would be the equivalent. 03:06:08 eli: Yeah, and you'd think "undefined" would be a reserved constant keyword in JS, but it's just an undefined variable name. >_< So it can be confusing at times... 03:08:10 -!- emacs [n=overdriv@client-86-25-219-111.glw-bng-011.adsl.virginmedia.net] has quit [] 03:09:19 -!- tjafk2 [n=timj@e176212053.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:09:22 TimMc: Scheme very intentionally uses `#' to scream out that they are not variables. Javascript is just poor on a literal syntax for such things, it seems. 03:09:34 -!- zitterbewegung [n=pygowave@arche.p2k-network.org] has quit [Remote closed the connection] 03:09:46 -!- rudybot_ is now known as rudybot 03:10:45 -!- chylli [n=lchangyi@119.181.15.104] has quit [Remote closed the connection] 03:11:09 Yeah, I appreciate that about Scheme. Learning JS is about 60% learning the pitfalls and weirdnesses. 03:11:14 Mr_Awesome [n=eric@pool-72-95-78-181.chi01.dsl-w.verizon.net] has joined #scheme 03:12:00 That, I very much agree with. 03:12:02 saccade [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 03:12:25 Which is a pity, because it's so close to being a really nice language. Instead, it's just "cute" IMO. 03:13:02 eli: I find it to be extremely useful, but *only* because it is in a browser environment. 03:13:24 jengle: I don't know the answer to your question, but I think it might be here: http://tunes.org/~nef//logs/scheme/08.08.24 03:13:26 -!- eno__ is now known as eno 03:13:29 search for "atom?" 03:14:05 That's roughly what I mean. If it were a little better, I'd even play with it outside of a browser. 03:15:11 TimMc, thanks 03:18:26 eli: I've been playing with it as a server language. It's nice to be able to use the exact same validation library on the server and client. :-P 03:19:15 Frankly, though, I prefer a server language that supports more static analysis. :-/ 03:20:04 ... such as Scheme. 03:20:37 TimMc: dynamic strong typing is almost as good as static strong typing for security purposes. 03:21:20 for performance, not as much, but eli is about to introduce Typed Scheme and Prescheme to you.. :P 03:22:57 Adamant: (a) no, nothing to do with prescheme (but yes for TS); (b) your claim is inaccurate -- replace "almost as good" with "better". 03:23:31 Simple because you're not limited to the kind of things you can verify with a limited type system. 03:23:54 (Which covers all static type systems in PL.) 03:23:57 Adamant/eli: what is "dynamic strong typing"? 03:24:15 eli: but, an expressive type system like Haskell's lets you do some interesting security checks 03:24:38 even though it is static 03:24:45 offby1: Sorry, I missed an assumption -- I assumed that Adamant is talking about something like contracts. 03:24:56 Adamant: No. 03:24:57 offby1: strong typing, dynamically typed 03:25:13 maybe I mixed up the lingo there 03:25:17 I'm okay with dynamic checks as long as I also have good code coverage checking for my tests (and a good test framework.) 03:25:20 like Haskell? 03:25:21 Adamant: Not until it can have a type that changes according to the day of the month. 03:25:34 lol 03:25:38 Adamant: Not until it can have a type that has only sorted lists. 03:25:56 Adamant: Not until it can have a type that includes all substrings in a given file. 03:26:07 eli: most security checks are a bit more mundane 03:26:14 so because it can't express all conditions you can imagine, you should never use it? 03:26:23 copumpkin: Of course not. 03:26:30 like, "don't run user-inputted SQL" 03:26:48 which type systems can do useful things to track 03:26:59 copumpkin: But the illusion that static typing can somehow save you from all possible bugs is just an illusion. 03:27:07 eli: I agree there 03:27:14 eli: I've not heard anyone say that :P 03:27:17 but sure, we can agree on that 03:27:22 assuming there is someone who holds that opinion 03:27:26 Of course, in this form it's a very obvious illusion, 03:27:38 copumpkin: some of the "well-typed programs can't be blamed" folks seem a bit like that, honestly 03:27:47 but you'd hear people who advocate static typind as something that makes contracts redundant, for example. 03:27:54 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 03:27:58 ...which is the exact same illusion. 03:28:12 well, to the extent that your contract can be represented in the type system 03:28:16 which in haskell it usually can't 03:28:38 yeah. once you get to the current Turing-complete type systems, it can do a LOT of stuff. 03:28:48 a good type system can prevent a small but common class of errors, but the rest is up to you to write tests for or whatever other techniques you use 03:28:52 copumpkin: A *good* contract is one that encodes more information than type systems; it just happens that most contracts in actual use are the boring kind. 03:29:20 Adamant: I couldn't agree more with your comment re "wtpcbb" people. 03:29:49 -!- sleepydog [n=root@64-252-139-167.adsl.snet.net] has quit [Excess Flood] 03:30:18 Adamant: And BTW, you can do that kind of wrapping (avoiding injections) just as easily in a dynamic language. (Which might have been your original point.) 03:30:55 eli: you can. I'm not sure it's just as easily, but you can do it. 03:31:17 Of course it's just as easy. 03:31:37 All you need is (define-struct sql-string (str)) 03:32:02 Sorry, 03:32:15 (define-struct unverified-string (str)) 03:32:23 right. 03:32:44 well the difference is that in one case you catch it when you're deploying your app, and in the other the user of your webapp gets some form of a exception screen 03:32:48 Then make sure that when you read from an dangerous source, you create one of these things, with "accessors" that clean them. 03:32:58 right. 03:33:04 copumpkin raises a good point 03:33:09 (And now take what I said and reverse it -- provide a `clean' operation that creats a wrapped string.) 03:33:29 I don't think anyone's arguing that you can represent logic in type systems that can't encoded otherwise 03:33:40 right. 03:33:43 it's just that the type checker can reason about it without actually running the program 03:33:51 copumpkin: In that case, you're a bad programmer because you either didn't write tests, or you didn't ran them, or your test suite is crappy. 03:34:06 can't we have types and tests? 03:34:07 *copumpkin* shrugs 03:34:09 :P 03:34:11 that's what I do 03:34:14 types and test 03:34:23 ThereYouGo. 03:34:51 :) 03:36:47 karlw [n=user@adsl-99-157-202-134.dsl.pltn13.sbcglobal.net] has joined #scheme 03:37:18 Not that I have something against static types, btw. On the contrary: I make my student use typed scheme, and I have one homework that inflicts *loads* of un-typed-language-related pain. 03:37:25 s/loads/truckloads/ 03:37:55 :D 03:53:26 annodomini [n=lambda@130.189.179.215] has joined #scheme 03:54:18 -!- neilv [n=user@dsl092-071-029.bos1.dsl.speakeasy.net] has quit ["Leaving"] 04:04:25 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 04:05:07 chylli [n=lchangyi@119.181.15.104] has joined #scheme 04:07:11 So, uh, the whole MrEd framework is awesome but it seems a bit, say, old fashioned and hacked together. 04:15:34 Unfortunately, it seems like switching to a more modern codebase would involve completely re-implementing MrEd. 04:18:45 eno__ [n=eno@adsl-70-137-132-160.dsl.snfc21.sbcglobal.net] has joined #scheme 04:19:55 Although it could cause give PLT Scheme a ``mainstream'' user base. 04:20:13 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 04:29:40 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 110 (Connection timed out)] 04:37:31 JohnnyL [i=excellen@ool-182f0b98.dyn.optonline.net] has joined #scheme 04:41:32 -!- ken-p [n=ken-p@84.92.70.37] has quit [Read error: 110 (Connection timed out)] 04:43:34 tltstc` [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has joined #scheme 04:44:51 -!- tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has quit [Read error: 110 (Connection timed out)] 04:45:17 -!- jengle [n=jengle@64-252-187-232.adsl.snet.net] has quit [Read error: 104 (Connection reset by peer)] 04:46:08 -!- tltstc` is now known as tltstc 04:48:40 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 04:49:34 reprore [n=reprore@EM114-48-188-166.pool.e-mobile.ne.jp] has joined #scheme 04:58:35 -!- tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has quit [] 05:00:23 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [] 05:04:32 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 05:08:10 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [] 05:23:42 -!- Adrinael [n=adrinael@barrel.rolli.org] has quit [simmons.freenode.net irc.freenode.net] 05:23:42 -!- vandemar [n=anon@2001:470:1f10:56b:0:0:0:4] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- roderic [n=user@bubbles.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- poucet [n=vincenz@li23-146.members.linode.com] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- datkin_ [n=datkin@pinball.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- Riastradh [n=rias@pool-141-154-207-110.bos.east.verizon.net] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- proq` [n=user@38.100.211.40] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- Thren [n=Thren@c-75-67-111-180.hsd1.nh.comcast.net] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- glogic [n=glogic@97.76.48.98] has quit [simmons.freenode.net irc.freenode.net] 05:23:51 -!- joast [n=rick@76.178.178.72] has quit [simmons.freenode.net irc.freenode.net] 05:28:13 joast [n=rick@76.178.178.72] has joined #scheme 05:28:13 Thren [n=Thren@c-75-67-111-180.hsd1.nh.comcast.net] has joined #scheme 05:28:13 glogic [n=glogic@97.76.48.98] has joined #scheme 05:28:13 proq` [n=user@38.100.211.40] has joined #scheme 05:28:37 vandemar [n=anon@2001:470:1f10:56b:0:0:0:4] has joined #scheme 05:28:37 Adrinael [n=adrinael@barrel.rolli.org] has joined #scheme 05:28:37 Quadrescence [n=quad@unaffiliated/quadrescence] has joined #scheme 05:28:37 roderic [n=user@bubbles.ccs.neu.edu] has joined #scheme 05:28:37 poucet [n=vincenz@li23-146.members.linode.com] has joined #scheme 05:28:37 Riastradh [n=rias@pool-141-154-207-110.bos.east.verizon.net] has joined #scheme 05:28:37 datkin_ [n=datkin@pinball.ccs.neu.edu] has joined #scheme 05:37:53 hotblack23 [n=jh@p5B0539E9.dip.t-dialin.net] has joined #scheme 05:38:40 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 05:39:34 -!- hotblack23 [n=jh@p5B0539E9.dip.t-dialin.net] has quit [Client Quit] 05:52:35 -!- karlw [n=user@adsl-99-157-202-134.dsl.pltn13.sbcglobal.net] has quit [Read error: 104 (Connection reset by peer)] 05:53:16 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 06:00:15 leppie|work [i=52d2e3c8@gateway/web/freenode/x-3bd65476b5b83126] has joined #scheme 06:05:57 underspecified [n=eric@walnut.naist.jp] has joined #scheme 06:16:02 underspecified_ [n=eric@isa7-dhcp-116-214.naist.jp] has joined #scheme 06:19:48 underspecified__ [n=eric@isa7-dhcp-116-214.naist.jp] has joined #scheme 06:20:59 -!- underspecified_ [n=eric@isa7-dhcp-116-214.naist.jp] has quit [Read error: 104 (Connection reset by peer)] 06:22:19 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 06:24:30 QinGW [n=wangqing@203.86.81.2] has joined #scheme 06:28:42 -!- underspecified [n=eric@walnut.naist.jp] has quit [Connection timed out] 06:29:43 -!- TR2N [i=email@89.180.211.108] has left #scheme 06:29:49 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 06:37:11 bytecolor [n=user@32.158.218.240] has joined #scheme 06:37:25 -!- bytecolor [n=user@32.158.218.240] has left #scheme 06:40:27 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 148 (No route to host)] 06:40:43 well? 06:40:54 -!- QinGW1 [n=wangqing@203.86.81.2] has quit [Connection timed out] 06:41:01 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 06:41:32 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 06:53:01 -!- underspecified__ [n=eric@isa7-dhcp-116-214.naist.jp] has quit [] 06:54:32 tessier__ [n=treed@mail.copilotco.com] has joined #scheme 06:59:58 m811_ [n=user@175.62.191.90.dyn.estpak.ee] has joined #scheme 07:05:32 npe [n=npe@195.207.5.2] has joined #scheme 07:06:26 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 07:07:53 rstandy [n=rastandy@net-93-144-200-80.t2.dsl.vodafone.it] has joined #scheme 07:09:54 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 07:10:45 m811__ [n=user@100.181.191.90.dyn.estpak.ee] has joined #scheme 07:12:26 -!- m811__ [n=user@100.181.191.90.dyn.estpak.ee] has quit [Read error: 60 (Operation timed out)] 07:12:59 WELL? 07:13:22 incubot: well? 07:13:31 well excuse me. 07:13:51 lol 07:14:06 hey lepper. 07:15:45 m811__ [n=user@106.250.35.213.dyn.estpak.ee] has joined #scheme 07:15:48 -!- m811 [n=user@84-50-207-42-dsl.est.estpak.ee] has quit [Read error: 110 (Connection timed out)] 07:18:52 -!- chillimanjaro [n=kilimanj@70.116.95.163] has quit [Remote closed the connection] 07:21:21 m811 [n=user@148.176.191.90.dyn.estpak.ee] has joined #scheme 07:22:54 -!- m811_ [n=user@175.62.191.90.dyn.estpak.ee] has quit [Read error: 110 (Connection timed out)] 07:24:43 -!- m811 [n=user@148.176.191.90.dyn.estpak.ee] has quit [Read error: 60 (Operation timed out)] 07:25:25 -!- synthase [n=synthase@adsl-220-177-15.mob.bellsouth.net] has quit [Read error: 110 (Connection timed out)] 07:25:28 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 07:26:28 jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has joined #scheme 07:31:04 ken-p [n=ken-p@84.92.70.37] has joined #scheme 07:34:20 -!- m811__ [n=user@106.250.35.213.dyn.estpak.ee] has quit [Read error: 110 (Connection timed out)] 07:35:00 mmc [n=mima@esprx01x.nokia.com] has joined #scheme 07:36:10 saccade_ [n=saccade@VPN-ONE-TWENTY.MIT.EDU] has joined #scheme 07:39:07 -!- saccade [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Read error: 60 (Operation timed out)] 07:46:07 -!- saccade_ [n=saccade@VPN-ONE-TWENTY.MIT.EDU] has quit [Read error: 104 (Connection reset by peer)] 07:50:10 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 07:51:46 MrFahrenheit [n=RageOfTh@89.146.189.196] has joined #scheme 08:00:03 EnglishGent [n=nobody@ai-core.demon.co.uk] has joined #scheme 08:12:12 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 08:15:52 athos [n=philipp@92.250.250.68] has joined #scheme 08:31:13 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 54 (Connection reset by peer)] 08:31:27 QinGW [n=wangqing@203.86.81.2] has joined #scheme 08:39:15 Kusanagi [n=Lernaean@unaffiliated/kusanagi] has joined #scheme 08:46:37 attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has joined #scheme 08:49:24 m811 [n=user@84-50-207-42-dsl.est.estpak.ee] has joined #scheme 08:51:31 `Peter [n=pk@188-23-96-3.adsl.highway.telekom.at] has joined #scheme 08:53:10 -!- borism_ [n=boris@195-50-199-163-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 08:54:35 -!- `Peter [n=pk@188-23-96-3.adsl.highway.telekom.at] has quit [Client Quit] 08:56:21 `Peter [n=pk@188-23-96-3.adsl.highway.telekom.at] has joined #scheme 09:07:23 -!- Axioplase is now known as Axioplase_ 09:09:10 -!- jedc [n=jed@c-98-232-225-102.hsd1.or.comcast.net] has quit [Read error: 110 (Connection timed out)] 09:18:48 -!- Kusanagi [n=Lernaean@unaffiliated/kusanagi] has quit [Nick collision from services.] 09:18:49 Hydr4 [n=Lernaean@24-107-112-153.dhcp.stls.mo.charter.com] has joined #scheme 09:34:34 -!- `Peter [n=pk@188-23-96-3.adsl.highway.telekom.at] has quit [] 09:39:17 -!- sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 104 (Connection reset by peer)] 09:39:38 sphex [n=nobody@74.56.138.185] has joined #scheme 09:40:52 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 09:42:33 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 09:42:42 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 09:46:05 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 09:58:18 -!- MrFahrenheit [n=RageOfTh@89.146.189.196] has quit ["Leaving"] 10:03:51 underspecified [n=eric@walnut.naist.jp] has joined #scheme 10:06:58 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 10:07:39 jao [n=jao@21.Red-83-43-33.dynamicIP.rima-tde.net] has joined #scheme 10:07:40 -!- JohnnyL [i=excellen@ool-182f0b98.dyn.optonline.net] has quit [] 10:07:44 QinGW [n=wangqing@203.86.81.2] has joined #scheme 10:13:47 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit [Read error: 110 (Connection timed out)] 10:16:43 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 10:17:16 -!- underspecified [n=eric@walnut.naist.jp] has quit [] 10:18:32 -!- reprore [n=reprore@EM114-48-188-166.pool.e-mobile.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 10:24:55 -!- vandemar [n=anon@2001:470:1f10:56b:0:0:0:4] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- Adrinael [n=adrinael@barrel.rolli.org] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- datkin_ [n=datkin@pinball.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- poucet [n=vincenz@li23-146.members.linode.com] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- roderic [n=user@bubbles.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- Riastradh [n=rias@pool-141-154-207-110.bos.east.verizon.net] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- sphex [n=nobody@74.56.138.185] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has quit [simmons.freenode.net irc.freenode.net] 10:24:55 -!- Thren [n=Thren@c-75-67-111-180.hsd1.nh.comcast.net] has quit [simmons.freenode.net irc.freenode.net] 10:25:04 -!- glogic [n=glogic@97.76.48.98] has quit [simmons.freenode.net irc.freenode.net] 10:25:04 -!- proq` [n=user@38.100.211.40] has quit [simmons.freenode.net irc.freenode.net] 10:25:04 -!- joast [n=rick@76.178.178.72] has quit [simmons.freenode.net irc.freenode.net] 10:25:31 sphex [n=nobody@74.56.138.185] has joined #scheme 10:25:31 jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has joined #scheme 10:25:31 proq` [n=user@38.100.211.40] has joined #scheme 10:25:31 glogic [n=glogic@97.76.48.98] has joined #scheme 10:25:31 Thren [n=Thren@c-75-67-111-180.hsd1.nh.comcast.net] has joined #scheme 10:25:31 joast [n=rick@76.178.178.72] has joined #scheme 10:26:10 vandemar [n=anon@2001:470:1f10:56b:0:0:0:4] has joined #scheme 10:26:10 Adrinael [n=adrinael@barrel.rolli.org] has joined #scheme 10:26:10 Quadrescence [n=quad@unaffiliated/quadrescence] has joined #scheme 10:26:10 roderic [n=user@bubbles.ccs.neu.edu] has joined #scheme 10:26:10 poucet [n=vincenz@li23-146.members.linode.com] has joined #scheme 10:26:10 Riastradh [n=rias@pool-141-154-207-110.bos.east.verizon.net] has joined #scheme 10:26:10 datkin_ [n=datkin@pinball.ccs.neu.edu] has joined #scheme 10:27:00 tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has joined #scheme 10:36:32 -!- Yarra [n=yarra@118.176.71.3] has quit ["Lost terminal"] 10:43:48 cracki [n=cracki@41-165.eduroam.RWTH-Aachen.DE] has joined #scheme 10:48:45 athos [n=philipp@92.250.250.68] has joined #scheme 10:54:07 npoektop [n=user@85.202.112.90] has joined #scheme 10:55:59 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 11:03:40 -!- chylli [n=lchangyi@119.181.15.104] has quit [Remote closed the connection] 11:03:53 -!- npoektop [n=user@85.202.112.90] has left #scheme 11:05:39 Edico [n=Edico@unaffiliated/edico] has joined #scheme 11:23:37 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 11:25:11 -!- soupdragon [n=f@amcant.demon.co.uk] has quit [Read error: 54 (Connection reset by peer)] 11:25:25 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 11:25:47 rocketman [n=f@amcant.demon.co.uk] has joined #scheme 11:28:23 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 11:28:32 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 11:29:43 `Peter [n=pk@188-23-102-54.adsl.highway.telekom.at] has joined #scheme 11:31:50 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 11:37:24 `Peter_ [n=pk@188-23-102-54.adsl.highway.telekom.at] has joined #scheme 11:37:24 -!- `Peter [n=pk@188-23-102-54.adsl.highway.telekom.at] has quit [Read error: 104 (Connection reset by peer)] 11:43:48 synthase [n=synthase@adsl-220-175-194.mob.bellsouth.net] has joined #scheme 11:49:31 jgracin [n=jgracin@93-138-51-84.adsl.net.t-com.hr] has joined #scheme 11:56:52 poe [n=poe@unaffiliated/xerox] has joined #scheme 11:56:54 -!- rocketman [n=f@amcant.demon.co.uk] has quit [Read error: 113 (No route to host)] 12:00:34 rocketman [n=f@amcant.demon.co.uk] has joined #scheme 12:02:41 -!- jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 12:05:16 mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has joined #scheme 12:16:23 Nshag [i=user@Mix-Orleans-106-3-200.w193-248.abo.wanadoo.fr] has joined #scheme 12:35:44 -!- hiyuh [n=hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has quit ["|_ e /\ \/ i |/| G"] 12:39:27 hiyuh [n=hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has joined #scheme 12:40:24 luz [n=davids@139.82.89.70] has joined #scheme 12:40:57 -!- cracki [n=cracki@41-165.eduroam.RWTH-Aachen.DE] has quit ["If technology is distinguishable from magic, it is insufficiently advanced."] 12:41:27 -!- argible [n=argible@c-76-98-192-104.hsd1.nj.comcast.net] has quit [Read error: 110 (Connection timed out)] 12:53:51 snearch [n=snearch@82.113.121.4] has joined #scheme 12:56:10 ventonegro [n=alex@li17-123.members.linode.com] has joined #scheme 13:01:15 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 13:01:31 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 13:01:35 Fabse [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 13:03:29 -!- Fuufie [n=innocent@86.80-203-225.nextgentel.com] has quit [Read error: 104 (Connection reset by peer)] 13:03:49 Fuufie [n=innocent@86.80-203-225.nextgentel.com] has joined #scheme 13:08:29 -!- kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has left #scheme 13:09:52 -!- snearch [n=snearch@82.113.121.4] has left #scheme 13:16:46 metasyntax|work [n=taylor@75-149-208-121-Illinois.hfc.comcastbusiness.net] has joined #scheme 13:19:13 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 13:24:54 dzhus [n=sphinx@93-81-181-235.broadband.corbina.ru] has joined #scheme 13:28:51 delopart [n=sfv@212.174.74.11] has joined #scheme 13:32:57 hey can i ask a question from plai ? I am in chapter 5.I try to solve exercise. There is a exercise which is "How come we never seem to “undo” additions to the repository? Doesn’t this run the risk 13:32:57 that one substitution might override another in a way that destroys static scoping?" But i cannot solve this exercise.Can someone help me to solve that . 13:42:17 bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has joined #scheme 13:44:18 HG` [n=wells@xdsler216.osnanet.de] has joined #scheme 13:47:07 delopart: if aSub modifies ds, you have to undo it before returning. 13:49:34 -!- jao [n=jao@21.Red-83-43-33.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 13:51:18 asub takes three parameter bound-name bound-value rest-des and ds takes value like (x 5) (y 10) for example (with (x 5)(with (y 10) (+ x y)) des hold (x 5) (y 10) right. let say we will return value of y.Value of y is 10.Why do i have to " undo"? I dont understand.can you say again your sentences more clearly ? 13:52:20 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 13:52:51 -!- rocketman [n=f@amcant.demon.co.uk] has left #scheme 13:52:55 rocketman [n=f@amcant.demon.co.uk] has joined #scheme 13:53:54 consider: (define (f) (with (x 5) x)) (+ (f) x) 13:54:26 the last x should be unbound, free 13:55:11 but if 'with' modifies 'ds', and you do not undo it, the last 'x' will be 5 14:01:21 p1dzkl, x is in scope of with isnt it ? 14:01:33 not the last x 14:02:50 (+ (f) x) <-- x is free, not in the scope of the with 14:03:00 but the last x inside the paranthesis of with 14:03:42 okey sorry i am little confused 14:04:16 you said you do not undo it x will be 5,what is i undo what is the value of x ? 14:04:17 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 14:04:44 it has no value, it is free, unbound, an error 14:04:56 o sorry 14:05:02 i understand 14:05:23 ds in (with ...) and ds in (+ (f) x) must be different 14:05:55 why 14:06:28 because in one x = 5, and in the other x is unbound 14:08:42 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [] 14:09:39 if i understand correctly.You said this f doesnt take any parameter and x doesnot belong f.So x is unbound.But x blongs to with x is bound on f.When you write a function if x doesnt belong f and you undo,,x cannot be overriden and function returns error 14:12:20 it is the same without with: (define (f x) x) (+ (f 5) x) 14:12:40 x is bound to 5 within f 14:12:47 but outside it is not bound 14:13:26 so the ds inside f, and ds outside f are different 14:13:49 qebab [i=finnrobi@caracal.stud.ntnu.no] has joined #scheme 14:15:58 aSub creates a *new* ds, and when f returns you have the *old* ds, that wasn't changed 14:16:49 but if you have an aSub that changes ds, when f returns you must undo the change, and go back to the old ds 14:17:06 hmm 14:17:46 that is as clear as I can explain it, and I have to go now 14:17:47 bey 14:17:50 bye 14:17:53 bye 14:17:55 thanks 14:30:52 jlongster [n=user@75.148.111.133] has joined #scheme 14:33:12 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 14:35:29 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [SendQ exceeded] 14:37:37 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit [simmons.freenode.net irc.freenode.net] 14:37:37 -!- poe [n=poe@unaffiliated/xerox] has quit [simmons.freenode.net irc.freenode.net] 14:37:37 -!- EnglishGent [n=nobody@ai-core.demon.co.uk] has quit [simmons.freenode.net irc.freenode.net] 14:37:37 -!- foof` [n=user@dn157-046.naist.jp] has quit [simmons.freenode.net irc.freenode.net] 14:37:37 -!- ada2358 [n=ada2358@pinball.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 14:38:03 -!- tonyg [n=tonyg@host226.lshift.net] has quit ["Leaving"] 14:39:05 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 14:43:08 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 14:43:08 EnglishGent [n=nobody@ai-core.demon.co.uk] has joined #scheme 14:43:08 foof` [n=user@dn157-046.naist.jp] has joined #scheme 14:43:08 ada2358 [n=ada2358@pinball.ccs.neu.edu] has joined #scheme 14:43:15 Foofie [n=innocent@86.80-203-225.nextgentel.com] has joined #scheme 14:45:23 poe [n=poe@unaffiliated/xerox] has joined #scheme 14:48:55 davazp [n=user@79.153.148.56] has joined #scheme 14:49:01 -!- eno__ is now known as eno 14:52:29 bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 14:53:02 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit ["Leaving"] 14:59:43 doublefree [n=doublefr@rrcs-72-43-11-34.nys.biz.rr.com] has joined #scheme 15:00:38 -!- Fuufie [n=innocent@86.80-203-225.nextgentel.com] has quit [Read error: 113 (No route to host)] 15:02:11 Keyframe2 [n=Keyframe@93-138-112-131.adsl.net.t-com.hr] has joined #scheme 15:02:38 jonrafkind [n=jon@98.202.86.149] has joined #scheme 15:09:54 hey i have a question from plai chapter 5 dynamic scope 15:10:59 it says g binds n and invokes f.f refer n and everother function invoked by g until it completes execution.Even though f has no locally binding for n 15:11:45 g bind mean n means g takes parameter n g(n) and f refers to n means f uses parameter n of g 15:11:47 ? 15:13:17 jengle [n=jengle@64-252-53-127.adsl.snet.net] has joined #scheme 15:16:46 sepult [n=buggarag@xdsl-87-78-72-75.netcologne.de] has joined #scheme 15:18:06 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 15:30:26 sepult_ [n=buggarag@xdsl-87-78-170-175.netcologne.de] has joined #scheme 15:31:06 -!- sepult_ [n=buggarag@xdsl-87-78-170-175.netcologne.de] has quit [Client Quit] 15:31:55 delopart: if g binds n, then that means that it does a {with {n 3} ... f ...} right? 15:32:18 -!- sepult [n=buggarag@xdsl-87-78-72-75.netcologne.de] has quit [Nick collision from services.] 15:32:32 delopart: and f contains a {... n ...} but no {with {n ...}} 15:33:49 sepult [n=buggarag@xdsl-87-78-170-175.netcologne.de] has joined #scheme 15:33:59 yeah 15:34:04 hhmm 15:34:35 you said (define (g n) (with (n 3) (... f ....)) 15:34:39 true ? 15:35:03 no (define (g) (with (n 3) (... f ....)) 15:35:33 but I guess g could also bind n as an argument: (define (g n) (... f ....)) 15:37:45 kg4qxk [n=brainpo@66.170.231.4] has joined #scheme 15:39:12 you said any operation for n carry in the g function ? 15:39:25 the mans of g binds n is that ? 15:42:10 -!- EnglishGent [n=nobody@ai-core.demon.co.uk] has quit [] 15:48:04 -!- hiyuh [n=hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has quit ["|_ e /\ \/ i |/| G"] 15:48:07 athos [n=philipp@92.250.250.68] has joined #scheme 15:53:13 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 60 (Operation timed out)] 15:55:52 -!- HG` [n=wells@xdsler216.osnanet.de] has quit [Client Quit] 15:56:05 hiyuh [n=hiyuh@KD124214245222.ppp-bb.dion.ne.jp] has joined #scheme 15:59:10 HG` [n=wells@xdsler216.osnanet.de] has joined #scheme 15:59:47 heat_ [n=dima@8.21.172.227] has joined #scheme 16:00:36 -!- specbot [n=specbot@common-lisp.net] has quit [simmons.freenode.net irc.freenode.net] 16:00:36 -!- weinholt [i=weinholt@debian/emeritus/weinholt] has quit [simmons.freenode.net irc.freenode.net] 16:00:37 -!- minion [n=minion@common-lisp.net] has quit [simmons.freenode.net irc.freenode.net] 16:00:37 -!- SchemerNate [i=nathan@lambda.caesium.org] has quit [simmons.freenode.net irc.freenode.net] 16:00:37 -!- heat [n=dima@8.21.172.227] has quit [simmons.freenode.net irc.freenode.net] 16:00:37 -!- incubot [n=incubot@klutometis.wikitex.org] has quit [simmons.freenode.net irc.freenode.net] 16:01:05 -!- HG` [n=wells@xdsler216.osnanet.de] has quit [Client Quit] 16:02:02 HG` [n=wells@xdsler216.osnanet.de] has joined #scheme 16:02:39 -!- HG` [n=wells@xdsler216.osnanet.de] has quit [Client Quit] 16:02:48 incubot [i=incubot@klutometis.wikitex.org] has joined #scheme 16:03:50 -!- poe [n=poe@unaffiliated/xerox] has quit ["Quit"] 16:04:29 weinholt [i=weinholt@debian/emeritus/weinholt] has joined #scheme 16:09:45 -!- jengle [n=jengle@64-252-53-127.adsl.snet.net] has quit ["Leaving"] 16:10:47 -!- Fabse [n=mightyfi@wikipedia/Track-n-Field] has quit [] 16:11:42 tonyg [n=tonyg@host226.lshift.net] has joined #scheme 16:11:51 -!- mmc [n=mima@esprx01x.nokia.com] has quit ["Leaving."] 16:14:22 SchemerNate [i=nathan@lambda.caesium.org] has joined #scheme 16:15:36 -!- tonyg [n=tonyg@host226.lshift.net] has quit [Client Quit] 16:17:39 tonyg [n=tonyg@host226.lshift.net] has joined #scheme 16:20:23 -!- bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has quit [Success] 16:20:59 jedc [n=jed@c-98-232-225-102.hsd1.or.comcast.net] has joined #scheme 16:25:51 -!- lisppaste [n=lisppast@common-lisp.net] has quit [Remote closed the connection] 16:28:44 jchen [n=jchen@ita4fw1.itasoftware.com] has joined #scheme 16:28:48 TR2N [i=email@89-180-175-89.net.novis.pt] has joined #scheme 16:28:53 nvteighen [n=nvteighe@165.Red-79-145-45.dynamicIP.rima-tde.net] has joined #scheme 16:29:44 hi! 16:31:24 hi! 16:31:26 hi! 16:31:39 quickie question... or maybe not that quickie 16:31:49 The answer is 42. 16:32:03 how the hell can I tell MIT/GNU Scheme to recursively compile all stuff loaded? 16:32:08 gnomon: :D 16:32:24 I mean, I seriously won't be doing (cf ...) for each file :p 16:33:27 (why do all these "practical" operations seem much easier in Common Lisp?) 16:35:27 In other words, any chance to compile a world image? 16:36:24 -!- synthase [n=synthase@adsl-220-175-194.mob.bellsouth.net] has quit [Read error: 113 (No route to host)] 16:37:12 i have no idea sorry :( 16:38:47 hotblack23 [n=jh@p5B0539E9.dip.t-dialin.net] has joined #scheme 16:38:58 lisppaste [n=lisppast@common-lisp.net] has joined #scheme 16:40:33 minion [n=minion@common-lisp.net] has joined #scheme 16:40:40 specbot [n=specbot@common-lisp.net] has joined #scheme 16:53:28 tonyg_ [n=tonyg@host226.lshift.net] has joined #scheme 16:54:08 -!- tonyg_ [n=tonyg@host226.lshift.net] has quit [Client Quit] 16:54:58 -!- `Peter_ [n=pk@188-23-102-54.adsl.highway.telekom.at] has quit [Read error: 60 (Operation timed out)] 16:55:55 -!- npe [n=npe@195.207.5.2] has quit [] 16:58:05 rouslan [n=Rouslan@unaffiliated/rouslan] has joined #scheme 16:59:21 arcfide [n=arcfide@adsl-99-50-224-193.dsl.bltnin.sbcglobal.net] has joined #scheme 17:02:54 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Read error: 110 (Connection timed out)] 17:04:03 -!- jgracin [n=jgracin@93-138-51-84.adsl.net.t-com.hr] has quit [Remote closed the connection] 17:05:43 nvteighen: MIT's a little idiosyncratic in that respect, though, isn't it? "practical" compilation on chicken, for instance, is utterly unobtrusive 17:06:10 wow... 17:06:48 yeah 17:07:41 well, one can always use a non-compiled world image 17:08:08 dam what is idiossynctratic 17:08:17 syncratic 17:08:17 :D 17:11:16 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 17:15:49 "given to its own unique tendencies" or so 17:16:11 copumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has joined #scheme 17:17:37 -!- nvteighen [n=nvteighe@165.Red-79-145-45.dynamicIP.rima-tde.net] has left #scheme 17:18:22 -!- syntropy [n=who@unaffiliated/syntropy] has left #scheme 17:22:41 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 104 (Connection reset by peer)] 17:23:05 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 17:23:30 -!- jedc [n=jed@c-98-232-225-102.hsd1.or.comcast.net] has quit [Read error: 110 (Connection timed out)] 17:29:27 -!- delopart [n=sfv@212.174.74.11] has quit [Remote closed the connection] 17:31:31 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 17:32:00 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 17:36:52 HG` [n=wells@xdslgx166.osnanet.de] has joined #scheme 17:39:19 -!- HG` [n=wells@xdslgx166.osnanet.de] has quit [Client Quit] 17:41:39 `Peter [n=pk@188-23-4-181.adsl.highway.telekom.at] has joined #scheme 17:50:42 bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has joined #scheme 17:51:12 -!- vandemar [n=anon@2001:470:1f10:56b:0:0:0:4] has quit [Read error: 60 (Operation timed out)] 17:53:01 vandemar [i=rings@2001:470:1f10:56b:0:0:0:4] has joined #scheme 17:55:56 jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has joined #scheme 18:02:41 -!- davazp [n=user@79.153.148.56] has quit [Remote closed the connection] 18:06:28 mrsolo [n=mrsolo@nat/yahoo/x-be65bb782d9fc6c7] has joined #scheme 18:22:19 HG` [n=wells@xdsleh094.osnanet.de] has joined #scheme 18:23:48 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 18:28:51 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 18:29:13 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 18:33:38 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 18:39:01 -!- Edico [n=Edico@unaffiliated/edico] has quit [Read error: 104 (Connection reset by peer)] 18:44:28 Morning 18:46:24 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 18:56:01 Edico [n=Edico@unaffiliated/edico] has joined #scheme 19:02:19 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-3bd65476b5b83126] has quit [Ping timeout: 180 seconds] 19:02:45 -!- luz [n=davids@139.82.89.70] has quit ["Client exiting"] 19:04:02 repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 19:06:01 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 19:12:22 Arelius: Afternoon. 19:16:38 arcfide: noon 19:19:48 How's it going? 19:20:01 -!- sepult [n=buggarag@xdsl-87-78-170-175.netcologne.de] has quit ["leaving"] 19:25:38 Arelius: Not too badly. 19:26:36 -!- rstandy [n=rastandy@net-93-144-200-80.t2.dsl.vodafone.it] has quit [Remote closed the connection] 19:33:23 flaschenwein [n=olaf_rog@p50809B35.dip0.t-ipconnect.de] has joined #scheme 19:39:54 -!- jewel [n=jewel@dsl-242-130-65.telkomadsl.co.za] has quit [Read error: 60 (Operation timed out)] 19:45:24 -!- vandemar [i=rings@2001:470:1f10:56b:0:0:0:4] has quit [Read error: 60 (Operation timed out)] 19:45:27 vandemar [i=syndicat@2001:470:1f10:56b:0:0:0:4] has joined #scheme 19:45:48 -!- dzhus [n=sphinx@93-81-181-235.broadband.corbina.ru] has quit [Remote closed the connection] 20:02:38 rudybot: ping 20:02:39 mbishop: pong 20:02:46 meh... sometimes interface boundaries make me sad -.- 20:03:45 You can generate a digest of data, and you can turn that digest into bytes, but you cannot turn those bytes back into a digest. 20:04:00 I guess because it loses some information when converting it to bytes. 20:04:44 But that means if I want to sign a digest of some data, I can't just sign the digest since I read it in as bytes. 20:04:51 -!- flaschenwein [n=olaf_rog@p50809B35.dip0.t-ipconnect.de] has left #scheme 20:05:01 I have to calculate the digest of the digest and sign that, since that's the only way to form a legitimate digest object. 20:06:29 it makes sense on the outset to prevent signing of raw bytes, because there's no use-case for that, but I can't deserialize a digest, so... 20:07:36 :o 20:09:01 Too much trouble to implement my own cryptography package x.x 20:10:14 and risk! 20:10:54 yeah, implementing crypto is hard 20:11:03 even if many of the basic algorithms are simple 20:11:30 copumpkin, you left out the necessary "...let's go shopping" suffix, there. 20:11:35 oh crap 20:11:49 'S'all right, I think at this point it can be assumed to be implied. 20:11:50 1) implementing crypto is hard 2) let's go shopping 3) ??? 4) profit!!! 20:11:55 I think I got mixed up though 20:11:57 THERE you go. 20:12:22 I accidentally the whole meme! 20:12:37 Yo dawg, &c. 20:12:45 chandler: :) 20:12:53 I think it might even be an openssl problem, since they have opaque C digest structures that you can only calculate digests with, not create a digest from already calculated bytes. 20:13:41 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 20:14:04 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 20:17:08 my kingdom for libgcrypt... 20:18:22 *gnomon* inspects synx's kingdom 20:18:38 *gnomon* decides to keep libgcrypt 20:18:42 It's a bit run down there, sync. 20:18:46 synx, even. 20:21:18 I think you really want ironclad. 20:21:24 http://method-combination.net/lisp/ironclad/ 20:25:43 Wow, Ironclad is totally in CL 20:27:14 -!- HG` [n=wells@xdsleh094.osnanet.de] has quit [Client Quit] 20:31:36 -!- weinholt [i=weinholt@debian/emeritus/weinholt] has quit [] 20:35:02 Might as well be in python though. Oh well. 20:37:54 -!- mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has quit [Remote closed the connection] 20:40:03 -!- kg4qxk [n=brainpo@66.170.231.4] has left #scheme 20:48:44 [1]Keyframe2 [n=Keyframe@78-1-176-51.adsl.net.t-com.hr] has joined #scheme 20:49:39 -!- tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has quit [Client Quit] 20:50:58 libgcrypt is better because it uses s-expressions, which maintain data integrity while allowing for powerful introspection. 20:51:27 ...and you pass the "digest" to the signing function as bytes, not as an opaque un-recreatable digest structure. <.< 20:52:02 -!- Keyframe2 [n=Keyframe@93-138-112-131.adsl.net.t-com.hr] has quit [Read error: 60 (Operation timed out)] 20:52:03 -!- [1]Keyframe2 is now known as Keyframe2 21:01:34 schmir [n=schmir@p54A905B9.dip0.t-ipconnect.de] has joined #scheme 21:04:33 hi all. isn't there a sort function defined in the scheme standard (r5rs)? 21:04:45 No. 21:06:48 hmm. wow. should I look at slib? is that best practice? 21:07:37 Nope. 21:08:18 probably I should sort... :) 21:08:25 shouldn't 21:08:31 Better to use code from SRFI 32 . 21:08:45 schmir: srfi/95 has sorting... 21:09:16 srfi/32 is withdrawn I think Riastradh 21:09:36 Yes, synx. That fact does not change my advice. 21:10:25 SRFI 95 is in final status, thus widely accepted and will not be withdrawn. Probably better to use that. Or code from that. 21:11:09 My advice is based on the quality of code you find in SRFI 32 compared to the quality of code you find in SRFI 95. 21:11:33 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 21:15:53 Huh, that's curious. There is no link to the reference implementation in the document. Here it is, anyway: . 21:17:04 (require "array") does not work for me...I'm using gambit. any hints? (error is Unbound variable: require) 21:17:38 Where did you encounter `(require "array")'? 21:17:59 in the implementation from srfi/95 21:18:27 That is simply some code from SLIB, which is useless if taken verbatim. 21:19:08 hmm.ok. this is just an API spec? 21:19:45 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 21:20:16 What is `this', sorry? 21:21:41 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 21:21:57 sfri95 is just the API. I'll have to find an implementation for gambit c myself 21:22:12 There is a reference implementation -- it's just badly written, and useless if taken verbatim. 21:22:50 What you tried to load, I presume, is the reference implementation, which doesn't work in implementations of Scheme. It works only in implementations of SLIB, of which there is only one that I know of; that one runs on top of several Scheme systems. 21:23:09 -!- ken-p [n=ken-p@84.92.70.37] has quit [Connection timed out] 21:23:44 On the other hand, if you take, say, , it should work without modification in any implementation of Scheme (specifically, any implementation of the R5RS). 21:24:18 Why was SRFI 32 withdrawn? Olin just didn't make it through the process? 21:24:25 Yes, chandler. 21:24:53 Hmph. 21:25:15 (For the other files in that directory, you will probably need to load sort-support.scm first.) 21:26:06 > (load "lmsort.scm") 21:26:06 *** ERROR IN "lmsort.scm"@8.17 -- Ill-formed expression 21:26:25 Be sure you are using an implementation of the R5RS, schmir. 21:27:10 To make Gambit such a beast, you may need to incant something about loading syntax-case. 21:28:22 If I recall correctly, the incantation is (load "~~/syntax-case"). 21:29:58 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 21:30:19 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit [Read error: 104 (Connection reset by peer)] 21:30:26 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 21:31:56 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit [Client Quit] 21:32:07 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 21:32:58 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 21:33:27 Riastradh: thanks. that looks like it should work, but currently it does not work for me...If I pass the complete path (load "/usr/local/Gambit-C/lib/syntax-case.scm") it does work and I can load lmsort.scm.. 21:34:31 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 21:38:53 -!- bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has quit [] 21:38:58 -!- dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has quit [Remote closed the connection] 21:42:53 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 21:45:49 -!- arcfide [n=arcfide@adsl-99-50-224-193.dsl.bltnin.sbcglobal.net] has left #scheme 21:47:09 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit ["Leaving"] 21:47:16 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 21:49:37 flaschenwein [n=olaf_rog@p50809B35.dip0.t-ipconnect.de] has joined #scheme 21:51:05 arcfide [n=arcfide@adsl-99-50-224-193.dsl.bltnin.sbcglobal.net] has joined #scheme 21:51:55 jengle [n=jengle@64.252.88.235] has joined #scheme 21:52:22 -!- elf [i=elf@antenora.aculei.net] has quit [Connection timed out] 21:53:36 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit ["Leaving"] 21:54:08 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 21:54:45 -!- doublefree [n=doublefr@rrcs-72-43-11-34.nys.biz.rr.com] has quit [] 21:55:13 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 21:56:13 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 21:56:13 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit [Read error: 104 (Connection reset by peer)] 21:56:44 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 21:59:50 saccade [n=saccade@c-66-31-201-117.hsd1.ma.comcast.net] has joined #scheme 22:02:58 MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has joined #scheme 22:03:12 -!- MrFahrenheit [i=RageOfTh@SE400.PPPoE-7062.sa.bih.net.ba] has quit [Read error: 104 (Connection reset by peer)] 22:06:00 dysinger [n=tim@gprsinternet01.porta.net] has joined #scheme 22:06:11 howdie ho neighbor(s) 22:06:23 Is there a slime/swank for scheme ? 22:10:13 dysinger: Only a rather out of date one. 22:11:55 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 22:12:28 MrFahrenheit [i=RageOfTh@89.146.162.251] has joined #scheme 22:12:56 bummer 22:12:57 -!- MrFahrenheit [i=RageOfTh@89.146.162.251] has quit [Read error: 104 (Connection reset by peer)] 22:13:44 so what's a typical dev cycle look like in emacs then ? I am coming to it from clojure / common-lisp slime/swank 22:15:00 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 22:17:22 -!- jengle [n=jengle@64.252.88.235] has quit ["Leaving"] 22:17:37 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 22:19:38 Via a Google ad comes our daily WTF: http://beelisp.com/ 22:20:16 That popped up while I was looking for this: 22:20:25 dysinger: You might want to look at geiser: http://programming-musings.org/2009/05/14/geiser/ 22:23:11 -!- hotblack23 [n=jh@p5B0539E9.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 22:23:24 -!- attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has quit [Read error: 113 (No route to host)] 22:28:20 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 22:32:49 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 22:38:42 -!- flaschenwein [n=olaf_rog@p50809B35.dip0.t-ipconnect.de] has left #scheme 22:39:26 MrFahrenheit [i=RageOfTh@89.146.165.2] has joined #scheme 22:43:03 thanks chandler 22:54:32 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 22:55:59 -!- bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 22:56:13 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 22:57:15 -!- kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has left #scheme 23:01:51 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:04:13 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 23:04:33 underspecified_ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:07:16 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 23:08:51 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 23:09:17 alexshendi [n=alexshen@dslb-188-098-106-109.pools.arcor-ip.net] has joined #scheme 23:09:29 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [Read error: 60 (Operation timed out)] 23:10:23 tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has joined #scheme 23:11:19 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:13:43 underspecified__ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:14:11 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 23:15:37 dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has joined #scheme 23:18:05 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [Read error: 60 (Operation timed out)] 23:19:32 -!- alexshendi [n=alexshen@dslb-188-098-106-109.pools.arcor-ip.net] has quit ["Leaving"] 23:20:03 -!- underspecified__ [n=eric@softbank220043052007.bbtec.net] has quit [] 23:20:26 alexshendi [n=alexshen@dslb-188-098-106-109.pools.arcor-ip.net] has joined #scheme 23:23:11 -!- schmir [n=schmir@p54A905B9.dip0.t-ipconnect.de] has quit [Read error: 113 (No route to host)] 23:26:22 -!- dysinger [n=tim@gprsinternet01.porta.net] has left #scheme 23:26:41 chandler: the WTF comes, i take it, from the third bullet point at the end of the page: "BEE Lisp also provides other advantages: Programs are more error-prone" 23:26:56 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Read error: 54 (Connection reset by peer)] 23:27:10 -!- foof` is now known as foof 23:29:59 -!- Nshag [i=user@Mix-Orleans-106-3-200.w193-248.abo.wanadoo.fr] has quit ["Quitte"] 23:30:46 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:31:01 -!- underspecified_ [n=eric@softbank220043052007.bbtec.net] has quit [] 23:33:14 incubot: if computers are prone to error doesn't it make them human? 23:33:18 No, but their *format* is complicated and potentially error prone to someone who is doing rapid, brainless translation 23:34:07 incubot: ah, it's only compilers that are human? 23:34:10 Its been said that asymptonic is my creepy human boyfriend 23:38:31 phax [n=phax@unaffiliated/phax] has joined #scheme 23:38:44 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit ["Leaving."] 23:40:06 -!- phax [n=phax@unaffiliated/phax] has quit [Remote closed the connection] 23:41:04 -!- vandemar [i=syndicat@2001:470:1f10:56b:0:0:0:4] has quit [Read error: 60 (Operation timed out)] 23:42:26 vandemar [i=cohen@2001:470:1f10:56b:0:0:0:4] has joined #scheme 23:46:19 -!- alexshendi [n=alexshen@dslb-188-098-106-109.pools.arcor-ip.net] has left #scheme 23:47:22 -!- jlongster [n=user@75.148.111.133] has quit [Read error: 113 (No route to host)] 23:48:18 synthase [n=synthase@adsl-146-227-235.mob.bellsouth.net] has joined #scheme 23:51:00 -!- arcfide [n=arcfide@adsl-99-50-224-193.dsl.bltnin.sbcglobal.net] has left #scheme 23:51:58 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 23:53:34 [1]Keyframe2 [n=Keyframe@78-1-143-74.adsl.net.t-com.hr] has joined #scheme 23:56:31 jedc [n=jed@c-98-232-225-102.hsd1.or.comcast.net] has joined #scheme 23:58:34 -!- tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has quit []