00:01:11 -!- hotblack23 [n=jh@p4FC5AA51.dip.t-dialin.net] has quit ["Leaving."] 00:07:00 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 00:07:11 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 00:11:03 spoke [n=msw@75-101-102-192.dsl.static.sonic.net] has joined #scheme 00:12:50 -!- RageOfThou [n=RageOfTh@users-55-84.vinet.ba] has quit [Read error: 113 (No route to host)] 00:13:07 RageOfThou [n=RageOfTh@users-55-84.vinet.ba] has joined #scheme 00:16:38 -!- spoke [n=msw@75-101-102-192.dsl.static.sonic.net] has quit [Client Quit] 00:26:18 -!- rgrau` [n=user@4.Red-88-16-70.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 00:30:15 -!- Summermute [n=Summermu@c-68-55-123-182.hsd1.dc.comcast.net] has quit [Client Quit] 00:39:58 QinGW [n=wangqing@203.86.89.226] has joined #scheme 00:58:39 -!- mmc1 [n=mima@cs27122078.pp.htv.fi] has quit [Client Quit] 01:03:00 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 110 (Connection timed out)] 01:09:18 -!- alexsuraci [n=alexsura@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [Remote closed the connection] 01:10:29 alexsuraci [n=alexsura@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 01:25:44 -!- saint_cypher_ [n=saint_cy@h-67-101-146-6.snfccasy.dynamic.covad.net] has quit [Read error: 110 (Connection timed out)] 01:26:33 saint_cypher_ [n=saint_cy@h-68-164-191-60.snfccasy.dynamic.covad.net] has joined #scheme 01:34:05 Sergio`_ [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has joined #scheme 01:35:43 Poeir [n=Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 01:42:32 -!- bytecolor [n=user@32.159.246.20] has quit [Read error: 110 (Connection timed out)] 01:45:12 -!- Sergio` [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has quit [Read error: 110 (Connection timed out)] 01:47:03 -!- araujo [n=araujo@gentoo/developer/araujo] has quit [Read error: 110 (Connection timed out)] 02:02:32 -!- Poeir [n=Poeir@c-98-228-48-133.hsd1.il.comcast.net] has quit ["Leaving"] 02:09:37 -!- masm [n=masm@bl10-245-183.dsl.telepac.pt] has quit ["Leaving."] 02:21:40 Poeir [n=Poeir@c-98-228-48-133.hsd1.il.comcast.net] has joined #scheme 02:27:10 -!- ASau [n=user@83.69.227.32] has quit [Remote closed the connection] 02:27:24 Riastradh [n=riastrad@tissot.csail.mit.edu] has joined #scheme 02:28:24 -!- blackened` [n=blackene@ip-89-102-22-70.karneval.cz] has quit [Client Quit] 02:28:37 -!- drwho [n=d@c-98-225-208-183.hsd1.pa.comcast.net] has quit [Connection timed out] 02:30:32 ski_ [n=md9slj@remote1.student.chalmers.se] has joined #scheme 02:33:09 -!- saint_cypher_ [n=saint_cy@h-68-164-191-60.snfccasy.dynamic.covad.net] has quit [Read error: 110 (Connection timed out)] 02:36:03 saint_cypher_ [n=saint_cy@h-67-101-148-78.snfccasy.dynamic.covad.net] has joined #scheme 02:36:40 Adamant [n=Adamant@unaffiliated/adamant] has joined #scheme 02:37:52 dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 02:38:16 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [Client Quit] 02:43:32 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 02:43:48 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 02:50:17 -!- bgs100 [n=ian@unaffiliated/bgs100] has quit ["Leaving"] 03:16:51 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 03:17:06 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 03:22:50 Checkie [i=4111@unaffiliated/checkie] has joined #scheme 03:23:07 parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has joined #scheme 03:31:28 -!- saint_cypher_ [n=saint_cy@h-67-101-148-78.snfccasy.dynamic.covad.net] has quit [Read error: 110 (Connection timed out)] 03:31:32 nutmegmagi [n=swalters@static-72-91-30-22.tampfl.dsl-w.verizon.net] has joined #scheme 03:31:47 -!- nutmegmagi [n=swalters@static-72-91-30-22.tampfl.dsl-w.verizon.net] has left #scheme 03:35:40 araujo [n=araujo@gentoo/developer/araujo] has joined #scheme 03:40:49 Daemmerung: They're all garbage. 03:41:54 Quick, somebody trigger the GC! 03:42:53 -!- luz [n=davids@189.122.90.116] has quit ["Client exiting"] 03:43:05 *Daemmerung* sweeps 03:43:14 *copumpkin* marks 03:43:41 *elly* collects 03:43:46 Argh! That's no good. 03:43:57 you can't mark _after_ sweeping! 03:44:00 let's try it again, people 03:44:04 D'oh!! 03:44:06 not my fault he swept first 03:44:09 *copumpkin* marks 03:44:12 *elly* sweeps 03:44:13 done! 03:44:14 You're only supposed to sweep the bloody DOORS OFF. But everything was unmarked before copumpkin began tracing... 03:44:16 I thought they were all garbage.... 03:44:27 Daemmerung: don't listen to foof! 03:44:31 :P 03:44:36 *Daemmerung* listens to the Flower People 03:52:36 tjaway [n=timj@e176203192.adsl.alicedsl.de] has joined #scheme 03:53:35 -!- TR2N [i=email@89-180-206-183.net.novis.pt] has quit [Connection timed out] 04:00:36 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 04:02:50 bytecolor [n=user@32.153.42.96] has joined #scheme 04:06:04 -!- RageOfThou [n=RageOfTh@users-55-84.vinet.ba] has quit [Read error: 60 (Operation timed out)] 04:08:20 aucelum [n=aucelum@pc-30-164-214-201.cm.vtr.net] has joined #scheme 04:08:24 -!- tjafk [n=timj@e176222249.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 04:09:04 -!- aucelum [n=aucelum@pc-30-164-214-201.cm.vtr.net] has left #scheme 04:09:22 -!- nothingHappens [n=nothingh@173.31.122.80] has quit ["Ex-Chat"] 04:09:28 mbohun [n=mbohun@203.171.197.212] has joined #scheme 04:13:54 -!- mbohun [n=mbohun@203.171.197.212] has quit [Client Quit] 04:18:16 -!- jay-mccarthy [n=jay@lallab.cs.byu.edu] has quit [Read error: 60 (Operation timed out)] 04:28:07 jay-mccarthy [n=jay@lallab.cs.byu.edu] has joined #scheme 04:34:30 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 04:44:35 emma [n=em@unaffiliated/emma] has joined #scheme 04:46:46 pavelludiq [n=quassel@91.139.197.90] has joined #scheme 04:53:39 Sergio` [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has joined #scheme 05:05:07 -!- Sergio`_ [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has quit [Read error: 110 (Connection timed out)] 05:05:37 -!- xwl_ [n=user@esprx01x.nokia.com] has quit [Remote closed the connection] 05:24:55 Daemmerung, Has du etwas zeit für mich, denn singe ich ein Lied für dich, von Neun-und-neunzig blümenkraften, womit ich du zu Schlaf hab machte. Und in deinem Schlaf geh' ich in dein Haus, und nehme ich deine Kinder raus, und brenge ich sie in meinen Badezimmer, und ficke ich sie wie Deutscher, immer. 05:27:34 Maybe Unterzimmer is more stereotypically German, what is the German word for cellar anyway? 05:38:15 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-sjzdtbtawcyciccp] has quit [Ping timeout: 180 seconds] 05:42:09 xwl_ [n=user@esprx01x.nokia.com] has joined #scheme 05:43:23 -!- kniu [n=kniu@CMU-311358.WV.CC.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 05:45:47 kniu [n=kniu@HOHOHO.RES.CMU.EDU] has joined #scheme 05:51:32 leppie|work [i=52d2e3c8@gateway/web/freenode/x-eknixryujlptbwuh] has joined #scheme 05:59:27 ASau [n=user@83.69.227.32] has joined #scheme 06:03:59 bokr [n=eduska@95.154.102.124] has joined #scheme 06:09:39 mathk [n=mathk@lns-bzn-36-82-251-37-90.adsl.proxad.net] has joined #scheme 06:17:43 -!- Sergio` [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has quit [Read error: 110 (Connection timed out)] 06:26:01 -!- devslashnull [n=nope@dyn-151.greentreefrog.net.au] has quit [] 06:33:00 -!- nasloc__ [i=tim@kalug.ks.edu.tw] has quit [Remote closed the connection] 06:39:47 *Daemmerung* shrugs 06:43:46 -!- foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has quit [Remote closed the connection] 06:43:49 foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has joined #scheme 06:48:17 -!- copumpkin [n=copumpki@dhcp-212-196.cs.dartmouth.edu] has quit [] 06:51:12 -!- Riastradh [n=riastrad@tissot.csail.mit.edu] has quit ["leaving"] 06:55:56 -!- Belaf [n=campedel@net-93-144-10-196.t2.dsl.vodafone.it] has quit ["Leaving."] 07:03:12 -!- parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 07:10:43 -!- jonrafkind [n=jon@c-98-202-82-46.hsd1.ut.comcast.net] has quit [Read error: 60 (Operation timed out)] 07:19:05 timchen119 [i=tim@kalug.ks.edu.tw] has joined #scheme 07:24:45 SharkBra1n [n=gerard@125-239-135-180.jetstream.xtra.co.nz] has joined #scheme 07:25:46 copumpkin [n=copumpki@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 07:31:59 attila_lendvai [n=ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 07:32:05 mmc [n=mima@cs27122078.pp.htv.fi] has joined #scheme 07:35:39 -!- Fufie [n=innocent@86.80-203-225.nextgentel.com] has quit ["Leaving"] 07:35:43 -!- mmc [n=mima@cs27122078.pp.htv.fi] has quit [Client Quit] 07:42:23 melba [n=blee@unaffiliated/lazz0] has joined #scheme 07:44:49 ASau` [n=user@77.246.231.59] has joined #scheme 07:48:21 -!- NNshag [n=shag@lns-bzn-44-82-249-234-12.adsl.proxad.net] has quit [Read error: 60 (Operation timed out)] 08:04:00 visof [n=visof@41.238.233.2] has joined #scheme 08:04:31 NNshag [n=shag@lns-bzn-27-82-248-17-174.adsl.proxad.net] has joined #scheme 08:07:12 kilimanjaro [n=kilimanj@unaffiliated/kilimanjaro] has joined #scheme 08:23:19 -!- visof [n=visof@41.238.233.2] has quit [Remote closed the connection] 08:26:22 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 08:27:04 mmc [n=mima@esprx01x.nokia.com] has joined #scheme 08:39:17 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 08:40:29 peterwang [n=user@122.227.189.156] has joined #scheme 08:42:23 -!- peterwang [n=user@122.227.189.156] has quit [Client Quit] 08:53:35 -!- kloeri__ [n=kloeri@freenode/staff/exherbo.kloeri] has quit ["leaving"] 09:00:28 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 09:03:04 -!- kilimanjaro [n=kilimanj@unaffiliated/kilimanjaro] has quit ["Leaving"] 09:13:48 Adamant [n=Adamant@unaffiliated/adamant] has joined #scheme 09:16:11 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 09:22:57 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 09:27:18 ejs [n=eugen@nat.ironport.com] has joined #scheme 09:28:40 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 09:30:47 schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has joined #scheme 09:38:54 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Remote closed the connection] 09:46:35 -!- qeb`away is now known as qebab 09:47:25 /window 2 09:48:51 sepult [n=levgue@xdsl-87-78-170-209.netcologne.de] has joined #scheme 10:03:01 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 104 (Connection reset by peer)] 10:03:54 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 10:03:59 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 10:09:26 Edico [n=Edico@unaffiliated/edico] has joined #scheme 10:10:03 -!- jmcphers [n=jmcphers@218.185.108.156] has quit [Remote closed the connection] 10:21:11 alaricsp [n=alaric@relief.warhead.org.uk] has joined #scheme 10:31:54 -!- alaricsp [n=alaric@relief.warhead.org.uk] has quit ["Leaving"] 10:35:47 alaricsp [n=alaric@relief.warhead.org.uk] has joined #scheme 10:40:57 -!- SharkBra1n [n=gerard@125-239-135-180.jetstream.xtra.co.nz] has quit [Remote closed the connection] 10:49:26 -!- bytecolor [n=user@32.153.42.96] has left #scheme 10:50:19 -!- jayne [i=maddhatt@freenode/staff/jayne] has quit [Read error: 60 (Operation timed out)] 10:50:41 jayne [i=maddhatt@freenode/staff/jayne] has joined #scheme 10:51:09 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Remote closed the connection] 10:51:41 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 10:54:47 -!- bokr [n=eduska@95.154.102.124] has left #scheme 10:54:53 bokr [n=eduska@95.154.102.124] has joined #scheme 11:07:49 adu [n=ajr@pool-173-66-8-210.washdc.fios.verizon.net] has joined #scheme 11:10:21 drwho [n=d@c-98-225-208-183.hsd1.pa.comcast.net] has joined #scheme 11:11:02 mario-goulart [n=user@67.205.85.241] has joined #scheme 11:11:49 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 54 (Connection reset by peer)] 11:12:43 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 11:21:44 luz [n=davids@189.122.90.116] has joined #scheme 11:31:43 marcoecc [i=me@gateway/gpg-tor/key-0x9C9AAE7F] has joined #scheme 11:33:41 parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has joined #scheme 11:41:20 bytecolor [n=user@32.153.125.141] has joined #scheme 11:42:40 alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has joined #scheme 11:45:43 -!- sstrickl [n=sstrickl@pool-151-203-30-77.bos.east.verizon.net] has quit [] 11:52:04 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 11:52:46 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 11:53:31 -!- drwho [n=d@c-98-225-208-183.hsd1.pa.comcast.net] has quit ["Gauss Eleminated"] 11:53:58 nutmegmagi [n=swalters@pool-71-101-160-3.tampfl.dsl-w.verizon.net] has joined #scheme 11:54:07 masm [n=masm@bl10-245-183.dsl.telepac.pt] has joined #scheme 12:04:55 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Remote closed the connection] 12:05:37 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 12:10:49 http://www.youtube.com/watch?v=O2rGTXHvPCQ 12:13:21 -!- foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has quit [Remote closed the connection] 12:13:46 foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has joined #scheme 12:18:25 peterwang [n=user@122.227.189.156] has joined #scheme 12:22:04 -!- ski_ [n=md9slj@remote1.student.chalmers.se] has quit ["Lost terminal"] 12:23:38 -!- sepult [n=levgue@xdsl-87-78-170-209.netcologne.de] has quit [Remote closed the connection] 12:24:27 -!- peterwang [n=user@122.227.189.156] has left #scheme 12:27:59 -!- parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 12:30:39 Amuzing. 12:31:47 ski_ [n=md9slj@remote1.student.chalmers.se] has joined #scheme 12:46:11 -!- alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has quit [Read error: 104 (Connection reset by peer)] 12:46:54 alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has joined #scheme 12:52:14 blackened` [n=blackene@ip-89-102-22-70.karneval.cz] has joined #scheme 12:54:53 sstrickl [n=sstrickl@nomad.ccs.neu.edu] has joined #scheme 12:57:22 -!- adu [n=ajr@pool-173-66-8-210.washdc.fios.verizon.net] has quit [] 13:06:17 Quadrescence [n=quad@unaffiliated/quadrescence] has joined #scheme 13:07:15 Anyone recommend a very portable but efficient (in time) conforming implementation of scheme (to at least r5rs, with full numeric tower)? 13:08:48 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 13:13:00 (print ((parse/grammar "1+(2-3)*5/-6**7" arith) 'sattr)) => (+ 1 (/ (* (- 2 3) 5) (- (expt 6 7)))) 13:13:16 not bad eh? 13:13:25 it bloody works! 13:13:59 now make a `sexp' grammar ! 13:14:05 *ski* hides 13:14:33 heh, the grammar does need a bit of ummm work 13:15:09 bytecolor: Allow for runtime modification of the precedence table 13:15:36 bytecolor: neat. what's sattr? 13:16:00 Quadrescence: there is no precedence table, the precedence in in the grammar. I need to study up on precedence tables. 13:16:20 mario-goulart: synthesized attribute of the grammar 13:16:38 the abstract syntax tree is built up during the parse 13:17:18 bytecolor: Add support for function calls. :) 13:17:34 f(x) => (f x); f(x, y) => (f x y) 13:17:34 And macros! 13:17:55 heh 13:17:59 Hey my request was legitimate. Because that means I can haggle bytecolor for code 13:18:07 the funciton syntax would be easy enough 13:18:28 Quadrescence: have you checked chicken (regarding to the scheme implementation) 13:18:40 xwl [n=user@125.34.171.81] has joined #scheme 13:19:19 mario-goulart: I have. Chicken is nice, maybe I should look at it again. I haven't looked at it for ages. 13:20:20 Chicken rocks your socks 13:20:29 *sjamaan* continues to idle, like a real troll 13:20:30 Sergio` [n=Sergio`@a89-152-184-50.cpe.netcabo.pt] has joined #scheme 13:26:19 -!- foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has quit [Remote closed the connection] 13:26:23 foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has joined #scheme 13:27:40 eli: it's nice to have the domain-knowledge to cringe once and awhile; physicists and lawyers shouldn't have all the fun 13:41:19 -!- copumpkin [n=copumpki@c-24-63-67-154.hsd1.nh.comcast.net] has quit [] 13:46:38 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 13:54:01 cky_ [n=cky@cpe-065-190-148-048.nc.res.rr.com] has joined #scheme 13:55:33 -!- yosafbridge [n=yosafbri@adsl-71-142-234-156.dsl.scrm01.pacbell.net] has quit [Read error: 104 (Connection reset by peer)] 13:56:22 yosafbridge [n=yosafbri@adsl-71-142-225-118.dsl.scrm01.pacbell.net] has joined #scheme 14:06:00 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Remote closed the connection] 14:07:10 -!- cky [n=cky@cpe-065-190-148-048.nc.res.rr.com] has quit [Read error: 110 (Connection timed out)] 14:10:28 -!- cky_ is now known as cky 14:11:37 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Remote closed the connection] 14:12:13 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 14:12:24 schoppenhauer [n=christop@unaffiliated/schoppenhauer] has joined #scheme 14:13:42 sphex [n=nobody@modemcable072.42-37-24.mc.videotron.ca] has joined #scheme 14:14:05 copumpkin [n=copumpki@dhcp-212-196.cs.dartmouth.edu] has joined #scheme 14:17:34 reprore [n=reprore@ntkngw356150.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 14:27:51 samth [n=samth@punge.ccs.neu.edu] has joined #scheme 14:29:35 -!- leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has quit [Remote closed the connection] 14:29:51 -!- ASau` [n=user@77.246.231.59] has quit [Client Quit] 14:30:09 leppie [n=lolcow@dsl-243-1-100.telkomadsl.co.za] has joined #scheme 14:31:21 -!- sphex_ [n=nobody@modemcable072.42-37-24.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 14:32:10 -!- dsmith [n=dsmith@cpe-173-88-196-177.neo.res.rr.com] has quit [Read error: 60 (Operation timed out)] 14:32:27 -!- schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has quit [Remote closed the connection] 14:33:08 -!- alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has quit ["leaving"] 14:36:59 (print ((parse/grammar "foo(2+2, 9/4, x); bar(MITZ, vah);" arith) 'sattr)) => (begin (foo (+ 2 2) (/ 9 4) x) (bar MITZ vah)) 14:48:45 schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has joined #scheme 14:58:10 bytecolo` [n=user@32.158.115.11] has joined #scheme 14:58:35 -!- bytecolor [n=user@32.153.125.141] has quit [Nick collision from services.] 14:58:45 -!- bytecolo` is now known as bytecolor 14:59:16 el crapo modemo 15:05:21 -!- schoppenhauer [n=christop@unaffiliated/schoppenhauer] has quit [] 15:08:03 JoelMcCracken [n=joelmccr@host-64-179-113-99.col.choiceone.net] has joined #scheme 15:15:30 MrFahrenheit [n=RageOfTh@users-55-97.vinet.ba] has joined #scheme 15:19:52 -!- niko [i=niko@freenode/staff/ubuntu.member.niko] has left #scheme 15:21:08 alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has joined #scheme 15:40:27 -!- saccade_ [n=saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 15:42:40 -!- marcoecc [i=me@gateway/gpg-tor/key-0x9C9AAE7F] has quit [Remote closed the connection] 15:45:56 -!- ejs [n=eugen@nat.ironport.com] has quit [Read error: 110 (Connection timed out)] 15:46:02 marcoecc [i=me@gateway/gpg-tor/key-0x9C9AAE7F] has joined #scheme 15:46:30 langmartin [n=user@exeuntcha2.tva.gov] has joined #scheme 15:55:21 -!- attila_lendvai [n=ati@catv-89-134-66-143.catv.broadband.hu] has quit [Read error: 110 (Connection timed out)] 15:57:39 saccade_ [n=saccade@c-24-61-43-131.hsd1.ma.comcast.net] has joined #scheme 16:01:44 ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has joined #scheme 16:02:41 -!- saccade_ [n=saccade@c-24-61-43-131.hsd1.ma.comcast.net] has quit ["This computer has gone to sleep"] 16:03:35 -!- pjb [n=t@228.Red-79-149-145.staticIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 16:03:54 -!- schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has quit [Remote closed the connection] 16:07:48 Edico_ [n=Edico@unaffiliated/edico] has joined #scheme 16:08:38 -!- Edico [n=Edico@unaffiliated/edico] has quit [Read error: 110 (Connection timed out)] 16:12:33 schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has joined #scheme 16:19:59 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit [Client Quit] 16:20:34 -!- schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has quit [Remote closed the connection] 16:21:21 -!- bytecolor [n=user@32.158.115.11] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 16:21:32 -!- partisan [n=partisan@121.124.124.117] has quit [Read error: 110 (Connection timed out)] 16:24:41 schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has joined #scheme 16:31:05 -!- JoelMcCracken [n=joelmccr@host-64-179-113-99.col.choiceone.net] has quit [Read error: 110 (Connection timed out)] 16:33:08 nothingHappens [n=nothingh@173-31-122-80.client.mchsi.com] has joined #scheme 16:38:34 JoelMcCracken [n=joelmccr@host-64-179-113-99.col.choiceone.net] has joined #scheme 16:40:41 sepult [n=sepult@xdsl-78-35-194-162.netcologne.de] has joined #scheme 16:56:22 Some folk'll never call `eval' / But then again, some folk'll 16:57:08 eval is most handy... if you're actually running code you don't know until runtime! 16:57:45 But as soon as people start saying "Hey, we could write a function that accepts a symbol and returns the value bound to that symbol!", you know something has gone terribly, terribly, wrong in their understanding. 16:58:53 -!- nowhereman is now known as nowhere_man 17:02:51 -!- bokr [n=eduska@95.154.102.124] has quit [Remote closed the connection] 17:04:45 -!- nullpo_ [n=nullpo@221x252x46x83.ap221.ftth.ucom.ne.jp] has quit [Read error: 110 (Connection timed out)] 17:12:00 -!- offby1` is now known as offby1 17:16:55 -!- alvatar [n=alvatar@104.127.222.87.dynamic.jazztel.es] has quit ["leaving"] 17:26:55 -!- schmir [n=schmir@p54A91D50.dip0.t-ipconnect.de] has quit [Read error: 113 (No route to host)] 17:27:37 Fufie [n=innocent@86.80-203-225.nextgentel.com] has joined #scheme 17:31:20 -!- Modius [n=Modius@cpe-70-123-130-159.austin.res.rr.com] has quit [Read error: 104 (Connection reset by peer)] 17:31:20 -!- Lajla [n=Lajla@213-84-222-243.adsl.xs4all.nl] has quit [Read error: 104 (Connection reset by peer)] 17:31:32 Lajla [n=Lajla@213-84-222-243.adsl.xs4all.nl] has joined #scheme 17:31:34 Modius [n=Modius@cpe-70-123-130-159.austin.res.rr.com] has joined #scheme 17:33:06 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 17:33:27 -!- ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has quit [Client Quit] 17:34:48 nutmegmagi1 [n=swalters@cpe-72-184-67-49.tampabay.res.rr.com] has joined #scheme 17:36:47 nutmegmagi2 [n=swalters@pool-71-101-160-3.tampfl.dsl-w.verizon.net] has joined #scheme 17:37:37 -!- nutmegmagi [n=swalters@pool-71-101-160-3.tampfl.dsl-w.verizon.net] has quit [Read error: 113 (No route to host)] 17:37:55 kilimanjaro [n=kilimanj@unaffiliated/kilimanjaro] has joined #scheme 17:38:37 parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has joined #scheme 17:44:44 -!- sepult [n=sepult@xdsl-78-35-194-162.netcologne.de] has quit ["leaving"] 17:45:51 TR2N [i=email@89-180-208-232.net.novis.pt] has joined #scheme 17:45:52 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme 17:53:05 ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has joined #scheme 17:53:25 -!- nutmegmagi1 [n=swalters@cpe-72-184-67-49.tampabay.res.rr.com] has quit [Read error: 110 (Connection timed out)] 17:55:18 -!- reprore [n=reprore@ntkngw356150.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 17:56:45 *mhoye* wonders how many security disasters he's seen that have "eval" in them somewhere. 17:58:11 more or less than the number that have had "gets()" in them? :P 18:03:33 foof` [n=user@FLH1Ahp052.osk.mesh.ad.jp] has joined #scheme 18:11:04 proq [n=user@unaffiliated/proqesi] has joined #scheme 18:15:31 -!- ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has quit [Client Quit] 18:19:15 ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has joined #scheme 18:20:19 -!- foof [n=user@FL1-125-199-31-117.osk.mesh.ad.jp] has quit [Read error: 110 (Connection timed out)] 18:24:24 -!- melba [n=blee@unaffiliated/lazz0] has quit [Read error: 104 (Connection reset by peer)] 18:25:19 -!- mathk [n=mathk@lns-bzn-36-82-251-37-90.adsl.proxad.net] has quit [verne.freenode.net irc.freenode.net] 18:25:19 -!- jay-mccarthy [n=jay@lallab.cs.byu.edu] has quit [verne.freenode.net irc.freenode.net] 18:25:19 -!- dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Zuu [i=zuu@unaffiliated/zuu] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- gabot [n=eli@winooski.ccs.neu.edu] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- stepnem [n=stepnem@88.103.132.186] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- bipt [i=bpt@cpe-075-182-095-009.nc.res.rr.com] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Khisanth [n=Khisanth@pool-151-205-123-229.ny325.east.verizon.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- duncanm [n=duncan@a-chinaman.com] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- XTL [i=t6haha00@rhea.oamk.fi] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Adrinael [n=adrinael@barrel.rolli.org] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Checkie [i=4111@unaffiliated/checkie] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- tomaw__ [i=tom@freenode/staff/tomaw] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- snorble [n=none@s83-179-14-105.cust.tele2.se] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- mornfall [n=mornfall@kde/developer/mornfall] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- jao [n=jao@72.Red-213-98-196.dynamicIP.rima-tde.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- csmrfx [i=csmr@xob.kapsi.fi] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- elf [i=elf@antenora.aculei.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- BD|gone [n=zoke@129-97-242-77.uwaterloo.ca] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- dfeuer [n=dfeuer@wikimedia/Dfeuer] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- cmatei [n=cmatei@95.76.26.166] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- tabe` [n=user@adel.fixedpoint.jp] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- mhoye [n=mhoye@67.196.136.173] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- SharkBrain [n=gerard@210.48.104.34] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Leonidas [n=Leonidas@unaffiliated/leonidas] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Pepe_ [n=ppjet@mna75-4-82-225-76-148.fbx.proxad.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- Mr_Awesome [n=eric@c-98-212-139-181.hsd1.il.comcast.net] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- dlouhy [n=jdlouhy@129.10.116.129] has quit [verne.freenode.net irc.freenode.net] 18:25:20 -!- erg [n=erg@69.93.127.154] has quit [verne.freenode.net irc.freenode.net] 18:30:24 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 18:31:47 Mr-Cat [n=Mr-Cat@bahirkin1507.static.corbina.ru] has joined #scheme 18:32:29 Quadrescence [n=quad@unaffiliated/quadrescence] has joined #scheme 18:32:29 Checkie [i=4111@unaffiliated/checkie] has joined #scheme 18:32:29 tomaw__ [i=tom@freenode/staff/tomaw] has joined #scheme 18:32:29 snorble [n=none@s83-179-14-105.cust.tele2.se] has joined #scheme 18:32:29 mornfall [n=mornfall@kde/developer/mornfall] has joined #scheme 18:32:29 jao [n=jao@72.Red-213-98-196.dynamicIP.rima-tde.net] has joined #scheme 18:32:29 csmrfx [i=csmr@xob.kapsi.fi] has joined #scheme 18:32:29 elf [i=elf@antenora.aculei.net] has joined #scheme 18:32:29 BD|gone [n=zoke@129-97-242-77.uwaterloo.ca] has joined #scheme 18:32:29 Adrinael [n=adrinael@barrel.rolli.org] has joined #scheme 18:32:29 tabe` [n=user@adel.fixedpoint.jp] has joined #scheme 18:32:29 Pepe_ [n=ppjet@mna75-4-82-225-76-148.fbx.proxad.net] has joined #scheme 18:32:29 dfeuer [n=dfeuer@wikimedia/Dfeuer] has joined #scheme 18:32:29 erg [n=erg@69.93.127.154] has joined #scheme 18:32:29 Leonidas [n=Leonidas@unaffiliated/leonidas] has joined #scheme 18:32:29 cmatei [n=cmatei@95.76.26.166] has joined #scheme 18:32:29 XTL [i=t6haha00@rhea.oamk.fi] has joined #scheme 18:32:29 SharkBrain [n=gerard@210.48.104.34] has joined #scheme 18:32:29 mhoye [n=mhoye@67.196.136.173] has joined #scheme 18:32:29 dlouhy [n=jdlouhy@129.10.116.129] has joined #scheme 18:32:29 Mr_Awesome [n=eric@c-98-212-139-181.hsd1.il.comcast.net] has joined #scheme 18:32:39 elly: Or sprintf. :-P (Both buffer overflow as well as format string attacks. :-P) 18:32:44 -!- alexsuraci [n=alexsura@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [Excess Flood] 18:32:54 alexsuraci [n=alexsura@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 18:32:54 -!- ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has quit [Client Quit] 18:33:34 mathk [n=mathk@lns-bzn-36-82-251-37-90.adsl.proxad.net] has joined #scheme 18:33:34 jay-mccarthy [n=jay@lallab.cs.byu.edu] has joined #scheme 18:33:34 dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 18:33:34 bipt [i=bpt@cpe-075-182-095-009.nc.res.rr.com] has joined #scheme 18:33:34 rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has joined #scheme 18:33:34 Zuu [i=zuu@unaffiliated/zuu] has joined #scheme 18:33:34 gabot [n=eli@winooski.ccs.neu.edu] has joined #scheme 18:33:34 stepnem [n=stepnem@88.103.132.186] has joined #scheme 18:33:34 Khisanth [n=Khisanth@pool-151-205-123-229.ny325.east.verizon.net] has joined #scheme 18:33:34 duncanm [n=duncan@a-chinaman.com] has joined #scheme 18:33:34 la la la 18:38:36 mrsolo [n=mrsolo@nat/yahoo/x-gpzdklnakgdeycea] has joined #scheme 18:41:48 DUM de dum 18:44:44 choas [n=lars@p5B0DD86B.dip.t-dialin.net] has joined #scheme 18:49:13 ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has joined #scheme 18:49:38 attila_lendvai [n=ati@catv-89-134-66-143.catv.broadband.hu] has joined #scheme 18:51:56 `eval' is far worse for security issues... Buffer overruns are issues that can be resolved at the primitive library level, but eval-related issues (like naive use of (system "...") with some string that's coming from the user) are things that cannot have such a global solution. 18:54:21 -!- JoelMcCracken [n=joelmccr@host-64-179-113-99.col.choiceone.net] has quit [Read error: 113 (No route to host)] 18:55:08 JoelMcCracken [n=joelmccr@pool-96-236-180-142.pitbpa.east.verizon.net] has joined #scheme 18:55:09 -!- snorble is now known as snorble_ 18:55:41 -!- snorble_ is now known as snorble 18:56:46 Some runtimes try to deal with that using taint checking. 18:57:13 I mean, most of my experience in taint checking comes from Perl, so I don't know if taint checking would work the same way in Scheme or not. 18:57:57 -!- mmc [n=mima@esprx01x.nokia.com] has quit ["Leaving."] 18:58:46 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 19:00:16 -!- sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has quit [Remote closed the connection] 19:00:24 cky: The thing is that you can't do that in a completely generalized way, only rough approximations based on specific knowledge about functions that you can use. 19:00:49 For example, foo(str) might copy the string, and it might not. 19:02:13 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme 19:02:16 Right, and the copied string should remain tainted. 19:02:33 There should be a mechanism to explicitly untaint a string, of course. 19:02:39 In Perl, this is done through pattern matching. 19:02:42 -!- ejs [n=eugen@114-57-113-92.pool.ukrtel.net] has quit [Client Quit] 19:03:46 (where any matched groups become untainted, but the original string is still tainted). 19:05:30 You do have to use this sensibly, so that grouping expressions actually do some sort of whitelist filtering, for example. 19:05:43 cky: How would you know if the string is copied at all? 19:06:19 Think about some `x = foo(str)' where the function comes from some random dll. 19:06:26 Well, in Perl, string copying involves a limited number of operators. These operators are designed so that if any part of the operation is tainted, the result also is. 19:06:37 Oh, not talking about FFI code here, just in-Perl code. 19:07:40 OK, so an FFI breaks it completely; without an FFI you need to know about all functions that might be involved -- which is why I said "specific knowledge about functions that you can use". 19:07:52 Right, I see. 19:07:56 That's much more involved than protecting yourself against buffer overruns. 19:08:29 What are those "groups", btw? 19:08:36 *eli* is too lazy to google 19:08:39 Right, but involved from the runtime implementer's point of view, and not so much from the application developer's point of view (except how to use the right whitelist expressions). 19:09:10 You know, like: if ($tainted =~ /(\w+)/) { $untainted = $1; } 19:09:29 So, with the expression, you know that $untainted only contains alphanumeric (and underscore) characters. 19:10:13 That seems very weak. 19:10:45 It depends on what you're trying to protect against. If you're mainly concerned about shell metacharacters or SQL injection, that will suffice. 19:11:02 What if the string is a base64 encoding of some text? -- You'd do that check to see that it's a valid encoding, but not the encoded contents. 19:11:24 Then, it's up to your code to _not_ untaint the data until the base64 is decoded. 19:11:25 What if the pattern itself matches quotes etc? 19:11:37 Yes, these things do require care from the programmer. 19:11:57 Like what if I use a regexp to trim whitespaces off of the edges... 19:12:01 I mean, even this will untaint something, in a totally unintended way: $tainted =~ /(.*)/; $untainted = $1; 19:12:27 IIRC, only matched _groups_ (bits inside the parentheses) get untainted; the original expression doesn't. 19:12:33 OK -- so that goes back to what I opened with: `eval' is a much worse problem than buffer overruns etc. 19:12:55 Sure, in the sense that there are no silver bullets to solve that problem. 19:13:16 (Yes, that was my point.) 19:13:19 Taint checking is certainly not designed to (and cannot) be a silver bullet, I agree. 19:13:57 *nods* 19:14:40 A much cleaner approach, BTW, would be to have a second type that wraps strings, and have explicit operations to pull the string in/out of such wrappers -- either use these wrapped strings for all user inputs, or for all string outputs -- and the extra wrap protects you against leaking unverified strings. 19:15:54 samth's typed scheme can even do that without the extra wrapper: you could make a type that contains only strings that passed some `kosher?' predicate, and the type system will ensure that you check them wherever needed. 19:16:48 Right, so in a way, kosher? is like taint checking. :-) 19:17:05 Well, untainting, rather. 19:17:37 And the "type that contains only strings that passed some predicate" is like an untainted string type. 19:17:51 Well, `untainted?' would be another name for it, if I were more comfortable with Perl terminology. 19:18:11 Right, so they're different names for very similar concepts. 19:18:14 bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 19:18:17 The nice thing about typed scheme is that you can do that reliabely, and with no need to add a wrapper. 19:18:26 jgracin [n=jgracin@vipnet1901.mobile.carnet.hr] has joined #scheme 19:19:04 (That was the point, not the name; use `tainted?' there if that looks better.) 19:19:10 *nods* 19:19:32 Yay for type system enforcement of security constraints. :-) 19:20:02 Zaktly. 19:25:23 -!- Mr_Awesome [n=eric@c-98-212-139-181.hsd1.il.comcast.net] has quit [Read error: 113 (No route to host)] 19:31:15 saint_cypher [n=saint_cy@adsl-99-2-72-93.dsl.pltn13.sbcglobal.net] has joined #scheme 19:34:35 -!- sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 19:36:02 -!- mreggen [n=mreggen@cm-84.215.18.49.getinternet.no] has quit ["leaving"] 19:59:09 ejs [n=eugen@109-167-15-164.dynamic.peoplenet.ua] has joined #scheme 20:07:36 -!- jgracin [n=jgracin@vipnet1901.mobile.carnet.hr] has quit ["Leaving"] 20:08:03 -!- MrFahrenheit [n=RageOfTh@users-55-97.vinet.ba] has quit [Read error: 104 (Connection reset by peer)] 20:08:20 MrFahrenheit [n=RageOfTh@users-55-97.vinet.ba] has joined #scheme 20:09:15 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme 20:10:06 melba [n=blee@unaffiliated/lazz0] has joined #scheme 20:13:21 -!- sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has quit [Remote closed the connection] 20:15:13 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme 20:20:31 ecomba [n=ecomba@host86-180-90-29.range86-180.btcentralplus.com] has joined #scheme 20:25:56 -!- bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 20:26:15 bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 20:33:22 -!- parolang [n=user@8e4a01246100775874c4f448e9887093.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 20:40:05 bipt` [i=bpt@cpe-075-182-095-009.nc.res.rr.com] has joined #scheme 20:40:05 -!- bipt [i=bpt@cpe-075-182-095-009.nc.res.rr.com] has quit [Connection reset by peer] 20:52:48 -!- sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 20:56:55 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme 21:00:13 -!- attila_lendvai [n=ati@catv-89-134-66-143.catv.broadband.hu] has quit [Read error: 110 (Connection timed out)] 21:00:25 jmcphers [n=jmcphers@218.185.108.156] has joined #scheme 21:08:02 Fare [n=Fare@ita4fw1.itasoftware.com] has joined #scheme 21:08:48 Bostonians interested by the discussion of Scheme macros on an empty stomach are invited to come to the Boston Lisp Meeting tonight! 21:08:58 Mr_Awesome [n=eric@c-98-212-139-181.hsd1.il.comcast.net] has joined #scheme 21:10:35 -!- ecomba [n=ecomba@host86-180-90-29.range86-180.btcentralplus.com] has quit [] 21:11:55 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 21:12:50 -!- happycube [n=cpage@208.1.239.35] has quit [Client Quit] 21:12:58 Fare, when is the talk? 21:13:03 and where? 21:14:19 uh, tonight 21:14:27 not too far away from your office 21:14:32 Syntax-rules can determine the literal type of a pair, a vector, a boolean, and the empty list-- but can it detect an empty stomach? 21:14:42 I don't think you'll get lost in the way there. 21:15:15 mreggen [n=mreggen@cm-84.215.18.49.getinternet.no] has joined #scheme 21:16:32 RageOfThou [n=RageOfTh@users-55-50.vinet.ba] has joined #scheme 21:17:58 Daemmerung, with the proper extension it can. Will you let it reach down to your guts? Or would you prefer not having a gut feeling about what macros can do? 21:18:20 Fare: that doesn't sound hygenic 21:18:26 *SharkBrain* couldn't help himself 21:25:55 On the contrary, the whole operation is fine with `syntax-rules' because it keeps hygiene. Doing it with `defmacro' might result in all kinds of exotic diseases. 21:29:12 ecomba [n=ecomba@host86-180-90-29.range86-180.btcentralplus.com] has joined #scheme 21:30:08 -!- ecomba [n=ecomba@host86-180-90-29.range86-180.btcentralplus.com] has quit [Client Quit] 21:33:48 -!- MrFahrenheit [n=RageOfTh@users-55-97.vinet.ba] has quit [No route to host] 21:37:47 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 21:38:09 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 21:50:01 -!- Edico_ [n=Edico@unaffiliated/edico] has quit ["Ex-Chat"] 21:52:49 schmir [n=schmir@p54A9034F.dip0.t-ipconnect.de] has joined #scheme 22:01:29 nullpo [n=nullpo@221x252x46x83.ap221.ftth.ucom.ne.jp] has joined #scheme 22:02:02 -!- rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 22:07:53 devslashnull [n=nope@dyn-151.greentreefrog.net.au] has joined #scheme 22:09:48 -!- JoelMcCracken [n=joelmccr@pool-96-236-180-142.pitbpa.east.verizon.net] has quit ["This computer has gone to sleep"] 22:11:59 -!- jao [n=jao@72.Red-213-98-196.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 22:12:11 -!- ski_ [n=md9slj@remote1.student.chalmers.se] has quit ["Lost terminal"] 22:12:40 -!- langmartin [n=user@exeuntcha2.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 22:17:12 -!- Fare [n=Fare@ita4fw1.itasoftware.com] has quit [Read error: 110 (Connection timed out)] 22:18:44 mejja [n=user@c-49b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 22:20:32 Fabse [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 22:20:43 -!- proq [n=user@unaffiliated/proqesi] has quit [Read error: 104 (Connection reset by peer)] 22:27:46 jdijk [i=jdijk@ftth-212-84-159-210.solcon.nl] has joined #scheme 22:27:51 -!- jdijk [i=jdijk@ftth-212-84-159-210.solcon.nl] has left #scheme 22:31:36 optikalmouse [n=user@bas1-toronto10-1279559101.dsl.bell.ca] has joined #scheme 22:31:43 was there a change in PLTScheme when they moved to R6RS? 22:31:59 I'm using the last great R5RS version and I can't use #'require properly :/ 22:32:09 it won't find the srfis even though they're there :/ 22:34:09 -!- ejs [n=eugen@109-167-15-164.dynamic.peoplenet.ua] has quit [Read error: 113 (No route to host)] 22:35:00 optikalmouse, can you be more specific? 22:35:11 I'm using an older version and I need an older manual 22:35:19 the website seems to only have the latest version of the manual 22:35:21 what version? 22:35:26 and I assume the (require ...) syntax has changed. 22:35:30 mzscheme 372 22:35:42 yes, the require syntax changed 22:35:47 i recommend upgrading 22:35:51 can't upgrade 22:35:55 I'm on a stable distro 22:36:16 and I'm not sure the uni has the latest version either in their lab :/ 22:37:26 rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has joined #scheme 22:37:48 change distro and/or university! 22:37:55 you should be able to get the manual via the help desk 22:38:04 it was surely installed along with drscheme 22:38:05 -!- melba [n=blee@unaffiliated/lazz0] has quit [Read error: 104 (Connection reset by peer)] 22:38:07 samth: in dr scheme? 22:38:10 right 22:38:14 kawesome 22:38:17 thanks :) 22:38:25 just go to the 'help' menu 22:38:56 -!- mathk [n=mathk@lns-bzn-36-82-251-37-90.adsl.proxad.net] has quit [Read error: 110 (Connection timed out)] 22:39:18 also, here's the manual for 372: http://download.plt-scheme.org/doc/372/html/mzscheme/ 22:39:59 even better :D 22:40:57 proq [n=user@unaffiliated/proqesi] has joined #scheme 22:42:02 optikalmouse: And BTW, you could just download and install it yourself -- the installer can unpack itself into a single directory that you can put in your home directory. 22:42:40 eli: didn't know that, that's pretty nifty. would have come in handy last year during class heh 22:45:47 snearch [n=olaf@g229055086.adsl.alicedsl.de] has joined #scheme 22:49:50 JoelMcCracken [n=joelmccr@pool-96-236-180-142.pitbpa.east.verizon.net] has joined #scheme 22:54:14 -!- sstrickl [n=sstrickl@nomad.ccs.neu.edu] has quit [] 22:56:02 -!- rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 22:56:53 rdd [n=rdd@c83-250-52-182.bredband.comhem.se] has joined #scheme 22:58:20 How might I, without macros if possible, turn an expression like '(+ 1 X), where X is free or perhaps bound to 'X, into a lambda function? e.g., (to-lambda '(+ 1 X) 'X) ==> (lambda (t) (+ 1 t)). 23:14:35 -!- pavelludiq [n=quassel@91.139.197.90] has quit [Read error: 104 (Connection reset by peer)] 23:15:44 reprore [n=reprore@ntkngw356150.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 23:15:54 -!- reprore [n=reprore@ntkngw356150.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 23:22:20 -!- schmir [n=schmir@p54A9034F.dip0.t-ipconnect.de] has quit [Remote closed the connection] 23:24:13 -!- choas [n=lars@p5B0DD86B.dip.t-dialin.net] has quit ["leaving"] 23:29:42 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 23:31:43 Quadrescence: what do you want to achieve at a higher level? 23:33:36 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 23:33:54 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 23:36:43 -!- snearch [n=olaf@g229055086.adsl.alicedsl.de] has quit ["Ex-Chat"] 23:37:24 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 23:37:31 Adamant [n=Adamant@unaffiliated/adamant] has joined #scheme 23:45:21 rotty: I am just writing some functions for algebraic expressions. 23:46:24 Quadrescence: so these algebraic expressions like '(+ 1 x) are coming from the user? 23:46:44 Sure. 23:47:56 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 23:48:01 Adamant [n=Adamant@unaffiliated/adamant] has joined #scheme 23:48:09 -!- sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has quit [Remote closed the connection] 23:50:32 sepult [n=levgue@xdsl-78-35-194-162.netcologne.de] has joined #scheme