00:09 (quit) ambrosebs: Ping timeout: 255 seconds 00:10 (join) dnolen 00:26 (quit) random_malice: Ping timeout: 246 seconds 00:26 (quit) bro_grammer: Ping timeout: 252 seconds 00:32 (join) yoklov 00:47 (join) shadgregory 00:49 (quit) jeapostrophe: Ping timeout: 240 seconds 01:00 mithos28: ugh why is raco make broken? timestamps are not enough 01:01 (quit) mceier: Quit: leaving 01:08 mithos28: Is there a way to tell raco make not to use timestamps? 01:09 (quit) shadgregory: Quit: ERC Version 5.3 (IRC client for Emacs) 01:13 (join) mye 01:17 (quit) mye: Remote host closed the connection 01:17 (join) mye 01:24 (join) veer 01:27 (quit) yoklov: Quit: computer sleeping 01:32 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/ 01:33 (quit) mye: Quit: mye 01:44 (join) adu 01:48 jonrafkind: mithos28, you mean you touch a bunch of files that shouldnt be rebuilt? 01:48 jonrafkind: actually I thought matthew had changed things to use a checksum at some point 01:48 mithos28: no, that if a file is old that its checksum is still checked 01:49 mithos28: I 'git stash poped' a change and tried to recompile and it worked, but it wouldn't pick up my change 01:49 jonrafkind: oh i see 01:49 mithos28: had to remove the compiled file 01:50 mithos28: Correctness should come before speed 01:51 jonrafkind: i guess it should be an option, timestamp, timestamp+checksum, checksum 01:51 jonrafkind: i think scons allows the user to specify such a thing 01:51 jonrafkind: it could even just be an argument to raco make 01:52 mithos28: I think checksum should be the only option, but I understand that it would be way too expensive 01:53 jonrafkind: so having all 3 seems reasonable 01:53 mithos28: eh, I don't think you ever need just timestamp 01:54 jonrafkind: its certainly faster than doing a checksum 01:54 jonrafkind: and 99% of the world relies on just timestamp since they use make 01:54 mithos28: timestamp+checksum only checks the checksum if the timestamp is out of date 01:54 jonrafkind: right 01:54 mithos28: and checking the checksum is just as correct (modulo hash collisions) as rebuilding 01:55 jonrafkind: you mean doing a clean rebuild? 01:56 mithos28: thats what just checksum would do, but assumes that the compiler is the same 02:01 mithos28: filed a bug 02:11 (join) hkBst 02:11 (quit) hkBst: Changing host 02:11 (join) hkBst 02:13 (quit) Kaylin: Read error: Connection reset by peer 02:17 (join) mceier 02:21 (nick) Shozan -> SHODAN 02:25 (join) shadgregory 02:31 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs) 02:45 (quit) Shviller: Ping timeout: 246 seconds 02:45 (join) Shviller 02:48 (quit) jonrafkind: Ping timeout: 276 seconds 02:53 (quit) hkBst: Ping timeout: 246 seconds 02:56 (join) hkBst 02:56 (quit) hkBst: Changing host 02:56 (join) hkBst 02:59 (quit) shadgregory: Quit: ERC Version 5.3 (IRC client for Emacs) 03:05 (quit) cohorojo: Ping timeout: 265 seconds 03:58 (join) noelw 04:04 (join) oisin123 04:06 oisin123: I'm attempting to install Racket + Geiser in Emacs. When I M-x "run-geiser", "racket", I retrieve the following error: "/usr/racket/bin/racket cannot execute binary file". When I cd to that directory and attempt to execute the racket file, I receive the same error. Every file in the racket bin directory has 777 for permissions. Could anyone point me in the right direction to look? 04:06 mithos28: oisin123: How did you install racket? 04:07 oisin123: mithos28: I've used the Fedora 14 package 04:07 oisin123: (I'm running Fedora 16.) 04:09 mithos28: what does $ file /usr/racket/bin/racket return? 04:10 oisin123: Hmm - pasting failed... 04:11 mithos28: the $ is supposed to be from your prompt 04:12 oisin123: sorry, no pasting to IRC... I'm not able to type past a certain limit it seems 04:12 mithos28: ah 04:12 mithos28: gist.github.com 04:12 mithos28: that was mostly checking that it looked like a valid binary 04:12 oisin123: https://gist.github.com/3302247 04:13 mithos28: and what is the output when you run $ /usr/racket/bin/racket 04:13 oisin123: cannot execute binary file 04:14 mithos28: what is the output of uname -a 04:14 oisin123: Linux 3.4.4-4.fc16.i686 #1 SMP Thu Jul 5 20:58:10 UTC 2012 i686 i686 i386 GNU/Linux 04:15 mithos28: ok so you are on a 32 bit system and trying to run a 64 bit binary 04:15 oisin123: :| I'm sorry, thank you! 04:16 mithos28: No problem, it looks like racket 5.3 is packaged for fedora 12 for 32 bit 04:17 mithos28: hopefully that will still work 04:18 mithos28: There is also the source installer which should also work, if the package manager one doesn't because of the differences between 12 and 16 04:19 oisin123: Worked like a charm - thanks very much. :) 04:19 mithos28: No problem 04:19 mithos28: google helped out, a bit 04:20 Gertm: Is there an easy way to do a POST http request with Racket? 04:21 (quit) oisin123: Quit: Page closed 04:22 mithos28: rudybot: init racket 04:22 rudybot: mithos28: your sandbox is ready 04:22 mithos28: rudybot: (require net/url) 04:22 rudybot: mithos28: Done. 04:22 mithos28: rudybot: doc post-pure-port 04:22 rudybot: mithos28: http://docs.racket-lang.org/net/url.html#(def._((lib._net%2Furl..rkt)._post-pure-port)) 04:22 mithos28: gertm: Look at that 04:23 Gertm: Ok, so I'll have to write my own pairs -> bytes conversion function. 04:24 mithos28: What do you want in the post body? 04:24 Gertm: Fill in a form. 04:25 mithos28: so lines of key=value? if I remember my HTTP correctly 04:25 Gertm: mithos28: yes. 04:25 mithos28: Yes I think you will 04:27 (quit) adu: Quit: adu 04:27 mithos28: rudybot: (for ((p '(("key1" . "value1") ("key2" . "value2")))) (printf "~a=~a\r\n" (car p) (cdr p))) 04:27 rudybot: mithos28: ; stdout: "key1=value1\r\nkey2=value2\r\n" 04:27 mithos28: rudybot: doc fprintf 04:27 rudybot: mithos28: http://docs.racket-lang.org/reference/Writing.html#(def._((quote._~23~25kernel)._fprintf)) 04:28 mithos28: Gertm: Those should help with doing that 04:28 Gertm: Thanks, that's quite straightforward. 04:34 (quit) veer: Quit: Leaving 04:34 (join) soegaard 04:35 (quit) mithos28: Quit: mithos28 04:39 (quit) darkf: Quit: Leaving 04:46 (join) mye 05:01 (join) djcoin 05:07 (join) masm 05:18 (join) cdidd 06:34 (quit) vu3rdd: Remote host closed the connection 06:59 (join) bjz 07:00 (join) veer 07:11 (join) MayDaniel 07:16 (quit) MayDaniel: Read error: Connection reset by peer 07:48 (join) paradoja 07:51 (quit) bjz: Quit: Leaving... 07:59 (join) Aune 08:01 (join) cohorojo 08:08 (join) MayDaniel 08:27 (join) kanak 08:28 (join) getpwnam 08:29 (join) hash_table 08:36 veer: just for information , Racket makes a debut at coursera : https://www.coursera.org/course/proglang , along with ML and Ruby 08:46 (join) yoklov 08:46 (quit) MayDaniel: Read error: Connection reset by peer 08:58 (join) vu3rdd 08:58 (quit) vu3rdd: Changing host 08:58 (join) vu3rdd 08:59 (quit) Demosthenes: Ping timeout: 248 seconds 09:01 (join) Demosthenes 09:19 (join) mye_ 09:20 (quit) masm: Quit: Leaving. 09:23 (quit) mye: Ping timeout: 256 seconds 09:23 (nick) mye_ -> mye 09:25 (quit) yoklov: Quit: computer sleeping 09:26 (quit) Shvillr: Ping timeout: 248 seconds 09:28 (quit) hash_table: Ping timeout: 260 seconds 09:28 (quit) getpwnam: Ping timeout: 260 seconds 09:36 (join) Shvillr 09:45 (join) cipher 09:48 (join) Unh0ly_Tigg 09:49 (quit) jrslepak: Quit: What happened to Systems A through E? 09:50 (join) jrslepak 09:57 (quit) Unh0ly_Tigg: Quit: Leaving 09:59 (join) bjz 10:07 (join) ASau 10:17 (quit) jrslepak: Quit: What happened to Systems A through E? 10:24 (quit) veer: Quit: Leaving 10:31 asumu: Nice, go Dan Grossman. 10:31 samth: asumu: ? 10:32 asumu: The coursera thing. 10:33 samth: oh, awesome! 10:34 (join) anRch 10:39 (quit) mceier: Quit: leaving 10:41 asumu: samth: http://okmij.org/ftp/continuations/against-callcc.html 10:42 samth: asumu: indeed 10:45 vu3rdd: asumu: yeah! Thank goodness for not clashing with the Brown CS173 online course! 10:50 (quit) wtetzner: Read error: Connection reset by peer 10:51 (join) wtetzner 10:52 (join) djcb 10:55 (join) masm 10:58 (quit) hkBst: Quit: Konversation terminated! 11:01 (join) jeapostrophe 11:01 (quit) jeapostrophe: Changing host 11:01 (join) jeapostrophe 11:01 (quit) knob: Ping timeout: 245 seconds 11:01 (join) chimeracoder 11:07 (quit) soegaard: Quit: soegaard 11:12 (quit) stchang: Ping timeout: 250 seconds 11:12 (quit) noelw: Quit: noelw 11:14 (join) stchang 11:19 (join) knob 11:25 (quit) stchang: Read error: Operation timed out 11:28 (join) MayDaniel 11:28 (quit) MayDaniel: Changing host 11:28 (join) MayDaniel 11:28 (join) stchang 11:40 (join) jrslepak 11:41 (quit) anRch: Quit: anRch 11:45 (quit) bjz: Quit: Leaving... 11:46 (join) nilyaK 11:49 (join) gciolli 11:53 (quit) karswell_: Ping timeout: 244 seconds 11:59 (join) soegaard 11:59 (quit) jeapostrophe: Ping timeout: 265 seconds 11:59 (join) karswell_ 12:04 (join) dyoo 12:10 (quit) soegaard: Quit: soegaard 12:17 (join) mithos28 12:17 (join) mceier 12:20 (join) adu 12:21 (join) jonrafkind 12:22 (join) shadgregory 12:26 (quit) jonrafkind: Ping timeout: 276 seconds 12:27 (join) getpwnam 12:28 (join) hash_table 12:38 (join) jonrafkind 13:02 (join) soegaard 13:06 (quit) gciolli: Quit: Leaving. 13:21 (join) mye 13:21 (quit) mye: Client Quit 13:21 (join) jackhammer2022 13:31 (join) nilyaK1 13:32 (quit) nilyaK: Ping timeout: 244 seconds 13:46 (join) nilyaK 13:47 (quit) nilyaK1: Ping timeout: 272 seconds 13:55 (quit) nilyaK: Quit: Leaving. 13:58 (quit) mithos28: Quit: mithos28 13:58 (join) jeapostrophe 14:05 (quit) djcoin: Quit: WeeChat 0.3.2 14:09 Gertm: How lightweight/heavyweight are these 'places'? 14:09 jonrafkind: fairly heavyweight, they spawn a new process 14:10 Gertm: Ah, an entire new racket you mean? 14:10 jonrafkind: yea 14:10 jonrafkind: and it uses shared memory to talk to the other processes 14:10 jonrafkind: so basically communicating stuff is fairly expensive 14:10 asumu: jonrafkind: a question for you http://www.reddit.com/r/Racket/comments/t4c8b/installing_drracket_521_on_ubuntu_1204_x86_64/c5q2g0i 14:10 rudybot: http://tinyurl.com/9nzmx9w 14:11 asumu: Gertm: there are also 'futures' for lighterweight parallelism. 14:11 jonrafkind: hm well honestly i have no idea how unity dash works, but I just looked at installing a .desktop file for racket today 14:11 Gertm: Yes, futures look very interesting. 14:11 jonrafkind: i put it into the nightly build so i will test it tomorrow 14:11 jonrafkind: asumu, can you tell that guy that racket is /usr/bin/racket and /usr/bin/drracket / 14:11 jonrafkind: ? 14:11 asumu: jonrafkind: okay, and I'll mention the .desktop thing will work in the future. 14:12 jonrafkind: yea i hope.. trying to figure out the debian package process is a nightmare 14:22 chandler: jonrafkind: is there anything I can do to help with the .desktop process? 14:22 chandler: er, packaging, process, whatever 14:25 jonrafkind: well this is how I did it: I put 'debian/drracket.desktop usr/share/applications/' into racket.install 14:25 jonrafkind: is that enough? 14:44 (join) anRch 14:58 (part) chimeracoder 15:04 (join) jesyspa 15:11 (quit) MayDaniel: Read error: Connection reset by peer 15:19 (join) jhemann 15:25 (quit) vu3rdd: Remote host closed the connection 15:29 (join) yoklov 15:32 (quit) shadgregory: Remote host closed the connection 15:33 (quit) yoklov: Client Quit 15:41 (join) yoklov 15:41 (quit) jackhammer2022: Quit: Computer has gone to sleep. 15:46 (quit) yoklov: Ping timeout: 268 seconds 15:46 (join) yoklov 15:53 (quit) cohorojo: Read error: Connection reset by peer 15:53 (join) cohorojo 15:59 (quit) knob: Read error: Connection reset by peer 15:59 (join) knob 16:01 (quit) dyoo: Quit: Page closed 16:07 (quit) ASau: Remote host closed the connection 16:08 (join) ASau 16:09 (quit) yoklov: Quit: computer sleeping 16:10 samth: Gertm, jonrafkind: places don't spawn a new 'process' in the OS sense 16:15 (quit) anRch: Quit: anRch 16:23 (quit) jhemann: Ping timeout: 250 seconds 16:26 (quit) soegaard: Quit: soegaard 16:26 (join) shadgregory 16:29 (join) RacketCommitBot 16:29 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ss4N2g 16:29 RacketCommitBot: [racket/master] allow identifiers as names, not just strings - Robby Findler 16:29 (part) RacketCommitBot 16:29 (join) soegaard 16:30 (join) nilyaK 16:37 (join) Nisstyre 16:42 (join) jackhammer2022 16:49 Shambles_: asumu: Are you around? 16:50 (quit) dsantiago: Quit: Computer has gone to sleep. 17:03 (join) jhemann 17:07 asumu: Shambles_: yea, hi 17:07 Shambles_: asumu: I sent the e-mail last night. The subjectline is "Racket GUI and Sound Infelicities". I hope it's okay. 17:08 asumu: Yeah, I saw it, looks good. Did you see that Matthew replied? 17:08 asumu: (and thanks for the feedback) 17:08 (join) jhemann_ 17:09 Shambles_: I didn't see the reply. 17:09 Shambles_: All I see is a post from him on MzCOM? 17:09 asumu: http://lists.racket-lang.org/users/archive/2012-August/053423.html 17:11 Shambles_: Hmm. Maybe that was posted to the dev list and I'm not on it. I sent it to the users list since I was told it didn't matter where I sent it, and that was the one I'd used before. I'm glad he got it, and wasn't upset by it. 17:11 (quit) jhemann: Ping timeout: 245 seconds 17:11 Shambles_: I really kinda wish GTK had been used for everything. I at least know what to call to do most of these things in GTK. 17:16 asumu: Shambles_: FWIW, if you write extra GUI widgets for even just GTK using the FFI, that could be useful. 17:17 asumu: Either as a PLaneT package or possibly to integrate into racket/gui once someone else writes the equivalent Cocoa/Win32 widgets. 17:17 asumu: But yes, it's too bad that it's non-trivial to extend things right now. 17:18 Shambles_: With only one platform (I guess that'd be the Linux one) I don't see how it could be used. They'd have to wait until Win32 and... what is it Mac's use? Cocoa? versions were done. 17:20 (quit) tobym: Remote host closed the connection 17:20 Shambles_: GTK lacks a ready made toolbox/accordion widget (Qt has one, and some other toolkits do), but most of the other stuff is in there. I wonder how painful it is to get the manual memory management to work with Racket's garbage collector. 17:25 samth: Shambles_: the current gui infrastructure handles all of that, so i'd look at how it does it 17:26 (quit) kanak: Ping timeout: 246 seconds 17:28 (quit) cdidd: Remote host closed the connection 17:29 (quit) nilyaK: Read error: Connection reset by peer 17:46 (quit) Demosthenes: Remote host closed the connection 17:46 (join) Demosthenes 17:46 (quit) djcb: Read error: Connection reset by peer 17:56 (join) danl_ndi 17:59 (join) dsantiago 18:05 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/ 18:09 (join) Remosi 18:30 (quit) Remosi: Ping timeout: 240 seconds 18:31 (quit) adu: Quit: adu 18:37 (quit) soegaard: Quit: soegaard 18:42 (quit) masm: Quit: Leaving. 18:43 (join) Remosi 18:43 Remosi: I've just started playing with racket and it's datalog stuff. I'd like to create a predicate foo(A,B,C) and depending on which of A,B and C are free, build an SQL query and return the results. But I can't see how to tell which of A, B and C are free, does anyone have any pointers? 18:51 (quit) jonrafkind: Ping timeout: 244 seconds 19:15 (quit) jeapostrophe: Ping timeout: 252 seconds 19:23 (join) paulscott 19:27 paulscott: is there an easy to download documention set(at the point of being able to read simpler common lisp macros but little experience with racket). Essentially I'll be at sea for 9+ months with no Internet 19:28 (join) jeapostrophe 19:36 danl_ndi: paulscott: an install of racket contains all the docs 19:37 danl_ndi: just point your browser at /doc/index.html 19:41 (join) bjz 19:41 (quit) bjz: Read error: Connection reset by peer 19:41 (join) bjz 19:42 danl_ndi: what's a good way to prompt for and read a string from stdin? 19:43 danl_ndi: (read-line) seems correct but immediately return 19:49 (join) jao 19:50 (quit) jao: Changing host 19:50 (join) jao 19:53 asumu: danl_ndi: read-line should work. Though oddly it doesn't seem to work in the cmdline REPL. 19:53 asumu: In DrRacket it does what you'd expect. 19:55 paulscott: thanks 19:55 (join) dnolen 19:55 danl_ndi: yeah if there's no data waiting it returns...... need something that waits until the port yields a linefeed/return 19:57 danl_ndi: however read works 19:59 asumu: danl_ndi: this is relevant http://lists.racket-lang.org/users/archive/2011-January/043734.html 19:59 asumu: (it's a REPL limitation) 20:00 (quit) Remosi: Ping timeout: 240 seconds 20:03 danl_ndi: asumu: cool thanks. 20:04 danl_ndi: workaround is to call (read-line) a second time if it returns an empty string 20:13 (join) Remosi 20:15 (quit) jrslepak_neu: Ping timeout: 252 seconds 20:17 (quit) jschuster: Ping timeout: 245 seconds 20:17 (join) jrslepak_neu 20:17 (join) jschuster 20:18 (join) Kaylin 20:26 eli: danl_ndi: When you type "(read-line)" and hit enter on the repl, Racket reads *just* the expression and then executes the code -- which means that the newline is still in the buffer. It's a common confusion, and I don't think that there a good solution to that. 20:37 (quit) jrslepak: Quit: What happened to Systems A through E? 20:41 (join) masm 20:42 (quit) paulscott: Quit: Page closed 20:43 (join) jackhammer2022 20:52 danl_ndi: eli: that seems weird.... 20:52 (quit) masm: Quit: Leaving. 20:55 (quit) Aune: Quit: L?mnar 20:57 (quit) jesyspa: Quit: leaving 20:59 eli: danl_ndi: Why weird? 20:59 eli: Say that I enter exactly this: 20:59 eli: (read-line) 1 21:00 eli: If you decide that the newline in the above example gets eaten by the repl, then that 1 should be eaten by the repl too so `read-line' would need to read a new line. 21:00 eli: And *that* seems weird to me... 21:00 eli: In any case, I have to go now. 21:03 (join) jrslepak 21:26 (quit) bjz: Quit: Leaving... 21:30 (quit) Remosi: Ping timeout: 240 seconds 21:43 (join) Remosi 21:46 (join) bjz 22:07 (quit) ASau: Ping timeout: 240 seconds 22:15 (quit) bjz: Quit: Leaving... 22:22 (quit) paradoja: Ping timeout: 246 seconds 22:30 (join) yoklov 22:32 (quit) hash_table: Ping timeout: 265 seconds 22:32 (quit) getpwnam: Ping timeout: 265 seconds 22:34 (join) getpwnam 22:34 (join) hash_table 22:36 (join) jonathansizz 22:38 DrDuck: Do you guys know of something I could use to embedd my Racket code on my blog? I use Blogger. 22:43 (quit) jonathansizz: Ping timeout: 244 seconds 22:43 (quit) getpwnam: Ping timeout: 245 seconds 22:44 (quit) hash_table: Ping timeout: 252 seconds 22:57 (join) hash_table 22:59 (join) getpwnam 23:00 (quit) Remosi: Ping timeout: 240 seconds 23:02 (join) jonathansizz 23:13 (join) Remosi 23:34 (join) mithos28 23:44 (quit) jonathansizz: Ping timeout: 240 seconds 23:44 (quit) hash_table: Ping timeout: 252 seconds 23:44 (quit) getpwnam: Ping timeout: 276 seconds 23:47 asumu: DrDuck: Yeah, scriblogify. I'll find you a link. 23:48 asumu: DrDuck: http://blog.racket-lang.org/2012/04/scribble-your-blogs.html 23:49 (join) jonrafkind 23:49 (quit) jonrafkind: Changing host 23:49 (join) jonrafkind