00:05 (join) hf_ 00:07 (quit) hf_: Client Quit 00:20 (quit) tcsc: Quit: computer sleeping 00:27 (quit) kofno: Remote host closed the connection 00:28 (join) kofno 00:33 (quit) kofno: Ping timeout: 256 seconds 00:38 (join) tcsc 01:03 (quit) jao: Ping timeout: 260 seconds 01:26 (join) tps_ 01:55 (quit) Shviller: Read error: Connection reset by peer 01:55 (join) Shviller 02:00 (join) clm 02:14 (join) sw2wolf 02:18 (quit) sirdancealot: Ping timeout: 240 seconds 02:29 (join) kofno 02:31 (join) sirdancealot 02:37 (quit) kofno: Ping timeout: 240 seconds 02:38 (join) jonrafkind 02:44 (quit) jonrafkind: Ping timeout: 260 seconds 02:47 (join) gridaphobe 02:52 (quit) gridaphobe: Ping timeout: 248 seconds 02:56 (join) jonrafkind 03:00 (join) mithos28 03:01 (quit) mithos28: Client Quit 03:03 (quit) tps_: Quit: tps_ 03:30 (quit) dnolen: Ping timeout: 252 seconds 03:31 (join) raphie 03:31 raphie: what is used to generate the racket docs? I've seen it in other places including HTDP 03:40 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 03:42 jonrafkind: scribble 03:43 jonrafkind: i think htdp used some older thing 03:43 jonrafkind: tex2page 03:53 (quit) jonrafkind: Ping timeout: 248 seconds 03:53 (quit) Nisstyre-laptop: Quit: Leaving 04:02 (join) kofno 04:02 (quit) sirdancealot: Ping timeout: 252 seconds 04:03 (quit) kofno: Read error: Connection reset by peer 04:04 (join) kofno 04:07 (join) snowylike 04:07 (join) zacts 04:08 (quit) kofno: Ping timeout: 252 seconds 04:12 (quit) rmathews: Ping timeout: 245 seconds 04:15 (join) sirdancealot 04:21 (quit) raphie: Remote host closed the connection 04:32 (join) soegaard 04:40 (quit) notdan: Ping timeout: 255 seconds 04:41 (join) notdan 04:46 (quit) notdan: Ping timeout: 260 seconds 04:49 (join) notdan 04:54 (quit) sirdancealot: Ping timeout: 252 seconds 04:54 (quit) notdan: Read error: Connection reset by peer 04:54 (join) notdan 04:56 (join) MayDaniel 05:00 (join) mithos28 05:07 (join) sirdancealot 05:08 (join) bitonic 05:15 (quit) mithos28: Quit: mithos28 05:18 (join) mithos28 05:26 (quit) mithos28: Quit: mithos28 05:37 (quit) noam: Read error: Connection reset by peer 05:40 (join) rmathews 05:47 (quit) tcsc: Quit: computer sleeping 05:49 (join) tcsc 06:03 (quit) eikonos1: Ping timeout: 252 seconds 06:15 (quit) tcsc: Quit: computer sleeping 06:32 (quit) sirdancealot: Ping timeout: 248 seconds 06:33 (join) sirdancealot 06:41 (quit) snowylike: Ping timeout: 248 seconds 06:42 (join) snowylike 06:51 (join) jeapostrophe 06:51 (quit) jeapostrophe: Changing host 06:51 (join) jeapostrophe 06:58 (quit) clm: Quit: Page closed 07:06 (nick) ASau` -> ASau 07:36 (join) kofno 07:36 (quit) kofno: Read error: Connection reset by peer 07:36 (join) kofno 07:43 (quit) kofno: Ping timeout: 240 seconds 07:43 (join) jao 07:44 (quit) jao: Changing host 07:44 (join) jao 07:59 (join) kofno 08:23 (quit) kofno: Remote host closed the connection 08:29 (join) pinupgeek 08:29 (quit) pinupgeek: Changing host 08:29 (join) pinupgeek 08:29 (join) kofno 09:08 (quit) lusory: Ping timeout: 240 seconds 09:09 (join) lusory 09:36 (join) ijp 09:41 (quit) snowylike: Quit: Nettalk6 - www.ntalk.de 09:45 (quit) kofno: Remote host closed the connection 09:48 (join) tilde` 09:51 (join) tilde`_ 09:54 (join) kofno 09:54 (quit) tilde`: Ping timeout: 245 seconds 09:54 (nick) tilde`_ -> tilde` 10:00 (join) Kaylin 10:17 (join) mizu_no_oto 10:19 (join) torog 10:21 torog: i want something like (decval '(1 2 3 4)) -> 4321 10:21 torog: there should be a quick solution using fold ... but I don't get it 10:22 torog: someone can help me? 10:25 bremner: torog: I'd just do it with recursion. 10:30 (quit) Kaylin: Ping timeout: 248 seconds 10:32 torog: bremner: yeah, ofc. but I 10:32 torog: ... I'm feeling like there was a solution using higher ord. functions 10:32 torog: and I don 10:32 torog: 't get it ... 10:32 torog: damn you, enter key! 10:33 torog: I have seen something with curry and fold, and now I can't remember <.< 10:37 (quit) kofno: Remote host closed the connection 10:40 (join) anRch 10:42 (quit) torog: Quit: leaving 10:46 (join) bitonic` 10:48 (quit) bitonic: Ping timeout: 252 seconds 10:58 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs) 11:00 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 11:07 chandler: rudybot: eval (foldr (lambda (x y) (+ (* 10 x) y)) 0 '(1 2 3 4)) 11:07 rudybot: chandler: your sandbox is ready 11:07 rudybot: chandler: ; Value: 100 11:07 chandler: erk. 11:08 chandler: rudybot: eval (foldr (lambda (x y) (+ x (* 10 y))) 0 '(1 2 3 4)) 11:08 rudybot: chandler: ; Value: 4321 11:16 (join) zacts 11:16 (quit) anRch: Read error: Connection reset by peer 11:17 (join) anRch 11:27 (join) noam 11:38 (join) kofno 11:39 (quit) bitonic`: Ping timeout: 248 seconds 11:40 (join) jonrafkind 11:42 (quit) kofno: Ping timeout: 256 seconds 11:46 (join) bitonic` 11:52 (quit) zacts: Changing host 11:52 (join) zacts 12:01 (quit) merijn: Ping timeout: 260 seconds 12:01 (quit) anRch: Quit: anRch 12:01 (join) dnolen 12:02 (join) snowylike 12:10 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs) 12:21 (join) zacts 12:21 (quit) zacts: Client Quit 12:22 (join) zacts 12:25 (join) Shvillr_ 12:26 (quit) Shviller: Disconnected by services 12:26 (nick) Shvillr_ -> Shviller 12:38 (quit) snowylike: Quit: Nettalk6 - www.ntalk.de 12:51 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs) 12:52 (join) Nisstyre-laptop 12:54 (quit) eataix: Ping timeout: 245 seconds 12:54 (join) safekeeping_ 12:56 (quit) safekeeping: Ping timeout: 245 seconds 12:56 (join) eataix 12:56 (join) Shviller 12:57 (join) zacts 13:09 (join) merijn 13:14 (join) mithos28 13:32 (join) Kaylin 13:38 (quit) Kaylin: Read error: Connection reset by peer 13:42 (nick) bitonic` -> bitonic 13:42 (quit) zacts: Quit: leaving 13:44 (join) mizu_no_oto 13:55 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 13:59 (quit) cdidd: Remote host closed the connection 14:10 (join) mizu_no_oto 14:14 (quit) mizu_no_oto: Client Quit 14:15 (join) mizu_no_oto 14:35 (quit) rmathews: Quit: ... 14:35 (join) tcsc 14:38 (quit) mithos28: Quit: mithos28 14:39 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 14:41 (quit) jeapostrophe: Ping timeout: 240 seconds 14:48 (join) mithos28 14:51 asumu: This is on the reddit programming front page: http://www.reddit.com/r/programming/comments/16xz2e/realm_of_racket_an_illustrated_guide_to_a_modern/ 14:51 rudybot: http://tinyurl.com/bjmen3n 15:03 (join) bitonic` 15:05 (quit) bitonic`: Read error: Operation timed out 15:06 (join) bitonic` 15:07 (quit) pinupgeek: Quit: pinupgeek 15:12 (quit) bitonic`: Read error: Connection reset by peer 15:14 (join) mizu_no_oto 15:29 (join) pinupgeek 15:29 (quit) pinupgeek: Changing host 15:29 (join) pinupgeek 15:34 (join) gf3 15:34 (quit) dnolen: Ping timeout: 246 seconds 15:34 (join) tim-brown 15:35 tim-brown: does anyone know how to bind a keypress event in whalesong, while using whalesong/web-world? 15:38 tim-brown: hmmm... i'll be back tomorrow with this.... that's for sure! 15:38 (quit) tim-brown: Client Quit 15:40 (quit) mithos28: Quit: mithos28 15:41 (join) mithos28 15:55 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 16:00 (join) mizu_no_oto 16:14 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 16:28 (quit) safekeeping_: Read error: Connection reset by peer 16:29 (join) ASau 16:32 (join) eikonos 16:36 (quit) pinupgeek: Quit: pinupgeek 16:37 (join) jeapostrophe 16:37 (quit) jeapostrophe: Changing host 16:37 (join) jeapostrophe 17:06 ASau: Sorry, what was the URL for pre-release branch again? 17:06 ASau: I have lost it, and I'm on slow link to find it effectively. 17:07 Cryovat: asumu: That begs the question 17:07 Cryovat: What does the Racket animal look like? 17:07 ASau: (Human with assault rifle...) 17:09 jonrafkind: lol.. nice 404 page http://racket-lang.org/pre234 17:09 jonrafkind: took me a moment to figure out what it was 17:10 jonrafkind: ASau, is this what you want? http://pre.racket-lang.org/release/installers 17:11 asumu: Cryovat: http://en.wikipedia.org/wiki/Racket-tail 17:12 asumu: Or maybe http://en.wikipedia.org/wiki/Dorocordulia_libera 17:13 jonrafkind: asumu, http://en.wikipedia.org/wiki/Yakuza 17:13 Cryovat: That's clever 17:14 Cryovat: So it works because * returns 1 when called with no arguments? 17:14 jonrafkind: yea 17:14 Cryovat: asumu: That parrot is pretty fitting :D 17:15 Cryovat: And has a weird tail 17:20 (quit) MayDaniel: Read error: Connection reset by peer 17:21 Cryovat: I'll be disappointed if the final battle in Realm of Racket is anything less epic than the one in Land of LIsp ;) 17:21 jonrafkind: is it to write an interpreter? 17:22 Cryovat: Land of Lisp has an epic battle over earth 17:22 Cryovat: Between the Lisp aliens and the insects of the Bug kingdom 17:29 (join) kofno 17:31 (quit) kofno: Read error: Connection reset by peer 17:31 (join) bitonic` 17:31 (join) kofno 17:32 (join) zacts 17:41 (join) dnolen 17:53 (quit) bitonic`: Remote host closed the connection 17:53 (join) bitonic` 17:54 (quit) merijn: Ping timeout: 244 seconds 17:56 (join) tzafrir_laptop 17:57 (nick) bitonic` -> bitonic 17:57 tzafrir_laptop: I'm looking for an interesting project for my nephew. 17:58 tzafrir_laptop: It's a year-long programming assignment, should include algorithm, data-structures, and such 17:58 tzafrir_laptop: (that is: "real" programming) 17:59 Cryovat: What is he interested in? 17:59 tzafrir_laptop: Mostly music. 17:59 tzafrir_laptop: At school they learn mostly Java but also Racket 18:01 tzafrir_laptop: I was hoping to get him into a project that would be part of some existing program, 18:01 tzafrir_laptop: though the rules state that he should write a program on its own, I figure a separate "module" would do. 18:08 (quit) kofno: Remote host closed the connection 18:12 jonrafkind: maybe a music generator like fruity loops 18:12 jonrafkind: lends itself to functional programming 18:12 (join) kofno 18:17 tzafrir_laptop: Funny. I was looking into Overtone. 18:17 (quit) jonrafkind: Ping timeout: 248 seconds 18:19 (quit) jeapostrophe: Ping timeout: 256 seconds 18:22 (quit) ijp: Ping timeout: 248 seconds 18:24 (join) dyoo 18:25 dyoo: raphie: if you ever see this: the racket docs are generated with the Scribble documentation tool. http://docs.racket-lang.org/scribble/index.html 18:29 dyoo: tim-brown: if you see this: you should be able to use view-bind with an event type of "keypress" 18:31 dyoo: tzafrir_laptop: perhaps look into something that generates music? I believe John Clements's 'rsound' module on PLaneT may help 18:32 dyoo: tzafrir_laptop: the documentation to it is: http://planet.racket-lang.org/package-source/clements/rsound.plt/4/4/planet-docs/rsound/index.html 18:32 rudybot: http://tinyurl.com/aeke5f5 18:36 (join) netrino 18:38 (quit) kofno: Remote host closed the connection 18:44 (join) ijp 18:48 (join) kofno 19:03 (join) mizu_no_oto 19:03 (quit) mizu_no_oto: Client Quit 19:06 (quit) zacts: Quit: leaving 19:10 (quit) ijp: Quit: brb fixing teh internetz 19:16 (join) mizu_no_oto 19:22 (quit) Kallikanzarid: Quit: Quitting 19:27 mithos28: Is there any tool that allows static reasoning with contracts? 19:28 mithos28: I.e. at phase 1 constructing an object that can be turned into a contract at phase 0, but also allowing easier manipulations than raw syntax objects 19:29 (quit) dented42: Ping timeout: 252 seconds 19:51 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 19:57 (quit) dnolen: Ping timeout: 240 seconds 19:59 (join) dented42 20:02 (quit) kofno: Remote host closed the connection 20:06 (join) kofno 20:08 (quit) dented42: Quit: ZNC - http://znc.in 20:08 (quit) kofno: Remote host closed the connection 20:08 (join) dented42 20:10 (join) ijp 20:14 (join) kofno 20:18 (quit) kofno: Remote host closed the connection 20:32 dyoo: mithos28: sorry, I don't know about that one 20:32 mithos28: dyoo: I'm writing my own now 20:33 mithos28: TR needs a principled way of doing this 20:33 dyoo: mithos28: cool. good luck! 20:34 (join) jonrafkind 20:35 (join) kofno 20:46 (join) Kaylin 20:46 (quit) kofno: Remote host closed the connection 20:48 (quit) Demosthenex: Ping timeout: 255 seconds 20:50 (join) Demosthenex 20:55 (join) kofno 21:00 (join) dnolen 21:09 (quit) tcsc: Quit: computer sleeping 21:15 (quit) Demosthenex: Ping timeout: 256 seconds 21:17 (join) Demosthenex 21:24 (quit) Demosthenex: Ping timeout: 252 seconds 21:26 (join) Demosthenex 21:27 (quit) kofno: Remote host closed the connection 21:30 (join) tcsc 21:32 (join) kofno 21:35 (quit) kofno: Remote host closed the connection 21:36 (quit) Kaylin: Quit: Leaving. 21:55 (quit) mithos28: Quit: mithos28 21:58 (join) kofno 21:59 (join) rmathews 22:08 (join) jeapostrophe 22:08 (quit) jeapostrophe: Changing host 22:08 (join) jeapostrophe 22:18 (join) mizu_no_oto 22:30 (quit) jeapostrophe: Ping timeout: 256 seconds 22:31 (quit) rmathews: Quit: ... 22:38 (quit) offby1: Quit: time to reboot emacs -- twice a year, need it or not 22:38 (join) cdidd 22:41 (join) offby1 22:43 (quit) Nisstyre-laptop: Quit: Leaving 22:51 (quit) tcsc: Quit: computer sleeping 22:51 (quit) dyoo: Quit: dyoo 22:59 (join) Fare 23:01 (join) rmathews 23:06 (join) tcsc 23:11 (quit) cataska`: Quit: ERC Version 5.3 (IRC client for Emacs) 23:18 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:22 (join) mizu_no_oto 23:23 (join) RacketCommitBot 23:23 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/NUQ0Hg 23:23 RacketCommitBot: racket/master c553ce9 Kevin Tew: Added rmpi-make-remote-config 23:23 (part) RacketCommitBot 23:27 (join) cataska 23:35 (quit) jao: Ping timeout: 252 seconds 23:39 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:42 (join) sw2wolf 23:42 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 23:43 (join) sw2wolf 23:50 ozzloy: http://realmofracket.com/ still says "Coming Winter 2012!" 23:50 ozzloy: remniscent of "Under Construction" from the late 90s 23:51 (quit) sw2wolf: Quit: ERC Version 5.3 (IRC client for Emacs) 23:51 offby1: There's a butcher shop near my house that says "Coming Soon", and has done for about two years now. 23:52 (join) sw2wolf 23:57 ozzloy: lulz