20:33:08 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 20:33:08 20:33:08 -!- names: ccl-logbot wingo preflex bfig shadwick pothos ijp dotemacs kudkudyak nowhere_man soveran kk` Skola_ bipt tuubow_ jonrafkind pygospa MichaelRaskin Skola _schulte_ attila_lendvai copumpkin jrslepak GoKhlaYeh MrFahrenheit X-Scale masm homie` surrounder ecraven rageous kniu asdfhjkl dme dzhus Obfuscate sharkbird sporous gravicappa jakky arbscht sontek forcer pchrist confab cdidd riverswain Lajjla tessier em Euthydemus leppie sawgij eno dous jschuster 20:33:08 -!- names: r126f snarkyboojum Guest13811 acarrico araujo REPLeffect amoe gf3 Enoria bweaver githogori bzzbzz offby1 rudybot metasyntax|work LeoNerd DGASAU pjb stepnem yamanu saccadewrk tali713 FireFly Nisstyre karswell levi joast Nshag Arafangion Khisanth gabot YokYok danking samth stamourv felipe yosafbridge overflow_0f8b fds hypnocat Intensity asumu gejr pranq tokiya eMBee drdo acieroid _p4bl0 snorble_ foocraft Razz aehrisch moll eli gnomon Axioplase ada2358 20:33:08 -!- names: jrslepak_neu mario-goulart bill_h evhan devn PreciousMetals dsmith poucet DerGuteMoritz cky rapacity shachaf ft zbigniew muep_ cataska fgudin cmatei ski SeanTAllen fbs micro__ z0d finnrobi ve elly Inode Saeren SHODAN cow-orker rotty aoh rotty_ dsp_ brendyn zedstar gffa twem2 peterhil izz_ ec kanru shardz dwyer lusory foof fizzie daedric_ erg qu1j0t3 tizoc jaimef fhd weinholt Pepe_ baggito clog duncanm aking xian_ dnm certainty antoszka ray ineiros 20:33:08 -!- names: ozzloy 20:34:51 dan64 [~dan64@dannyadam.com] has joined #scheme 20:34:51 -!- dan64 [~dan64@dannyadam.com] has quit [Excess Flood] 20:35:22 dan64 [~dan64@dannyadam.com] has joined #scheme 20:37:40 -!- gravicappa [~gravicapp@ppp91-77-191-242.pppoe.mtu-net.ru] has quit [Ping timeout: 276 seconds] 20:38:11 tupi [~david@139.82.89.24] has joined #scheme 20:39:26 adu [cc7847fd@gateway/web/freenode/ip.204.120.71.253] has joined #scheme 20:46:35 rostayob [~rostayob@dyn1195-50.wlan.ic.ac.uk] has joined #scheme 20:49:38 http://cl.ly/372g2x1J3S341U351Z3o 20:49:39 :/ 20:53:13 what is that? 20:53:32 fbs: it stops on the shortest one btw 20:54:42 ijp: ERROR: In procedure map: List of wrong length: (98 111 101 32 104 111 101 32 104 111 101) 20:55:09 was mapping logxor on 2 (char->integer (string->list "")) 20:55:49 -!- shadwick [~erik@host52-66.wifi.ubc.ca] has quit [Ping timeout: 255 seconds] 20:55:52 well, you should get an error for that, but a different one 20:56:10 since the empty list is not a char 20:56:21 shadwick [~erik@host252-235.wifi.ubc.ca] has joined #scheme 20:56:51 *fbs* is just looking for a simple script to xor 2 strings 20:58:09 can you actually paste the example that errors for you? 20:59:12 rudybot: (map bitwise-xor (map char->integer (string->list "abc")) (map char->integer "def")) 20:59:12 stamourv: error: map: expects type as 2nd argument, given: "def"; other arguments were: #integer> 20:59:27 rudybot: (map bitwise-xor (map char->integer (string->list "abc")) (map char->integer (string->list "def"))) 20:59:27 stamourv: ; Value: (5 7 5) 20:59:33 rudybot: (list->string (map (lambda (x y) (integer->char (bitwise-xor (char->integer x) (char->integer y)))) (string->list "foo") (string->list "barbaz"))) 20:59:34 ijp: your sandbox is ready 20:59:34 ijp: error: map: all lists must have same size; arguments were: # '(#\f #\o #\o) '(#\b #\a #\r #\b #\a #\z) 20:59:43 oh right, racket doesn't do that 20:59:43 rudybot: (map (compose integer->char bitwise-xor) (map char->integer (string->list "abc")) (map char->integer (string->list "def"))) 20:59:44 stamourv: ; Value: (#\u0005 #\u0007 #\u0005) 20:59:54 rudybot: (require srfi/1) 20:59:55 ijp: Done. 20:59:55 You get the idea. 20:59:58 rudybot: (list->string (map (lambda (x y) (integer->char (bitwise-xor (char->integer x) (char->integer y)))) (string->list "foo") (string->list "barbaz"))) 20:59:58 ijp: ; Value: "\u0004\u000E\u001D" 20:59:59 langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 21:00:01 better 21:01:00 langmart` [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 21:01:10 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 21:01:23 although there are much better ways to do that 21:01:23 hmm i found a c version :p 21:01:45 like? 21:01:45 what's there to know? 21:02:29 fbs: doing it by index so you don't do so many conversions 21:03:10 yeah could do that 21:04:19 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Ping timeout: 245 seconds] 21:15:23 -!- sporous [~sporous@188-195-44-98-dynip.superkabel.de] has quit [Changing host] 21:15:23 sporous [~sporous@antispammeta/bot/irssi/sporous] has joined #scheme 21:17:52 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 21:18:24 -!- homie` [~levgue@xdsl-84-44-153-51.netcologne.de] has quit [Read error: Connection reset by peer] 21:19:11 -!- adu [cc7847fd@gateway/web/freenode/ip.204.120.71.253] has quit [Ping timeout: 245 seconds] 21:19:54 homie` [~levgue@xdsl-84-44-153-51.netcologne.de] has joined #scheme 21:30:25 -!- langmart` is now known as langmartin 21:36:41 rvchangue [~rvchangue@unaffiliated/rvchangue] has joined #scheme 21:39:00 -!- tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 260 seconds] 21:40:45 -!- cdidd [~cdidd@89-178-224-41.broadband.corbina.ru] has quit [Remote host closed the connection] 21:45:12 -!- shadwick [~erik@host252-235.wifi.ubc.ca] has quit [Quit: Leaving] 21:51:23 -!- _schulte_ [~eschulte@c-174-56-50-60.hsd1.nm.comcast.net] has quit [Ping timeout: 244 seconds] 21:23:40 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 21:23:40 21:23:40 -!- names: ccl-logbot rageous jcowan MrFahrenheit dobroerlanger_ bfig lcc _schulte_ pothos kuribas homie bitonic jonrafkind jao asdfhjkl dnolen albacker mmc1 hopfrog dzhus estevocastro xwl pchrist dlouhy confab kk` ve yosafbridge klutometis GoKhlaYeh CampinSam tomodo antoszka djcb karswell Riastradh sawgij ASau leppie pygospa masm coolcusty stis superjudge wollw Arafangion forcer gravicappa bipt rudybot em shardz cswords daedric githogori sontek jrslepak_neu tessier 21:23:40 -!- names: Inode_ _p4bl0 X-Scale cyphase poindont` acarrico hypnocat fizzie sharkbird araujo Pepe_ wingo arbscht clog stepnem aking REPLeffect mario-goulart mmc dotemacs snorble_ bweaver pjb cozmic\ dostoyevsky preflex cmatei pranq sporous Euthydemus Nisstyre BigEndian LeoNerd gnomon sestisr Axioplase eli Nshag fbs twem2 YokYok Khisanth miql yamanu ski FireFly gffa nowhereman gf3 asumu kandinski offby1 fgudin amoe snarkyboojum gejr cataska brendyn kanru drdo 21:23:40 -!- names: acieroid levi evhan devn DerGuteMoritz rapacity shachaf ft zbigniew micro__ Saeren cow-orker aoh ec erg tizoc jaimef fhd weinholt duncanm xian_ dnm certainty ray ineiros aehrisch Razz eMBee Intensity felipe samth danking saccadewrk r126f jakky dan64 rotty ozzloy SHODAN foof surrounder qu1j0t3 gabot peterhil cky finnrobi rvchangue Obfuscate foocraft fds stamourv metasyntax|work muep teiresias ecraven izz__ elly SeanTAllen joast z0d moll tokiya tali713 dsp_ 21:23:40 -!- names: m4burns 21:29:06 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 21:34:47 -!- gravicappa [~gravicapp@ppp91-77-184-34.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:35:11 -!- estevocastro [estevocast@nat/hackerschool.com/x-pfswbseelmdnubym] has quit [Ping timeout: 246 seconds] 21:35:52 I have just heard that the lambda in the lambda calculus was originally a caret which the typesetter misread. Can anyone point me to a source for that? 21:35:52 jcowan: thanks for tagsoup. 21:36:01 qu1j0t3: You're welcome. 21:36:14 jcowan: the story of lambda is mentioned in something i recently read, but i don't think that was it. 21:36:30 jcowan: i think it's in COders at Work, maybe the S. P-J interview 21:36:40 It's mentioned in a recent posting to scheme-reports, but unsourced. 21:36:50 yeah, that wasn't the explanation i read. 21:37:22 jcowan: i started using tagsoup with scala last night. does what i need perfectly, no fuss. 21:37:34 That's the idea. 21:38:02 jcowan: i think caret was a transitional notation tho? so maybe there is something in it. 21:38:04 People are always asking me where the docs are, and I reply, Learn how to use SAX parsers (there are many approaches) and TagSoup will just DTRT. 21:38:26 jcowan: yeah, i found somebody had blogged a recipe for scala that worked OOTB. 21:41:59 jcowan: http://maths.swan.ac.uk/staff/jrh/papers/JRHHislamWeb.pdf (page 7) 21:42:33 (explains the origin, though it sounds like it wasn't a typesetting error) 21:43:16 (the additional papers that history cites might have more details too) 21:44:43 Arrgh. Schönfinkel's manuscripts burned by his neighbors for heat.... 21:45:55 :| 21:48:32 Compare Vavilov's staff starving to death during the siege of Leningrad in order to preserve the priceless seed bank. (V. wasn't there, he had died in a labor camp for criticizing Lysenko.) 21:48:57 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Read error: Connection reset by peer] 21:50:28 jcowan, I don't know a real source for the lambda/circumflex thing, but I've heard it umpteen zillion times and probably repeated it too... 21:50:32 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 21:50:44 Go figure. I never heard it before today. 22:04:19 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 265 seconds] 22:06:05 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 22:11:06 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:16:04 -!- superjudge [~superjudg@c83-250-198-227.bredband.comhem.se] has quit [Quit: superjudge] 22:18:35 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 22:18:53 tuubow_ [~adityavit@NYUFGA-WLESSAUTHCLIENTS-02.NATPOOL.NYU.EDU] has joined #scheme 22:25:38 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 22:31:26 Riastradh: care to weigh in on whether EQV? on numbers should go R5RS "= and same exactness" or R6RS "operationally indistinguishable"? 22:32:35 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 22:43:04 tupi [~david@201.53.163.75] has joined #scheme 22:54:41 -!- jcowan [~John@cpe-66-108-19-185.nyc.res.rr.com] has quit [Quit: Leaving] 22:58:36 langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 23:03:04 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Ping timeout: 245 seconds] 23:06:07 -!- pygospa [~Pygosceli@kiel-4dbec383.pool.mediaWays.net] has quit [Ping timeout: 264 seconds] 23:06:28 pygospa [~Pygosceli@kiel-4dbec383.pool.mediaWays.net] has joined #scheme 23:08:05 estevocastro [estevocast@nat/hackerschool.com/x-xjslpmrtcpcveuoe] has joined #scheme 23:09:27 -!- albacker [~eni@unaffiliated/enyx] has quit [Quit: .] 23:11:39 -!- estevocastro [estevocast@nat/hackerschool.com/x-xjslpmrtcpcveuoe] has quit [Remote host closed the connection] 23:12:28 dous [~dous@unaffiliated/dous] has joined #scheme 23:25:21 -!- sontek [~sontek@opensuse/member/Sontek] has quit [Read error: Operation timed out] 23:28:12 sontek [~sontek@opensuse/member/Sontek] has joined #scheme 23:29:19 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 23:35:56 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Read error: Connection reset by peer] 23:37:30 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 23:38:42 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Read error: Connection reset by peer] 23:39:56 -!- dzhus [~sphinx@176.14.94.92] has quit [Remote host closed the connection] 23:42:46 -!- dnolen [~user@pool-96-224-25-166.nycmny.east.verizon.net] has quit [Remote host closed the connection] 23:44:04 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 23:46:55 phax [~phax@unaffiliated/phax] has joined #scheme 23:53:55 dnolen [~user@pool-96-224-25-166.nycmny.east.verizon.net] has joined #scheme 23:55:59 Qworkescence [~quad@unaffiliated/quadrescence] has joined #scheme 00:11:10 Who is the typesetter of the R7RS standard? I have plenty of issues with it that warrant resolution. 00:11:39 -!- kuribas [~user@d54C43316.access.telenet.be] has quit [Remote host closed the connection] 00:12:11 Qworkescence: in typesetting or content? :) 00:12:17 typesetting 00:12:53 Qworkescence: a marked up proof is always nice. 00:13:01 Qworkescence: I know you have some very red pens 00:23:48 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 00:28:55 -!- bfig [~b_fin_g@r186-48-243-205.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 264 seconds] 00:29:40 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 260 seconds] 00:34:30 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Read error: Connection reset by peer] 00:36:07 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 00:39:03 -!- homie [~levgue@xdsl-78-35-169-59.netcologne.de] has quit [Client Quit] 00:43:19 -!- tomodo [~tomodo@gateway/tor-sasl/tomodo] has quit [Remote host closed the connection] 00:44:13 homie [~levgue@xdsl-78-35-169-59.netcologne.de] has joined #scheme 00:46:06 -!- xwl [~user@123.108.223.115] has quit [Read error: Connection reset by peer] 00:49:05 -!- acarrico [~acarrico@pppoe-68-142-51-231.gmavt.net] has quit [Ping timeout: 246 seconds] 00:53:52 xwl [~user@123.108.223.115] has joined #scheme 00:54:16 estevocastro [~estevocas@cpe-74-72-192-178.nyc.res.rr.com] has joined #scheme 00:56:09 -!- tupi [~david@201.53.163.75] has quit [Quit: Leaving] 00:58:51 langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 00:59:56 -!- dous [~dous@unaffiliated/dous] has quit [Remote host closed the connection] 01:03:19 acarrico [~acarrico@pppoe-68-142-57-27.gmavt.net] has joined #scheme 01:04:04 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Ping timeout: 272 seconds] 01:09:46 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 272 seconds] 01:09:57 bfig [~b_fin_g@r190-135-19-73.dialup.adsl.anteldata.net.uy] has joined #scheme 01:10:17 -!- pygospa [~Pygosceli@kiel-4dbec383.pool.mediaWays.net] has quit [Disconnected by services] 01:10:26 pygospa [~Pygosceli@kiel-5f769d11.pool.mediaWays.net] has joined #scheme 01:14:13 bfgun [~b_fin_g@r186-52-171-180.dialup.adsl.anteldata.net.uy] has joined #scheme 01:17:33 -!- bfig [~b_fin_g@r190-135-19-73.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 245 seconds] 01:27:01 iffsid [~user@c-98-222-193-118.hsd1.in.comcast.net] has joined #scheme 01:29:44 phao [phao@177.115.13.50] has joined #scheme 01:30:12 heya 01:31:44 sort of off topic here, but ... is solving those programming contests problems good for anything? I mean, they don't seem realistic (problem that would appear in some job or research related to CS), although they may be; however, lots of people are into this stuff... 01:32:20 phao: Which contests are you talking about? 01:32:31 Stuff like TopCoder 01:32:56 I think ACM sponsors a contest too (I am not sure if that's how you say it) 01:32:56 phao: Some of the contests allow you to win money, if you are the top of the crop. 01:33:05 Sure, but is that all? 01:33:06 *ski* was thinking phao might have meant ICFP contest 01:33:11 phao: ACM ICPC is a team contest. :-) 01:33:29 sure... 01:34:04 -!- bfgun is now known as bfig 01:34:34 So... it's more for the 1st place money and ... (nothing else) ? 01:35:36 I know some people who like that sort of stuff a lot. But I can't help to think that my time would be better spent writing some useful ("real-world") program. 01:36:29 phao: For contests sponsored by Google (Google Code Jam) or Facebook (Facebook Hacker Cup), if you do really well, I'm told they send you job invitations. 01:36:55 hmmmm 01:39:17 cky: yes, G also has an aggressive hiring quota. So it's a lazy way for them to skim the top by one measure, anyway. 01:39:24 phao: Contest problems are mostly just fun, I'd think. 01:40:15 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 16:25:03 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 16:25:03 16:25:03 -!- names: ccl-logbot wollw YokYok realitygrill tomodo xwl kk` joast superjudge ijp` albacker X-Scale soveran _schulte_ sharkbird copumpkin dostoyevsky dous jao phax leo2007 add^_ leppie DGASAU sporous pjb Arafangion MrFahrenheit tupi gravicappa bitonic Matt_S_G antithesis josef_ sawgij masm BigEndian bfig keenbug wingo mmc preflex forcer cdidd mark_weaver acieroid noam confab araujo pygospa Nisstyre githogori cyphase pranq jakky pothos sad0ur DerGuteMoritz 16:25:03 -!- names: certainty karswell asumu cswords_ pchrist LeoNerd Intensity gnomon amoe gf3 dsmith kniu Obfuscate dsp_ jaimef nowhereman finnrobi samth_away ASau edw moll rvchangue fzzbt gejr tessier cozmic C-Keen SHODAN Quadrescence REPLeffect acarrico sontek rageous dlouhy ve yosafbridge klutometis antoszka rudybot em shardz daedric jrslepak_neu Inode_ poindont` fizzie Pepe_ arbscht clog stepnem aking mario-goulart snorble_ bweaver cmatei Euthydemus Axioplase_ eli 16:25:03 -!- names: Nshag fbs twem2 Khisanth miql yamanu ski FireFly gffa kandinski offby1 fgudin snarkyboojum ineiros ray dnm xian_ duncanm weinholt fhd tizoc erg ec aoh cow-orker Saeren micro__ zbigniew ft shachaf rapacity devn evhan aehrisch Razz eMBee felipe danking saccadewrk r126f dan64 rotty ozzloy foof surrounder qu1j0t3 gabot peterhil cky foocraft fds stamourv metasyntax|work muep teiresias ecraven izz__ elly z0d tokiya tali713 m4burns levi drdo kanru brendyn 16:25:03 -!- names: cataska