00:00:00 --- log: started scheme/05.05.06 00:04:09 --- quit: specbot (Ping timeout: 14400 seconds) 00:14:59 --- join: fuligin (~sdunlop@pool-68-238-55-61.port.east.verizon.net) joined #scheme 00:16:24 --- quit: fuligin (Client Quit) 00:16:30 --- join: fuligin (~sdunlop@pool-68-238-55-61.port.east.verizon.net) joined #scheme 00:17:24 --- quit: fuligin (Client Quit) 00:20:49 --- join: fuligin (~fuligin@pool-68-238-55-61.port.east.verizon.net) joined #scheme 00:26:06 --- quit: Meckros () 00:33:45 --- join: magr (~magr@patroclus.uebb.cs.tu-berlin.de) joined #scheme 00:38:25 --- quit: uebayasi (Read error: 110 (Connection timed out)) 00:39:48 --- join: jmob (~jmob@deadbeefbabe.org) joined #scheme 00:40:22 Is there anything interesting I can write if my scheme only has lambda's, cons, car, cdr, and +/-/* ? 00:41:10 yes 00:41:20 virtually everything 00:41:59 minus273: no special forms 00:42:11 no quotes? 00:42:24 No! 00:42:36 are there nils? 00:42:40 Yes 00:42:44 ok 00:42:56 quotes are unnessesary then 00:43:25 '(1 2 3)->(cons 1 (cons 2 (cons 3 00:43:34 so there are no symbols 00:44:30 there are no defines 00:44:32 no lets 00:44:42 (so cons car cdr are all useless) 00:44:46 ok 00:44:48 Nope, this is my scheme http://rafb.net/paste/results/AJdEW850.html 00:44:57 now the language has lambda + - * 00:45:12 jmob, are there defines? 00:45:27 minus273: no 00:45:39 minus273: aren't lambdas good enough for defines? 00:45:51 ok ok 00:46:08 It would be tricky to recurse without a way to self-refer. 00:46:38 and it would be impossible to recurse finitely 00:47:26 Right. You'd need some sort of conditional. 00:47:39 and a bit of predicates 00:47:43 and a define 00:47:47 or a let 00:48:45 What happened to doing everything? 00:48:54 I thought lambda was all you needed? 00:48:54 We thought about it. ;) 00:49:22 jmob, a cond is a must 00:49:39 this would make it t-complete, i thought 00:50:29 and 00:50:31 No, because you need at least a primitive conditional form to create a turing machine. 00:50:39 If state x, then perform y. 00:50:45 o yes 00:50:49 so a null? 00:51:15 That's a predicate, and a step in the right direction. 00:51:17 that's enough 00:51:21 for example 00:51:29 to test whether a number is 0 00:51:35 He'd still need an if, or a cond. 00:51:39 we can construct a list for the number 00:51:45 and null? 00:51:57 to make the function 00:52:05 you need a cond and a let 00:52:31 --- join: tessier (~treed@222.253.78.85) joined #scheme 00:52:41 You can express cond using if, lambda, and recursion. 00:52:49 --- quit: Bodger ("I've enjoyed about as much of this as I can stand.") 00:52:59 fuligin, ... 00:53:23 an if is the same as a cond to make it turing complete 00:53:50 True. I thought he was looking for the most primitive operations. 00:54:03 An assumption, on my part. Sorry. =) 00:55:11 ISZERO := ¦Ë n. n (¦Ë x. FALSE) TRUE 00:55:27 ISZERO := lambda n. n (lambda x. FALSE) TRUE 00:56:09 true=(lambda (u) (lambda (v) u)) 00:56:28 false=(lambda (u) (lambda (v) v)) 00:57:27 so 00:58:00 if=(lambda (b u v) (b (u v))) 00:58:32 perfect 00:58:39 make everything lambda calculus 00:58:44 and it IS turing complete 00:59:37 and we can use church numbers 00:59:51 and convert church numbers to numbers et vice versa 00:59:53 COOOOOOOOOOOOOOOOOL 01:00:40 but it has numbers already :( 01:01:24 jmob, you can convert it to church numbers 01:01:54 0=(lambda (f) (lambda (x) x)) 01:02:08 1=(lambda (f) (lambda (x) (f x))) 01:02:23 sorry 01:02:37 if=(lambda (b u v) ((b u) v)) 01:02:57 2=(lambda (f) (lambda (x) (f (f x)))) 01:03:00 ad infinitum 01:03:19 (no, not infinitum, but the point that your prolog goes down) 01:04:49 http://en.wikipedia.org/wiki/Lambda_calculus 01:04:50 read this 01:04:56 notice the y combinator 01:05:11 with which you can make a fac function out of your scheme 01:05:18 and you can figure out by yourself 01:05:28 how to convert a church number to a number 01:09:15 a factorial 01:09:28 * minus273 is challenging himself 01:09:44 factorial= 01:10:42 * minus273 give up 01:10:49 without a let nor a define 01:10:52 it's awful 01:10:57 :( 01:12:52 make you a define 01:13:01 and you can write a factorial 01:13:17 sarahbot: yow. 01:13:18 Darling, my ELBOW is FLYING over FRANKFURT, Germany.. 01:13:52 --- quit: lisppaste (Ping timeout: 14400 seconds) 01:16:08 or a ski combinator 01:16:16 S=(lambda (x) x) 01:16:29 K=(lambda (x y) x) 01:16:45 Ok, I have a define now. 01:16:58 Y=(lambda (x y z) ((x z) (y z))) 01:17:08 then you can write any program with S, K and Y 01:17:59 --- join: uebayasi (~uebayasi@i60-35-68-110.s02.a014.ap.plala.or.jp) joined #scheme 01:21:45 s/Y/I/ 01:22:56 jmob, where's it? 01:24:10 I lied, I'd have to modify all my predicates to get a proper define. 01:24:14 --- join: jao (~jao@103.Red-80-33-152.pooles.rima-tde.net) joined #scheme 01:24:48 jmob, 01:24:55 you can remove 'em all 01:25:00 remaining only 01:25:03 lambda and define 01:25:17 that's enough to write a useful program and not too long 01:25:42 Yes, perhaps I will. I'm about to pass out now though. 01:26:06 or better pass away 01:26:11 Cheers, thanks for the input :) 01:26:33 what input? 01:27:02 "six ounces of blond Lebanese hash" 01:27:02 minus273: s/input/thoughts/ 01:27:06 what does it mean 01:27:20 I'm half Lebanese. 01:27:35 .. 01:27:47 what is blond Lebanese hash 01:28:21 hash of food? 01:28:32 hash is a drug 01:29:29 http://www.erowid.org/psychoactives/slang/slang.shtml 01:29:42 search for "blond hash" 01:30:02 blonde rather 01:31:40 (Depressant with Hallucinogenic qualities) 01:36:29 --- join: forcer (~forcer@d001066.adsl.hansenet.de) joined #scheme 01:56:05 --- join: ptlo (~senko@darguner.rdlab.carnet.hr) joined #scheme 01:59:21 --- quit: merlin_ ("leaving") 02:07:00 --- join: merlin_ (~merlin@dangermouse.pod4.org) joined #scheme 02:23:40 --- join: hsh (~hsh@hsh.member.fsf) joined #scheme 02:28:02 --- quit: dcorking (niven.freenode.net irc.freenode.net) 02:28:36 --- join: dcorking (~dcorking@82.153.114.90) joined #scheme 02:36:08 --- join: ecraven (nex@A-036.AHL.Uni-Linz.AC.AT) joined #scheme 02:44:10 --- quit: ecraven (Read error: 104 (Connection reset by peer)) 02:50:45 --- join: masm (~masm@c-217-70-66-127.bragatel.pt) joined #scheme 03:11:23 --- quit: jao (Remote closed the connection) 03:13:53 --- join: karingo (~karingo@209-180-169-151.ptld.qwest.net) joined #scheme 03:17:47 --- part: sladegen left #scheme 03:33:29 --- quit: dcorking ("Client exiting") 03:44:21 --- join: lisppaste (~lisppaste@common-lisp.net) joined #scheme 03:45:18 --- join: specbot (~specbot@common-lisp.net) joined #scheme 03:45:19 --- join: Johnlein (~Johnlein@p5492D2EC.dip.t-dialin.net) joined #scheme 03:45:49 --- join: neilv (~user@dsl092-071-029.bos1.dsl.speakeasy.net) joined #scheme 03:54:28 --- quit: tessier ("Leaving") 03:59:21 --- join: arcus (~ajt@60-234-139-150.bitstream.orcon.net.nz) joined #scheme 03:59:37 --- part: Johnlein left #scheme 04:00:47 --- quit: neilv ("Leaving") 04:03:15 --- join: bubblesort (~bubble@p54A0EC57.dip.t-dialin.net) joined #scheme 04:17:36 --- join: jao (~jao@103.Red-80-33-152.pooles.rima-tde.net) joined #scheme 04:59:11 --- join: mithro (~tim@dsl1-83.gw1.adl1.airnet.com.au) joined #scheme 05:03:45 mithro 05:03:45 vs: bistro 05:04:01 ? 05:04:05 hey minus273 05:05:00 nothing 05:05:07 i recalled bistr-o-mathics 05:05:19 whats that? 05:10:10 a kind of advanced form of mathematics. 05:15:54 i think we will most probably end up using scheme subset as our extension language 05:18:35 --- quit: minus273 (Read error: 145 (Connection timed out)) 05:19:24 --- join: moea (~moe@196.36.165.214) joined #scheme 05:20:06 im almost done with (another) scheme implementation in python, its good, but im confused about the differences between lists and pairs, or what the distinction is 05:20:32 moea: he he, i've been looking at python scheme implementations 05:21:14 moea: really, all scheme has is pairs. 05:21:22 a pair is just a two-element container. 05:21:55 a list is a pair who's cdr is either a list or '() 05:23:03 so if you express a pair as the standard ( a . b) 05:23:36 a list (a b c d) is really ( a . ( b . ( c . (d . ()) 05:24:06 I.e. a linked list, where each element has a value and a "next" pointer, if you know that. ;-) 05:25:22 forcer: thanks, that's a much clearer way to describe it :] 05:25:51 arcus: It also relies on prior knowledge, contrary to your explanation. 05:26:05 thanks guys 05:32:43 so moea whats the name of your scheme implimentation? 05:33:03 mithro: i gave it a crap name. "schimp" 05:33:06 im going to change it 05:33:13 its quite good though, the implementation 05:33:20 pysch ;-) 05:33:58 moea: i'm currently looking for a simple python scheme implimentation which I can hack up for a restricted execution type enviroment 05:34:38 --- quit: jao ("Computer goes to sleep!") 05:34:48 mithro: i modelled mine on pyscheme, the first version, because it followed closely the outline given in SICP. it check it out if i were you, it goes as far as implementing call/cc 05:35:03 --- join: jao (~jao@103.Red-80-33-152.pooles.rima-tde.net) joined #scheme 05:35:37 ? 05:35:51 i seen pyscheme and psyche 05:35:58 but yet to actually try them out 05:36:35 --- quit: jao (Client Quit) 05:44:33 --- quit: forcer (Remote closed the connection) 05:44:38 --- quit: Voins ("leaving") 06:09:13 --- quit: magr ("Client exiting") 06:17:25 --- join: rajesh (~rajesh@SPARKY.CS.NYU.EDU) joined #scheme 06:42:39 what exactly is a symbol? 06:45:08 --- nick: eno-zzz -> eno 06:45:26 specbot r5rs Symbols 06:45:26 Sorry, I couldn't find anything for Symbols. 06:45:35 http://www.swiss.ai.mit.edu/~jaffer/r5rs_8.html#SEC60 06:45:54 thanks 06:46:05 --- join: bzzbzz (~franco@MTL-HSE-ppp189629.qc.sympatico.ca) joined #scheme 06:49:58 --- join: minus273 (anncmy@61.157.146.106) joined #scheme 06:51:57 sarahbot: yow. 06:51:57 I selected E5... but I didn't hear ``Sam the Sham and the Pharaohs''! 06:52:19 hi all 06:53:53 hi 06:57:38 --- quit: merlin_ (Remote closed the connection) 07:13:08 --- quit: ptlo ("Leaving") 07:14:21 --- quit: mithro (Read error: 113 (No route to host)) 07:24:16 good morning 07:25:21 * offby1 yawns 07:25:26 'morning 07:25:38 sarahbot: good morning 07:25:38 Hello and how are you this morning? 07:25:52 sarahbot: weather Saint Paul 07:25:53 Currently at #f, #f. The temperature is #f. Winds out of the #f at #f miles per hour. 07:25:59 Sweet 07:26:02 * asymptonic needs to work on that 07:26:09 I wrote it in an hour last night. 07:26:13 * offby1 sometimes gets wind out of his #f 07:26:25 kind of offends the other people in the room, but what can I do? 07:28:14 sarahbot: weather Saint Paul 07:28:14 Currently at #f, #f. The temperature is #f. Winds out of the #f at #f miles per hour. 07:28:44 asymptonic: from where are you pulling weather? 07:29:01 the national weather service's XML service. 07:30:07 can you get somewhere to pull international weather? 07:30:30 Maybe 07:30:30 wow, nice. 07:30:33 --- quit: bubblesort ("...") 07:30:33 Haven't tried yet. 07:31:00 sarahbot: weather Saint Paul 07:31:01 Currently at St. Paul Downtown Holman Field, MN, Fair. The temperature is 56 F (13 C). Winds out of the Northwest at 6.9 miles per hour. 07:31:08 sarahbot, weather Chengdu 07:31:15 nice. :) thx 07:31:27 sarahbot, weather Chengdu 07:31:32 sarahbot: weather Helsinki 07:31:32 Currently at #f, #f. The temperature is #f. Winds out of the #f at #f miles per hour. 07:31:40 Its Chengtu in her database, but we don't do international yet. 07:32:02 sarahbot, weather Ursa Minor Beta 07:33:06 http://weather.noaa.gov/weather/current/ZUUU.html 07:33:14 it IS ChengDu 07:33:21 minus273: okay 07:35:36 --- join: ecraven (nex@A-036.AHL.Uni-Linz.AC.AT) joined #scheme 07:38:07 --- quit: swalters (Read error: 104 (Connection reset by peer)) 07:39:44 --- join: swalters (~swalters@2416457hfc118.tampabay.res.rr.com) joined #scheme 07:44:48 seereebot, weather Chengdu 07:44:49 Currently at Custer County Airport, SD, Fair. The temperature is 46 F (8 C). Winds out of the North at 3.45 miles per hour. 07:44:58 hehe 07:45:00 WRONG 07:45:09 seereebot, weather Helsinki 07:45:09 Currently at #f, #f. The temperature is #f. Winds out of the #f at #f miles per hour. 07:45:18 seereebot, weather London 07:45:20 What part of no international weather don't you understand? 07:45:38 ? 07:45:48 It only works for US cities. 07:46:19 yah 07:46:22 but.. 07:46:28 minus273: okay 07:46:54 I changed her knowledge of the city and airport code, but not the inability to fetch the weather data 07:47:05 There is no source I've found for international, machine readable weather data. 07:47:40 asymptonic 07:47:57 weather.noaa.gov isn't enough? 07:48:14 They don't provide machine readable *international* data 07:48:16 the weather underground doesn't have machine readable data? 07:48:51 oh i see 07:48:57 you fetch rsses? 07:49:06 arcus: Don't know 07:49:11 minus273: the XML feeds actually 07:49:29 the RSS has too many redundant fields, and I didn't want to put a full XML parser in sarah yet. 07:49:53 i thought you parsed from html 07:50:03 no 07:55:01 http://www.wunderground.com - nothing obvious on their home page... 07:55:20 --- quit: eno ("BitchX-1.1-final -- just do it.") 07:56:21 that's their homepage? 07:56:24 * minus273 boggles 08:04:17 ah, latex .cls files are insane :( wish it were scheme.. 08:04:24 --- join: tessier (~treed@210.245.103.216) joined #scheme 08:08:22 --- quit: arcus ("Client exiting") 08:09:58 * minus273 assumes that students of universitet of uppsala will be sacrificed to odin at temple of uppsala :D 08:11:34 --- join: evoli (~JoyceC@NONE-FOUR-O-TWO.MIT.EDU) joined #scheme 08:12:37 --- quit: uebayasi (Read error: 110 (Connection timed out)) 08:26:32 --- join: kuribas (~user@188-196.240.81.adsl.skynet.be) joined #scheme 08:31:32 asymptonic: I have a small XML parser you might be able to use. 08:32:05 It parses well-formed XML but does not validate 08:34:59 --- quit: kuribas ("ERC Version 5.0.2 $Revision: 1.726.2.10 $ (IRC client for Emacs)") 08:37:45 --- join: kuribas (~kristof@188-196.240.81.adsl.skynet.be) joined #scheme 08:38:28 --- join: eno (~eno@adsl-68-123-120-70.dsl.snfc21.pacbell.net) joined #scheme 08:39:06 sarahbot: yow 08:39:06 I think I am an overnight sensation right now!! 08:39:18 sarahbot: weather boston 08:39:18 --- quit: kuribas (Client Quit) 08:39:19 Currently at Boston, Logan International Airport, MA, Overcast. The temperature is 51 F (11 C). Winds out of the East at 8.05 miles per hour. 08:39:42 --- nick: eno -> eno-away 08:40:30 sarahbot: weather hartford 08:40:31 Currently at Windsor Locks, Bradley International Airport, CT, Overcast. The temperature is 52 F (11 C). Winds out of the East at 4.6 miles per hour. 08:41:02 sarahbot: weather palm springs 08:41:03 Currently at Palm Springs Rgnl, CA, Fair. The temperature is 65 F (18 C). Winds out of the Variable at 3.45 miles per hour. 08:42:16 sarahbot: weather honolulu 08:42:17 Currently at Helena Regional, MT, Mostly Cloudy. The temperature is 49 F (9 C). Winds out of the North at 3.45 miles per hour. 08:42:32 honolulu = helena? 08:42:38 I dunno. 08:42:50 I doubt Montana and Hawaii ever have the same weather. 08:43:02 seems like they could get a little closer 08:43:15 like, say, Denver 08:43:23 or even Las Vegas 08:43:48 stupid national weather service. 08:44:19 --- quit: evoli (Read error: 110 (Connection timed out)) 08:47:18 Heh. 09:00:23 --- join: evoli (~JoyceC@NONE-FOUR-O-TWO.MIT.EDU) joined #scheme 09:01:38 gday :) 09:02:10 Yo. :) 09:03:07 schemely goodness.. 09:04:44 .. 09:04:49 hi evoli. 09:04:57 hey bitwize 09:05:02 * evoli can't think straight to ask questions 09:05:18 if I fall asleep on the floor, it will be a natural rip 09:05:25 PLEASE NO BENDY QUESTIONS 09:05:26 (R.I.P) 09:05:34 what's bendy? 09:06:12 * xerox questions some brandy 09:06:23 * evoli waves at xerox :) 09:06:37 oops! hiya evoli! 09:06:46 how are you doing? 09:07:10 Fine, just got a math test... and relaxing :-) 09:07:19 describe the math? 09:07:37 Aww, limits calculus, nothing too hard. 09:07:49 what's limits calculus? 09:07:58 Damn my poor english. 09:08:02 Calculating limits? 09:08:10 okie :) 09:08:13 ^__^ 09:08:35 epsilon-delta proofs? 09:09:04 No no. 09:09:15 calculating limits? 09:09:17 no kidding? 09:09:19 We got over them 09:10:18 * evoli nods 09:10:39 Why? 09:10:54 (I thought proving a limit was more difficult than determining one, but whatever.) 09:11:04 proving a limit? 09:11:16 evoli, those proofs zarchne was talking about 09:11:24 wow 09:11:25 I know what epsilon-delta proofs are 09:11:30 for continuity. 09:11:38 but... oh well 09:11:50 * evoli was perhaps soliciting an example :) 09:11:59 .. 09:12:00 zarchne, hmm, there is probably more to keep in mind to determine a limit than for proving one. 09:12:18 * zarchne shrugs. 09:12:26 Dunno really :-) 09:12:53 Calculus was ten... no, fifteen years ago for me. 09:13:13 calculus was negative one years ago for me 09:13:43 in high school we had derivations 09:13:51 but not deep in limits 09:14:00 no integrals at all 09:14:04 bye all 09:14:09 * minus273 slays himself 09:14:12 --- quit: minus273 ("Leaving") 09:15:32 heh 09:15:41 oops, wrong # 09:16:23 * zarchne mumbles, "Homogeneous linear in t and x!" 09:16:32 Simplest example? Prove \lim{x \to 3} 2x-1= 5. |(2x-1)-5| < epsilon, |2x-6| < epsilon, -epsilon < 2x-6 < epsilon, 6-epsilon < 2x < 6+epsilon, 3-(epsilon/2) < x < 3+(epsilon/2), we found an I(x) depending on epsilon. 09:16:37 you can always learn the "same thing" over and over again... 09:17:11 yay :) 09:17:15 ^__^ 09:22:01 --- join: Rotty (~andy@dsl-82-201.utaonline.at) joined #scheme 09:23:47 bbl 09:24:31 ok 09:24:37 jivera: ping 09:30:17 --- quit: offby1 (Nick collision from services.) 09:30:21 --- nick: offby1` -> offby1 09:30:50 --- join: offby1` (~user@offby1.atm01.sea.blarg.net) joined #scheme 09:31:05 --- join: Voins (~pacific@212.1.232.15) joined #scheme 09:31:47 --- join: dcorking (~dcorking@82.153.112.12) joined #scheme 09:38:50 --- quit: eno-away (Remote closed the connection) 09:39:15 sarahbot, prescheme? 09:39:15 So.....you like Atlanta? 09:45:26 --- join: batkins (~bill@pidgeotto-30.dynamic.rpi.edu) joined #scheme 09:49:40 --- join: bwolf (core@port-212-202-193-3.dynamic.qsc.de) joined #scheme 10:14:12 xerox: ugh. "Limits and Sequences". I _hated_ that course. 10:14:39 * luxy is hungy 10:14:49 well hungy? 10:16:09 hahaha 10:16:18 that reminds me of william hung 10:16:26 he was in my physics class 10:16:37 electro... 10:16:40 stuffies 10:16:59 and then suddenly he started giving out autographs at the bus stop 10:18:35 :-D 10:20:19 --- quit: evoli (Read error: 60 (Operation timed out)) 10:25:07 --- join: Maddas (~user@starlight.deadbunny.com) joined #scheme 10:27:07 --- quit: Rotty (Read error: 60 (Operation timed out)) 10:38:21 --- join: evoli (~JoyceC@NONE-FOUR-O-TWO.MIT.EDU) joined #scheme 10:38:32 --- quit: rajesh ("leaving") 10:38:48 hi evoli!!! 10:38:57 hey 10:39:05 --- quit: ecraven ("bbl") 10:45:44 * bitwize waves to evoli 10:45:58 * evoli in class rota 10:55:04 --- join: ecraven (nex@A-036.AHL.Uni-Linz.AC.AT) joined #scheme 11:03:50 * luxy 's boss just walked in 11:04:01 * luxy has mucho terminal windows 11:05:38 --- quit: Voins ("Client exiting") 11:06:48 i asked this last night, but got disconnected. why is there a distinction between let and let* ? why doesn't let just do what let* does? 11:10:10 sarahbot: logs? 11:10:11 From what I understand, logs is 11:10:15 (Catfive gave an answer) 11:10:51 Maddas, thanks 11:11:56 Out of curiosity, why would you have LET* and not LET instead of the other way round? 11:12:31 R5RS contains code that shows how you can expand LET* to LET forms 11:13:00 (Under 7.3, Derived expression types) 11:14:09 (It also shows how LET is expanded to LAMBDA forms as Catfive said) 11:15:07 i couldn't think of an instance where you wouldn't want let* 's behavior 11:16:45 Ok. 11:17:46 --- quit: masm ("Leaving") 11:21:56 --- quit: evoli ("Leaving") 11:32:05 --- join: michael (~michael@h223n1fls306o1124.telia.com) joined #scheme 11:53:48 --- join: rajesh (~rajesh@SPARKY.CS.NYU.EDU) joined #scheme 12:00:46 Everytime I see LAMBDA, I think NAMBLA. 12:02:21 Terve. 12:04:56 every time I hear "Pre-Scheme" I think it's something dirty 12:05:13 lol 12:05:32 batkins, there are times when you need parallel binding, and the difference between LET & LET* is also useful to demonstrate that the evaluation order is significant. 12:10:05 --- quit: asymptonic (Read error: 110 (Connection timed out)) 12:10:05 --- quit: sarahbot (Read error: 110 (Connection timed out)) 12:12:39 --- join: asymptonic (scgmille@user-0vvdb59.cable.mindspring.com) joined #scheme 12:13:04 --- join: sarahbot (scgmille@user-0vvdb59.cable.mindspring.com) joined #scheme 12:16:47 --- quit: batkins ("Leaving") 12:37:39 --- quit: lisppaste (Read error: 104 (Connection reset by peer)) 12:37:39 --- quit: specbot (Read error: 104 (Connection reset by peer)) 12:45:32 --- join: lisppaste (~lisppaste@common-lisp.net) joined #scheme 12:46:05 --- join: specbot (~specbot@common-lisp.net) joined #scheme 12:49:39 Riastradh: what reasons are there against implementing srfi-9 atop object/operation? 12:56:10 --- quit: dcorking (Read error: 104 (Connection reset by peer)) 13:11:20 --- join: jao (~jao@103.Red-80-33-152.pooles.rima-tde.net) joined #scheme 13:19:43 --- quit: badonaway (Read error: 104 (Connection reset by peer)) 13:27:22 --- join: rambaby (~timj@d062193.adsl.hansenet.de) joined #scheme 13:35:24 --- quit: rambokid (Read error: 60 (Operation timed out)) 13:35:48 --- join: netfrog (~ilya-icq@line106-24.adsl.actcom.co.il) joined #scheme 13:39:52 Efficiency. 13:40:40 * luxy bounces 13:40:45 ...unless you have something like Dylan's 'sealing' concept, but only that in conjunction with a sufficiently smart compiler can you get the efficiency of direct record access. 13:40:55 * luxy waves to professor Riastradh 13:41:15 * luxy goes back to coding 13:56:32 --- nick: sm -> sm-away 13:59:14 what is dylan's sealing concept? 14:28:36 --- join: tessier_ (~treed@210.245.98.25) joined #scheme 14:29:27 --- quit: tessier (Read error: 113 (No route to host)) 14:41:31 For T, it would be essentially the localization of operations within modules. 14:41:56 In Dylan, to seal a generic function is basically to set a bit that says it can no longer be modified, but that can't be done so easily in T. 14:42:21 http://gauss.gwydiondylan.org/books/drm/drm_70.html 14:42:30 I've recently been toying with a thought of implementing operation sealing in T, but I can't figure out how to reconcile it with the interpreter. 14:42:58 ...or rather: how to implement the semantics for operation calls that cannot be integrated. 14:43:06 --- quit: rajesh ("leaving") 14:48:18 --- quit: fuligin ("Quitting!") 14:59:15 --- quit: Xkilla (Read error: 110 (Connection timed out)) 15:08:26 --- join: evoli (~JoyceC@NONE-FOUR-O-TWO.MIT.EDU) joined #scheme 15:14:45 --- join: JamieMadrox (~blah@nat01-frelinghuysen-ext.Rutgers.EDU) joined #scheme 15:15:20 sarahbot: yow. 15:15:20 I want to TAKE IT HOME and DRESS IT UP in HOT PANTS!! 15:16:16 sarahbot: help 15:17:06 --- join: Yuhsin (~JoyceC@NONE-FOUR-O-TWO.MIT.EDU) joined #scheme 15:17:33 --- quit: evoli (Nick collision from services.) 15:17:35 --- nick: Yuhsin -> evoli 15:20:19 --- quit: sarahbot (Excess Flood) 15:22:36 --- join: bubblesort (~bubble@p54A0F271.dip.t-dialin.net) joined #scheme 15:23:51 sarahbot gone? 15:24:13 sarahbot is online 15:24:48 hi evoli 15:24:52 hi 15:24:55 hi netfrog? 15:24:57 sarahbot, where are you? 15:25:03 hi bjblaz 15:25:06 she is 15:25:08 you're right 15:25:34 00:21 = sarahbot [scgmille@user-0vvdb59.cable.mindspring.com] quit (Excess Flood) 15:25:51 she's not willing to come back to scheme 15:26:03 * evoli tries to have her join somewhere else. probably won't work 15:28:21 hm, she says "Okay" when you ask her to join #scheme 15:30:21 aye 15:30:36 join without arguments also returns ok ... 15:31:38 guess asymptonic ought to be poked then 15:32:06 join no-such-chanel-blah-sdkfkdsjfhak also ... 15:32:06 looks like this "Okay" is not reflecting anything 15:33:20 netfrog, yow! 15:33:24 evoli: yow! 15:33:54 --- join: sarahbot (scgmille@user-0vvdb59.cable.mindspring.com) joined #scheme 15:33:56 Now that the INAUGURATION is OVER, I will have HORDES of potential MANPOWER to hang INFLATABLE SHARKS over the ceiling of the ALUMNI POOL. 15:34:08 sarahbot, yow! 15:34:08 Yow! Are we in the perfect mood? 15:34:24 * evoli thinks this is the only occasion her yow was better. but distinctly unzippy :) 15:34:40 Riastradh, yow! 15:35:07 Well, I'm on the right planet---everyone looks like me!!! 15:35:14 O_o AHHH 15:35:25 * evoli looks around 15:35:28 * evoli isn't on the right planet :( 15:35:29 wow, Riastradh ircs in tex 15:35:38 eh? 15:35:40 O_O 15:36:01 the --- is sort of a tex thing 15:36:15 * evoli laughs. if you say so :) 15:36:19 No, Zippy speaks in TeX. 15:36:24 I use ' -- '. 15:36:25 in normal english you would just use -- 15:36:30 oh 15:36:43 normal people would not be on this channel ;) 15:36:56 * evoli wonders what is the correlation between reality and anything Zippy or Riastradh says 15:36:58 i supppppose 15:37:40 * evoli is a perfectly normal and adjusted specimen of dandelions. 15:37:59 i mow over your family regularly 15:38:05 how do you feel about that 15:39:44 it's okay 15:39:49 sarahbot: yow. 15:39:49 OKAY!! Turn on the sound ONLY for TRYNEL CARPETING, 15:39:50 FULLY-EQUIPPED R.V.'S and FLOATATION SYSTEMS!! 15:40:22 * evoli wants to gather a list of fun puzzles 15:57:55 --- part: netfrog left #scheme 15:57:55 --- join: Bonedigger (~Kadar@82.76.146.205) joined #scheme 15:58:28 --- quit: evoli ("Leaving") 16:12:32 --- join: r2q2 (~user@c-24-7-213-27.hsd1.il.comcast.net) joined #scheme 16:13:23 --- quit: bubblesort ("...") 16:13:23 --- join: heat (~dima@12.36.118.74) joined #scheme 16:22:39 --- join: evoli (~yuhsin@M4-167-2.MIT.EDU) joined #scheme 16:22:58 --- quit: borism ("Changing server") 16:26:38 * r2q2 Creates a "userpage" for sarahbot. 16:27:11 sarahbot: weather bativia 16:27:15 --- join: borism (~boris@ca5bad9939c6cbeb.node.tor) joined #scheme 16:30:13 evoli: hi 16:30:22 evoli: Is your ping good today? 16:30:26 --- quit: borism (Client Quit) 16:30:52 --- join: borism (~boris@ip94.cab7.lsn.starman.ee) joined #scheme 16:31:28 heya 16:31:35 yes, how do you ask? 16:31:47 Curious thats all. 16:32:15 I don't think I complain about my ping 16:32:18 at least not lately. hmm 16:32:20 :) 16:32:46 when I'm at school, connections are good. when I'm outside waiting for a bus with wireless... 16:33:06 well... then it's not bad either... 16:33:16 * evoli forgets when it is that she has bad ping. 16:33:28 the benefits of nice fast academic net connections 16:33:44 evoli: Are you on the internet2 thingy? 16:34:23 hey r2q2, is your comcast 4 Mbps? 16:34:57 bjblaz: Dunno. I guess. 16:35:03 bjblaz: Whatever my uncle pays for. 16:35:11 bjblaz: Probaly 16:35:47 They upped my connection to 4/386kbps 16:36:46 bjblaz: So, short answer is yes. 16:37:05 okay, just wonderin 16:37:12 bjblaz: What about yours? 16:40:05 evoli: Learn more about streams? 16:42:34 i don't have comcast 16:42:35 r2q2, nopey :) 16:42:41 but i think it's up to 4Mbps over here too 16:43:03 today we talked about garbagecollection, but Riastradh probably taught me that once upon a time 16:43:31 class was early in the morning too... woke up every once in a while from poke in head. 16:45:11 --- quit: borism ("leaving") 16:45:44 --- join: borism (~boris@32f906d4ec85d3e2.node.tor) joined #scheme 16:45:45 r2q2, yes, we are on internet2 16:46:59 evoli: Cool. 16:47:16 evoli: What are your average download speeds? 16:47:22