00:01 (join) mye^ 00:05 (quit) ^mye^: Ping timeout: 264 seconds 00:08 (join) offby1` 00:08 (quit) offby1`: Changing host 00:08 (join) offby1` 00:10 (quit) offby1: Ping timeout: 240 seconds 00:24 (nick) offby1` -> offby1 01:01 (join) jonrafkind 01:09 (join) ^mye^ 01:12 (quit) mye^: Ping timeout: 250 seconds 02:04 (quit) misterm: Ping timeout: 276 seconds 02:27 (quit) _danb_: Quit: ERC Version 5.3 (IRC client for Emacs) 02:31 (quit) jonrafkind: Ping timeout: 250 seconds 02:55 (quit) coyo: Read error: Connection reset by peer 02:56 (join) mye^ 02:57 (join) coyo 02:59 (quit) ^mye^: Ping timeout: 252 seconds 03:14 (join) lucian 03:27 (join) mceier 03:33 (quit) lucian: Remote host closed the connection 04:51 (join) ^mye^ 04:54 (quit) mye^: Ping timeout: 252 seconds 04:55 (join) tfb 04:58 (quit) tfb: Client Quit 04:59 (join) tfb 05:10 (join) jao 05:10 (quit) jao: Changing host 05:10 (join) jao 06:04 (quit) ^mye^: Ping timeout: 252 seconds 06:17 (nick) mario-go` -> mario-goulart 07:13 (join) masm 07:48 (quit) lithpr: Disconnected by services 08:05 (quit) mceier: Quit: leaving 08:19 (join) MayDaniel 08:36 (quit) MayDaniel: 08:40 (join) mceier 08:51 (join) stamourv` 08:51 (quit) stamourv: Remote host closed the connection 09:10 (join) dnolen 09:18 (quit) masm: Quit: Leaving. 09:37 (join) PLT_Notify 09:37 PLT_Notify: racket: master Matthew Flatt * 107b349 (1 files in 1 dirs): cocoa: fix `play-sound' handling of async flag 09:37 PLT_Notify: racket: master Curtis Dutton * 7a33c9c (1 files in 1 dirs): Adds ssl-try-verify! to the openssl package along with supporting procedures. ... 09:37 PLT_Notify: racket: master Matthew Flatt * ff6da2e (2 files in 1 dirs): add docs for openssl additions 09:37 (part) PLT_Notify 09:45 (quit) mceier: Quit: leaving 10:02 (join) mceier 10:24 (join) MayDaniel 10:27 (quit) MayDaniel: Read error: Connection reset by peer 10:30 (join) tauntaun 10:31 (join) anRch 10:53 (quit) dnolen: Quit: dnolen 11:12 (join) PLT_Notify 11:12 PLT_Notify: racket: master Eli Barzilay * a3d00a9 (15 files in 4 dirs): More LGPL permissions from Chongkai, Neil, and Olin. ... 11:12 PLT_Notify: racket: master Eli Barzilay * f6f7e4e (1 files in 1 dirs): Clarify licensing of deflate code. ... 11:12 PLT_Notify: racket: master Eli Barzilay * 22afec4 (1 files in 1 dirs): Use "127.0.0.1" instead of "localhost" which can be more fragile. ... 11:12 PLT_Notify: racket: master Eli Barzilay * 1e3516c (1 files in 1 dirs): Set responsible for tests/openssl 11:12 PLT_Notify: racket: master commits 8ea32d6...1e3516c - http://bit.ly/gbSQzE 11:12 (part) PLT_Notify 11:12 (join) carleastlund 11:14 eli: bremner: a3d00a9 and f6f7e4e; and if I followed things correctly, the last issue is the two latex things, right? 11:42 Lajla: eli, 11:42 Lajla: how do continuations work 11:42 eli: Like this: 11:48 (join) coyotama|2 11:49 (quit) anRch: Quit: anRch 11:49 (quit) coyo: Read error: Connection reset by peer 11:49 tauntaun: lol 11:51 (join) corruptmemory 12:00 Lajla: eli, you troll me. 12:07 (quit) sethalves: Ping timeout: 260 seconds 12:07 (join) sethalves 12:25 (join) PLT_Notify 12:25 PLT_Notify: racket: master Eli Barzilay * adf18c7 (1 files in 1 dirs): Use runtime paths to make this work from a different directory - http://bit.ly/eAnCmI 12:25 (part) PLT_Notify 12:25 eli: Lajla: Only because you trolled me... 12:25 Lajla: eli, how? 12:26 eli: "Lajla: how do continuations work" 12:27 Lajla: eli, yeah, I gathered you interpreted that as trollig 12:27 (join) jonrafkind 12:27 Lajla: but it's a serious quaestion, nay? 12:27 eli: Sure it is. 12:27 Lajla: And terribly on-topic, if I do say so myself. 12:27 Lajla: So, why is it trolling? 12:27 eli: One that requires more than some IRC chat. 12:27 eli: One that I'm being paid to teach as part of a course. 12:28 eli: One that takes considerable verbal effort, which will make putting it into short irc sentences pretty hard. 12:28 eli: And finally -- one that could be fitting for #racket-lectures, or more generally #scheme-lectures, or more generally #cs-lectures -- if anyone is crazy enough to do something like that. 12:29 tauntaun is doing just such a crazy thing. 12:29 Lajla: Well, then I at maxed asked a quaestion that was too complicated 12:29 Lajla: not trolling. 12:29 (quit) Demosthenes: Ping timeout: 260 seconds 12:29 Lajla: And I don't know, I feel that I have given people a reasonable beginners grasp of the idea in under 300-400 lines on IRC. 12:29 (join) Demosthenes 12:31 bremner: that's a lot of effort for people with other things than IRC to take care of ;) 12:31 Lajla: 800 strokes per minute raprezent baby 12:33 (join) anRch 12:35 eli: Lajla: If you've given people a reasonable grasp of the idea on irc, then the question that you asked me is most definitely trolling. 12:36 eli: tauntaun: on *irc*? That would be insane, IMO... 12:36 Lajla: eli, why? that I know how it works from some perspective doesn't mean that another one isn't helpful in some way to me. 12:37 bremner: eli: I'll double check my litany of complaints against the latest source and get back to you. 12:37 Lajla: I didn't mean to troll you in any way. 12:40 tauntaun: eli: no, I mean live (you know what I'm referring to.) 12:40 tauntaun: But it's still free of charge. 12:40 eli: bremner: (BTW, in case you missed it in the noise -- there was a comment/question there for you.) 12:40 eli goes back to grading 12:41 bremner: eli: right, my response was "uhh, I'll have to double check" 12:44 eli: Lajla: It means that you already had a good grasp of the subject when you asked the question, yet didn't say that. Had I actually started to reply to you, I wouldn't have assumed that and therefore I'd waste a good amount of effort for no good reason. Lucky for me, I could guess what was coming and have avoided the whole wastage. 12:44 eli: tauntaun: Well, my point was that doing that in *irc* would be insane. In a face-to-face lecture things work out much better, of course. 12:45 eli: bremner: OK. Just as a reminder, this doesn't include the stuff in tests (which you should be able to just drop). 12:45 bremner: eli: right, good reminder. 12:46 eli: It's probably best if we deal with that too, though it will be harder to do that. 12:46 bremner: yeah, time being precious and all. 12:46 eli: :) 12:48 tauntaun: eli, you must have a done of grading if you've been doing it for two days straight... 12:48 tauntaun: (done->ton) 12:48 eli: tauntaun: Not really, I'm just lazy about it. 12:49 tauntaun: ah... 12:49 eli: I grade too well for my own good, which I usually cover up for by getting help; but this semester my grader seems overwhelmed. 12:49 eli: "too well" = write comments etc that I know most people will not read... 12:49 (quit) sethalves: *.net *.split 12:49 tauntaun: I imagine the test-taker would care about the comments, no? 12:49 tauntaun: (I know my students do.) 12:50 eli: I've been surprised in the past... 12:50 tauntaun: What are you teaching this semester? Same thing as last semester? 12:50 tauntaun: (I'll check barzilay.org.) 12:50 eli: Yeah. 12:50 tauntaun: Year long-course? Or are you repeating the semester-long course? 12:50 eli: Even when I did it on paper, there were people who wouldn't even bother getting their graded exams back. 12:51 (join) sethalves 12:51 eli: One semester, repeated. 12:51 eli: It's pl.barzilay.org, btw -- which is one of the links I owed you. 12:51 tauntaun: Wow...the NEU undergrads are evidently not as serious as the grad students... 12:52 eli: Nah, I think it's roughly the same as other places -- in the US. 12:53 eli: Or maybe Israel has changed too, and it's just my outdated memory to blame. 12:53 eli: In any case, doing a paperless test improved that, since it's much easier to get and read the comments. 12:57 (quit) sethalves: *.net *.split 12:57 Lajla: eli, why? I personally find it easier to explain mathematical concepts in writing than verbally. 12:57 tauntaun: The Friedman/Wand/Hand book doesn't seem to be downloadable as PDF. Is it worth buying? 12:58 Lajla: mathematical notation is often impossible to pronounce and even when done, often impossible to follow. 12:58 (join) sethalves 12:59 eli: Lajla: Because. 13:00 eli: tauntaun: You mean .../Haynes? Did you see PLAI? 13:01 tauntaun: Already have PLAI. Was wondering about the other one (yes, Hand->Haynes). 13:01 (join) wijeiwje 13:03 (join) tfb_ 13:03 (quit) tfb: Disconnected by services 13:03 (nick) tfb_ -> tfb 13:04 eli: tauntaun: It's more formal than PLAI, which can be an advantage or a disadvantage. Probably easy to get a copy in some library to see what you think. 13:07 (quit) wijeiwje: Ping timeout: 272 seconds 13:07 (quit) tauntaun: Ping timeout: 252 seconds 13:07 (quit) corruptmemory: Ping timeout: 252 seconds 13:08 (join) tauntaun 13:08 (join) corruptmemory 13:08 (quit) tauntaun: Client Quit 13:12 jonrafkind: eli, I like your feedback section of your midterm. what were the responses like? 13:13 eli: jonrafkind: Not easily summarizable, but it was useful. 13:13 eli: I have a reply I sent to the class about it, if you really want to know. 13:14 jonrafkind: has it/will it influence how you do things? 13:15 eli: Yes, and yes. 13:15 (quit) zakwilson: Ping timeout: 250 seconds 13:15 (join) zakwilson 13:15 (quit) shachaf: Ping timeout: 250 seconds 13:16 (join) shachaf 13:22 (quit) sethalves: Ping timeout: 260 seconds 13:22 (join) sethalves 13:23 (join) martin_hex 13:23 (quit) martinhex: Disconnected by services 13:23 (nick) martin_hex -> martinhex 13:28 (quit) carleastlund: Ping timeout: 252 seconds 13:28 (quit) corruptmemory: Ping timeout: 252 seconds 13:29 (join) corruptmemory 13:32 (quit) bremner: Ping timeout: 260 seconds 13:33 (join) misterm 13:33 (quit) tfb: Quit: gone 13:33 (join) bremner_ 13:50 (quit) em: Ping timeout: 250 seconds 13:50 (quit) zakwilson: Ping timeout: 250 seconds 13:50 (join) em 13:50 (join) zakwilson_ 13:51 (nick) zakwilson_ -> zakwilson 13:53 (join) masm 13:54 (quit) em: Ping timeout: 250 seconds 13:55 (join) em 13:56 (quit) stamourv`: Ping timeout: 250 seconds 14:07 (quit) masm: Ping timeout: 276 seconds 14:09 (join) tauntaun 14:12 (join) masm 14:19 (join) ^mye^ 14:25 (join) evhan 14:40 (quit) tauntaun: Quit: Ex-Chat 14:46 (quit) anRch: Quit: anRch 15:14 (join) Kruppe 15:24 (join) carleastlund 16:04 (join) qha_ 16:05 (join) qha 16:05 (part) qha_ 16:22 (join) tauntaun 17:45 (quit) carleastlund: Quit: carleastlund 17:52 (join) lucian 17:55 (quit) tauntaun: Ping timeout: 252 seconds 17:56 (join) PLT_Notify 17:56 PLT_Notify: racket: master James Swaine * f4cae46 (1 files in 1 dirs): Added fsemaphore logging via the FSEMA_LOGGING preprocessor flag. - http://bit.ly/e6A35j 17:56 (part) PLT_Notify 17:58 (nick) Lajla -> omnipotentHomose 17:59 (nick) omnipotentHomose -> omnipotentGay 18:00 (join) lucian_ 18:01 (quit) lucian: Ping timeout: 250 seconds 18:01 (nick) lucian_ -> lucian 18:24 (join) tauntaun 18:27 (quit) evhan: Remote host closed the connection 19:03 bremner_: eli: done marking? ;) 19:06 bremner_: eli: guess not. OK, the only think outside of tests I still wonder about is collects/srfi/19/time.rkt . Which is weird because I thought all srfi's had to be under the license. But I could easily be wrong about that. 19:08 eli: bremner_: "Obviously not"... 19:08 eli: And yes, I forgot about srfi-19. 19:08 eli: I'll try to see if I can clarify things there. 19:09 bremner_: great! 19:17 (quit) Kruppe: Quit: ERC Version 5.3 (IRC client for Emacs) 19:25 (quit) lucian: Remote host closed the connection 19:36 (quit) mceier: Quit: leaving 19:54 (join) struys 20:21 (quit) struys: Quit: Leaving. 20:34 (quit) jonrafkind: Ping timeout: 240 seconds 20:44 (quit) askhader: Remote host closed the connection 20:48 (join) struys 20:48 (part) struys 20:48 (join) struys 21:02 (quit) struys: Quit: Leaving. 21:02 (quit) em: Ping timeout: 276 seconds 21:04 (join) em 21:04 (join) struys 21:07 (join) askhader 21:28 (join) dnolen 21:42 (quit) tauntaun: Quit: Ex-Chat 21:47 (join) marshal_ 21:47 marshal_: Hello? 21:49 offby1: Goodbye? 21:49 offby1: nobody here but us zombie processes. 21:58 marshal_: Okay 21:58 marshal_: I need help with a list process 21:58 marshal_: It's supposed to take (range x) and return the list from 0 to (- x 1) 21:59 marshal_: so (range 5) returns (0 1 2 3 4) 22:01 marshal_: I have something but it returns it the wrong way [(4 3 2 1 0)] 22:03 (join) tauntaun 22:06 bremner_: marshal_: are you allowed to user reverse? 22:06 bremner_: s/user/use/ 22:07 marshal_: yes, but reverse doesnt return it quite right 22:07 bremner_: you mean the extra level of [] ? 22:08 (quit) struys: Quit: Leaving. 22:08 marshal_: no those were not part of the return 22:08 marshal_: it returns 22:08 marshal_: (4 3 2 1 0) 22:08 marshal_: reversing it returns 22:09 marshal_: (3 1 0 2 4) 22:09 bremner_: you are not reversing in the right place I guess. 22:11 bremner_: write a helper function that returns (4 3 2 1 0), then call reverse on that. 22:11 offby1: rudybot: (reverse '(4 3 2 1 0)) 22:11 rudybot: offby1: your racket sandbox is ready 22:11 rudybot: offby1: ; Value: (0 1 2 3 4) 22:12 marshal_: ok i'll try that out 22:28 marshal_: Haha! that worked! 22:29 marshal_: Thank you! 22:30 bremner_: welcome 23:10 (quit) tauntaun: Ping timeout: 252 seconds 23:19 (quit) corruptmemory: Ping timeout: 252 seconds 23:20 (join) corruptmemory 23:21 (join) mye^ 23:22 (quit) masm: Quit: Leaving. 23:24 (quit) ^mye^: Ping timeout: 250 seconds 23:38 (quit) corruptmemory: Ping timeout: 252 seconds