00:00:40 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 00:03:41 Caleb--: You can have bitwise xor (bitwise-xor in R6RS; logxor in SRFI 60). 00:04:42 Otherwise, if you want boolean xor, you probably have to write your own. 00:13:10 Caleb--: I'd probably write it like this (just for fun): 00:16:03 rudybot: (define (xor . items) (let loop ((state #f) (items items)) (cond ((null? items) state) ((car items) (loop (not state) (cdr items))) (else (loop state (cdr items)))))) 00:16:03 cky: Done. 00:16:10 rudybot: (xor #t #t #t) 00:16:10 cky: ; Value: #t 00:16:15 rudybot: (xor #f #f #f) 00:16:15 cky: ; Value: #f 00:16:21 rudybot: (xor #t #t) 00:16:21 cky: ; Value: #f 00:16:29 oh 00:16:46 so that's how you define functions that accept what you call varargs in C 00:16:46 ;D 00:16:51 Yes. 00:17:44 Caleb--: Does the function definition make sense to you, at least? 00:18:43 Caleb--: An even easier way is to use reduce: 00:18:52 -!- forcer [~forcer@d149090.adsl.hansenet.de] has quit [Ping timeout: 276 seconds] 00:19:49 rudybot: (define (xor . items) (define (step x y) (if y (not x) x)) (reduce step #f items)) 00:19:50 cky: Done. 00:19:56 rudybot: (xor #t #t #t) 00:19:57 cky: error: reference to an identifier before its definition: reduce in module: 'program 00:20:03 rudybot: (require srfi/1) 00:20:04 cky: error: reference to an identifier before its definition: require in module: 'program 00:20:09 rudybot: init r6rs 00:20:11 cky: error: r6rs: must contain a `library' form (for a library) or start with `import' (for a top-level program) in: (#%module-begin) 00:20:14 rudybot: init racket 00:20:15 cky: your racket sandbox is ready 00:20:18 rudybot: (require srfi/1) 00:20:18 cky: Done. 00:20:21 rudybot: (define (xor . items) (define (step x y) (if y (not x) x)) (reduce step #f items)) 00:20:21 cky: Done. 00:20:26 rudybot: (xor #t #t #t) 00:20:26 cky: ; Value: #t 00:20:29 rudybot: (xor #t #t) 00:20:30 cky: ; Value: #f 00:20:37 Caleb--: ^^--- :-D 00:20:39 lol 00:21:09 that's pretty neat 00:21:15 the reduce version, that is ^_^ 00:21:18 Agree. 00:21:36 the first one was too confusing to read on one line 00:21:41 I know. :-( 00:21:49 This is why higher-order functions rule. :-D 00:22:45 bremner: What's the current state of packaging Racket? Anything that can be done to help? 00:22:55 2:22am, i'm going to bed now. g'night fellers. 00:23:01 Caleb--: Have fun! 00:24:09 -!- tali713 [~user@x-160-94-179-189.cs.umn.edu] has quit [Ping timeout: 240 seconds] 00:32:53 cky, did you guys figure out lastnight how to send string from racket(kawa?) to rhino ? 00:33:03 I missed that part. 00:33:57 bremner: Also, any thoughts on a racket textual (racket-nox?) package? 00:39:24 minsa: I think they decided to use Spidermonkey instead, IIRC. 00:41:14 cky: thnx. 00:41:34 so Spidermonkey instead of Rhino. 00:42:02 -!- mwolfe [~mwolfe@corona.cornerturn.com] has quit [Remote host closed the connection] 00:42:03 is there a way to read the history of this room if I am not signed in ? 00:43:30 I think I find it. 00:44:23 tupi [~david@186.205.37.15] has joined #scheme 00:52:07 -!- devinus [~devinus@ps23102.dreamhost.com] has left #scheme 00:53:55 minsa, there are logs for this channel in several places, yes. 01:00:54 -!- Bridge|A is now known as Bridge| 01:01:07 -!- nowhereman [~pierre@AStrasbourg-551-1-53-235.w83-194.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 01:06:49 -!- Bridge| [bridgelife@netburst.org] has left #scheme 01:07:08 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 255 seconds] 01:07:32 minsa: Read the /topic for this channel for one source of logs. 01:08:51 homie [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 01:08:58 wbooze [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 01:11:50 Awesome !!! 01:19:39 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 01:27:03 chandler: there is an upload to debian experimental awaiting approval. I like the idea of of racket-nox, but I'm not sure how much space it would save. 01:29:12 chandler: blame the name change, it is officially a new package :) 01:31:01 Azuvix [~Azuvix@174-27-34-218.bois.qwest.net] has joined #scheme 01:31:50 chandler: http://ftp-master.debian.org/new/racket_5.0.2-1.html ; b.t.w. feel free to file a wishlist bug in debian explaining what racket-nox would be when it was home. 01:34:31 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 01:35:33 -!- Azuvix is now known as Saluteman 01:41:25 bremner: It's not just about space; I don't want to install the extra dependencies on my servers. I try to keep extra stuff to a minimum, including X. 01:43:39 chandler: yeah, I belatedly figured that. Well, I'm not sure how easy it is, but it sounds worth looking into. 01:45:03 If racket & friends don't link to any X libraries, can they basically be split out of the package? 01:46:13 mathk_ [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has joined #scheme 01:46:20 notsonerdysunny [~chatzilla@59.92.149.137] has joined #scheme 01:46:22 chandler: you'd think so. 01:48:10 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 01:49:09 I guess the main thing is to split off gracket, but I half-remember rumblings about gracket going away or something 01:49:46 I think that's part of 5.1. 01:50:01 so that is a little discouraging. 01:50:12 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 01:50:37 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 02:22:58 chemuduguntar [~user@smtp.touchcut.com] has joined #scheme 02:23:14 -!- turbofail [~user@adsl-99-50-22-193.dsl.pltn13.sbcglobal.net] has quit [Remote host closed the connection] 02:24:19 Cowmoo [~Cowmoo@c-71-192-163-98.hsd1.nh.comcast.net] has joined #scheme 02:25:54 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: nighty night] 02:30:44 copumpkin [~pumpkin@209-6-62-204.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #scheme 02:30:44 -!- copumpkin [~pumpkin@209-6-62-204.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Changing host] 02:30:44 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 02:32:16 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 02:35:23 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 02:45:27 -!- Cowmoo [~Cowmoo@c-71-192-163-98.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 02:47:04 -!- Fare [~Fare@ita4fw1.itasoftware.com] has quit [Quit: Leaving] 02:54:40 vu3rdd [~vu3rdd@nat/cisco/x-rzayzhbfsytdyaea] has joined #scheme 02:55:08 -!- Kerrick [~Kerrick@kerrick.student.iastate.edu] has quit [Ping timeout: 255 seconds] 03:19:59 -!- Saluteman [~Azuvix@174-27-34-218.bois.qwest.net] has quit [Quit: Leaving] 03:22:41 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 03:27:11 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 03:32:25 bitweiler [~bitweiler@adsl-99-40-236-82.dsl.stl2mo.sbcglobal.net] has joined #scheme 03:33:25 markfuzz [~markfuzz@CPE00195b4f2aa0-CM001225d75412.cpe.net.cable.rogers.com] has joined #scheme 03:39:07 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 240 seconds] 03:39:30 araujo [~araujo@190.38.50.25] has joined #scheme 03:39:30 -!- araujo [~araujo@190.38.50.25] has quit [Changing host] 03:39:30 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 03:46:05 nowhereman [~pierre@AStrasbourg-551-1-57-59.w83-194.abo.wanadoo.fr] has joined #scheme 03:52:39 timj__ [~timj@e176199196.adsl.alicedsl.de] has joined #scheme 03:53:21 -!- tupi [~david@186.205.37.15] has quit [Quit: Leaving] 03:55:40 -!- timj_ [~timj@e176192007.adsl.alicedsl.de] has quit [Ping timeout: 245 seconds] 03:57:17 Gmind [~Deulamco@113.190.167.17] has joined #scheme 04:01:56 What's the difference between r5rs && err5rs? 04:02:41 Take a look at the first four bullet points at http://scheme-punks.cyber-rush.org/wiki/index.php?title=ERR5RS:Charter 04:03:12 gnomon: thanks ;) 04:05:22 dabuckle [~dabuckle@c-24-62-111-52.hsd1.ma.comcast.net] has joined #scheme 04:05:53 bitweiler, you're welcome! 04:11:11 -!- notsonerdysunny [~chatzilla@59.92.149.137] has quit [Ping timeout: 250 seconds] 04:11:46 QOTD: Is ERR5RS still active? The pages don't seem to have been updated in a while. 04:12:31 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Quit: Adamant] 04:22:46 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 04:23:49 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 04:27:51 -!- markfuzz [~markfuzz@CPE00195b4f2aa0-CM001225d75412.cpe.net.cable.rogers.com] has quit [Quit: Leaving] 04:31:03 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 04:33:07 -!- chemuduguntar [~user@smtp.touchcut.com] has quit [Ping timeout: 240 seconds] 04:37:12 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 265 seconds] 04:37:44 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 04:40:06 rotty_ [~rotty@nncmain.nicenamecrew.com] has joined #scheme 04:40:08 Pepe___ [~ppjet@bouah.net] has joined #scheme 04:40:11 sloyd_ [sloyd@station457.vo3.net] has joined #scheme 04:40:13 pr_ [phil@komodo.contextshift.eu] has joined #scheme 04:40:16 foof` [~user@li126-140.members.linode.com] has joined #scheme 04:40:38 clklein_ [~clklein@spaghetti.cs.northwestern.edu] has joined #scheme 04:40:51 defn_ [~defn@rot13.pbqr.org] has joined #scheme 04:40:51 C-Keen_ [ckeen@pestilenz.org] has joined #scheme 04:40:55 pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has joined #scheme 04:41:01 em_ [~em@user-0cev0kt.cable.mindspring.com] has joined #scheme 04:41:22 stepnem_ [~stepnem@176.119.broadband10.iol.cz] has joined #scheme 04:46:05 bitweiler` [~bitweiler@99.40.236.82] has joined #scheme 04:48:39 4 04:51:47 -!- mathk_ [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has quit [*.net *.split] 04:51:47 -!- xwl_ [~wixu@nat/nokia/x-ooudkxkafyggcyka] has quit [*.net *.split] 04:51:47 -!- rapacity [~prwg@unaffiliated/rapacity] has quit [*.net *.split] 04:51:48 -!- roderic [~roderic@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:51:48 -!- pr_ [phil@komodo.contextshift.eu] has quit [*.net *.split] 04:51:48 -!- Kerrick [~Kerrick@kerrick.student.iastate.edu] has quit [*.net *.split] 04:51:48 -!- weinholt [weinholt@debian/emeritus/weinholt] has quit [*.net *.split] 04:51:49 -!- gapeme [mao@lost.my.eye.rs] has quit [*.net *.split] 04:51:49 -!- chrissbx_ [~chrissbx@69-196-152-229.dsl.teksavvy.com] has quit [*.net *.split] 04:51:50 -!- borism [~boris@ec2-79-125-58-77.eu-west-1.compute.amazonaws.com] has quit [*.net *.split] 04:51:50 -!- clklein_ [~clklein@spaghetti.cs.northwestern.edu] has quit [*.net *.split] 04:51:50 -!- vu3rdd [~vu3rdd@nat/cisco/x-rzayzhbfsytdyaea] has quit [*.net *.split] 04:51:51 -!- Caleb-- [~caleb@bzq-109-67-48-163.red.bezeqint.net] has quit [*.net *.split] 04:51:51 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [*.net *.split] 04:51:51 -!- ASau [~user@95-26-92-70.broadband.corbina.ru] has quit [*.net *.split] 04:51:51 -!- kniu [~kniu@DOHOHO.RES.CMU.EDU] has quit [*.net *.split] 04:51:51 -!- ve [~a@vortis.xen.tardis.ed.ac.uk] has quit [*.net *.split] 04:51:51 -!- chandra [crito@unaffiliated/crito] has quit [*.net *.split] 04:51:51 -!- Khisanth [~Khisanth@pool-96-250-25-228.nycmny.east.verizon.net] has quit [*.net *.split] 04:51:51 -!- shardz [samuel@ilo.staticfree.info] has quit [*.net *.split] 04:51:52 -!- qebab [~robb@jaguar.stud.ntnu.no] has quit [*.net *.split] 04:51:52 -!- rrm3_ [~rrm3@rrm3.org] has quit [*.net *.split] 04:51:52 -!- sid3k [~user@li140-93.members.linode.com] has quit [*.net *.split] 04:51:52 -!- noonian [~noonian@c-98-232-230-23.hsd1.or.comcast.net] has quit [*.net *.split] 04:51:53 -!- Modius [~Modius@cpe-70-123-158-125.austin.res.rr.com] has quit [*.net *.split] 04:51:53 -!- tonyg_ [~tonyg@navarone.ccs.neu.edu] has quit [*.net *.split] 04:51:53 -!- rudybot [~luser@2001:470:1:41:a800:ff:fe3e:cde7] has quit [*.net *.split] 04:51:53 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [*.net *.split] 04:51:53 -!- jimrees_ [~jimrees@ita4fw1.itasoftware.com] has quit [*.net *.split] 04:51:54 -!- ada2358 [~ada2358@login.ccs.neu.edu] has quit [*.net *.split] 04:51:54 -!- sjamaan [~sjamaan@netbsd/developer/sjamaan] has quit [*.net *.split] 04:51:54 -!- samth [~samth@punge.ccs.neu.edu] has quit [*.net *.split] 04:51:54 -!- XTL [~t6haha00@2001:708:510:33::deca] has quit [*.net *.split] 04:51:54 -!- elly [~elly@atheme/member/elly] has quit [*.net *.split] 04:51:54 -!- mornfall [~mornfall@kde/developer/mornfall] has quit [*.net *.split] 04:51:54 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 04:51:54 -!- `micro [~micro@www.bway.net] has quit [*.net *.split] 04:51:55 -!- defn_ [~defn@rot13.pbqr.org] has quit [*.net *.split] 04:51:55 -!- C-Keen_ [ckeen@pestilenz.org] has quit [*.net *.split] 04:51:55 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [*.net *.split] 04:51:55 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [*.net *.split] 04:51:55 -!- somnium` [~user@184.42.0.205] has quit [*.net *.split] 04:51:56 -!- cataska [~cataska@210.64.6.233] has quit [*.net *.split] 04:51:56 -!- alexsuraci [~alex@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [*.net *.split] 04:51:56 -!- mario-goulart [~user@67.205.85.241] has quit [*.net *.split] 04:51:57 -!- n9mtb [~rob@the-gadgeteer.com] has quit [*.net *.split] 04:51:57 -!- tizoc [~user@unaffiliated/tizoc] has quit [*.net *.split] 04:51:57 -!- cky [~cky@car.spillville.com] has quit [*.net *.split] 04:51:57 -!- Axioplase_ [~Axioplase@fortigate.kb.ecei.tohoku.ac.jp] has quit [*.net *.split] 04:51:57 -!- fds [~frankie@unaffiliated/franki] has quit [*.net *.split] 04:51:57 -!- trigen [~MSX@ec2-46-51-179-218.eu-west-1.compute.amazonaws.com] has quit [*.net *.split] 04:51:57 -!- Intensity [CoFsRM7gjg@unaffiliated/intensity] has quit [*.net *.split] 04:51:57 -!- lusory [~bart@bb219-74-90-12.singnet.com.sg] has quit [*.net *.split] 04:51:58 -!- Pepe___ [~ppjet@bouah.net] has quit [*.net *.split] 04:51:58 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [*.net *.split] 04:51:58 -!- wbooze [~user@xdsl-78-35-130-48.netcologne.de] has quit [*.net *.split] 04:51:58 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [*.net *.split] 04:51:58 -!- Euthydemus` [~euthydemu@vaxjo7.80.cust.blixtvik.net] has quit [*.net *.split] 04:51:58 -!- snorble [~snorble@s83-179-14-105.cust.tele2.se] has quit [*.net *.split] 04:51:59 -!- inimino [~inimino@boshi.inimino.org] has quit [*.net *.split] 04:52:00 -!- zbigniew [~zb@li177-156.members.linode.com] has quit [*.net *.split] 04:52:00 -!- jimster [~jimster@jimster.org] has quit [*.net *.split] 04:52:00 -!- stamourv [~user@kauai.ccs.neu.edu] has quit [*.net *.split] 04:52:00 -!- duncanm [~duncan@a-chinaman.com] has quit [*.net *.split] 04:52:00 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [*.net *.split] 04:52:00 -!- nowhereman [~pierre@AStrasbourg-551-1-57-59.w83-194.abo.wanadoo.fr] has quit [*.net *.split] 04:52:00 -!- homie [~user@xdsl-78-35-130-48.netcologne.de] has quit [*.net *.split] 04:52:01 -!- NNshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has quit [*.net *.split] 04:52:01 -!- asumu [~at@c-71-232-32-44.hsd1.ma.comcast.net] has quit [*.net *.split] 04:52:01 -!- wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has quit [*.net *.split] 04:52:02 -!- aking [~aking@67.23.13.119] has quit [*.net *.split] 04:52:02 -!- Zahl_ [~kenneth@lnx101.hrz.tu-darmstadt.de] has quit [*.net *.split] 04:52:02 -!- z0d [~z0d@unaffiliated/z0d] has quit [*.net *.split] 04:52:02 -!- klutometis [klutometis@klutometis.wikitex.org] has quit [*.net *.split] 04:52:03 -!- pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has quit [*.net *.split] 04:52:03 -!- stepnem_ [~stepnem@176.119.broadband10.iol.cz] has quit [*.net *.split] 04:52:03 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [*.net *.split] 04:52:03 -!- joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has quit [*.net *.split] 04:52:03 -!- danking [~danking@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:52:03 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [*.net *.split] 04:52:04 -!- eno [~eno@nslu2-linux/eno] has quit [*.net *.split] 04:52:04 -!- ineiros [~itniemin@james.ics.hut.fi] has quit [*.net *.split] 04:52:04 -!- em_ [~em@user-0cev0kt.cable.mindspring.com] has quit [*.net *.split] 04:52:04 -!- foof` [~user@li126-140.members.linode.com] has quit [*.net *.split] 04:52:04 -!- rotty_ [~rotty@nncmain.nicenamecrew.com] has quit [*.net *.split] 04:52:04 -!- sloyd_ [sloyd@station457.vo3.net] has quit [*.net *.split] 04:52:05 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [*.net *.split] 04:52:05 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [*.net *.split] 04:52:05 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 04:52:05 -!- pygospa [~pygospa@217.191.216.238] has quit [*.net *.split] 04:52:05 -!- leppie [~lolcow@196-215-20-67.dynamic.isadsl.co.za] has quit [*.net *.split] 04:52:05 -!- jensn [~ceres@c-83-233-145-103.cust.bredband2.com] has quit [*.net *.split] 04:52:05 -!- mjgoins [~mjgoins@ool-18599e06.static.optonline.net] has quit [*.net *.split] 04:52:06 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 04:52:06 -!- bremner [~bremner@yantan.tethera.net] has quit [*.net *.split] 04:52:06 -!- eli [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 04:52:06 -!- Gmind [~Deulamco@113.190.167.17] has quit [*.net *.split] 04:52:06 -!- timj__ [~timj@e176199196.adsl.alicedsl.de] has quit [*.net *.split] 04:52:06 -!- dabuckle [~dabuckle@c-24-62-111-52.hsd1.ma.comcast.net] has quit [*.net *.split] 04:52:06 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [*.net *.split] 04:52:07 -!- eldragon [~eldragon@84.79.67.254] has quit [*.net *.split] 04:52:07 -!- clog [nef@bespin.org] has quit [*.net *.split] 04:52:07 -!- minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has quit [*.net *.split] 04:52:08 -!- annodomini [~lambda@wikipedia/lambda] has quit [*.net *.split] 04:52:08 -!- acarrico [~acarrico@pppoe-68-142-43-164.gmavt.net] has quit [*.net *.split] 04:52:08 -!- Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has quit [*.net *.split] 04:52:08 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [*.net *.split] 04:52:08 -!- erider [~chatzilla@unaffiliated/erider] has quit [*.net *.split] 04:52:08 -!- aoh [aki@80.75.102.51] has quit [*.net *.split] 04:52:08 -!- dfeuer [~dfeuer@wikimedia/Dfeuer] has quit [*.net *.split] 04:52:09 -!- chandler [~bem@opendarwin/developer/chandler] has quit [*.net *.split] 04:52:09 -!- askhader [~askhader@taurine.csclub.uwaterloo.ca] has quit [*.net *.split] 04:52:09 -!- necroforest [~jarred@pool-108-18-226-169.washdc.fios.verizon.net] has quit [*.net *.split] 04:52:09 -!- Leonidas [~Leonidas@unaffiliated/leonidas] has quit [*.net *.split] 04:52:09 -!- dlouhy [~jdlouhy@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:52:09 -!- DerGuteMoritz [~syn@85.88.17.198] has quit [*.net *.split] 04:52:09 -!- elf [elf@antenora.aculei.net] has quit [*.net *.split] 04:52:10 -!- bitweiler [~bitweiler@adsl-99-40-236-82.dsl.stl2mo.sbcglobal.net] has quit [*.net *.split] 04:52:10 -!- em [~em@unaffiliated/emma] has quit [*.net *.split] 04:52:10 -!- dfkjjkfd [~paulh@145.120.22.20] has quit [*.net *.split] 04:52:10 -!- pothos [~pothos@111-240-205-247.dynamic.hinet.net] has quit [*.net *.split] 04:52:10 -!- bzzbzz_ [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [*.net *.split] 04:52:11 -!- foof [~user@li126-140.members.linode.com] has quit [*.net *.split] 04:52:11 -!- Pepe_ [~ppjet@bouah.net] has quit [*.net *.split] 04:52:11 -!- felipe [~felipe@my.nada.kth.se] has quit [*.net *.split] 04:52:11 -!- sloyd [sloyd@station457.vo3.net] has quit [*.net *.split] 04:52:11 -!- C-Keen [ckeen@pestilenz.org] has quit [*.net *.split] 04:52:11 -!- stepnem [~stepnem@176.119.broadband10.iol.cz] has quit [*.net *.split] 04:52:11 -!- defn [~defn@rot13.pbqr.org] has quit [*.net *.split] 04:52:11 -!- rotty [~rotty@nncmain.nicenamecrew.com] has quit [*.net *.split] 04:52:12 -!- pr [phil@unaffiliated/pr] has quit [*.net *.split] 04:52:13 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [*.net *.split] 04:52:13 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [*.net *.split] 04:52:13 -!- puddingpimp [npetbx@118-93-162-219.dsl.dyn.ihug.co.nz] has quit [*.net *.split] 04:52:13 -!- tessier [~treed@kernel-panic/copilotco] has quit [*.net *.split] 04:52:14 -!- araujo [~araujo@gentoo/developer/araujo] has quit [*.net *.split] 04:52:14 -!- Dark-Star [~michael@HSI-KBW-095-208-117-017.hsi5.kabel-badenwuerttemberg.de] has quit [*.net *.split] 04:52:14 -!- yosafbridge [~yosafbrid@li125-242.members.linode.com] has quit [*.net *.split] 04:52:14 -!- saccade [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [*.net *.split] 04:52:15 -!- Zol [~Zolomon@li152-84.members.linode.com] has quit [*.net *.split] 04:52:15 -!- timchen1` [tim@163.16.211.21] has quit [*.net *.split] 04:52:15 -!- certainty [~david@matrix.d-coded.de] has quit [*.net *.split] 04:52:15 -!- spacebat [~spacebat@ubermonkey.net] has quit [*.net *.split] 04:53:36 dfkjjkfd_ [~paulh@145.120.22.20] has joined #scheme 04:53:36 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 04:53:36 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 04:53:36 puddingpimp [npetbx@118-93-162-219.dsl.dyn.ihug.co.nz] has joined #scheme 04:53:36 tessier [~treed@kernel-panic/copilotco] has joined #scheme 04:54:32 77CAAH061 [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has joined #scheme 04:54:32 xwl_ [~wixu@nat/nokia/x-ooudkxkafyggcyka] has joined #scheme 04:54:32 rapacity [~prwg@unaffiliated/rapacity] has joined #scheme 04:54:32 roderic [~roderic@zerowing.ccs.neu.edu] has joined #scheme 04:54:53 noonian [~noonian@c-98-232-230-23.hsd1.or.comcast.net] has joined #scheme 04:54:53 Modius [~Modius@cpe-70-123-158-125.austin.res.rr.com] has joined #scheme 04:54:53 tonyg_ [~tonyg@navarone.ccs.neu.edu] has joined #scheme 04:54:53 rudybot [~luser@2001:470:1:41:a800:ff:fe3e:cde7] has joined #scheme 04:54:53 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 04:54:53 jimrees_ [~jimrees@ita4fw1.itasoftware.com] has joined #scheme 04:54:53 ada2358 [~ada2358@login.ccs.neu.edu] has joined #scheme 04:54:53 sjamaan [~sjamaan@netbsd/developer/sjamaan] has joined #scheme 04:54:53 samth [~samth@punge.ccs.neu.edu] has joined #scheme 04:54:53 XTL [~t6haha00@2001:708:510:33::deca] has joined #scheme 04:54:53 elly [~elly@atheme/member/elly] has joined #scheme 04:54:53 mornfall [~mornfall@kde/developer/mornfall] has joined #scheme 04:54:53 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 04:54:53 `micro [~micro@www.bway.net] has joined #scheme 04:55:13 TheRealPygo [~pygospa@217.191.210.209] has joined #scheme 04:55:13 clklein_ [~clklein@spaghetti.cs.northwestern.edu] has joined #scheme 04:55:13 vu3rdd [~vu3rdd@nat/cisco/x-rzayzhbfsytdyaea] has joined #scheme 04:55:13 Caleb-- [~caleb@bzq-109-67-48-163.red.bezeqint.net] has joined #scheme 04:55:13 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 04:55:13 ASau [~user@95-26-92-70.broadband.corbina.ru] has joined #scheme 04:55:13 kniu [~kniu@DOHOHO.RES.CMU.EDU] has joined #scheme 04:55:13 ve [~a@vortis.xen.tardis.ed.ac.uk] has joined #scheme 04:55:13 chandra [crito@unaffiliated/crito] has joined #scheme 04:55:13 Khisanth [~Khisanth@pool-96-250-25-228.nycmny.east.verizon.net] has joined #scheme 04:55:13 shardz [samuel@ilo.staticfree.info] has joined #scheme 04:55:13 qebab [~robb@jaguar.stud.ntnu.no] has joined #scheme 04:55:13 rrm3_ [~rrm3@rrm3.org] has joined #scheme 04:55:13 sid3k [~user@li140-93.members.linode.com] has joined #scheme 04:56:04 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 04:56:04 Dark-Star [~michael@HSI-KBW-095-208-117-017.hsi5.kabel-badenwuerttemberg.de] has joined #scheme 04:56:04 yosafbridge [~yosafbrid@li125-242.members.linode.com] has joined #scheme 04:56:04 saccade [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 04:56:04 Zol [~Zolomon@li152-84.members.linode.com] has joined #scheme 04:56:04 timchen1` [tim@163.16.211.21] has joined #scheme 04:56:04 certainty [~david@matrix.d-coded.de] has joined #scheme 04:56:04 spacebat [~spacebat@ubermonkey.net] has joined #scheme 04:56:26 Gmind1 [~Deulamco@113.190.167.17] has joined #scheme 04:56:26 pr_ [phil@komodo.contextshift.eu] has joined #scheme 04:56:26 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 04:56:26 weinholt [weinholt@debian/emeritus/weinholt] has joined #scheme 04:56:26 gapeme [mao@lost.my.eye.rs] has joined #scheme 04:56:26 chrissbx_ [~chrissbx@69-196-152-229.dsl.teksavvy.com] has joined #scheme 04:56:26 borism [~boris@ec2-79-125-58-77.eu-west-1.compute.amazonaws.com] has joined #scheme 04:56:29 pothos [~pothos@111-240-205-247.dynamic.hinet.net] has joined #scheme 04:56:32 stepnem_ [~stepnem@176.119.broadband10.iol.cz] has joined #scheme 04:56:32 em_ [~em@user-0cev0kt.cable.mindspring.com] has joined #scheme 04:56:32 pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has joined #scheme 04:56:32 C-Keen [ckeen@pestilenz.org] has joined #scheme 04:56:32 defn_ [~defn@rot13.pbqr.org] has joined #scheme 04:56:32 foof` [~user@li126-140.members.linode.com] has joined #scheme 04:56:32 sloyd_ [sloyd@station457.vo3.net] has joined #scheme 04:56:32 Pepe___ [~ppjet@bouah.net] has joined #scheme 04:56:32 rotty_ [~rotty@nncmain.nicenamecrew.com] has joined #scheme 04:56:32 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 04:56:32 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 04:56:32 timj__ [~timj@e176199196.adsl.alicedsl.de] has joined #scheme 04:56:32 nowhereman [~pierre@AStrasbourg-551-1-57-59.w83-194.abo.wanadoo.fr] has joined #scheme 04:56:32 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 04:56:32 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 04:56:32 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 04:56:32 wbooze [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 04:56:32 homie [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 04:56:32 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 04:56:32 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 04:56:32 joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has joined #scheme 04:56:32 eldragon [~eldragon@84.79.67.254] has joined #scheme 04:56:32 clog [nef@bespin.org] has joined #scheme 04:56:32 Euthydemus` [~euthydemu@vaxjo7.80.cust.blixtvik.net] has joined #scheme 04:56:32 snorble [~snorble@s83-179-14-105.cust.tele2.se] has joined #scheme 04:56:32 peddie [~peddie@XVM-107.MIT.EDU] has joined #scheme 04:56:32 somnium` [~user@184.42.0.205] has joined #scheme 04:56:32 trigen [~MSX@ec2-46-51-179-218.eu-west-1.compute.amazonaws.com] has joined #scheme 04:56:32 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 04:56:32 minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has joined #scheme 04:56:32 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 04:56:32 NNshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has joined #scheme 04:56:32 asumu [~at@c-71-232-32-44.hsd1.ma.comcast.net] has joined #scheme 04:56:32 danking [~danking@zerowing.ccs.neu.edu] has joined #scheme 04:56:32 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 04:56:32 annodomini [~lambda@wikipedia/lambda] has joined #scheme 04:56:32 wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has joined #scheme 04:56:32 pygospa [~pygospa@217.191.216.238] has joined #scheme 04:56:32 mjgoins [~mjgoins@ool-18599e06.static.optonline.net] has joined #scheme 04:56:32 leppie [~lolcow@196-215-20-67.dynamic.isadsl.co.za] has joined #scheme 04:56:32 acarrico [~acarrico@pppoe-68-142-43-164.gmavt.net] has joined #scheme 04:56:32 Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has joined #scheme 04:56:32 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #scheme 04:56:32 erider [~chatzilla@unaffiliated/erider] has joined #scheme 04:56:32 aoh [aki@80.75.102.51] has joined #scheme 04:56:32 dfeuer [~dfeuer@wikimedia/Dfeuer] has joined #scheme 04:56:32 cataska [~cataska@210.64.6.233] has joined #scheme 04:56:32 jensn [~ceres@c-83-233-145-103.cust.bredband2.com] has joined #scheme 04:56:32 alexsuraci [~alex@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 04:56:32 chandler [~bem@opendarwin/developer/chandler] has joined #scheme 04:56:32 mario-goulart [~user@67.205.85.241] has joined #scheme 04:56:33 Intensity [CoFsRM7gjg@unaffiliated/intensity] has joined #scheme 04:56:33 inimino [~inimino@boshi.inimino.org] has joined #scheme 04:56:33 askhader [~askhader@taurine.csclub.uwaterloo.ca] has joined #scheme 04:56:33 eno [~eno@nslu2-linux/eno] has joined #scheme 04:56:33 Leonidas [~Leonidas@unaffiliated/leonidas] has joined #scheme 04:56:33 dlouhy [~jdlouhy@zerowing.ccs.neu.edu] has joined #scheme 04:56:33 n9mtb [~rob@the-gadgeteer.com] has joined #scheme 04:56:33 lusory [~bart@bb219-74-90-12.singnet.com.sg] has joined #scheme 04:56:33 ineiros [~itniemin@james.ics.hut.fi] has joined #scheme 04:56:33 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 04:56:33 DerGuteMoritz [~syn@85.88.17.198] has joined #scheme 04:56:33 elf [elf@antenora.aculei.net] has joined #scheme 04:56:33 bremner [~bremner@yantan.tethera.net] has joined #scheme 04:56:33 eli [~eli@winooski.ccs.neu.edu] has joined #scheme 04:56:33 zbigniew [~zb@li177-156.members.linode.com] has joined #scheme 04:56:33 jimster [~jimster@jimster.org] has joined #scheme 04:56:33 aking [~aking@67.23.13.119] has joined #scheme 04:56:33 stamourv [~user@kauai.ccs.neu.edu] has joined #scheme 04:56:33 tizoc [~user@unaffiliated/tizoc] has joined #scheme 04:56:33 Zahl_ [~kenneth@lnx101.hrz.tu-darmstadt.de] has joined #scheme 04:56:33 Axioplase_ [~Axioplase@fortigate.kb.ecei.tohoku.ac.jp] has joined #scheme 04:56:33 cky [~cky@car.spillville.com] has joined #scheme 04:56:33 fds [~frankie@unaffiliated/franki] has joined #scheme 04:56:33 z0d [~z0d@unaffiliated/z0d] has joined #scheme 04:56:33 klutometis [klutometis@klutometis.wikitex.org] has joined #scheme 04:56:33 duncanm [~duncan@a-chinaman.com] has joined #scheme 04:56:39 -!- pygospa [~pygospa@217.191.216.238] has quit [Ping timeout: 264 seconds] 04:56:40 noonian, tau is the constant proposed by at least one hilarious effort to replace the constant pi with a constant twice that. 04:56:41 noonian, it's also a value less than seven but slightly greater than six. 04:56:42 la la la 04:56:42 DUM de dum 04:57:16 eno_ [~eno@adsl-70-137-163-128.dsl.snfc21.sbcglobal.net] has joined #scheme 04:57:22 -!- defn_ [~defn@rot13.pbqr.org] has quit [*.net *.split] 04:57:22 -!- C-Keen [ckeen@pestilenz.org] has quit [*.net *.split] 04:57:22 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [*.net *.split] 04:57:22 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [*.net *.split] 04:57:22 -!- somnium` [~user@184.42.0.205] has quit [*.net *.split] 04:57:22 -!- cataska [~cataska@210.64.6.233] has quit [*.net *.split] 04:57:22 -!- alexsuraci [~alex@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [*.net *.split] 04:57:22 -!- mario-goulart [~user@67.205.85.241] has quit [*.net *.split] 04:57:23 -!- n9mtb [~rob@the-gadgeteer.com] has quit [*.net *.split] 04:57:23 -!- tizoc [~user@unaffiliated/tizoc] has quit [*.net *.split] 04:57:23 -!- cky [~cky@car.spillville.com] has quit [*.net *.split] 04:57:23 -!- Axioplase_ [~Axioplase@fortigate.kb.ecei.tohoku.ac.jp] has quit [*.net *.split] 04:57:23 -!- fds [~frankie@unaffiliated/franki] has quit [*.net *.split] 04:57:23 -!- trigen [~MSX@ec2-46-51-179-218.eu-west-1.compute.amazonaws.com] has quit [*.net *.split] 04:57:23 -!- Intensity [CoFsRM7gjg@unaffiliated/intensity] has quit [*.net *.split] 04:57:23 -!- lusory [~bart@bb219-74-90-12.singnet.com.sg] has quit [*.net *.split] 04:57:24 -!- eno_ [~eno@adsl-70-137-163-128.dsl.snfc21.sbcglobal.net] has quit [*.net *.split] 04:57:24 -!- Pepe___ [~ppjet@bouah.net] has quit [*.net *.split] 04:57:24 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [*.net *.split] 04:57:24 -!- wbooze [~user@xdsl-78-35-130-48.netcologne.de] has quit [*.net *.split] 04:57:24 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [*.net *.split] 04:57:24 -!- Euthydemus` [~euthydemu@vaxjo7.80.cust.blixtvik.net] has quit [*.net *.split] 04:57:24 -!- snorble [~snorble@s83-179-14-105.cust.tele2.se] has quit [*.net *.split] 04:57:25 -!- inimino [~inimino@boshi.inimino.org] has quit [*.net *.split] 04:57:25 -!- zbigniew [~zb@li177-156.members.linode.com] has quit [*.net *.split] 04:57:25 -!- jimster [~jimster@jimster.org] has quit [*.net *.split] 04:57:25 -!- stamourv [~user@kauai.ccs.neu.edu] has quit [*.net *.split] 04:57:25 -!- duncanm [~duncan@a-chinaman.com] has quit [*.net *.split] 04:57:26 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [*.net *.split] 04:57:26 -!- nowhereman [~pierre@AStrasbourg-551-1-57-59.w83-194.abo.wanadoo.fr] has quit [*.net *.split] 04:57:26 -!- homie [~user@xdsl-78-35-130-48.netcologne.de] has quit [*.net *.split] 04:57:26 -!- NNshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has quit [*.net *.split] 04:57:26 -!- asumu [~at@c-71-232-32-44.hsd1.ma.comcast.net] has quit [*.net *.split] 04:57:26 -!- wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has quit [*.net *.split] 04:57:27 -!- aking [~aking@67.23.13.119] has quit [*.net *.split] 04:57:27 -!- Zahl_ [~kenneth@lnx101.hrz.tu-darmstadt.de] has quit [*.net *.split] 04:57:27 -!- z0d [~z0d@unaffiliated/z0d] has quit [*.net *.split] 04:57:27 -!- klutometis [klutometis@klutometis.wikitex.org] has quit [*.net *.split] 04:57:27 -!- pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has quit [*.net *.split] 04:57:27 -!- stepnem_ [~stepnem@176.119.broadband10.iol.cz] has quit [*.net *.split] 04:57:27 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [*.net *.split] 04:57:27 -!- joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has quit [*.net *.split] 04:57:27 -!- danking [~danking@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:57:27 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [*.net *.split] 04:57:28 -!- eno [~eno@nslu2-linux/eno] has quit [*.net *.split] 04:57:28 -!- ineiros [~itniemin@james.ics.hut.fi] has quit [*.net *.split] 04:57:28 -!- em_ [~em@user-0cev0kt.cable.mindspring.com] has quit [*.net *.split] 04:57:28 -!- foof` [~user@li126-140.members.linode.com] has quit [*.net *.split] 04:57:28 -!- rotty_ [~rotty@nncmain.nicenamecrew.com] has quit [*.net *.split] 04:57:28 -!- sloyd_ [sloyd@station457.vo3.net] has quit [*.net *.split] 04:57:29 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [*.net *.split] 04:57:29 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [*.net *.split] 04:57:29 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 04:57:29 -!- leppie [~lolcow@196-215-20-67.dynamic.isadsl.co.za] has quit [*.net *.split] 04:57:29 -!- jensn [~ceres@c-83-233-145-103.cust.bredband2.com] has quit [*.net *.split] 04:57:29 -!- mjgoins [~mjgoins@ool-18599e06.static.optonline.net] has quit [*.net *.split] 04:57:29 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 04:57:29 -!- bremner [~bremner@yantan.tethera.net] has quit [*.net *.split] 04:57:29 -!- eli [~eli@winooski.ccs.neu.edu] has quit [*.net *.split] 04:57:29 -!- timj__ [~timj@e176199196.adsl.alicedsl.de] has quit [*.net *.split] 04:57:29 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [*.net *.split] 04:57:30 -!- eldragon [~eldragon@84.79.67.254] has quit [*.net *.split] 04:57:30 -!- clog [nef@bespin.org] has quit [*.net *.split] 04:57:30 -!- minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has quit [*.net *.split] 04:57:30 -!- annodomini [~lambda@wikipedia/lambda] has quit [*.net *.split] 04:57:31 -!- acarrico [~acarrico@pppoe-68-142-43-164.gmavt.net] has quit [*.net *.split] 04:57:31 -!- Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has quit [*.net *.split] 04:57:31 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [*.net *.split] 04:57:31 -!- erider [~chatzilla@unaffiliated/erider] has quit [*.net *.split] 04:57:31 -!- aoh [aki@80.75.102.51] has quit [*.net *.split] 04:57:31 -!- dfeuer [~dfeuer@wikimedia/Dfeuer] has quit [*.net *.split] 04:57:31 -!- chandler [~bem@opendarwin/developer/chandler] has quit [*.net *.split] 04:57:31 -!- askhader [~askhader@taurine.csclub.uwaterloo.ca] has quit [*.net *.split] 04:57:31 -!- Leonidas [~Leonidas@unaffiliated/leonidas] has quit [*.net *.split] 04:57:31 -!- dlouhy [~jdlouhy@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:57:31 -!- DerGuteMoritz [~syn@85.88.17.198] has quit [*.net *.split] 04:57:31 -!- elf [elf@antenora.aculei.net] has quit [*.net *.split] 04:57:38 danking [~danking@zerowing.ccs.neu.edu] has joined #scheme 04:58:06 interesting 04:58:44 eno_ [~eno@adsl-70-137-163-128.dsl.snfc21.sbcglobal.net] has joined #scheme 04:58:44 stepnem [~stepnem@176.119.broadband10.iol.cz] has joined #scheme 04:58:44 em_ [~em@user-0cev0kt.cable.mindspring.com] has joined #scheme 04:58:44 pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has joined #scheme 04:58:44 C-Keen [ckeen@pestilenz.org] has joined #scheme 04:58:44 defn_ [~defn@rot13.pbqr.org] has joined #scheme 04:58:44 foof` [~user@li126-140.members.linode.com] has joined #scheme 04:58:44 sloyd_ [sloyd@station457.vo3.net] has joined #scheme 04:58:44 Pepe___ [~ppjet@bouah.net] has joined #scheme 04:58:44 rotty_ [~rotty@nncmain.nicenamecrew.com] has joined #scheme 04:58:44 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 04:58:44 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 04:58:44 timj__ [~timj@e176199196.adsl.alicedsl.de] has joined #scheme 04:58:44 nowhereman [~pierre@AStrasbourg-551-1-57-59.w83-194.abo.wanadoo.fr] has joined #scheme 04:58:44 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 04:58:44 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 04:58:44 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 04:58:44 wbooze [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 04:58:44 homie [~user@xdsl-78-35-130-48.netcologne.de] has joined #scheme 04:58:44 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 04:58:44 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 04:58:44 joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has joined #scheme 04:58:44 eldragon [~eldragon@84.79.67.254] has joined #scheme 04:58:44 clog [nef@bespin.org] has joined #scheme 04:58:44 Euthydemus` [~euthydemu@vaxjo7.80.cust.blixtvik.net] has joined #scheme 04:58:44 snorble [~snorble@s83-179-14-105.cust.tele2.se] has joined #scheme 04:58:44 peddie [~peddie@XVM-107.MIT.EDU] has joined #scheme 04:58:44 somnium` [~user@184.42.0.205] has joined #scheme 04:58:44 trigen [~MSX@ec2-46-51-179-218.eu-west-1.compute.amazonaws.com] has joined #scheme 04:58:44 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 04:58:44 minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has joined #scheme 04:58:44 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 04:58:44 NNshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has joined #scheme 04:58:44 asumu [~at@c-71-232-32-44.hsd1.ma.comcast.net] has joined #scheme 04:58:44 84XABD91G [~danking@zerowing.ccs.neu.edu] has joined #scheme 04:58:44 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 04:58:44 annodomini [~lambda@wikipedia/lambda] has joined #scheme 04:58:44 wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has joined #scheme 04:58:44 mjgoins [~mjgoins@ool-18599e06.static.optonline.net] has joined #scheme 04:58:44 leppie [~lolcow@196-215-20-67.dynamic.isadsl.co.za] has joined #scheme 04:58:44 acarrico [~acarrico@pppoe-68-142-43-164.gmavt.net] has joined #scheme 04:58:44 Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has joined #scheme 04:58:44 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #scheme 04:58:44 erider [~chatzilla@unaffiliated/erider] has joined #scheme 04:58:44 aoh [aki@80.75.102.51] has joined #scheme 04:58:44 dfeuer [~dfeuer@wikimedia/Dfeuer] has joined #scheme 04:58:44 cataska [~cataska@210.64.6.233] has joined #scheme 04:58:44 jensn [~ceres@c-83-233-145-103.cust.bredband2.com] has joined #scheme 04:58:44 alexsuraci [~alex@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 04:58:44 chandler [~bem@opendarwin/developer/chandler] has joined #scheme 04:58:44 mario-goulart [~user@67.205.85.241] has joined #scheme 04:58:45 Intensity [CoFsRM7gjg@unaffiliated/intensity] has joined #scheme 04:58:45 inimino [~inimino@boshi.inimino.org] has joined #scheme 04:58:45 askhader [~askhader@taurine.csclub.uwaterloo.ca] has joined #scheme 04:58:45 eno [~eno@nslu2-linux/eno] has joined #scheme 04:58:45 Leonidas [~Leonidas@unaffiliated/leonidas] has joined #scheme 04:58:45 dlouhy [~jdlouhy@zerowing.ccs.neu.edu] has joined #scheme 04:58:45 n9mtb [~rob@the-gadgeteer.com] has joined #scheme 04:58:45 lusory [~bart@bb219-74-90-12.singnet.com.sg] has joined #scheme 04:58:45 ineiros [~itniemin@james.ics.hut.fi] has joined #scheme 04:58:45 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 04:58:45 DerGuteMoritz [~syn@85.88.17.198] has joined #scheme 04:58:45 elf [elf@antenora.aculei.net] has joined #scheme 04:58:45 bremner [~bremner@yantan.tethera.net] has joined #scheme 04:58:45 eli [~eli@winooski.ccs.neu.edu] has joined #scheme 04:58:45 zbigniew [~zb@li177-156.members.linode.com] has joined #scheme 04:58:45 jimster [~jimster@jimster.org] has joined #scheme 04:58:45 aking [~aking@67.23.13.119] has joined #scheme 04:58:45 stamourv [~user@kauai.ccs.neu.edu] has joined #scheme 04:58:45 tizoc [~user@unaffiliated/tizoc] has joined #scheme 04:58:45 Zahl_ [~kenneth@lnx101.hrz.tu-darmstadt.de] has joined #scheme 04:58:45 Axioplase_ [~Axioplase@fortigate.kb.ecei.tohoku.ac.jp] has joined #scheme 04:58:45 cky [~cky@car.spillville.com] has joined #scheme 04:58:45 fds [~frankie@unaffiliated/franki] has joined #scheme 04:58:45 z0d [~z0d@unaffiliated/z0d] has joined #scheme 04:58:45 klutometis [klutometis@klutometis.wikitex.org] has joined #scheme 04:58:45 duncanm [~duncan@a-chinaman.com] has joined #scheme 04:58:55 la la la 04:58:55 -!- 84XABD91G [~danking@zerowing.ccs.neu.edu] has quit [Write error: Broken pipe] 04:58:55 -!- ineiros [~itniemin@james.ics.hut.fi] has quit [Write error: Broken pipe] 04:58:55 -!- eno [~eno@nslu2-linux/eno] has quit [Write error: Broken pipe] 04:58:56 -!- pothos_ [~pothos@111-240-205-247.dynamic.hinet.net] has quit [Write error: Connection reset by peer] 05:00:47 *offby1* pokes duncanm 05:01:13 -!- mmc [~michal@cs27120227.pp.htv.fi] has left #scheme 05:01:13 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 05:01:13 duncanm probably died four years ago, but nobody remembered to disconnect his computer 05:01:19 -!- joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has quit [Ping timeout: 333 seconds] 05:01:29 ineiros [~itniemin@james.ics.hut.fi] has joined #scheme 05:01:53 it's now host to a teeming botnet 05:01:54 Gmind [~Deulamco@113.190.167.17] has joined #scheme 05:02:09 rudybot is happy to see the end of human =)) 05:02:18 but sorry, we are back >:) 05:02:27 joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has joined #scheme 05:02:46 rudybot: don't ever dream about SkyNet =)) 05:02:46 Gmind: are you skynet? 05:03:11 rudybot: yeah , my bot will 05:03:12 Gmind: there once was a bot from #emacs... 05:03:17 -!- Gmind1 [~Deulamco@113.190.167.17] has quit [Ping timeout: 260 seconds] 05:04:14 offby1: Kind of weird to think about how my electronic identity will likely stick around for a great deal longer than I. 05:04:38 But if duncanm is who I think he is I can confirm he was alive about a year ago :P 05:05:59 :)) 05:06:00 fun 05:07:34 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 05:07:51 Hilarious? I resemble^Wresuscitate^Wreserve^Wwhatever it is that remark, gnomon! 6.28 approximates a much more sensible value than 3.14! 05:08:13 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 05:09:06 God, Rudybot is alive 05:10:03 Just as one writes m v, k x, and so on, one should write pi r, not 2 pi r; just as one writes 1/2 m v^2, 1/2 k x^2, and so on, one should write 1/2 pi r^2, not pi r^2. The extra factor of 2, or the missing factor of 1/2, is distracting and confusing. 05:12:13 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 05:13:26 *gnomon* gets out of the way of Riastradh's rant 05:15:46 How many times about a circle is 1/2 pi? Not half, but a quarter. If we used what 6.28 approximates for pi, rather than what 3.14 approximates, that sort of confusion would vanish. 05:17:12 So you're saying you're generally in favour of systems of units which are both mathematically elegant and which better mesh with the physical world? 05:17:22 Alas, it's a few hundred years too late to fix the problem. 05:17:49 *chandler* is still waiting to see evidence of this "circle" thing people are talking about. 05:17:57 And you seem be of a mind that these improvements trump the annoyance of the transition peri... hey, you can't yank the rug out from under my metric system argument like that! 05:18:04 I didn't say anything about the physical world! Nobody cares about that. 05:19:01 I generally care about the physical world insofar as that is where I can find delicious crêpes, cheese, and beverages. 05:19:14 chandler, objecting to the real numbers again, are we? 05:20:21 I'm still having a hard time suspending my disbelief on that issue, yes. 05:20:31 -!- foof` is now known as foof 05:20:56 I'm also unconvinced of the evidence for this supposed "Santa Claus" character, at least as he's popularly described. 05:21:01 See, guys, this is why people never invite us to parties. 05:21:22 What's the precise nature of your objection? I've forgotten. 05:22:10 notsonerdysunny [~chatzilla@59.96.57.144] has joined #scheme 05:25:05 *gnomon* solemnly deposits a paper bag in the precise center of the room 05:25:13 A fundamental lack of evidence for their existence or utility. 05:25:14 *gnomon* points at it meaningfully 05:25:17 Gmind1 [~Deulamco@113.190.167.17] has joined #scheme 05:25:35 *chandler* raises an eyebrow as if to ask what's in the bag. 05:26:14 *gnomon* waits for chandler to investigate further, then takes advantage of the distraction to scramble off and leap into a cupboard, pulling the door shut from inside 05:26:25 -!- gnomon is now known as gnomon_in_cupboa 05:26:30 zzzzZZZZzz 05:26:38 -!- gnomon_in_cupboa is now known as gnomon 05:26:52 This can't be good. 05:27:00 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Quit: Changing server] 05:27:29 -!- Gmind [~Deulamco@113.190.167.17] has quit [Ping timeout: 265 seconds] 05:28:01 chandler: Why should something need to be utilitous? I think, more often than not, creative acts seem crazy and useless, and many probably are, but once in a while you get something awesome. 05:29:04 I'm really not sure what that means. 05:31:00 I don't dislike useless things, you see. 05:31:46 What's your opinion of theology? 05:34:57 Darn, I missed the tau discussion. 05:36:21 chandler: I suppose useless things which gather ardent followers do begin to bother me... 05:37:53 foof: I did too, because of that darned netsplit. :-P 05:41:48 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 05:43:10 -!- notsonerdysunny [~chatzilla@59.96.57.144] has quit [Ping timeout: 245 seconds] 05:43:28 gnomon: are you arguing for or against the metric system? 05:45:23 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 05:47:10 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 05:50:29 chandler, in most useful models of set theory, the axioms imply the existence of real numbers. Are you contesting this, or do you mean physical, observable existence? 05:50:37 As for their utility, what would you suggest instead in analysis? Restrict it to computable numbers? 05:50:51 The latter, and yes. 05:51:05 -!- Gmind1 [~Deulamco@113.190.167.17] has quit [Ping timeout: 245 seconds] 05:51:08 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Ping timeout: 240 seconds] 05:55:45 A real number is a convergence argument -- an argument that some equivalence class of sequences of rationals are all Cauchy (or generalize it to any metric space you like). The real number system is a convenient abstraction for a lot of reasoning: if you give me a process and persuade me that it `converges', then I can make another process from it in various ways and easily argue that it converges too. 05:58:18 I have never tried to do analysis restricted to computable numbers. Is it as convenient as working with the real numbers? I know that the computable numbers are not isomorphic as an ordered field to the real numbers (the real numbers are unique up to isomorphism as an ordered field). I don't know what nice topological properties are kept by the computable numbers. No doubt the lub property breaks down. Does a continuous function on a closed 05:58:31 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 05:59:03 chemuduguntar [~ravi@118-92-129-45.dsl.dyn.ihug.co.nz] has joined #scheme 05:59:32 Hmm...let me try again. I don't know what nice topological properties are kept by the computable numbers. No doubt the lub property breaks down. Does a continuous computable-valued function on a closed interval in the computable numbers attain minima and maxima? I imagine not. 06:00:37 Gmind [~Deulamco@113.190.167.17] has joined #scheme 06:02:43 -!- tessier [~treed@kernel-panic/copilotco] has quit [Ping timeout: 240 seconds] 06:04:08 *Gmind* have just come back to window 06:05:23 Gmind, question: is it practical to restrict analysis to computable numbers? chandler has ethical objections to the (ab)use of real numbers, but I don't know what topological properties the computable numbers exhibit, and whether it is remotely convenient to reason with them rather than to reason with the real numbers and then restrict one's focus at the end to the computable conclusions. 06:07:02 *makes brain-explody sounds* 06:07:08 jewel [~jewel@196-210-134-54.dynamic.isadsl.co.za] has joined #scheme 06:07:30 =)) 06:07:34 Why me ? 06:07:53 hope google translate can help me understand your question 06:08:11 chandler: you should be here 06:08:42 -!- xwl_ [~wixu@nat/nokia/x-ooudkxkafyggcyka] has quit [Remote host closed the connection] 06:08:44 Riastradh: did you mean "abs" ? 06:09:45 Gmind: Riastradh's question goes into deep maths theory territory. That's all I know. 06:09:50 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 06:10:18 -!- 77CAAH061 [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has quit [*.net *.split] 06:10:18 -!- rapacity [~prwg@unaffiliated/rapacity] has quit [*.net *.split] 06:10:18 -!- roderic [~roderic@zerowing.ccs.neu.edu] has quit [*.net *.split] 06:10:21 cky: smt about analysising computable numbers 06:10:21 Gmind: And no, it has no relation to "abs". 06:10:27 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Write error: Connection reset by peer] 06:10:32 Gmind: It's a very abstract concept. :-P 06:10:37 Gmind: At least to me. 06:10:46 cky: =)) Ok , then please leave this long question to Math PhD 06:10:53 77CAAH061 [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has joined #scheme 06:10:53 roderic [~roderic@zerowing.ccs.neu.edu] has joined #scheme 06:11:10 I think Riastradh should ask that question on MathOverflow or the like. 06:11:17 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 06:11:27 *Gmind* think ( we at least always work w/ computable numbers, so analysis those is practical ) 06:11:29 -!- Zol [~Zolomon@li152-84.members.linode.com] has quit [Ping timeout: 250 seconds] 06:11:52 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 06:12:18 cky: r u familiar w/ Lisp too ? 06:12:24 rapacity [~prwg@unaffiliated/rapacity] has joined #scheme 06:12:54 Gmind: Which dialect of Lisp? 06:13:02 cky: any 06:13:07 Gmind: I know Scheme! :-P 06:13:18 (I may ask for some decent impl of Lisp) 06:13:39 If you are asking about Common Lisp, many people will recommend SBCL. 06:13:52 I hear good things about ABCL (if you're on JVM), but, it's not as mature as SBCL. 06:14:23 how about GNU CLISP ? 06:14:53 Some people like it. Others avoid it. Generally mixed reaction. (Have you tried asking on #lisp?) 06:15:19 (not yet) 06:15:42 Also, chandler is a CL programmer. He can answer this much much better than I can. 06:15:45 in #Scheme, Racket seem to be the most decent impl of SCheme 06:15:55 Gmind: Don't let Dybvig hear you say taht. 06:15:56 *that 06:16:01 :P well 06:16:05 =)) ok 06:16:18 I should add this : 06:16:32 " in among of many other decent impl of Scheme" 06:16:38 ok ? 06:16:54 *rolls eyes* 06:17:08 =.= Chandler seem to go somewhere else already 06:17:11 foof, I don't see evidence in the man page that clock_gettime(CLOCK_MONOTONIC) is not, in fact, monotonic on Linux. 06:17:20 Gmind: Well, this is IRC. That is to be expected. 06:17:24 Gmind: larceny is just as decent 06:17:50 So is Chicken, MIT Scheme, Gambit, etc. 06:17:58 i dont like that books like htdp use non standard syntax 06:18:15 *cky* uses Guile a lot, but hesitates to compare it with other "more Schemey" implementations. :-P 06:18:19 so i steered clear of PLT/Racket 06:18:38 noonian: That's because HtDP isn't primarily about Scheme. It's about programming. 06:18:52 noonian: Similar story with SICP, of course. 06:18:58 *bitweiler`* agrees with cky smiling happily 06:19:11 however sisc is almost standard 06:19:27 noonian: Well, as much as the JVM will allow, anyway. 06:20:00 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 06:20:09 sorry, I meant sicp :P 06:20:14 foof, there is a strongly worded warning about getting bogus results (their words, in bold) from CLOCK_PROCESS_CPUTIME_ID and CLOCK_THREAD_CPUTIME_ID, but nothing about CLOCK_MONOTONIC that I see. 06:20:14 :-P 06:20:19 was trying to figure out what you meant hehe 06:20:37 noonian: SISC is a JVM-based Scheme implementation. It claims full R5RS compliance. 06:20:47 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 06:20:59 Yeah I realize now 06:21:25 But I meant that almost everything in SICP works in r5rs or r6rs scheme 06:30:03 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [Read error: Operation timed out] 06:32:48 bitweiler:any tips on using Common Larceny on .NET ? 06:33:40 I wish author of Larceny and Iron Scheme could fuse 2 impl together into some thing really decent on .NET :P 06:35:15 You mean petit larceny or common larceny? 06:35:21 Gmind: I haven't use Microsoft since 1995 so I never use .NET, sorry :( 06:35:55 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Read error: Connection reset by peer] 06:36:02 noonian : I think it's common larceny 06:36:05 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 06:36:34 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 06:36:36 common larceny is the .NET one and petit compiles so c I think. 06:36:37 bitweiler: =.=! oh... what a pity that Starcraft can't run stable with injectors on Linux, or I won't ever need window and .NET 06:37:36 noonian: ya...that's what I wrote from the beginning , isn't it ? 06:38:01 but if 06:38:25 Almost, and I think that the one compiling to c is faster than .NET, but the native ones are faster still 06:38:47 native , of cause faster than on .NET (most of time) 06:39:03 but the thing I need was written on .NET 06:39:11 the other native is by C++ native 06:39:17 but I don't want 06:39:25 to risk myself messing up w/ FFI 06:39:27 T____T 06:39:49 so it seem to be the only choice 06:40:07 *Gmind* think ( yes a pain ... when I like linux more ) 06:40:48 Ouch, so you need a scheme implementation that runs in .NET? 06:40:54 Any idea what would cause Racket's read-line to hang when reading the stderr of a process? 06:41:29 perhaps read-line is actually trying to read stdout, and not getting anything 06:41:52 or perhaps it's waiting for a newline, and none has yet appeared on stderr 06:41:58 offby1: Nah, I've definitely got my ports righ 06:42:11 offby1: I fear that, but shouldn't it hit an EOF and return? 06:42:39 (Disclaimer: I have a pisspoor understanding of *nix practices, pipes, etc.)) 06:43:14 re "shouldn't it hit an EOF" -- you'd think so 06:43:26 if your code is _really_ short and simple, paste it on (e.g.) gist.github.com and I'll take a look 06:43:32 danking, that's OK -- most people who design the `shell-like' things that you're likely to be using seem to have a worse understanding. 06:43:33 -!- Pepe___ is now known as Pepe_ 06:43:33 noonian: I 've already got IronScheme from Leppie :P . But still a bit confused 06:43:34 i would think you would get newlines but no eof 06:44:19 (so I try to learn from the others too, and see if there is any ideas I could suggest to leppie :P ) 06:44:25 -!- jewel [~jewel@196-210-134-54.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 06:44:26 Yeah, well if you do go the ffi route, i would use the native larceny over the c one if you can 06:44:58 noonian: how ??? is FFI complicated as they said ? 06:46:04 im not sure what you are doing. I have heard that people really like larceny's ffi interface but I dont know anything about it myself. 06:46:34 but I don't know anything about working with .net 06:47:24 What's up with paste.lisp? 06:47:25 noonian: =.= oh... working w/ .NET CLR DLL is sometime easier than w/ FFI if we got a good architecture 06:47:47 nilg [~user@77.70.2.229] has joined #scheme 06:47:56 noonian: unfortunately, the one I am working w/ is a bit like messy 06:47:59 offby1: https://gist.github.com/740084 I think it's rather simple, although it does call some code that's not present in the paste. I don't think that stuff is at all relevant though 06:48:04 It hangs on the second read-line 06:48:53 danking: With pipes, the reading end receives EOF when the writing end is closed, and no sooner. 06:49:05 danking: So, ask yourself whether the writing end is closed. :-) 06:49:19 hmm. 06:49:35 cky: If I kill the process that should close the writing end, aye? 06:49:42 Yes. 06:50:47 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 06:51:20 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 06:52:42 Riastradh: Perhaps I'm naive but I do find it frustrating that Mozilla Rhino decides to output everything to stderr instead of stdout. 06:53:43 notsonerdysunny [~chatzilla@59.96.57.144] has joined #scheme 06:54:28 That's pretty random. Of course, one can always just pass the same pipe as fd 1 and fd 2 to Rhino and accept potentially interleaved output. 06:54:29 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 06:56:00 Where do I get "quilt graphic library" mentioned in the book "Concrete Abstractions" ? http://gustavus.edu/+max/concrete-abstractions-pdfs/index.html 06:57:21 Gmind1 [~Deulamco@113.190.167.17] has joined #scheme 06:58:29 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Read error: Connection reset by peer] 06:59:44 cky: It would seem rhino is stubborn. It won't die... 06:59:50 -!- Gmind [~Deulamco@113.190.167.17] has quit [Ping timeout: 245 seconds] 06:59:54 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 07:04:38 Riastradh: Indeed, my mistake. 07:05:50 Nevertheless, CLOCK_MONOTONIC is useful only within a single program. 07:06:57 I think I got it. thanks. 07:09:54 Run "clock_gettime(CLOCK_MONOTONIC, &tp); clock_gettime(CLOCK_REALTIME, &tp);" and take the diff. 07:10:36 That doesn't help if anyone calls settimeofday &c. 07:10:50 That's the offset from the realtime plus some epsilon for the two syscalls. 07:11:24 Then run them in reverse, add the two results and divide by two, that gets you the syscall epsilon. 07:11:25 CLOCK_MONOTONIC reflects adjtime, but not settimeofday. 07:11:48 Repeat multiple times until you get consistent results. 07:13:08 The result should be more accurate than NTP. 07:14:00 Macs, alas, don't have clock_gettime. 07:14:16 !? 07:14:43 clock_gettime has been in POSIX since 1993. 07:15:56 Nonetheless, no manpage and nothing in /usr/include/*/* 07:16:40 Wow. 07:18:28 How about ntp_gettime and ntp_adjtime? 07:18:55 nope 07:19:16 can't find those on my linux boxen either 07:20:20 There is probably some Mach way to get at a monotonic clock, I suppose. Dunno about NTP. 07:20:57 As for Linux: I just checked both Debian and Fedora, which have ntp_gettime and ntp_adjtime, declared in , but missing man pages (as usual on GNU/Linux systems). 07:22:29 -!- 77CAAH061 [~mathk@lns-bzn-23-82-248-78-249.adsl.proxad.net] has quit [Quit: ..zzZzzZ] 07:24:45 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 07:29:57 We need a standard way to get TAI time on Windows and Mac if we're going to propose it for WG1. 07:30:22 woow, HTDP is so loooong .. 07:30:32 have anyone completed it ? 07:33:01 Mac OS X does have a way to map from TAI to POSIX time, and (lossily) back, provided the right time zone database... (man time2posix) 07:34:29 Riastradh: That can be done in a user library. What we need is a way to get TAI to begin with. 07:35:00 -!- bitweiler` [~bitweiler@99.40.236.82] has left #scheme 07:35:06 (and not the lossy version from POSIX conversion) 07:38:32 What NTP client does Mac OS X use? Can you find the source? 07:39:25 -!- duncanm [~duncan@a-chinaman.com] has quit [Ping timeout: 265 seconds] 07:39:49 duncanm [~duncan@a-chinaman.com] has joined #scheme 07:39:49 la la la 07:43:17 xwl_ [~wixu@nat/nokia/x-qlcyqngpapkwdnqt] has joined #scheme 07:43:49 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 07:44:05 openntpd is available from macports, don't know what the default is 07:44:35 ntpd - NTP daemon program - Ver. 4.2.4p4 07:44:40 By David Mills. 07:45:20 What sets the time by default in Mac OS X? 07:46:03 openntpd is OpenBSD's ntpd. The ntpd `by David Mills' at version 4.2.4 is the NTP Project's ntpd, which is what most of the (reasonable) world uses. 07:48:08 The NTP Project's ntpd is the default. 07:50:21 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 07:50:39 Is there an `ntptime' program? If you run it with no arguments, what does it do? 07:50:51 no 07:51:12 there's ntpdate 07:51:29 That's different... 07:51:30 which is only for setting the date 07:52:05 Does `ntpq -c rv localhost' say anything about `tai' or `leap'? 07:52:06 I know, I've used the ntp client and server programs many times and always make a point of keeping my servers in sync. 07:52:15 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 07:52:47 I've just tried to access ntp from C. 07:53:04 Sorry, I'm just thinking aloud. I think I shall go to bed soon anyway. 07:53:05 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 07:54:12 I suppose BSD started providing an NTP C interface specifically because POSIX time is broken? 07:54:30 I don't know why. 07:55:00 ntpq does say leap=00 btw 07:55:37 It does here too. But it also gives leapsec= and tai=34. 07:56:34 tai=0 07:56:49 no leapsec 07:57:04 ah, leap_none 07:57:08 ecraven [~user@140.78.42.213] has joined #scheme 07:57:25 maybe that means no leap seconds? 07:57:50 Gmind [~Deulamco@113.190.167.17] has joined #scheme 07:58:06 hkBst [~quassel@79.170.210.174] has joined #scheme 07:58:06 -!- hkBst [~quassel@79.170.210.174] has quit [Changing host] 07:58:06 hkBst [~quassel@gentoo/developer/hkbst] has joined #scheme 07:58:46 -!- Gmind1 [~Deulamco@113.190.167.17] has quit [Ping timeout: 265 seconds] 08:01:31 OK. The ntpd probably understands leap second tables, but doesn't have one. It won't request one from the server by default: it will just pay attention to the pending leap second flag. 08:02:35 -!- Gmind [~Deulamco@113.190.167.17] has quit [Client Quit] 08:03:44 I had to: (a) fetch into /etc/ntp/leap-seconds.list, (b) append `crypto leap /etc/ntp/leap-seconds.list' to /etc/ntp.conf, and (c) generate a key pair with ntp-keygen in /etc/ntp. The last step is pretty random, and probably is or seemed necessary to me only by mistake, but I haven't asked the NTP folks about it yet. 08:08:39 Anyway, time for bed. 08:14:28 tessier [~treed@mail.copilotco.com] has joined #scheme 08:16:20 sleep is for the weak! 08:17:44 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 240 seconds] 08:19:33 gravicappa [~gravicapp@80.90.116.82] has joined #scheme 08:20:41 -!- dfkjjkfd_ [~paulh@145.120.22.20] has quit [Quit: Lost terminal] 08:23:43 cinch [~cinch@85-127-109-38.dynamic.xdsl-line.inode.at] has joined #scheme 08:34:55 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Remote host closed the connection] 08:35:40 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 08:37:30 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Read error: Connection reset by peer] 08:38:26 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 08:44:19 -!- cinch [~cinch@85-127-109-38.dynamic.xdsl-line.inode.at] has quit [Ping timeout: 272 seconds] 08:45:13 -!- hkBst [~quassel@gentoo/developer/hkbst] has quit [Quit: No Ping reply in 180 seconds.] 08:45:28 hkBst [~quassel@79.170.210.174] has joined #scheme 08:45:28 -!- hkBst [~quassel@79.170.210.174] has quit [Changing host] 08:45:28 hkBst [~quassel@gentoo/developer/hkbst] has joined #scheme 15:32:17 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 15:32:17 15:32:17 -!- names: ccl-logbot RageOfThou bweaver aisa stis MrFahrenheit jewel Adamant kilimanjaro Gmind mathk_ neilcj cinch- jao eldragon vu3rdd ventonegro dfkjjkfd homie` wbooze` zeroish Jafet jmd alaricsp araujo Riastradh gravicappa tupi klaus9 martinhex mmc Koven Crito felipe hkBst tessier ecraven tali713 xwl_ duncanm githogori nilg rapacity roderic chemuduguntar MichaelRaskin joast ineiros rdd futilius preflex Adrinael ToxicFrog ray drdo puddingpimp noonian Modius 15:32:17 -!- names: tonyg_ rudybot gnomon jimrees_ ada2358 sjamaan samth XTL elly mornfall antoszka `micro TheRealPygo clklein_ Caleb-- ASau ve chandra Khisanth shardz qebab rrm3_ sid3k Dark-Star yosafbridge saccade timchen1` certainty spacebat pr_ Kerrick weinholt gapeme chrissbx_ borism pothos danking eno_ stepnem em_ C-Keen defn_ foof sloyd_ Pepe_ rotty_ bzzbzz timj__ nowhereman offby1 Hal9k clog Euthydemus` snorble peddie somnium` trigen pchrist NNshag pjb annodomini 15:32:17 -!- names: wgd mjgoins leppie acarrico Obfuscate Quadrescence erider aoh dfeuer cataska jensn alexsuraci chandler mario-goulart Intensity inimino askhader Leonidas dlouhy n9mtb lusory gabot DerGuteMoritz elf bremner eli zbigniew jimster aking stamourv tizoc Zahl_ Axioplase_ cky fds z0d klutometis 15:41:45 fradgers- [~fradgers-@5e0b815c.bb.sky.com] has joined #scheme 15:43:14 -!- RageOfThou [~RageOfTho@users-33-142.vinet.ba] has quit [Read error: Connection reset by peer] 15:43:17 -!- MrFahrenheit [~RageOfTho@users-33-142.vinet.ba] has quit [Read error: Connection reset by peer] 15:43:45 MrFahrenheit [~RageOfTho@users-33-142.vinet.ba] has joined #scheme 15:43:47 RageOfThou [~RageOfTho@users-33-142.vinet.ba] has joined #scheme 15:46:34 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [Quit: peace!] 15:46:38 HG` [~HG@xdsl-92-252-117-139.dip.osnanet.de] has joined #scheme 15:50:03 -!- joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has quit [Quit: Leaving.] 15:53:47 Gmind1 [~Deulamco@113.190.182.90] has joined #scheme 15:55:37 -!- Gmind [~Deulamco@113.190.182.90] has quit [Ping timeout: 250 seconds] 15:59:22 masm [~masm@2.80.153.71] has joined #scheme 16:01:35 FunkyDrummer [~RageOfTho@users-33-142.vinet.ba] has joined #scheme 16:01:49 DrDuck [~duck@146.229.118.41] has joined #scheme 16:04:16 -!- wbooze` [~user@xdsl-78-35-187-231.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:04:24 -!- homie` [~user@xdsl-78-35-187-231.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:04:49 -!- RageOfThou [~RageOfTho@users-33-142.vinet.ba] has quit [Ping timeout: 240 seconds] 16:10:12 -!- clklein_ is now known as clklein 16:12:51 mwolfe [~mwolfe@corona.cornerturn.com] has joined #scheme 16:18:29 roderic_ [~roderic@zerowing.ccs.neu.edu] has joined #scheme 16:19:45 -!- Gmind1 [~Deulamco@113.190.182.90] has quit [Quit: Leaving.] 16:23:17 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [*.net *.split] 16:23:17 -!- xwl_ [~wixu@nat/nokia/x-qlcyqngpapkwdnqt] has quit [*.net *.split] 16:23:18 -!- roderic [~roderic@zerowing.ccs.neu.edu] has quit [*.net *.split] 16:24:54 Gmind [~Deulamco@113.190.182.90] has joined #scheme 16:26:13 -!- hkBst [~quassel@gentoo/developer/hkbst] has quit [Remote host closed the connection] 16:26:44 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 16:27:00 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 16:27:09 -!- klaus9 [~user@p54B18E4A.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:28:05 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Read error: Connection reset by peer] 16:29:22 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 16:30:40 -!- em_ [~em@user-0cev0kt.cable.mindspring.com] has quit [Remote host closed the connection] 16:30:51 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 16:34:26 emma [~em@unaffiliated/emma] has joined #scheme 16:35:18 -!- emma is now known as em 16:35:35 femtoo [~femto@95-89-196-249-dynip.superkabel.de] has joined #scheme 16:40:04 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 16:42:05 wbooze [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 16:43:54 asumu [~at@nomad.ccs.neu.edu] has joined #scheme 16:49:57 alvatar [~alvatar@153.127.222.87.dynamic.jazztel.es] has joined #scheme 16:50:11 -!- eno_ [~eno@adsl-70-137-163-128.dsl.snfc21.sbcglobal.net] has quit [Disconnected by services] 16:55:46 -!- Gmind [~Deulamco@113.190.182.90] has quit [Quit: Leaving.] 16:57:14 -!- jmd [~john@cellform.com] has quit [Remote host closed the connection] 17:00:40 -!- jewel [~jewel@196-210-134-54.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 17:03:22 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 255 seconds] 17:04:25 -!- alvatar [~alvatar@153.127.222.87.dynamic.jazztel.es] has quit [Ping timeout: 276 seconds] 17:04:44 -!- noonian [~noonian@c-98-232-230-23.hsd1.or.comcast.net] has quit [Ping timeout: 260 seconds] 17:05:26 alvatar [~alvatar@153.127.222.87.dynamic.jazztel.es] has joined #scheme 17:06:57 Gmind [~Deulamco@113.190.182.90] has joined #scheme 17:08:25 -!- DrDuck [~duck@146.229.118.41] has quit [Ping timeout: 250 seconds] 17:15:37 langmartin [~user@exeuntcha2.tva.gov] has joined #scheme 17:20:30 DrDuck [~duck@146.229.118.41] has joined #scheme 17:30:51 -!- Gmind [~Deulamco@113.190.182.90] has quit [Quit: Leaving.] 17:33:36 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 17:33:55 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 17:38:17 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 17:44:19 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 240 seconds] 17:44:39 -!- gravicappa [~gravicapp@80.90.116.82] has quit [Remote host closed the connection] 17:51:19 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Ping timeout: 265 seconds] 17:51:47 Gmind [~Deulamco@113.190.182.90] has joined #scheme 17:56:59 -!- gapeme [mao@lost.my.eye.rs] has quit [Quit: leaving] 17:59:39 -!- homie [~user@xdsl-78-35-187-231.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:05:04 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 18:05:50 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 18:07:20 Gmind1 [~Deulamco@113.190.182.90] has joined #scheme 18:10:06 -!- Gmind [~Deulamco@113.190.182.90] has quit [Ping timeout: 240 seconds] 18:10:40 -!- Gmind1 [~Deulamco@113.190.182.90] has quit [Client Quit] 18:10:50 minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has joined #scheme 18:12:07 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [Ping timeout: 250 seconds] 18:16:41 -!- chemuduguntar [~ravi@118-92-129-45.dsl.dyn.ihug.co.nz] has quit [Remote host closed the connection] 18:17:24 -!- MrFahrenheit [~RageOfTho@users-33-142.vinet.ba] has quit [Read error: Connection reset by peer] 18:17:26 -!- FunkyDrummer [~RageOfTho@users-33-142.vinet.ba] has quit [Read error: Connection reset by peer] 18:17:51 MrFahrenheit [~RageOfTho@users-33-142.vinet.ba] has joined #scheme 18:17:54 FunkyDrummer [~RageOfTho@users-33-142.vinet.ba] has joined #scheme 18:20:52 -!- vu3rdd [~vu3rdd@122.167.114.230] has quit [Remote host closed the connection] 18:22:20 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 18:24:31 -!- masm [~masm@2.80.153.71] has quit [Quit: Leaving.] 18:24:55 masm [~masm@bl19-153-71.dsl.telepac.pt] has joined #scheme 18:28:05 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [Ping timeout: 240 seconds] 18:28:19 -!- roderic_ is now known as roderic 18:28:22 Hal9k [~Lernaean@24-107-60-232.dhcp.stls.mo.charter.com] has joined #scheme 18:28:26 Gmind [~Deulamco@113.190.182.90] has joined #scheme 18:28:28 -!- Hal9k [~Lernaean@24-107-60-232.dhcp.stls.mo.charter.com] has quit [Changing host] 18:28:28 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 18:34:17 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:35:20 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 18:35:50 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 18:36:06 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 18:40:43 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Ping timeout: 250 seconds] 18:43:27 -!- FunkyDrummer [~RageOfTho@users-33-142.vinet.ba] has quit [Ping timeout: 272 seconds] 18:56:16 Guys, what the heck is wrong here? http://codepad.org/9yYv4dSb 18:57:13 SICP problem from chapter one. 18:57:48 DrDuck: it is (cond (predicate result) (predicate result)) 18:57:58 you have: (cond pred result pred result) 18:58:08 so you need more parentheses 18:58:27 i believe you need parens around each pair of test/result in the cond 18:58:43 http://codepad.org/W2rO3KbG 19:00:20 I hope it wont take long for me to get used to this obscene amount of parens that need to be used in the Scheme syntax. 19:00:27 Thank you, Quadrescence. 19:00:49 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Read error: Connection reset by peer] 19:00:50 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 19:04:36 -!- alvatar [~alvatar@153.127.222.87.dynamic.jazztel.es] has quit [Read error: Connection reset by peer] 19:06:02 alvatar [~alvatar@137.127.222.87.dynamic.jazztel.es] has joined #scheme 19:10:48 joast [~rick@CPE-76-178-178-72.natnow.res.rr.com] has joined #scheme 19:11:09 -!- HG` [~HG@xdsl-92-252-117-139.dip.osnanet.de] has quit [Quit: HG`] 19:12:24 -!- eldragon [~eldragon@84.79.67.254] has quit [Read error: Connection reset by peer] 19:15:44 alvatar_ [~alvatar@49.126.222.87.dynamic.jazztel.es] has joined #scheme 19:15:47 eldragon [~eldragon@84.79.67.254] has joined #scheme 19:17:26 -!- alvatar [~alvatar@137.127.222.87.dynamic.jazztel.es] has quit [Read error: Connection reset by peer] 19:17:52 -!- alvatar_ [~alvatar@49.126.222.87.dynamic.jazztel.es] has quit [Read error: Connection reset by peer] 19:18:39 -!- femtoo [~femto@95-89-196-249-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 19:19:40 Belaf [~campedel@194.209.131.192] has joined #scheme 19:19:46 -!- Belaf [~campedel@194.209.131.192] has left #scheme 19:20:08 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 19:21:04 alvatar [~alvatar@178.126.222.87.dynamic.jazztel.es] has joined #scheme 19:23:03 schmir [~schmir@p54A912C6.dip0.t-ipconnect.de] has joined #scheme 19:24:19 -!- eldragon [~eldragon@84.79.67.254] has quit [Ping timeout: 240 seconds] 19:25:11 DrDuck: Experienced Schemers look at brackets like Pythonistas look at whitespace. 19:25:25 DrDuck: They certainly do not count brackets or anything like that. 19:25:53 Do you mean parens? 19:27:02 all the same thing DrDuck 19:27:22 cky: I saw a great picture the other day about that 19:28:24 DrDuck: In the dialect of English I speak, the terms are: (round brackets), [square brackets], and {curly brackets}. 19:29:37 round brackets? 19:29:41 really? 19:29:51 Gmind1 [~Deulamco@113.190.182.90] has joined #scheme 19:30:00 I'm really upset that I couldn't figure out the solution on my own and had to look at yours, Quadrescence. I guess I need to learn to understand what I read a little better, though. Didn't think SICP explained it clearly enough, but they likely did. 19:31:48 sicp looks pretty explicit about the syntax of cond.. 19:31:55 -!- Gmind [~Deulamco@113.190.182.90] has quit [Ping timeout: 240 seconds] 19:32:07 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 19:32:26 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 19:32:46 cond will seem more intuitive in ch. 2 of sicp 19:32:52 syntax-wise 19:32:56 DrDuck: You did it right 19:33:13 DrDuck: That was just a little whatever. In fact, I think that was a *good* mistake to make 19:33:21 that you weren't paying attention to the parentheses :) 19:33:26 :| 19:34:01 neilcj: I've one month left before the next semester starts. I hope I can get to that part of chapter 2 you're talking about before then. :) 19:35:46 jonrafkind: Fine. Not really. In the dialect I speak, brackets are implicitly the round variety unless otherwise specified. 19:37:11 DrDuck: think it is section 2.2 that it snapped in for me 19:39:01 http://i.imgur.com/jL0cL.png 19:40:04 Quadrescence: Heh. 19:43:05 -!- MrFahrenheit [~RageOfTho@users-33-142.vinet.ba] has quit [Read error: Connection reset by peer] 19:43:06 -!- mmc [~michal@cs181178061.pp.htv.fi] has quit [Ping timeout: 240 seconds] 19:43:12 Quadrescence: cute. 19:49:16 MrFahrenheit [~RageOfTho@users-33-28.vinet.ba] has joined #scheme 19:50:38 Zol [~Zolomon@li152-84.members.linode.com] has joined #scheme 20:00:28 eldragon [~eldragon@84.79.67.254] has joined #scheme 20:01:23 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 20:02:55 mmc [~michal@cs181178061.pp.htv.fi] has joined #scheme 20:03:07 -!- ventonegro [~alex@187.51.143.218] has quit [Quit: ventonegro] 20:04:27 githogori [~githogori@157.238.219.242] has joined #scheme 20:06:05 -!- homie [~user@xdsl-78-35-187-231.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:06:14 -!- wbooze [~user@xdsl-78-35-187-231.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:11:35 -!- MrFahrenheit [~RageOfTho@users-33-28.vinet.ba] has quit [Read error: Connection reset by peer] 20:11:55 -!- alvatar [~alvatar@178.126.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 20:12:04 MrFahrenheit [~RageOfTho@users-33-28.vinet.ba] has joined #scheme 20:14:51 -!- schmir [~schmir@p54A912C6.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 20:17:28 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 20:18:14 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 20:21:31 schmir [~schmir@p54A91179.dip0.t-ipconnect.de] has joined #scheme 20:23:00 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 20:28:02 *fds* is with cky on the bracket-terminology 20:28:09 :-D 20:28:40 Although I usually use "parentheses" when talking about Scheme, because it makes you sound clever. ;-) 20:28:49 Bracket is also two syllables; parenthesis is four. 20:28:53 Gmind [~Deulamco@113.190.182.90] has joined #scheme 20:28:53 I prefer simplicity. :-P 20:29:00 -!- Gmind [~Deulamco@113.190.182.90] has quit [Client Quit] 20:29:04 fds: :-P 20:31:04 Yeah, I was half-joking; but it does seem to be more common to say parentheses, possibly because of Americans, but since it's perfectly understandable in my dialect I don't resist 20:32:19 -!- Gmind1 [~Deulamco@113.190.182.90] has quit [Ping timeout: 240 seconds] 20:32:59 :-P 20:33:40 I'm sure people in New Zealand understand "parenthesis" too, it just makes you sound...foreign. Like saying "flashlight" when you could be saying "torch". :-P 20:34:20 True, I would never say "flashlight". 20:34:58 Exactly. :-) 20:34:59 I guess parentheses were less frequently discussed during my formative years. 20:35:28 derp__ [~sc@ip4da3afe2.direct-adsl.nl] has joined #scheme 20:35:37 -!- derp__ is now known as derp- 20:35:50 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [Read error: Connection reset by peer] 20:37:02 You are making me rethink my terminology now though! 20:37:10 Hehehe, glad to be of help! 20:38:04 I suppose I would always read "(" as "open bracket"... /me ponders 20:38:25 chemuduguntar [~user@smtp.touchcut.com] has joined #scheme 20:38:26 Me too. 20:38:39 But, I wouldn't really say "fully-bracketed syntax", it would be "parenthesised" 20:38:55 Bracketful syntax. :-P 20:39:04 Heh :-) 20:39:07 Remember, simplicity ftw. 20:42:14 -!- mmc [~michal@cs181178061.pp.htv.fi] has quit [Read error: Connection reset by peer] 20:44:53 mmc [~michal@cs181178061.pp.htv.fi] has joined #scheme 20:45:54 jlongster [~user@c-98-242-90-116.hsd1.ga.comcast.net] has joined #scheme 20:49:44 pavelludiq [~quassel@87.246.58.193] has joined #scheme 20:53:09 -!- dfkjjkfd [~paulh@145.120.22.22] has quit [Quit: Lost terminal] 20:53:20 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 20:53:35 pavelludiq [~quassel@87.246.58.193] has joined #scheme 20:53:53 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 20:54:39 pavelludiq [~quassel@87.246.58.193] has joined #scheme 20:55:10 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 276 seconds] 20:57:49 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 20:58:16 -!- pavelludiq [~quassel@87.246.58.193] has quit [Remote host closed the connection] 20:58:31 pavelludiq [~quassel@87.246.58.193] has joined #scheme 20:58:47 -!- pavelludiq [~quassel@87.246.58.193] has quit [Remote host closed the connection] 21:02:03 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 21:02:16 wbooze [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:05:18 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:07:23 is it wrong that I like Qi's `(let x 42 y 21 z 99 (+ x y z))'? (re: simplicity ftw) 21:08:56 somnium`: structural editing is harder with this form. You cannot skip over the bindings with a normal skip-over-sexp editor command. It is not simplier, because now you have to teach your editor this specific syntax. 21:08:57 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 21:09:18 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:09:57 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 21:10:56 pjb: if you add a newline after every pair ..., although, I don't usually navigate via sexp 21:11:03 just cut and paste via sexp 21:12:00 somnium`: use paredit. 21:12:04 I do 21:12:22 C-M-f and C-M-b are big wins. 21:12:27 (and standard emacs at that). 21:13:37 so more parentheses = simpler wrt writing emacs-modes? :p 21:14:26 Not only emacs modes. Macro writing and any tool working on the programs will benefit from a syntax closer to the abstract syntactic tree. 21:15:11 The problem is that a lot of people like to do the job of the computer, instead of programming the computer to do it itself. That's why AI will not happen soon. People are more or less consciously totally terrified by it. 21:15:26 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 240 seconds] 21:15:53 some people would argue that parsing into an abstract syntax tree is the job of the computer. 21:16:17 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 21:16:25 here here 21:16:27 bremner: Perhaps, but then you have an impedence mismatch when working with macros. 21:16:36 hmm, its easy to handle this with just syntax-rules (_ a b c ...) for pairs, (_ a) for expression 21:17:18 *pukes* I personally like seeing the binding forms separate. 21:17:24 heh 21:19:03 why are plists traditionally flat? 21:21:06 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 265 seconds] 21:22:55 -!- pavelludiq [~quassel@87.246.58.193] has quit [Quit: No Ping reply in 180 seconds.] 21:23:09 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:24:57 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 21:27:59 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:29:44 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 21:31:56 -!- wbooze [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:31:57 -!- homie [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:32:10 -!- pavelludiq [~quassel@87.246.58.193] has quit [Ping timeout: 245 seconds] 21:33:58 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:34:02 wbooze [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:34:35 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:34:51 -!- tessier [~treed@mail.copilotco.com] has quit [Quit: leaving] 21:35:28 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 276 seconds] 21:36:07 -!- mmc [~michal@cs181178061.pp.htv.fi] has quit [Read error: Connection reset by peer] 21:36:10 -!- homie [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:36:14 -!- wbooze [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:36:53 -!- nilg [~user@77.70.2.229] has quit [Read error: Connection reset by peer] 21:37:24 mmc [~michal@cs181178061.pp.htv.fi] has joined #scheme 21:37:42 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:37:47 wbooze [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:38:54 -!- pavelludiq [~quassel@87.246.58.193] has quit [Ping timeout: 260 seconds] 21:39:10 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:39:50 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 21:40:30 -!- wbooze [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:40:30 -!- homie [~user@xdsl-78-35-187-231.netcologne.de] has quit [Read error: Connection reset by peer] 21:42:46 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 21:43:04 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:43:09 -!- minsa [~minsa@c-24-5-121-157.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] 21:45:14 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 21:47:07 -!- MrFahrenheit [~RageOfTho@users-33-28.vinet.ba] has quit [Quit: Leaving] 21:47:10 -!- pavelludiq [~quassel@87.246.58.193] has quit [Ping timeout: 245 seconds] 21:47:26 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:51:44 -!- pavelludiq [~quassel@87.246.58.193] has quit [Ping timeout: 260 seconds] 21:52:03 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:55:39 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 21:55:57 pavelludiq [~quassel@87.246.58.193] has joined #scheme 21:56:54 -!- langmartin [~user@exeuntcha2.tva.gov] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:57:04 -!- mmc [~michal@cs181178061.pp.htv.fi] has quit [Remote host closed the connection] 21:57:17 homie [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 21:57:34 jao [~user@165.Red-88-15-125.dynamicIP.rima-tde.net] has joined #scheme 21:57:34 -!- jao [~user@165.Red-88-15-125.dynamicIP.rima-tde.net] has quit [Changing host] 21:57:34 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 22:00:29 -!- pavelludiq [~quassel@87.246.58.193] has quit [Ping timeout: 250 seconds] 22:00:44 pavelludiq [~quassel@87.246.58.193] has joined #scheme 22:02:04 -!- pavelludiq [~quassel@87.246.58.193] has quit [Client Quit] 22:03:54 wbooze [~user@xdsl-78-35-187-231.netcologne.de] has joined #scheme 22:04:48 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 22:06:05 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 22:07:14 mmc [~michal@cs181178061.pp.htv.fi] has joined #scheme 22:07:42 Azuvix [~Azuvix@174-27-34-218.bois.qwest.net] has joined #scheme 22:10:04 pavelludiq [57f63ac1@gateway/web/freenode/ip.87.246.58.193] has joined #scheme 22:18:38 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 22:18:51 -!- mathk_ [~mathk@dispo-82-250-11-79.adsl.proxad.net] has quit [Quit: ..zzZzzZ] 22:20:46 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 22:21:04 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 22:27:05 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 22:28:05 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Remote host closed the connection] 22:28:24 drdo [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 22:39:54 -!- mwolfe [~mwolfe@corona.cornerturn.com] has quit [Remote host closed the connection] 22:41:44 somnium`: plists were one of the first data structure invented in lisp, used to actually implement symbols. The symbol name, value and function were stored in the symbol plist. 22:42:06 somnium`: technically, plist and alist are as efficient. 22:42:37 somnium`: otherwise, plists weren't usually typed or displayed directly, but thru the get accessor. 22:43:07 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: brb] 22:43:29 bgs100 [~ian@h95.43.28.71.dynamic.ip.windstream.net] has joined #scheme 22:43:29 -!- bgs100 [~ian@h95.43.28.71.dynamic.ip.windstream.net] has quit [Changing host] 22:43:29 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 22:43:34 mwolfe [~mwolfe@corona.cornerturn.com] has joined #scheme 22:44:00 somnium`: Today, the plist form is useful to keep argument lists for keyword arguments. 22:44:24 -!- fradgers- [~fradgers-@5e0b815c.bb.sky.com] has left #scheme 22:46:07 tl;dr -- that's how symbols were implemented 50+ years ago (see car, cdr) 22:46:11 *somnium`* hides 22:46:35 -!- tonyg_ is now known as tonyg 22:47:32 seriously though, I appreciate the explanation. 22:48:03 so despite their lack of parentheses, they're tolerated for historical reasons? 22:48:34 -!- DrDuck [~duck@146.229.118.41] has quit [Ping timeout: 265 seconds] 22:49:12 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [Remote host closed the connection] 22:49:38 -!- Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has quit [Read error: Connection reset by peer] 22:50:35 Obfuscate [~keii@ip98-176-17-38.sd.sd.cox.net] has joined #scheme 23:04:03 -!- Kerrick [~Kerrick@kerrick.student.iastate.edu] has quit [Read error: Operation timed out] 23:05:06 -!- mmc [~michal@cs181178061.pp.htv.fi] has quit [Ping timeout: 240 seconds] 23:06:55 -!- bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has quit [Ping timeout: 245 seconds] 23:14:12 drdo` [~user@2.208.54.77.rev.vodafone.pt] has joined #scheme 23:14:47 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 23:15:31 -!- drdo [~user@2.208.54.77.rev.vodafone.pt] has quit [Ping timeout: 240 seconds] 23:15:44 -!- `micro [~micro@www.bway.net] has quit [Ping timeout: 260 seconds] 23:16:52 The empty symbol created via (string->symbol "") cannot be legally processed via put-datum. Am I right? But all non-zero-length symbols are fine, because inline-hex-escapes make anything possible. 23:17:49 Is `put-datum' the R6RS's ridiculous name for `write'? If so, does the R6RS not support the vertical bar notation for symbols? 23:17:55 -!- schmir [~schmir@p54A91179.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 23:18:44 The R6RS datum syntax does not include vertical bars, except to express mantissa widths. I had fun fixing emacs to deal with my mantissa-widths. ;-) 23:19:38 ..and yes to the first question. 23:21:11 (Mantissa? What bizarre notation involves mantissas and not significands?) 23:21:40 1.1|19, for instance. 23:22:04 What does that mean? 23:23:14 It means the implementation has permission to represent the inexact quantity in something other than the highest-precision representation available, if such representation has at least 19 bits of precision. 23:23:43 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 23:24:08 You're talking about floating-point representations, and the precision of their significands, right? Not the precision of their mantissas, surely. 23:24:39 I'm using terminology from the R6RS spec. I'm not a mathematician. ;-) 23:25:09 ...but yes, I think. 23:31:34 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Read error: Connection reset by peer] 23:44:39 -!- asumu [~at@nomad.ccs.neu.edu] has quit [Ping timeout: 265 seconds] 23:45:15 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 23:54:56 DUM DE DUM! 23:55:01 LA LA LA! 23:55:08 He lives!! 23:55:26 heh 23:55:56 Boo! 23:57:29 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 23:57:51 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 23:59:36 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Read error: Connection reset by peer]