00:01 (join) dnolen 00:02 (quit) zyoung: Ping timeout: 250 seconds 00:14 (join) mithos28 00:16 mithos28: Anyone know how to work around this TR bug? https://gist.github.com/2833691 00:17 mithos28: It gives an error of the form Type Checker: Macro foo from typed module used in untyped code in: foo 00:34 (join) jyc 00:35 (join) jesyspa 00:36 (join) veer 00:40 (part) _gcr: "ERC Version 5.3 (IRC client for Emacs)" 00:51 (quit) jesyspa: Quit: leaving 01:00 (join) nilyaK1 01:02 (quit) dnolen: Remote host closed the connection 01:03 (quit) nilyaK: Ping timeout: 240 seconds 01:12 (quit) hash_table: Ping timeout: 244 seconds 01:12 (quit) getpwnam: Ping timeout: 245 seconds 01:22 (join) ram` 01:34 (quit) manu3000: Quit: manu3000 01:45 (join) jyc_ 01:48 (quit) jyc: Ping timeout: 246 seconds 01:51 (nick) DraX_ -> DraX 01:51 (join) DraX 01:51 (quit) mithos28: Quit: mithos28 01:54 (quit) jeapostrophe: Ping timeout: 256 seconds 02:20 (join) hkBst 02:20 (quit) hkBst: Changing host 02:20 (join) hkBst 02:45 (join) __rahul__ 02:45 (join) rahul_ 02:46 (quit) darrenhp: Quit: Page closed 03:30 (join) RacketCommitBot 03:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/zgDAig 03:30 RacketCommitBot: [racket/master] New Racket version 5.3.0.10. - Eli Barzilay 03:30 (part) RacketCommitBot 03:32 nilyaK1: :O 03:39 (join) Kaylin 03:40 (join) dzhus 03:41 (quit) nilyaK1: Ping timeout: 246 seconds 03:53 (quit) jonrafkind: Ping timeout: 245 seconds 04:04 Cryovat: The version number keeps rising :D 04:04 Cryovat: What decides the version? 04:04 Cryovat: eli? ) 04:04 Cryovat: *;) 04:06 (join) bitonic 04:09 (quit) veer: Remote host closed the connection 04:21 (quit) jyc_: Read error: Connection reset by peer 04:40 (join) RenJuan 04:43 Shambles_: I'm starting to get the impression I should read "/" in identifiers as "as" or "with" (e.g. as contract, with interface). Is that correct? 04:46 (join) antithesis 04:52 (quit) kvda: Quit: Computer has gone to sleep. 04:53 (quit) antithesis: Quit: antithesis 04:53 (join) antithesis 04:54 (join) tim-brown 05:07 (quit) bitonic: Quit: WeeChat 0.3.7 05:13 (quit) Shvillr: Quit: bye 05:14 (join) Shvillr 05:54 (join) masm 06:01 jamessan: Cryovat: the fourth part of the version number is just used for nightly builds 06:05 (join) bitonic 06:09 (quit) bitonic: Client Quit 06:12 Cryovat: Ah, I see 06:20 (join) bitonic 07:02 (join) cdidd 07:10 (quit) ram`: Ping timeout: 252 seconds 07:18 (join) rahul__ 07:21 (quit) rahul__: Client Quit 07:38 tim-brown: does "make both" build cgc and 3m even if i haven't configured --enable-cgcdefault and --enable-3m? 07:38 bremner: I think cgc might be used for some bootstrapping stage, not sure how fully it is built 07:49 tim-brown: i want both (cgc is far easier to embed in C, unless I've got the wrong end of the stick about 3m) 07:50 tim-brown: how come it's called 3m? any self respecting branding exec would have called it m? 07:56 (join) jeapostrophe 07:56 (quit) jeapostrophe: Changing host 07:56 (join) jeapostrophe 08:03 (quit) Shviller: Ping timeout: 260 seconds 08:03 (join) dnolen 08:03 (join) Shviller 08:09 (quit) Kaylin: Quit: Leaving. 08:17 (join) vu3rdd 08:17 (quit) vu3rdd: Changing host 08:17 (join) vu3rdd 08:18 (join) kanak 08:20 (quit) __rahul__: Ping timeout: 252 seconds 08:20 (quit) rahul_: Ping timeout: 245 seconds 08:32 (join) rahul_ 08:33 (join) getpwnam 08:33 (join) __rahul__ 08:34 (join) hash_table 08:50 (join) zyoung 09:09 (join) veer 09:17 (join) jesyspa 09:19 (quit) dzhus: Ping timeout: 252 seconds 09:25 (join) anRch 09:31 (quit) hash_table: Ping timeout: 240 seconds 09:31 (quit) getpwnam: Ping timeout: 240 seconds 10:05 (quit) masm: Quit: Leaving. 10:05 (join) anRch_ 10:07 (quit) anRch: Ping timeout: 246 seconds 10:07 (nick) anRch_ -> anRch 10:19 (join) masm 10:29 (quit) antithesis: Quit: antithesis 10:37 (join) anRch 10:40 (quit) hkBst: Quit: Konversation terminated! 10:41 (quit) jrslepak: Quit: This computer has gone to sleep 10:41 (join) getpwnam 10:42 (join) hash_table 10:44 (quit) dnolen: Ping timeout: 240 seconds 11:03 (join) antithesis 11:07 (join) mithos28 11:14 (join) Fare 11:19 (quit) masm: Ping timeout: 250 seconds 11:25 (quit) Fare: Ping timeout: 246 seconds 11:28 (quit) anRch: Quit: anRch 11:36 (join) anRch 11:41 (join) Fare 11:43 tim-brown: 64-bit build on solaris is producing "warning: cast from pointer to integer of different size" for most all files after they've been xformed 11:43 tim-brown: is this a known issue? or should i report it in more detail? 11:46 stamourv: tim-brown: A bug report sounds good. 11:46 tim-brown: i'm going through my annual wrestle with racket/solaris/amd64 11:46 tim-brown: grr 11:54 samth: tim-brown: i hate to say it, but have you considered ... 11:55 tim-brown: say linux and i'll slap you 11:56 bremner: linux 11:56 tim-brown: *slap* 11:57 tim-brown: i'll tell you for free that it's easier than HPUX (for which I managed to build an old mzscheme) 11:57 tim-brown: it's usually me not driving configure quite right 11:58 tim-brown: it's to combine with products that the customer doesn't want to use linux for 12:02 samth: tim-brown: more seriously, we're glad that you're finding/fixing these issues 12:03 samth: unfortunately, i don't think there are easily accessible modern solaris systems 12:04 asumu: If only I still had my old UltraSPARC 12:04 (quit) anRch: Quit: anRch 12:05 tim-brown: in my experience cross compiling exposes some subtle issues, even within working code 12:05 tim-brown: we build with msvc, gcc, sunstudio-cc (and lint), on solaris, linux and windows -- each of which picks up its own favourite class of bug 12:06 tim-brown: and invariably it results in code improvement (or at least understanding) 12:09 (join) gciolli 12:10 samth: sadly, the ec2 free usage tier doesn't include solaries 12:10 samth: *solaris 12:10 tim-brown: that's educational? 12:11 samth: no, they give a year of free usage to anyone 12:15 tim-brown: night all 12:15 (quit) tim-brown: Quit: Leaving 12:19 (join) flowfinder 12:21 (quit) Fare: Ping timeout: 246 seconds 12:28 mithos28: Does TR do mangling of exports after it has done its internal expansion pass? 12:32 stamourv: mithos28: I think so. 12:32 stamourv: samth would know for sure. 12:33 mithos28: I am trying to fix pr/12807 which I filed last night, and it looks like something is getting messed up in that, since the normal expansion part looks fine 12:37 (quit) getpwnam: Ping timeout: 256 seconds 12:37 (quit) hash_table: Ping timeout: 256 seconds 12:39 (quit) jeapostrophe: Ping timeout: 246 seconds 12:44 (join) aalix 12:56 (join) Fare 12:57 (quit) gciolli: Quit: Leaving. 13:00 (quit) veer: Quit: Leaving 13:05 (quit) mario-goulart: Read error: Connection reset by peer 13:05 (join) mario-goulart 13:07 samth: mithos28, stamourv: yes, TR does export mangling after 13:10 (quit) mario-goulart: Read error: Connection reset by peer 13:10 (join) mario-goulart 13:13 samth: mithos28: relevant code is here: https://github.com/plt/racket/blob/master/collects/typed-racket/typecheck/provide-handling.rkt 13:13 rudybot: http://tinyurl.com/7zbbbee 13:14 samth: i think the incorrect handling is problem in this code: https://github.com/plt/racket/blob/master/collects/typed-racket/typecheck/tc-toplevel.rkt#L290 13:14 rudybot: http://tinyurl.com/86lg9h9 13:23 (quit) vu3rdd: Quit: ERC Version 5.3 (IRC client for Emacs) 13:26 (join) anRch 13:32 (join) jonrafkind 13:37 (quit) bitonic: Quit: WeeChat 0.3.7 13:39 (join) getpwnam 13:39 (join) hash_table 13:42 (join) jeapostrophe 14:01 (join) zyoung_ 14:05 (quit) zyoung: Ping timeout: 265 seconds 14:12 (join) netrino 14:19 (quit) __rahul__: Ping timeout: 245 seconds 14:20 (quit) rahul_: Ping timeout: 248 seconds 14:21 (quit) anRch: Quit: anRch 14:32 (join) __rahul__ 14:33 (join) rahul_ 14:35 (quit) zyoung_: Remote host closed the connection 14:35 (join) zyoung 14:53 (quit) jesyspa: Ping timeout: 265 seconds 14:59 (join) dzhus 15:00 (join) jesyspa 15:32 asumu: Saw this on Hacker News the other day: http://gus-massa.blogspot.com.ar/2012/05/adding-syntax-for-negate-in-racket.html 15:32 rudybot: http://tinyurl.com/7sklej9 15:35 Cryovat: The extensibility of the language is an incredibly cool feature of Racket 15:35 Cryovat: But at the same time, terrifying 15:43 (join) yixizhang_ 16:24 (quit) kanak: Quit: Leaving. 16:29 (quit) netrino: Quit: Ave! 16:29 (quit) antithesis: Quit: antithesis 16:34 (part) yixizhang_ 16:54 friscosam: asumu: nice link. I would've hacked #%app myself, but that would be much slower. 16:59 friscosam: hmm, also I don't think that using #%app would work in all cases. 17:00 (quit) jeapostrophe: Ping timeout: 245 seconds 17:01 stamourv: friscosam: Right, higher-order uses wouldn't work. 17:02 (join) manu3000 17:09 (join) RacketCommitBot 17:09 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/MAKlpg 17:09 RacketCommitBot: [racket/master] Now make-flomap* and effects functions accept (U (Vectorof Real) FlVector) for color instead of just FlVector - Neil Toronto 17:09 (part) RacketCommitBot 17:19 bartbes: arc looks pretty interesting 17:20 stamourv: Meh. 17:21 stamourv: Haven't seen anything in it that really improves on Racket. 17:22 (quit) dzhus: Ping timeout: 248 seconds 17:24 bartbes: me neither 17:24 bartbes: but it's interesting nonetheless 17:24 bartbes: to be fair, I'm too used to scheme to make using that a 'painless' experience 17:26 Cryovat: It's also an advantage to use languages that has been updated in the current decade 17:27 bartbes: I'm trying to think of a popular language that doesn't satisfy that dependency 17:28 Cryovat: I guess you could say C 17:28 Cryovat: Since a lot of people seem to be using C 89 17:29 bartbes: yeah.. but c99 is out, and c11 is.. being made 17:29 bartbes: I guess it holds true for c, but then again, that doesn't invalidate your statement 17:30 bartbes: even objective c got updated.. 17:31 bartbes: php has been braindead for over a decade though, does that count? 17:31 Cryovat: Haha 17:33 (quit) bremner_: Ping timeout: 245 seconds 17:35 (join) bremner_ 17:35 Cryovat: That's what landed me on Racket in the first place 17:35 Cryovat: The sense of momentum 17:35 Cryovat: I wanted to get into a lisp, and the only other one that felt vibrant was Clojure 17:36 Cryovat: Clojure itself seems like a cool language, but as long as it runs on top of an Oracle stack, err... 17:37 bartbes: anyway, is arc that old? 17:38 bartbes: I'd have to note its last update is 2 years old, according to wikipedia 17:39 Cryovat: If you go to the download page, it specifices that you need a specific version of mzscheme 17:40 bartbes: I was just wondering what it was, and stumbled into the tutorial that way 17:47 (join) nilyaK 18:01 (quit) noam: Read error: Connection reset by peer 18:02 (join) noam 18:05 (join) yoklov 18:11 (join) nilyaK1 18:12 (join) zyoung_ 18:13 (quit) nilyaK: Ping timeout: 240 seconds 18:13 (quit) zyoung: Read error: Operation timed out 18:15 (join) nilyaK 18:16 (quit) zyoung_: Ping timeout: 245 seconds 18:18 (quit) nilyaK1: Ping timeout: 260 seconds 18:20 (join) RacketCommitBot 18:20 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/D8dttQ 18:20 RacketCommitBot: [racket/master] futures: fix a problem in cgc mode - Matthew Flatt 18:20 RacketCommitBot: [racket/master] futures: fix bug related to tail calls - Matthew Flatt 18:20 (part) RacketCommitBot 18:31 asumu: Cryovat: The momentum of Clojure is nice. Though I have trouble getting over things like mandatory [...] and things like (let x 5 y 2 (+ x y)) 18:32 bremner: yeah, the one time I tried to quickly whip up a small Clojure example, the let syntax defeated me. 18:33 Cryovat: That looks icky 18:33 jonrafkind: they shoudl at least separate binding/expression pairs with some syntax 18:33 jonrafkind: comma most likely 18:33 Cryovat: Yeah, it doesn't read well like that 18:34 jonrafkind: (let x = 5, y = 2 in (+ x y)) 18:35 bremner: isn't it (let [x 5 y 2] (+ x y)) ? or is the vector implicit? 18:36 bremner: not that I like that much either. 18:36 bremner: hmm, at least clojure1.3 seems to only like my syntax 18:36 stamourv: bremner: I would assume that the vector is explicit. Otherwise, how can you tell where the body begins? 18:38 bremner: last element rule? 18:38 stamourv: That would rule out implicit begin. 18:38 bremner: yup 18:39 stamourv: Anyway, gotta run. 18:39 bremner: no idea really. I guess I should ask #clojure ;) 18:39 jonrafkind: why does clojure use s-expressions, or something similar to it anyway. just go get macros? 18:40 jonrafkind: s/go/to 18:43 Cryovat: I guess the author likes the syntax? 18:44 Cryovat: Out of the homoiconic languages I've seen, the ones based on s-expressions have looked the beset to me 18:44 Cryovat: *best 18:44 jonrafkind: boggles my mind 18:44 jonrafkind: s-expressions are awful 18:44 bremner: obviously not everyone feels that way. 18:48 Cryovat: By the way 18:48 Cryovat: What text editors do you guys use? 18:49 Cryovat: I seem to remember someone in here using Sublime Text with Racket 18:49 bremner: I use emacs. 18:51 Cryovat: SLIME? 18:51 nilyaK: notepad /windowsfail 18:51 bremner: Cryovat: geiser 18:55 Cryovat: How painful was it to set up? 18:58 (join) bro_grammer 18:58 (join) random_malice 18:59 yoklov: jonrafkind: why not use them? 18:59 yoklov: oh, because they're awful? 19:00 (quit) mceier: Quit: leaving 19:00 yoklov: eh, I think they're less awful in clojure, which ditched many, many redundant parentheses, but macros is probably the reason, and the author used to be a common lisper 19:00 bremner: Cryovat: not hard, on debian there is a package 19:01 bremner: otherwise, I dunno, still not very hard 19:01 yoklov: not hard 19:01 (quit) hash_table: Ping timeout: 244 seconds 19:01 (quit) getpwnam: Ping timeout: 244 seconds 19:01 Cryovat: I'm on Windows 7, I have a feeling that's going to make things slightly less fun 19:01 bremner: probably 19:01 yoklov: i installed/compiled it myself no problem really and i'm not a emacs guru 19:01 bremner: iirc it uses make 19:01 Sgeo_: Cryovat, on Windows 7 too, am curious about getting Geiser set up 19:01 Sgeo_: I'm a bit lazy though lol 19:02 yoklov: i don't recommend it if you're doing gui development, it has never worked really well for me for that 19:02 Sgeo_: Might stick with DrRacket because of that, even though I admire the CL idea of program running while editing it 19:03 Sgeo_: I think what I really want to do is SICP, in which case either way it doesn't really matter 19:03 yoklov: God, I'd kill for paredit mode in drracket though 19:03 yoklov: yeah, i'm sure SICP would work fine 19:04 (join) hash_table 19:04 (join) axe_wielder 19:06 yoklov: Cryovat: wrt clojure's (let [x 1 y 2] …) it's considered somewhat bad form to put bindings on the same line, but if you want to you can use a comma. comma's are whitespace, so (let [x 1, y 2] …) is valid 19:06 (join) sizz_ 19:06 (quit) random_malice: Ping timeout: 244 seconds 19:06 (quit) bro_grammer: Ping timeout: 244 seconds 19:07 (quit) sizz: Ping timeout: 260 seconds 19:09 Cryovat: Ah, that makes things slightly better 19:11 (join) jrslepak 19:13 (join) flowfinder_ 19:13 (quit) flowfinder: Read error: Operation timed out 19:14 (join) flowfinder 19:15 yoklov: yeah, clojures a very nice language, if you ask me. Suffers from none of the baggage that scheme/cl have, and is extremely well designed and modern feeling. It's somewhat frustruating not having mutable state (for the stuff I want to do), to be honest, but that's fairly small. 19:15 yoklov: Racket's pretty great for prototyping games though, so thats the lisp i've been writing in more lately 19:17 (quit) flowfinder_: Ping timeout: 244 seconds 19:20 Cryovat: What do you use for the games? world? 19:20 yoklov: no, just the oo model and gui toolkit 19:20 Cryovat: Ah, I see 19:20 yoklov: it's pretty close to what i'd get anywhere else 19:21 Cryovat: I've been going the OpenGL route 19:21 chandler: unhygienic macros aren't baggage? 19:21 Cryovat: The challenge has been that doing modern OpenGL in Racket isn't possible using the builtin libraries :/ 19:21 yoklov: chandler: every symbol in the macro being namespace resolved basically solves that issue 19:21 Cryovat: The RacketGL package on Planet works well though 19:22 (join) bitonic 19:23 yoklov: chandler: as a result, macros are fun to write (imo scheme macros arent), you never have collisions you didn't intend, but you can still (easily, i might add) intentionally shadow things if you want 19:24 yoklov: Cryovat: I'm not an opengl programmer, to be honest. most of the stuff I do is either 2d or 2.5d 19:24 (join) plobzik 19:24 Cryovat: My only experience with macros was CL ones, and I prefer Scheme macros by far 19:24 Cryovat: I do 2D as well 19:25 yoklov: scheme macros are harder to understand. If you can understand code which manipulates lists, you can understand cl/clojure macros 19:25 Cryovat: I just try to do things as fast as possible, because I want to support a lot of sprites at once 19:26 yoklov: Cryovat: yeah, I like having the option of writing to a pixel buffer, which opengl doesn't give me 19:26 yoklov: (even though that's not nearly as fast) 19:27 Cryovat: Well 19:27 Fare: by scheme macros, you mean syntax-rules or syntax-case? 19:27 Cryovat: You can sort of do that by writing to a texture 19:27 Cryovat: or a frame buffer 19:27 yoklov: Cryovat: yeah, but if you scale that up it looks like crap, iirc 19:27 Cryovat: You mean blurred to heck? 19:28 yoklov: Fare: both. Syntax rules is better though. Syntax case macros have so many things you need to know before you can understand them. 19:28 yoklov: Cryovat: yeah 19:28 jonrafkind: you can draw to memory and then upload it to the gpu 19:28 Cryovat: You can disable that 19:28 jonrafkind: its just painfully slow 19:28 Cryovat: It's a texture parameter 19:28 Cryovat: Was the first thing I turned off ;) 19:28 yoklov: err, what's painfully slow, drawing to a texture/framebuffer and scaling up? 19:29 yoklov: becuase thats what drawing to memory is 19:29 yoklov: right? 19:29 jonrafkind: uploading to the gpu is slow 19:29 jonrafkind: drawing to memory is fast 19:30 yoklov: yeah 19:30 Cryovat: If you can get away with doing everything in gpu memory, it's blazing fast 19:31 yoklov: Cryovat: yeah, you need to write your code as a fragment shader then though, right? (again, not an opengl programmer, so forgive me if i'm horribly wrong about that) 19:32 yoklov: which always seemed like one of those 'need to know what you're drawing ahead of time' type of things 19:32 (join) RacketCommitBot 19:32 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/2xjwzA 19:32 RacketCommitBot: [racket/master] Fixed some transforms, stubbed out docs and examples for the same - Neil Toronto 19:32 (part) RacketCommitBot 19:33 (quit) plobzik: Read error: Connection reset by peer 19:35 (quit) jonrafkind: Ping timeout: 245 seconds 19:35 Cryovat: I'm pretty new to things myself, but I know you can draw to a texture 19:37 Cryovat: The fragment shader is more like post processing 19:37 yoklov: Yeah, thats what I thought 19:38 yoklov: but isn't that the only way to work on things in the gpu's memory? 19:39 yoklov: and there's a difference than setting pixels of a texture and rendering to a texture 19:39 yoklov: err, between 19:39 Cryovat: Yeah, everything gets a bit more roundabout 20:06 (quit) bitonic: Quit: WeeChat 0.3.7 20:18 (quit) rahul_: Ping timeout: 256 seconds 20:18 (quit) __rahul__: Ping timeout: 256 seconds 20:21 (quit) nilyaK: Quit: Leaving. 20:31 (join) jacius 20:37 (quit) aalix: 20:44 (join) kvda 21:15 (quit) jesyspa: Quit: leaving 21:20 (quit) yoklov: Quit: computer sleeping 21:21 (quit) surrounder: Ping timeout: 246 seconds 21:22 (join) yoklov 21:22 (join) surrounder 21:28 (join) jyc 21:50 (quit) flowfinder: Quit: flowfinder 22:31 (quit) jrslepak: Quit: What happened to Systems A through E? 22:42 (join) jonrafkind 22:46 (quit) kvda: Quit: Computer has gone to sleep. 23:17 (join) kvda 23:21 (join) Sgeo__ 23:24 (quit) Sgeo_: Ping timeout: 246 seconds 23:24 (quit) ChibaPet: Ping timeout: 246 seconds 23:26 (join) ChibaPet 23:26 (quit) ChibaPet: Changing host 23:26 (join) ChibaPet 23:27 (quit) jacius: Quit: Leaving 23:52 sizz_: uh-oh, I just noticed that the Realm of Racket site now says "coming winter 2012" rather than summer. 23:55 asumu: sizz_: that's too bad. But they're definitely making progress though. 23:55 asumu: Saw a tweet saying they're getting the draft to the publisher soon. 23:56 sizz_: that's good to know. i'm a little impatient. as long as it's good i'll be happy! 23:56 Fare: is it like "Land of Lisp" but with Racket instead of CL? 23:58 (join) zyoung