00:24 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs) 00:24 (join) ambrosebs 00:34 (join) mizu_no_oto 00:38 (quit) mizu_no_oto: Ping timeout: 252 seconds 00:39 (join) ambroseb_ 00:41 (quit) ambrosebs: Ping timeout: 248 seconds 00:45 (quit) ambroseb_: Remote host closed the connection 00:50 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/ 00:58 (join) mithos28 01:06 (quit) safekeeping: Read error: Connection reset by peer 01:07 (join) shriphani_ 01:17 (quit) mceier: Quit: leaving 01:26 (quit) tuor: Quit: tuor 01:41 (quit) mithos28: Quit: mithos28 01:45 (quit) eli: Ping timeout: 276 seconds 01:50 (join) ambrosebs 01:51 (join) merijn 01:52 (join) mithos28 02:03 (quit) kofno: Remote host closed the connection 02:14 (quit) merijn: Ping timeout: 244 seconds 02:28 shriphani_: hi. is this problem fixed yet? http://lists.racket-lang.org/users/archive/2011-September/048277.html Will it be fixed soon ? 02:30 (join) myx 02:34 (join) kofno 02:35 (join) dsantiago 02:39 jonrafkind: you should reply to that email 02:41 (join) mceier 02:42 (quit) kofno: Ping timeout: 255 seconds 02:45 (join) merijn 02:56 neilv: weird 02:58 neilv: looks like i'm getting a situation in 5.3.1 in which a planet install of foo decides (while formatting documentation) to fetch and install bar (which i had recently released to planet and then removed the dev link), and then it says "found local, uninstalled copy of package at"... even if i removed that file before starting 02:59 neilv: anyway, i was going to show how the new version of my uri library handles that url bug, but will have to later 03:00 (quit) neilv: Quit: Leaving 03:00 (quit) ambrosebs: Remote host closed the connection 03:02 (quit) merijn: Ping timeout: 252 seconds 03:17 (quit) serhart: Quit: Leaving. 03:24 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 03:36 (join) hkBst 03:52 (join) tobi 03:53 (quit) mithos28: Quit: mithos28 04:00 (join) bniels 04:00 (join) eataix 04:06 (join) hkBst_ 04:06 (quit) hkBst_: Changing host 04:06 (join) hkBst_ 04:07 (quit) hkBst: Ping timeout: 272 seconds 04:14 (quit) hkBst_: Ping timeout: 246 seconds 04:15 (join) mye 04:16 (quit) jonrafkind: Ping timeout: 272 seconds 04:16 (join) hkBst_ 04:23 (join) hkBst__ 04:23 (nick) hkBst__ -> hkBst 04:23 (quit) hkBst_: Ping timeout: 272 seconds 04:24 (join) bitonic 04:35 (join) hkBst 04:35 (quit) hkBst: Changing host 04:35 (join) hkBst 04:41 (quit) mye: Quit: mye 04:42 (join) merijn 04:56 (join) tilde` 04:58 (join) ambrosebs 05:39 (quit) ambrosebs: Remote host closed the connection 05:48 (join) MayDaniel 05:49 (quit) cdidd: Ping timeout: 272 seconds 06:01 (quit) MayDaniel: 06:05 (join) MightyFoo 06:07 (join) ambrosebs 06:07 (quit) ambrosebs: Remote host closed the connection 06:15 shriphani_: hi. are there lazy versions of file->lines etc. in some srfi? 06:18 (join) mye 06:21 (quit) Cryovat: Read error: Operation timed out 06:21 (quit) ozzloy: Read error: Operation timed out 06:21 (join) Cryovat 06:23 (join) ozzloy 06:27 MightyFoo: shriphani_: maybe not quite what you're after but: in-port "Returns a sequence whose elements are produced by calling r on in until it produces eof." 06:27 MightyFoo: i'm guessing that it is "lazy" 06:27 (nick) MightyFoo -> tim-brown 06:27 shriphani_: tim-brown: I want to perform a reduce / foldl on it. 06:28 shriphani_: so I should use stream-fold ? 06:28 Sgeo: foldl is unlazy 06:28 tim-brown: for/fold may well be useful 06:28 Sgeo: It forces each element to be realized 06:29 tim-brown: tbh, i don't know about stream-fold; for/fold works lovely for me, though 06:31 shriphani_: ah it would have been neat to #lang lazy and then use the lazy fold with file->lines 06:33 Sgeo: shriphani_, well, for that a lazy file->lines would be useful, sure 06:33 (quit) bitonic: Ping timeout: 248 seconds 06:33 Sgeo: Although, do keep in mind that lazy I/O can be difficult to keep track of 06:34 shriphani_: also, I am approaching this as a super-n00b but if I do (lazy (read-line port)) and force it, why do I keep getting a cached value? Shouldn't it read on till eof? 06:35 Sgeo: I _think_ the thing created by lazy caches, so when you force twice you get the same value 06:36 (join) soegaard 06:36 Sgeo: Try delay/name 06:36 Sgeo: (Unless you need lazy 06:36 Sgeo: (Unless you need lazy's recursive forcing functionality) 06:36 Sgeo: "Creates a ?call-by-name? promise that is similar to delay-promises, except that the resulting value is not cached. " 06:41 (join) tuor 06:41 (join) noelw 06:44 (join) kofno 06:44 (quit) kofno: Read error: Connection reset by peer 06:47 (quit) noam_: Ping timeout: 264 seconds 06:55 (quit) mye: Quit: mye 07:05 (quit) tuor: Quit: tuor 07:11 tim-brown: is there a racket language/module/whatever that allows for unit tests to be combined with function definitions? 07:12 tim-brown: e.g. something like... (define/tested (f a) #:test (= (f 2) 4) (+ a 2)) 07:14 (join) kofno 07:15 Sgeo: tim-brown, one thing you can do is use module+ to keep adding to a test module 07:15 Sgeo: (define (f a) (+ a 2)) 07:16 Sgeo: (module+ test (check-equal (f 2) 4))) 07:16 Sgeo: err 07:16 Sgeo: (module+ test (check-equal? (f 2) 4))) 07:17 tim-brown: Sgeo: i know that; the current challenge in "plt games" www.pltgames.com is to: "The goal of this theme is to create a language that is somehow related to automated testing" 07:17 Sgeo: Ah 07:17 Sgeo: Well, just write a macro that expands into the appropriate code, I would suggest 07:17 tim-brown: i thought that modding racket to have a define/tested (a syntax that does exactly what you just described) 07:17 tim-brown: might fulfil the challenge 07:18 Sgeo: Does writing macros count as modding the language for the purposes of the challenge? 07:18 tim-brown: i've got the macro written (it's not so hard), but i didn't want to duplicate any effort elsewhere 07:18 Sgeo: Ah 07:18 tim-brown: nor did i want to suggest that racket doesn't have such a syntax IF it did 07:18 Sgeo doesn't know 07:19 (join) jeapostrophe 07:19 (quit) jeapostrophe: Changing host 07:19 (join) jeapostrophe 07:19 tim-brown: re does writing a macro constitute a language; if i can get a working #lang tag going, that satisfies *me* at least :-) 07:19 tim-brown: the other question is can I disable top-level "define" 07:20 tim-brown: that would show that I'm *serious* about enforcing TDD 07:20 noelw: Random testing is fun. That's what I would do (I'm a machine learning dude.) 07:20 tim-brown: (and that I haven't just writ a macro) 07:20 Sgeo: tim-brown, in a #lang, yes you can 07:21 Sgeo: The module that provides the lang should just provide everything from racket except for define 07:21 Sgeo: And other illegal constructs 07:22 (join) nielsb 07:22 tim-brown: i was also thinking that the #:test could also provide a "mock" function (somehow, not thought it through so much) so that: 07:23 tim-brown: (define/tested (f a) #:test (= (f 2) 4) #:test (= (f 0) 2) #|researching best way to implement this|#) 07:24 (quit) tilde`: Read error: Connection reset by peer 07:24 tim-brown: allows me (in a "mock" module) to call (f 0) or (f 2), to get usable results 07:24 (join) tilde` 07:25 tim-brown: (although I don't know whether this is a count bits, or an add 2 function at the moment) 07:25 (quit) bniels: Ping timeout: 276 seconds 07:25 tim-brown: personally, i also want to play around with syntax/parse 07:26 Sgeo: Hmm 07:26 tim-brown: Sgeo: Hmm, what? 07:27 (quit) tilde`: Read error: No route to host 07:27 Sgeo: Create a mock function based on the tests (although I don't see a general way to do that), and provide them from a specially named submodule 07:27 Sgeo: Anything that wants to use the mock functions requires the submodule rather than the direct module 07:27 Sgeo: Is that sufficient 07:27 tim-brown: is what I was thinking 07:28 (quit) nielsb: Quit: WeeChat 0.3.8 07:28 Sgeo: Or should code be forced to use the mocks against their will? (I don't think that can be done in Racket, although it can probably be done in Clojure and Common Lisp) 07:28 tim-brown: not sure how usable that would be in practice 07:29 tim-brown: not against their will -- if an implementation exists, then there prolly wouldn't be a need for a mock 07:29 tim-brown: (since the implementation would have to meet the tests and .: work the same as the mock) 07:29 (join) tilde` 07:30 (quit) Nisstyre-laptop: Quit: Leaving 07:31 Sgeo: What I tend to want is, a way to test code that uses some external API, and provide a fake API for it to use while testing, without changing the code 07:31 (join) bitonic 07:32 (quit) tilde`: Read error: Connection reset by peer 07:32 tim-brown: i'm not sure if what i'm proposing would work for you one or not... if i find time to get this working; it'd be interesting to see how useful it is to your way of working 07:34 (join) tilde` 07:36 (quit) tilde`: Read error: Connection reset by peer 07:45 (join) tilde` 07:49 (join) mye 07:51 (join) carleastlund 07:54 merijn: hmm, I'm playing around with xrepl, but it seems to misinterpret my delete key? It inserts a tilde instead of deleting a character 07:57 (quit) tilde`: Read error: Connection reset by peer 07:58 (quit) shriphani_: Ping timeout: 246 seconds 07:58 (join) tilde` 08:05 (quit) bitonic: Ping timeout: 244 seconds 08:07 (quit) tilde`: Read error: No route to host 08:07 (join) tilde` 08:08 (quit) tilde`: Read error: No route to host 08:12 (join) mizu_no_oto 08:18 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 08:21 (quit) tobi: Read error: Connection reset by peer 08:32 (join) shriphani_ 08:32 bremner: merijn: what kind of terminal emulator? 08:35 (join) tilde` 08:35 merijn: tmux running inside Terminal.app on OSX 08:36 merijn: (which is emulating an xterm-color terminal) 08:36 bremner: hmm. I guess it might be Terminal.app specific; tmux in urxvt works well here 08:37 merijn: Well, delete works in any other program I'm using, gdb, vim, bash, etc. 08:37 merijn: The only one where it breaks seems to be racket+xrepl 08:37 bremner: sure, I'm not saying the problem is Terminal.app's fault, just that I don't know where to go from there. 08:39 bremner: there are certainly some mac users around though, I guess they should know more than me. 08:40 (join) mizu_no_oto 08:41 (quit) tilde`: Read error: Connection reset by peer 08:41 (join) tilde` 08:43 bartbes: it's odd though, since the tilde is usually produced by the home key 08:45 (join) vu3rdd 08:45 (quit) vu3rdd: Changing host 08:45 (join) vu3rdd 08:46 merijn: hmm, there's something funky going on with xrepl anyway 08:46 merijn: If I paste unicode characters into it they're magically being turned into unicode escape sequences, which is really weird... 08:47 (join) bniels 08:47 (quit) tilde`: Read error: Connection reset by peer 08:48 (join) tilde` 08:48 bremner: and not to beat a dead horse, normally pasting unicode characters into Terminal.app is fine? 08:48 merijn: Yeah, it appears the readline used by Racket suffers from braindamage (and thus xrepl too) 08:49 merijn: If I run racket (no readline) and paste unicode it works just fine (not sure about delete as I have no arrows to move cursor without readline) 08:49 merijn: If I (require readline) and paste the same character again I get unicode escape sequences 08:50 bartbes: maybe you've got some messed up locale settings somewhere? 08:50 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 08:51 merijn: LANG=en_US.UTF-8, LC_ALL=en_US.UTF-8, LC_CTYPE=UTF-8 08:52 bartbes shrugs 08:52 (join) tobi 08:52 bartbes: well, it only seems to affect readline anyway 08:53 bartbes: or just racket+readline? 08:53 merijn: Just racket+readline module, my other readline applications work fine 08:54 merijn: So I'm guessing the Racket readline modules is broken or somehow linked to something broken 08:55 merijn: But I wouldn't really know how to figure out which locale racket is seeing if it's not using what I see from "export" 08:55 (join) bitonic 08:55 samth: merijn: the racket readline module is a pretty thin wrapper over gnu readline 08:56 (join) mizu_no_oto 09:05 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:06 (join) hash_table 09:08 (join) ambrosebs 09:10 (quit) mye: Quit: mye 09:17 bniels: merijn, are you sure that "LC_CTYPE=UTF-8" is a legal specification? according to setlocale(3), the language part is not optional 09:24 (quit) hash_table: Ping timeout: 264 seconds 09:32 (quit) bniels: Remote host closed the connection 09:35 (join) bniels 09:36 (quit) noelw: Ping timeout: 252 seconds 09:37 (join) mizu_no_oto 09:40 (join) asvil 09:41 merijn: bniels: I dunno, but changing it to en_US.UTF-8 doesn't fix things 09:47 (quit) kofno: Remote host closed the connection 09:49 (join) kofno 10:08 (quit) bitonic: Read error: Operation timed out 10:08 (quit) soegaard: Quit: soegaard 10:10 (join) Kaylin 10:11 (quit) bniels: Quit: WeeChat 0.3.8 10:12 (quit) kofno: Read error: Connection reset by peer 10:14 (join) kofno 10:18 (join) anRch 10:23 (join) soegaard 10:29 (join) mye 10:34 (join) mye_ 10:37 (quit) mye: Ping timeout: 272 seconds 10:37 (nick) mye_ -> mye 10:40 (quit) anRch: Read error: Connection reset by peer 10:40 (join) anRch_ 10:44 (join) hash_table 10:45 (join) RacketCommitBot 10:45 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/_vTgSg 10:45 RacketCommitBot: racket/master d406e2d Asumu Takikawa: Make srfi/19 compatible with date* structs... 10:45 RacketCommitBot: racket/master 8d1c56c Asumu Takikawa: Rackety 10:45 RacketCommitBot: racket/master 1ae216e Asumu Takikawa: Delete trailing whitespace 10:45 (part) RacketCommitBot 10:48 (quit) soegaard: Quit: soegaard 10:52 (quit) jeapostrophe: Ping timeout: 246 seconds 10:58 (quit) anRch_: Read error: Connection reset by peer 10:58 (join) anRch 10:59 (join) RacketCommitBot 10:59 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/Cs5rJg 10:59 RacketCommitBot: racket/master cd03585 Asumu Takikawa: HISTORY update 10:59 (part) RacketCommitBot 10:59 (quit) anRch: Read error: Connection reset by peer 10:59 (join) anRch 10:59 (quit) mceier: Quit: leaving 11:01 (quit) vu3rdd: Read error: Connection reset by peer 11:01 (join) vu3rdd 11:01 (quit) vu3rdd: Changing host 11:01 (join) vu3rdd 11:04 (join) cipher 11:04 (quit) cipher: Changing host 11:04 (join) cipher 11:05 (join) cataska` 11:07 (quit) cataska: Remote host closed the connection 11:15 (join) anRch_ 11:16 (quit) anRch: Read error: Connection reset by peer 11:16 (nick) anRch_ -> anRch 11:17 (join) didi 11:24 (quit) hkBst: Quit: Konversation terminated! 11:27 (join) Nisstyre-laptop 11:32 (quit) Kaylin: Ping timeout: 276 seconds 11:33 (join) MayDaniel 11:37 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 11:43 (quit) Shvillr: Ping timeout: 260 seconds 11:45 (quit) Nisstyre-laptop: Quit: Leaving 11:46 (quit) ambrosebs: Remote host closed the connection 11:47 (join) Shviller 11:57 (join) Nisstyre-laptop 12:03 (join) jeapostrophe 12:03 (quit) jeapostrophe: Changing host 12:03 (join) jeapostrophe 12:04 (quit) tilde`: Quit: kthxbai 12:09 (join) mceier 12:12 (join) mithos28 12:28 (join) anRch 12:33 (quit) jrslepak: Quit: What happened to Systems A through E? 12:35 (join) bitonic 12:35 (join) GojaN 12:41 (quit) merijn: Ping timeout: 252 seconds 12:42 GojaN: hello there... I want to know, is any history of the commands executed in the DrRacket terminal showed in the editor window? 12:42 (quit) Nisstyre-laptop: Quit: Leaving 12:43 (quit) anRch: Quit: anRch 12:48 (quit) asvil: Ping timeout: 255 seconds 12:59 (quit) bitonic: Ping timeout: 260 seconds 12:59 (join) anRch 13:00 (join) klr_ 13:00 asumu: GojaN: try alt-p 13:00 asumu: (that should let you "scroll up") 13:03 (join) bitonic 13:04 (join) mye_ 13:04 (nick) mye_ -> mye 13:09 GojaN: asumu: no luck, it prints the pi character "π" I'm using a Mac 13:10 (join) Nisstyre 13:11 (join) noam 13:12 Sgeo: Ctrl-uparrow? 13:15 GojaN: nice! Thanks Sego! 13:18 (join) soegaard 13:18 (quit) vu3rdd: Remote host closed the connection 13:18 Sgeo: You're welcome 13:27 (join) kofno_ 13:28 (quit) kofno: Ping timeout: 272 seconds 13:29 (quit) jeapostrophe: Ping timeout: 276 seconds 13:32 (quit) anRch: Quit: anRch 13:35 asumu: Oh, sorry, alt-p must be with emacs keybindings on. 13:38 (join) jonrafkind 13:38 (quit) jonrafkind: Changing host 13:38 (join) jonrafkind 13:38 GojaN: asumu: yes, maybe. Thanks you asumu anyway :) 13:39 (quit) Nisstyre: Ping timeout: 248 seconds 13:49 (join) mau_ 13:58 (join) cdidd 14:00 (quit) bitonic: Ping timeout: 252 seconds 14:24 (join) jeapostrophe 14:24 (quit) jeapostrophe: Changing host 14:24 (join) jeapostrophe 14:29 cky: asumu: .oO(Emacs keybindings? Does it mean that DrRacket can actually support paredit mode?) 14:30 Sgeo wants paredit in DrRacket 14:30 cky: :-D 14:30 asumu: cky: nah, but if you turn off menu keybindings it acts slightly more like emacs for keybindings. 14:30 cky: Bummer. 14:31 (join) mizu_no_oto 14:36 samth: mithos28: ping 14:46 (quit) Demosthenex: Ping timeout: 244 seconds 14:52 (join) ijp 14:54 (join) Demosthenex 14:56 (join) Kaylin 14:57 (quit) chrxn: Ping timeout: 276 seconds 14:57 (join) RacketCommitBot 14:57 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/7apCIA 14:57 RacketCommitBot: racket/master b656498 Sam Tobin-Hochstadt: Typed modules as languages doesn't currently work. 14:57 RacketCommitBot: racket/master 230172c Sam Tobin-Hochstadt: Use `syntax-procedure-alias-property` with struct constructor procedures as well.... 14:57 (part) RacketCommitBot 14:58 (join) chrxn 15:03 (quit) Demosthenex: Ping timeout: 240 seconds 15:04 (quit) jonrafkind: Ping timeout: 252 seconds 15:05 samth: greghendershott: you know about geiser, right? 15:06 stamourv: samth: I'm curious, what's that second commit for? 15:06 (join) gridaphobe 15:06 samth: right now the `constructor-for` property can't be trusted 15:06 samth: so this is a trusted way to do that 15:07 stamourv: Ok. 15:07 stamourv: Are you taking care of mithos28's pull requests? 15:08 greghendershott: samth: Yes, I've used Quack+Geiser, and sometimes just Quack+XREPL. 15:08 samth: stamourv: yes 15:09 stamourv: samth: Ok, great. 15:09 samth: greghendershott: is your mode intended to be used w/ geiser? 15:10 greghendershott: Probably but maybe also just with XREPL. I like Geiser but sometimes I need the ,log feature in XREPL which doesn't work with Geiser. 15:10 greghendershott: ATM I'm just doinking around, not trying to create any big thang 15:11 greghendershott: I did email neilv first to check 15:14 bremner: greghendershott: fwiw, I was thinking yesterday that some xrepl features in emacs would be useful; and geiser does seem a bit fragile sometimes. 15:15 bremner surprised eli hasn't done some xrepl+emacs thing 15:17 (join) eli 15:17 (quit) eli: Changing host 15:17 (join) eli 15:18 eli: bremner: ? 15:19 eli: You mean something that interacts with a running racket where expressions get sent to their proper context etc? 15:22 bremner: eli: I guess I'm not sure what I expect. I thought you might have some "inferior-xrepl" mode. I was looking for some way to start drracket on a buffer from within emacs. 15:24 bremner: I should say I just ran "git grep xrepl" in your EliEmacs git repo ;) 15:24 (join) mye_ 15:24 eli: bremner: One thing that I'd like to do is something that used to exist in the past -- it was called "DrSchemeJr" and was an attempt to implement the same interface in Emacs. 15:24 eli: That would be close to what geiser is doing. 15:25 eli: But if you want to just start drr from a buffer then that's much easier, you just run a shell command... 15:25 bremner: well, I don't really want to start a new drracket, just a new tab 15:26 bremner: maybe that has less to do with emacs, and more to do with extending drracket 15:26 eli: An extension that is semi-relevant that I have is a shell-command variant that has $f, $F, and $d have the current file name, the full name, and the directory. 15:26 eli: Makes it very convenient to do things like `F4 git checkout $f' 15:26 (nick) mye_ -> mye 15:27 eli: And for the drracket side, you should start it with a -singleInstance flag and have it running in the background, 15:27 bremner: oh, that's easy :) 15:27 eli: then you can run it again (with the same flag) on new files, and it will just open a tab. 15:27 eli: I don't use it for work, but it's very convenient in class. 15:27 (join) Demosthenex 15:27 bremner: right, that's what I want it for also. 15:27 eli: Do you use my emacs hacks in class? 15:28 eli: :) 15:28 bremner: no, I use my own emacs hacks based on emacsclient and geiser 15:28 eli: Phhft... 15:28 (quit) Kaylin: Ping timeout: 252 seconds 15:28 bremner: it's mostly great, except when I need e.g. the debugger. 15:28 (join) Kaylin 15:28 eli doesn't believe in stuff he didn't write, of course... 15:28 bremner: a true schemer ;) 15:28 (join) dyoo 15:29 eli: In any case, if you use my thing, then the two relevant keys are M-F1 and M-F2 15:29 (quit) GojaN: Ping timeout: 245 seconds 15:29 eli: The first one will start a related buffer showing just the selection, after maximizing the font so it is as big as possible 15:29 (quit) chrxn: Ping timeout: 248 seconds 15:29 eli: If there is no selection it tries to guess the region of racket code around the point. 15:30 eli: Editing this display buffer and then killing it updates the real buffer too. 15:30 (join) jrslepak 15:31 eli: And M-F2 does the same thing, except that instead of displaying the region it saves it in a temporary file and then starts drracket on it. 15:31 eli: With the -singleInstance thing. 15:31 eli: So it has exactly the effect that you want. 15:31 dented42: is using scribble/srcdoc for library documentation deprecated? because it doesn't seem to be able to document structures, classes, or interfaces, which rather limits it's usefulness. 15:31 eli: bremner: And generally speaking, I try to do more work in drr in class, since my emacs work habits are too obscure for the kids. 15:31 bremner: eli: right, I can probably adapt the M-F2 function to my workflow 15:32 eli: The first one is great too -- I actually use it *very* frequently. 15:32 bremner: eli: I'm using geiser, so it looks superficially similar. 15:32 eli: Basically on all of the little snippets of code. 15:33 eli: The whole thing is hopefully not too tied up to my environment too, maybe except for a couple of fuctions here and there. 15:33 (quit) hash_table: Ping timeout: 260 seconds 15:34 (quit) klr_: Quit: Lost terminal 15:34 bremner: Yeah, I can't remember now exactly why, but I headed off in the direction of generating seperate files for all the snippets, and using hyperlinks to those files from PDF files. 15:35 eli: Bah... Why? 15:35 (join) jonrafkind 15:35 eli: FWIW, I find the single text file thing is *extremely* convenient 15:35 eli: s/is// 15:35 eli: I've made many global changes to the course, and having a single file makes it very easy to adapt code. 15:36 eli: I also have code that dices the file according to dates, so students get one file per lecture. 15:36 (quit) dyoo: Quit: dyoo 15:36 eli: I considered making it a markdown thing at some point, but I still hate common markdowns way too much. 15:37 eli: Starting with the ugly `foo` convention instead of `foo' 15:37 eli: (And of course my Emacs displays `...'s with the nice quotes, instead of the ugly assymetric ascii characters that everyone else probably sees now.) 15:39 eli: http://tmp.barzilay.org/x.png 15:39 samth: eli: i think `` is a big improvement over the asymmetric `' 15:40 didi: All hail Latex. 15:40 (join) Shvillr 15:40 bremner: I'm not sure about the effort involved in getting it working, but now that I have beamer generated PDFs with syntax-highlighting (generated from the text files) I'm reasonably happy with that as something to distribute to students. 15:42 (quit) shriphani_: Quit: shriphani_ 15:47 eli: samth: You think wrong, of course. 15:47 eli: Let me explain why, very shortly. 15:47 eli: `` have no direction. 15:47 eli: They're a hack that doesn't mean anything textually because markdown confuses content and display. 15:47 eli: And worse, it does that *inherently*, so there's no way to avoid it. 15:47 eli: The assymetric `'s are much better because the content does have proper delimiters, and now rendering can be done independently in the exact same way that markdown does. 15:47 samth: eli: regardless of right or wrong, however, network effects swamp the other reasons 15:47 eli: In short, it's yet another case where markdown loses because of this mixture that it's trying to do -- yet another case where the pitiful attempt at "doing the right thing following what people write anyway" just breaks down completely: people *don't* write like that, and in fact, I believe that he chose ``s exactly because of the existing convention of `'s as single-sided symmetric quotations. 15:47 eli: The bottom line is that the whole idea of markdown is completely bogus at its root, since you do end up learning the syntax, and you do end up using particulars just for the way they end up rendering, and that's exactly what it was intended not to do. 15:47 eli: And because of that, I consider it a total fail. 15:47 eli: (Oh yes, and god save you if you run into obscure corner cases, where you start trying to second-guess how things will render, and god save you if you end up depending on "github-flavored markdown" or any of the other 2000 flavors, and god save you if you need to do things that go beyond what markdown does (like render some margin note, as greghendershott discovered recently).) 15:48 eli: Yes, network effects do work. That's how we ended up with Apple being what it is. 15:48 eli: 15:49 samth: i think invoking godwin in a discussion on markdown is a bit over the top 15:49 eli: Yet, that's what you deed by bringing up the "everybody's doing it" point... 15:49 eli: s/deed/did/ 15:50 eli: So I'd agree to the fact that ``s *only* redeeming point is the fact that it's been made popular. It's a sad fact, but it's there. 15:50 (quit) Kaylin: Read error: Connection reset by peer 15:50 samth: eli: no, i disagree that there's any analogy between suggesting that we should deal w/ markdown because it's popular, and nazis 15:51 samth: also, markdown is quite nice, and i find it useful in many contexts 15:51 samth: even when i don't actually render it 15:51 eli: (Oh, you really want to upgrade that from a semi-joke to a serious discussion? Consider "just following orders".) 15:52 samth: eli: did I say "just following orders"? 15:52 eli: (No, but that's how you do the godwin thing.) 15:52 samth: eli: believe me, i know how discussion on the internet works 15:52 eli: The markdown that you find quite nice in such contexts -- like in emails -- is something that pisses me off every time I see it. I can guarantee you that. 15:53 samth: de gustibus non est disputandem 15:56 eli: Nonsense. Not when communicating -- when you feed your text to me. 16:00 (join) francisl 16:09 (quit) jrslepak: Quit: What happened to Systems A through E? 16:12 mye: Is the "Add User-defined Keybindings from Planet…" thing in Edit->Keybindings in DrRacket actually useful for anything? 16:13 mye: If there are bindings on planet, I've never found them :-) 16:13 (quit) Demosthenex: Ping timeout: 248 seconds 16:13 (join) pygmalion 16:15 (join) Kaylin 16:19 samth: mithos28: ping 16:20 (join) jrslepak 16:22 mye: I can't figure out if the date struct is immutable or not :-/ 16:23 mye: I think it is, but apart from set-date-year! being undefinded, how does one tell? 16:24 (quit) Kaylin: Ping timeout: 255 seconds 16:29 jonrafkind: isnt there a mutable? predicate 16:29 jonrafkind: oh its immutable? 16:29 samth: mye: you can't, in general tell 16:31 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 16:31 (join) mizu_no_oto 16:35 (join) anRch 16:40 asumu: mye: the struct struct is immutable. 16:41 asumu: s/struct/date/ 16:48 (quit) pygmalion: Ping timeout: 264 seconds 16:48 (join) Demosthenex 16:53 (join) Kaylin 16:57 (quit) kofno_: Remote host closed the connection 17:00 (join) merijn 17:05 (quit) gridaphobe: Remote host closed the connection 17:07 (join) gridapho` 17:07 (quit) mithos28: Quit: mithos28 17:12 (quit) gridapho`: Read error: Connection reset by peer 17:17 (join) gridaphobe 17:17 (join) RacketCommitBot 17:17 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/wf-TbA 17:17 RacketCommitBot: racket/master b03450c Carl Eastlund: Clarified the purpose of quote-module-name and quote-module-path in the Scribble docs. 17:17 RacketCommitBot: racket/master 860cc3c Carl Eastlund: Added quote-srcloc-string and quote-srcloc-prefix to syntax/location.... 17:17 RacketCommitBot: racket/master 5130abf Carl Eastlund: Wrote documentation for quote-srcloc-string and quote-srcloc-prefix. 17:17 (part) RacketCommitBot 17:19 mye: Is there something like dict-apply f d: use the key/value pairs from d as keyword args for f? 17:22 mye: I'm trying to collect arguments for f in loop but I don't know the order, so in the loop I could build a dict. 17:23 mye: Aha, I'll simply define all the args above the loop and use set! inside it 17:23 Kaylin twitches. 17:24 mye: Kaylin: honestly, after fidgeting with this for nearly an hour now it's time to do *something* 17:24 Kaylin: *nods* 17:25 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 17:26 samth: mye: see `keyword-apply` 17:26 samth: rudybot: doc keyword-apply 17:26 rudybot: samth: your sandbox is ready 17:26 rudybot: samth: http://docs.racket-lang.org/reference/procedures.html#(def._((lib._racket%2Fprivate%2Fbase..rkt)._keyword-apply)) 17:26 (quit) cdidd: Remote host closed the connection 17:27 (join) cdidd 17:28 (join) kofno 17:30 (quit) merijn: Ping timeout: 276 seconds 17:32 (quit) cdidd: Ping timeout: 248 seconds 17:32 mye: samth: thanks 17:35 (join) netrino 17:36 (quit) kofno: Ping timeout: 245 seconds 17:38 samth: jeapostrophe: drdr needs kicking 17:38 mye: I just realized I was missing lots of stuff from the seach results bc. of not really being aware/caring of the second result page (keyword-apply is the first result on the second page) :O 17:39 mye: and that after so many hours with the racket docs :'( 17:41 (quit) eikonos: Quit: Leaving. 17:42 (quit) Kaylin: Ping timeout: 248 seconds 17:44 (join) Nisstyre 17:46 (join) cdidd 17:46 (quit) MayDaniel: Read error: Connection reset by peer 17:55 (quit) anRch: Quit: anRch 17:56 (join) dyoo 17:58 (join) RacketCommitBot 17:58 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ht3yyg 17:58 RacketCommitBot: racket/master a5daacd Eric Dobson: Fix register-struct-bindings! to meet correct contract.... 17:58 (part) RacketCommitBot 18:14 (join) tuor 18:25 (quit) didi: Ping timeout: 276 seconds 18:27 (join) francisl_ 18:31 (quit) francisl: Ping timeout: 260 seconds 18:31 (nick) francisl_ -> francisl 18:38 (quit) ijp: Ping timeout: 260 seconds 18:39 (join) Kaylin 18:43 (quit) Kaylin: Read error: Connection reset by peer 18:44 (quit) cdidd: Ping timeout: 245 seconds 18:45 (join) cdidd 18:50 (join) stchang 18:50 (quit) myx: Ping timeout: 276 seconds 18:53 (join) bitonic 18:53 (part) tuor 18:55 (quit) carleastlund: Quit: carleastlund 19:01 (quit) gridaphobe: Ping timeout: 252 seconds 19:01 (quit) dyoo: Quit: dyoo 19:03 (quit) cdidd: Ping timeout: 248 seconds 19:14 (join) eikonos 19:20 (quit) bitonic: Ping timeout: 240 seconds 19:25 (join) cdidd 19:27 (quit) eikonos: Quit: Leaving. 19:30 (quit) netrino: Remote host closed the connection 19:32 (quit) soegaard: Quit: soegaard 19:38 (join) eikonos 19:39 (quit) cdidd: Remote host closed the connection 19:41 (join) cdidd 19:47 (quit) cdidd: Read error: Connection reset by peer 19:50 (join) cdidd 20:04 (join) ozzloy_ 20:04 (quit) ozzloy: *.net *.split 20:11 (join) kofno 20:17 (quit) jeapostrophe: Ping timeout: 255 seconds 20:27 (quit) jonrafkind: Ping timeout: 256 seconds 20:56 (join) didi 21:06 (join) shriphani_ 21:12 (join) stask 21:19 (quit) mceier: Quit: leaving 21:33 (join) Kaylin 21:39 (join) sw2wolf 21:41 (quit) stask: Ping timeout: 245 seconds 21:44 (part) jschuster: "Leaving" 21:44 (join) jschuster 21:54 (quit) eikonos: Read error: Connection reset by peer 21:54 (join) eikonos1 22:07 (join) francisl 22:08 (join) Kaylin1 22:16 (quit) Kaylin1: Read error: Connection reset by peer 22:17 (quit) shriphani_: Ping timeout: 276 seconds 22:19 (join) dyoo 22:26 (quit) cdidd: Ping timeout: 256 seconds 22:27 (join) cdidd 22:34 (quit) cdidd: Ping timeout: 256 seconds 22:35 (join) cdidd 22:43 (nick) eikonos1 -> eikonos 22:43 (join) eikonos 22:44 (quit) Kaylin: Read error: Connection reset by peer 22:49 (part) dyoo 22:50 (quit) cataska`: Ping timeout: 252 seconds 22:52 (join) cataska` 22:53 (quit) cdidd: Read error: Connection reset by peer 22:54 (join) mithos28 22:55 (join) jonrafkind 22:55 (quit) jonrafkind: Changing host 22:55 (join) jonrafkind 22:56 (join) dyoo 22:57 (quit) dyoo: Quit: dyoo 22:57 (join) cdidd 23:05 (quit) cdidd: Ping timeout: 260 seconds 23:06 (join) cdidd 23:23 (quit) cdidd: Remote host closed the connection 23:27 (join) mizu_no_oto 23:32 (join) cdidd 23:37 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs) 23:44 (part) firefux 23:45 (quit) cataska`: Read error: Connection reset by peer 23:51 (quit) francisl: Quit: francisl 23:54 (join) cataska