00:09 (quit) kvda: Quit: x__x 00:16 (join) Kaylin 00:25 (join) kvda 01:02 (join) jeapostrophe 01:02 (quit) jeapostrophe: Changing host 01:02 (join) jeapostrophe 01:14 (quit) yoklov: Quit: bye! 01:37 (quit) jeapostrophe: Ping timeout: 260 seconds 01:41 (quit) friscosam: Quit: precise 01:48 (join) friscosam 02:25 (quit) kvda: Quit: x__x 02:31 (join) kvda 02:50 (quit) jonrafkind: Ping timeout: 255 seconds 02:58 (quit) Kaylin: Read error: Connection reset by peer 03:24 (quit) kvda: Quit: x__x 03:42 (quit) mithos28: Quit: mithos28 04:19 (join) _danb_ 04:31 (join) djcb 04:48 (join) djcb` 04:50 (quit) djcb: Ping timeout: 246 seconds 04:50 (join) bitonic 04:59 (join) bluezenix 05:07 (quit) bluezenix: Quit: Leaving. 05:17 (part) snorble_ 05:23 (join) djcb`` 05:24 (join) RacketCommitBot 05:24 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/XuikPg 05:24 RacketCommitBot: [racket/master] Typo (but these requirements should be eliminated eventually). - Eli Barzilay 05:24 RacketCommitBot: [racket/master] Completions for zsh. - Eli Barzilay 05:24 RacketCommitBot: [racket/master] Move the honu code for vim to collects/meta. - Eli Barzilay 05:24 (part) RacketCommitBot 05:24 (join) snorble_ 05:25 (quit) djcb`: Ping timeout: 245 seconds 05:32 (join) bluezenix 05:39 eli: ASau`: I'll add you. 05:39 (join) RacketCommitBot 05:39 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/NgyuGA 05:39 RacketCommitBot: [racket/master] small typo - Danny Yoo 05:39 (part) RacketCommitBot 05:48 eli: bremner, jamessan: ping 06:27 DGASAU: Thank you. 06:30 (quit) bluezenix: Quit: Leaving. 06:38 (join) Kaylin 06:51 (join) djcb``` 06:53 (quit) djcb``: Ping timeout: 252 seconds 06:57 (join) mceier 07:21 (join) plobzik 07:22 (quit) dspt: Quit: Lost terminal 07:22 (quit) plobzik: Client Quit 07:22 (join) plobzik 07:24 (quit) plobzik: Read error: Connection reset by peer 07:29 (join) masm 07:52 bremner: eli: good morning 08:00 eli: bremner: Already asked in an email... 08:01 bremner: ok 08:01 bremner: now you know the order I look at things ;) 08:03 eli: bremner: Yeah, not surprising... 08:04 eli: bremner: As long as you're here, I need to apologize for not answering your question about the broken language barfing about taints. 08:05 eli: First, using 5.2 is not a good idea with my language, since I tend to follow new things fast enough, and it rarely fits anything except for the latest version. 08:05 eli: (This is usually because I rely on a bunch of internal TR things.) 08:06 eli: But second, that particular problem is because of some problem with racket/package that should be resolved, but that waits for Matthew... 08:07 bremner: ok. I more less wanted to stick with the same version I started the term with, to avoid problems with students having different versions. 08:07 eli: Yeah, obviously switching mid-semester is a bad idea... 08:07 bremner: probably you started with a pre-release, or debian was a bit behind 08:08 eli: No, I stick to the released versions, and I also try to avoid upgrading mid-semester, except in cases where I need some bug fixed which requires upgrading. 08:09 eli: In rare cases I'll grab a nightly build and have the students use that -- but those are thankfully very rare. 08:09 bremner: eli: anyway, I wanted to tell you I got some positive feedback from students on your language/notes 08:10 eli: For the broken-scope language I had a hack somewhere, making the handin server loose for that. 08:10 eli: But I can't find it now -- maybe it was resolved... 08:10 bremner: It would of course be even nicer if/when plai is updated. 08:10 eli: Ugh, that's another embarrassing thing... 08:10 eli: I really need to start talking about it more seriously... 08:11 eli: In any case, positive feedback is nice to hear, of course, but if there are any issues then I'd love revising it. 08:11 eli: (... love getting feedback so I can revise it.) 08:12 bremner: well, I think I complained as things came up. Otherwise I had to change things a bit to adapt to lack of racket background 08:12 bremner: mostly I just did less. 08:13 eli: Yeah, that part is probably not going to be in the book, and I expect people to have very different requirements for it. 08:15 bremner: I think the only "philosophical difference" I had was one or two places I chose (e.g. with the Number = Real ) to leave PL closer to typed racket at the possible cost of some other confusion. 08:17 eli: bremner: Yeah, that might change too. Were there other such issues? 08:19 bremner: hmm. that looks like the only one where my PL dialect diverged. So maybe I'm just imagining a general phenomenon. 08:19 eli: BTW, I thought that you were on the west side, I now see that it's actually on the NE side. 08:20 eli sighs 08:20 bremner: of the continent? Boston is one of the closest "real" cities 08:21 eli: Yeah, and you're in the direction that always tempts me to start driving. 08:21 bremner: well, drop by anytime. 08:21 eli: A few years ago we went on a trip to Newfoundland, which we really liked. 08:22 eli: Mostly because flying over it makes it look so interesting... 08:22 bremner: yeah, it's amazing. Bay of Fundy is pretty cool too. 08:22 eli: I keep dreaming about a long winter trip... 08:22 eli: But that looks extremely expensive. 08:23 eli: (Talking about places where you can only fly around.) 08:24 bremner: there can be some storms in the winter not too conducive to travel, also. 08:25 eli: And that is exactly why I want to do that... 08:26 eli: I love extreme weathers. Deserts and frozen places. 08:26 eli: The whole new england thing with nice fluffy trees and such is not as appealing to me... 08:29 bremner: grass is always greener... ;) 08:29 eli: Yeah.. 08:29 eli: But I grew up in a desert, and I loved it. 08:31 jamessan: deserts definitely have their own unique sort of beauty. I couldn't live in a hot desert, though 08:33 eli: Real deserts are great. 08:34 eli: Ones where you can jump from a dune and dive into the sand. 08:34 (quit) JuanDaugherty: Quit: Exeunt IRC 08:34 eli: Here: http://g.co/maps/edg8e 08:34 (join) jao 08:35 (quit) jao: Changing host 08:35 (join) jao 08:35 eli: That hill is were I lived... 08:36 jamessan: I'm used to the SW US style of desert :) lots of family in AZ 08:38 eli: That's a more mild weather, but I can tell you that the first time I went to Utah the first thing that hit me when I went out of the plane is how great the weather is... 08:39 eli: jamessan: BTW, about your libpng patch -- Matthew pointed me at the new #:fail keyword for `ffi-lib', maybe you'll be able to try and see if that works? 08:40 jamessan: eli: ok, I'll revisit it this weekend. 08:40 eli: Thanks -- I can write some sketch code if it'll help. 08:41 eli: Actually, I'll do it now. 08:44 eli: jamessan: Something like this: 08:44 eli: (let loop ([lib+args ...]) 08:44 eli: (apply ffi-lib (car lib+args) 08:44 eli: #:fail (let ([rest (cdr lib+args)]) 08:44 eli: (and (pair? rest) (λ () (loop rest)))))) 08:44 (join) ssbr 08:44 eli: (Or just write the three levels, of course.) 08:49 jamessan: no need to add me to the notifications. I'm subscribed to dev@ 08:50 eli: ok 08:58 (quit) bitonic: Quit: WeeChat 0.3.5 09:02 bremner: oh, good point, I am too. 09:02 bremner: so, yeah, as long as the notifications are going to dev, that is fine. 09:02 bremner: doh. 09:03 eli: bremner: Yeah, that's more in case you're usually zoning out of the noise, and a direct email helps. 09:03 eli: You're off too now. 09:04 bremner: well, I might be actually, but probably between jamessan and I we'll catch what needs to be caught. 09:05 eli: OK. 09:07 otterdam: nice thing about lurking; sometimes you see people do things like using λ for sketch code, wonder why they don't use lambda, and then discover the shortcut for inserting λ in DrRacket 09:09 bremner: somebody should make an APL-like racket dialect, #lang snowman 09:09 (join) bluezenix 09:10 eli: rudybot: (define ☺ '☹) 09:10 rudybot: eli: your sandbox is ready 09:10 rudybot: eli: Done. 09:10 eli: rudybot: (list ☺ ☺ ☺) 09:10 rudybot: eli: ; Value: (☹ ☹ ☹) 09:12 otterdam: finally, my ☃ keybinding comes in handy 09:12 Kaylin: is that a penguin? 09:13 (quit) bremner: Read error: Connection reset by peer 09:26 (join) Shvillr_ 09:26 (quit) Shviller: Disconnected by services 09:26 (nick) Shvillr_ -> Shviller 09:32 otterdam: unicode snowman for you 09:38 (quit) Kaylin: Quit: Leaving. 09:48 (part) fftb_ 09:52 (join) RacketCommitBot 09:52 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/kB3gDw 09:52 RacketCommitBot: [racket/master] properly deal with menu shortcuts that are symbols (e.g., 'f1) in - Robby Findler 09:52 (part) RacketCommitBot 09:52 (join) kreol[Ukr] 09:53 (join) bitonic 09:58 (join) jeapostrophe 09:58 (quit) jeapostrophe: Changing host 09:58 (join) jeapostrophe 10:08 (quit) ASau`: Ping timeout: 244 seconds 10:11 (join) djcb```` 10:12 (join) ASau` 10:12 (quit) djcb```: Ping timeout: 246 seconds 10:14 (quit) ssbr: Ping timeout: 272 seconds 10:15 (join) djcb````` 10:16 (quit) djcb````: Ping timeout: 244 seconds 10:23 (join) ssbr 10:36 (quit) ssbr: Ping timeout: 255 seconds 11:11 (quit) flying_rhino: Read error: Connection reset by peer 11:20 (quit) bitonic: Quit: WeeChat 0.3.5 11:38 (join) 92AAASJLJ 11:38 (join) 65MAAKXD9 11:57 (join) jonrafkind 11:57 (quit) jonrafkind: Changing host 11:57 (join) jonrafkind 11:59 (quit) bluezenix: Quit: Leaving. 12:08 (join) antithesis 12:17 (nick) 92AAASJLJ -> bremner 12:32 (quit) jeapostrophe: Ping timeout: 272 seconds 12:55 (join) mithos28 12:55 (join) bitonic 12:56 (join) dnolen 13:15 (quit) em: Ping timeout: 246 seconds 13:17 (join) plobzik 13:18 (join) em 13:18 (quit) plobzik: Read error: Connection reset by peer 13:25 (join) RacketCommitBot 13:25 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/ogEVQQ 13:25 RacketCommitBot: [racket/master] add a form to declare a module/library deprecated - Matthias Felleisen 13:25 RacketCommitBot: [racket/master] use deprecated from manual, deprecate 'deprecate' in common - Matthias Felleisen 13:25 RacketCommitBot: [racket/master] use deprecated from manual for teachpacks - Matthias Felleisen 13:25 (part) RacketCommitBot 13:30 (join) bluezenix 13:38 em: what is online compilation /online expansion? / w3 13:54 (quit) em: Ping timeout: 272 seconds 13:55 (quit) djcb`````: Ping timeout: 244 seconds 13:55 (join) em 14:03 (quit) bluezenix: Quit: Leaving. 14:16 (join) jhemann 14:17 (quit) em: Ping timeout: 245 seconds 14:26 (join) em 14:29 (quit) jonrafkind: Ping timeout: 252 seconds 14:30 (quit) em: Remote host closed the connection 14:31 (join) em 14:34 (quit) _danb_: Ping timeout: 244 seconds 14:46 (quit) em: Remote host closed the connection 14:47 (join) em 14:51 (quit) antithesis: Remote host closed the connection 14:55 (quit) em: Ping timeout: 244 seconds 14:57 (join) em 15:02 (quit) em: Ping timeout: 246 seconds 15:09 (join) zyoung 15:11 (join) jhemann_ 15:16 (quit) jhemann: Ping timeout: 276 seconds 15:18 (join) em 15:21 (quit) em: Remote host closed the connection 15:22 (join) em 15:32 (quit) em: Ping timeout: 272 seconds 15:49 (quit) zyoung: Remote host closed the connection 15:57 (join) zyoung 15:57 (quit) zyoung: Remote host closed the connection 16:09 (quit) dnolen: Read error: No route to host 16:14 (join) mithos28_ 16:16 (join) mithos28__ 16:17 (quit) mithos28: Ping timeout: 252 seconds 16:17 (nick) mithos28__ -> mithos28 16:19 (quit) mithos28_: Ping timeout: 276 seconds 16:33 (join) em 16:45 (quit) jhemann_: Ping timeout: 276 seconds 16:46 (join) jhemann 16:48 (join) zyoung 16:56 (quit) zyoung: Remote host closed the connection 17:13 (join) zyoung 17:14 (quit) zyoung: Remote host closed the connection 17:26 (quit) asumu: Ping timeout: 260 seconds 17:38 (join) nilyaK 17:48 (join) asumu 17:57 (join) yoklov 17:59 (join) ssbr 18:00 (join) antithesis 18:06 (quit) mceier: Quit: leaving 18:09 (quit) jhemann: Ping timeout: 252 seconds 18:20 (quit) bitonic: Quit: WeeChat 0.3.5 18:33 (join) bitonic 18:49 (quit) bitonic: Quit: WeeChat 0.3.7 18:50 (join) bitonic 18:53 (join) jhemann 19:09 (join) jeapostrophe 19:17 (quit) masm: Quit: Leaving. 19:51 (quit) dented42: Quit: Computer has gone to sleep. 19:51 (quit) nilyaK: Read error: Connection reset by peer 20:21 (join) dnolen 20:28 (quit) bitonic: Quit: WeeChat 0.3.7 20:44 (quit) ssbr: Ping timeout: 260 seconds 20:44 (join) zyoung 20:46 (quit) jeapostrophe: Ping timeout: 244 seconds 20:46 (join) ssbr 21:23 (quit) antithesis: Quit: yes leaving 21:33 (quit) dnolen: Ping timeout: 244 seconds 21:45 (quit) zyoung: Remote host closed the connection 22:41 (join) jeapostrophe 22:41 (quit) jeapostrophe: Changing host 22:41 (join) jeapostrophe 23:24 (quit) jao: Ping timeout: 260 seconds 23:35 (join) RacketCommitBot 23:35 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/pKFc8g 23:35 RacketCommitBot: [racket/master] Enlarged cache for get-pixel-color from one image to 3, so you can - Stephen Bloch 23:35 RacketCommitBot: [racket/master] Added fold-image and fold-image/extra functions, as well as tests for - Stephen Bloch 23:35 RacketCommitBot: [racket/master] Documentation for fold-image and fold-image/extra. - Stephen Bloch 23:35 (part) RacketCommitBot 23:43 (join) fftb