14:09 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
14:09 (names) -: gabot aalix ssbr_ dented42 jao bluezenix dyoo maahes jonrafkind antithesis wtetzner dnolen dlind noelw_away cdidd Fare jeapostrophe _AlbireoX dzhus mceier masm noam bitonic Shviller jhemann_ acarrico sethalves karswell Fulax Haffe ivan` ivan\ Shambles_ tewk samth Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu
14:09 (names) -: hyko stamourv cipher dsantiago ozzloy rotty @ChanServ rapacity kandinski ec eMBee danking tauntaun
14:09 chandler: gabot: slap eli
14:09 eli: This is weird.
14:09 chandler: What, getting slapped by your own bot? :-)
14:09 eli: It wasn't dead, and didn't have its connection dropped...
14:10 eli: gabot: slap freenode
14:10 chandler: The quit message said "Ping timeout: 252 seconds".
14:10 (join) antithesis_
14:10 (quit) antithesis_: Remote host closed the connection
14:10 chandler: Does gabot PING the server?
14:10 eli: Yeah, *I* saw that, but it didn't.
14:11 eli: It replies to pings, but doesn't initiate ones.
14:12 eli: I don't see a way to do that, too
14:13 chandler: You should be able to send a ping message to the server... I think the client I'm using does that, as I've seen it drop and reconnect when there's a ping timeout.
14:13 chandler: e.g. "Irssi: No PONG reply from server chat.freenode.net in 301 seconds, disconnecting"
14:13 eli: I tried "/ping eli" but got no reply.
14:13 eli: It might be that my client intercepts it.
14:14 (quit) bluezenix: Quit: Leaving.
14:14 chandler: eli: try /quote PING eli
14:14 eli: foo
14:14 eli: Nothing works.
14:15 eli: And for whatever reason it doesn't let me in with netcat.
14:15 chandler: Hm. The quote thing works for me in irssi.
14:15 eli: My client will send random /foo strings with no quoting needed anyway.
14:16 chandler: Maybe your client's eating the PONG.
14:17 samth: eli: works for me in xchat
14:18 eli: chandler: That's what I said above that I think happens, hence netcat.
14:19 chandler: Ah.
14:19 (join) ekfjeoijfoefijeo
14:19 dyoo: ouch?  Did someone just slap me?
14:19 eli: No.
14:19 eli: gabot: slap dyoo
14:19 eli: Now you can consider yourself slapped.
14:20 dyoo: thank you
14:20 ekfjeoijfoefijeo: foo
14:20 ekfjeoijfoefijeo: I get: :verne.freenode.net 421 ekfjeoijfoefijeo /ping :Unknown command
14:21 chandler: sounds like something's not stripping off the slash?
14:21 chandler: I think the command should just be ``PING foo''
14:22 eli: Yeah, it wasn't stripped.
14:22 eli: Windows update is a focus grabbing bitch.
14:25 eli: The implementation of the ping command should win some award for the worst error reporting.
14:25 samth: cmon, i'm sure i've personally written worse error reporting
14:26 bremner: samth: I don't honestly know. I have written only a few trivial things with match. I had the impression is definitely more going on than the simple ML/Haskell styl pattern matching I used previously.
14:27 eli: samth: "PING whatever" replies with a PONG
14:27 eli: for any string.
14:28 samth: hmm, not in my client
14:28 eli: "PING whatever1 whatever2" returns: "whatever2 :No such server"
14:28 samth: only works if it's my username for me
14:28 eli: "PING whatever1 eli" says "eli :No such server"
14:28 samth: wait, no, it just puts the replies somewhere else
14:28 eli: That's not with any client, I'm going straight to the server.
14:29 dyoo: I'm trying to trace for reasons for commit 8bd72e512da3345d1d3514d2bb3f9148c7a93b39; I'd like to look at the messages on the plt-dev mailing list from 2007, but can't find a link to anything before 2009 in http://lists.racket-lang.org/dev/archive/
14:29 samth: bremner: certainly there's more that you can do, but (list _ foo) is just like ML
14:29 samth: dyoo: probably that's when plt-dev was created
14:29 eli: dyoo: IIRC, it didn't exist then.
14:30 eli: dyoo: BTW, "#<<EOF" is a poor quoting style.
14:30 bremner: samth: agreed
14:30 samth: dyoo: previous to that, we used plt-scheme@ for some things, and plt-internal@ (are you on that?) for others
14:30 eli: dyoo: There's no file that you end, and "#<<" is in itself a bad quoting tool.
14:31 (quit) ekfjeoijfoefijeo: Remote host closed the connection
14:32 (quit) bitonic: Quit: WeeChat 0.3.5
14:32 bremner: samth: I guess all I meant was a naive view of racket starts with everything is an expression, and match patterns are not expressions.
14:32 samth: bremner: that's certainly true, although they try to look like expressions
14:33 bremner: I guess that a "pattern literal" would make things clearer, and perhaps uglier at the same time.
14:35 dyoo: samth: thanks, I will search in those places next
14:35 dyoo: eli: ok, understood.
14:43 eli: dyoo: That wasn't completely serious (a more serious thing would be "you're using email, so best to use email quoting"), but in code you should use @-expressions.
14:53 (join) RacketCommitBot
14:53 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/z3FZEA
14:53 RacketCommitBot: [racket/master] [honu] explicitly check for commas when parsing a comma separated expression sequence - Jon Rafkind
14:53 RacketCommitBot: [racket/master] [honu] only allow semicolons in expression sequence position - Jon Rafkind
14:53 (part) RacketCommitBot
14:55 (join) Kaylin
15:05 (join) kanak
15:08 (quit) jeapostrophe: Ping timeout: 264 seconds
15:09 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
15:09 (names) -: gabot kanak Kaylin aalix ssbr_ dented42 jao dyoo maahes jonrafkind antithesis wtetzner dnolen dlind noelw_away cdidd Fare _AlbireoX dzhus mceier masm noam Shviller jhemann_ acarrico sethalves karswell Fulax Haffe ivan` ivan\ Shambles_ tewk samth Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus @ChanServ rapacity kandinski ec eMBee danking tauntaun rotty ozzloy
15:09 (names) -: dsantiago cipher stamourv hyko jrslepak_neu stchang DraX otterdam mario-goulart
15:17 (quit) Kaylin: Quit: Leaving.
15:20 bremner: How do I declare the type of a void function in typed/racket?
15:21 dyoo: Void is a type, so you can say something like
15:22 offby1: ha ha
15:22 offby1 assumes that dyoo's silence is part of the joke
15:23 bremner: grue got em
15:23 stamourv: rudybot: init typed/racket
15:23 rudybot: stamourv: your typed/racket sandbox is ready
15:23 stamourv: (define: (my-display [x : String]) : Void (display x))
15:23 stamourv: rudybot: You ok?
15:23 rudybot: stamourv: ok, leave it then.
15:24 bremner: hmm. ok. I tried to use (: ... ) ; I can try define:
15:24 stamourv: Oh, oops, forgot to send it to him.
15:24 stamourv: rudybot: (define: (my-display [x : String]) : Void (display x))
15:24 rudybot: stamourv: Done.
15:24 dyoo: (sorry, was away from keyboard)
15:24 stamourv: rudybot: (my-display "ok")
15:24 rudybot: stamourv: ; stdout: "ok"
15:24 stamourv: rudybot: (my-display 3)
15:24 rudybot: stamourv: error: #<undefined>:1:12: Type Checker: Expected String, but got Positive-Byte in: (quote 3)
15:24 stamourv: bremner: `:' should work too.
15:25 stamourv: I just used `define:' because I'm not sure whether separate annotations work at the REPL.
15:26 dyoo: bremner: (: ...) should also work, though maybe not at the repl.  Sorry about not finishing my sentence; I got caught in the middle of talking with someone else.
15:31 bremner: oh for goodness sake. I had a stupid error having nothing to do with types.
15:32 bremner: Void works fine, I was just too blind to interpret a message about function arity
15:36 dyoo: np
15:39 (join) bluezenix
15:48 (part) dyoo
15:48 (join) jhemann__
15:52 (quit) jhemann_: Ping timeout: 240 seconds
16:04 (quit) dented42: Quit: Computer has gone to sleep.
16:26 (join) Skola
16:26 (quit) Skola: Client Quit
16:27 (join) dented42
16:34 (quit) jhemann__: Ping timeout: 265 seconds
16:50 (quit) kanak: Ping timeout: 244 seconds
17:02 (join) jhemann__
17:05 (join) Cryovat
17:05 Cryovat: I think this is in order:
17:05 Cryovat gives jaymccarthy a hug
17:08 (quit) cdidd: Read error: Operation timed out
17:08 (quit) Haffe: Read error: Operation timed out
17:08 (quit) mceier: Read error: Operation timed out
17:08 (join) Haffe
17:08 (join) mceier_
17:10 (join) cdidd
17:17 Cryovat: The gl stuff he did is really helpful
17:23 (quit) Fare: Ping timeout: 246 seconds
17:27 stamourv: jaymccarthy writes a lot of great software. :)
17:30 (quit) jhemann__: Ping timeout: 246 seconds
17:39 (join) jhemann
17:40 (join) RacketCommitBot
17:40 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/2juA1g
17:40 RacketCommitBot: [racket/master] Fix documentation for `implies'. - Sam Tobin-Hochstadt
17:40 (part) RacketCommitBot
17:47 (join) duomo
17:48 Cryovat: So far I'm enjoying my time with Racket
17:48 Cryovat: There's just one thing that niggles me a bit
17:48 Cryovat: The generated executables seem to be pretty big
17:48 Cryovat: Both in terms of disk space and memory use
17:49 samth: Cryovat: the disk space is because it includes the whole implementation
17:49 samth: the memory use: yes, we continue to work on improving that
17:50 (join) bitonic
17:50 Cryovat: Is it loading the kitchen sink into memory on startup?
17:50 (quit) antithesis: Remote host closed the connection
17:50 jonrafkind: how much does it load for you
17:51 Cryovat: I'm on 32-bit Win7, my program is in racket/gui and uses sgl
17:51 jonrafkind: this random program i have is 7.7mb on disk, and uses 102m of ram in RES
17:51 Cryovat: Seems to use about 90 mb
17:51 jonrafkind: 90mb on disk?
17:51 Cryovat: Sorry, in memory
17:52 Cryovat: Rhe executable is about 7,7 too
17:52 jonrafkind: well thats not so bad i guess
17:52 jonrafkind: you think thats big?
17:53 Cryovat: Not the disk size, but the memory usage at runtime made me wonder
17:56 (quit) bitonic: Ping timeout: 246 seconds
18:04 (join) jrslepak
18:09 (join) bitonic
18:17 Cryovat: Speaking of sgl
18:17 Cryovat: The documentation says it supports up to OpenGL 1.5
18:19 Cryovat: Is the lack of support for 2-4 for technical reason or that nobody wanted the job of expanding it?
18:26 (quit) duomo: Quit: Linkinus - http://linkinus.com
18:30 (join) Fare
18:33 samth: Cryovat: there was some discussion of this in this very channel earlier today
18:33 samth: there's a racketgl planet package that should help
18:34 Cryovat: Thanks :)
18:35 Cryovat: At this point, I'm just starting out with OpenGL
18:36 Cryovat: But the lack of shader support worried me a bit
18:47 (quit) bluezenix: Quit: Leaving.
18:47 (quit) dnolen: Quit: Page closed
18:49 (quit) Fare: Ping timeout: 246 seconds
18:56 ozzloy: how do i contact xtofs the author of http://planet.racket-lang.org/display.ss?package=firmata.plt&owner=xtofs ?  i'm not seeing it an email on that page or in the docs for it
18:56 (quit) masm: Quit: Leaving.
18:58 (join) jhemann_
19:00 (quit) jhemann: Ping timeout: 252 seconds
19:03 (quit) jhemann_: Ping timeout: 260 seconds
19:07 (quit) Cryovat: 
19:11 (quit) jonrafkind: Ping timeout: 265 seconds
19:21 samth: ozzloy: http://planet.racket-lang.org/package-source/xtofs/firmata.plt/1/0/info.rkt
19:22 rudybot: http://tinyurl.com/7azwlld
19:25 ozzloy: samth, oh i just filed a ticket
19:25 ozzloy: samth, thanks!
19:30 (quit) dzhus: Remote host closed the connection
19:31 (quit) dented42: Quit: Computer has gone to sleep.
19:43 (join) duomo
19:50 (join) jonrafkind
19:50 (quit) bitonic: Quit: WeeChat 0.3.5
19:58 (quit) mceier_: Quit: leaving
20:12 (nick) samth -> samth_away
20:13 (join) Kaylin
20:13 (quit) Kaylin: Client Quit
20:16 (join) dnolen
20:27 (quit) ssbr_: Ping timeout: 260 seconds
20:44 (quit) jonrafkind: Ping timeout: 246 seconds
20:48 (quit) cdidd: Remote host closed the connection
20:54 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
20:54 (names) -: gabot dnolen duomo jrslepak Haffe aalix jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu @ChanServ rapacity kandinski ec eMBee danking tauntaun rotty ozzloy dsantiago cipher
20:54 (names) -: stamourv hyko
21:02 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:02 (names) -: gabot dnolen duomo jrslepak Haffe aalix jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu hyko stamourv cipher dsantiago ozzloy rotty tauntaun danking eMBee @ChanServ rapacity
21:02 (names) -: kandinski ec
21:03 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:03 (names) -: gabot dnolen duomo jrslepak Haffe aalix jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu hyko stamourv cipher dsantiago ozzloy rotty tauntaun danking eMBee @ChanServ rapacity
21:03 (names) -: kandinski ec
21:05 (quit) aalix: 
21:06 (quit) jrslepak: Quit: This computer has gone to sleep
21:11 (join) jhemann_
21:23 (join) jeapostrophe
21:27 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:27 (names) -: gabot jeapostrophe jhemann_ dnolen duomo Haffe jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu hyko stamourv cipher dsantiago ozzloy rotty tauntaun danking eMBee @ChanServ rapacity
21:27 (names) -: kandinski ec
21:27 (notice) wolfe.freenode.net: [freenode-info] if you're at a conference and other people are having trouble connecting, please mention it to staff: http://freenode.net/faq.shtml#gettinghelp
21:30 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:30 (names) -: gabot jeapostrophe jhemann_ dnolen duomo Haffe jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu hyko stamourv cipher dsantiago ec kandinski rapacity @ChanServ eMBee danking tauntaun
21:30 (names) -: rotty ozzloy
21:31 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:31 (names) -: gabot jeapostrophe jhemann_ dnolen duomo Haffe jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus mario-goulart otterdam DraX stchang jrslepak_neu hyko stamourv @ChanServ rapacity kandinski ec eMBee danking tauntaun rotty ozzloy
21:31 (names) -: dsantiago cipher
21:33 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/
21:33 (names) -: gabot jeapostrophe jhemann_ dnolen duomo Haffe jao maahes wtetzner dlind noelw_away _AlbireoX noam Shviller acarrico sethalves karswell Fulax ivan` ivan\ Shambles_ tewk samth_away Nisstyre abbe em jschuster jamessan errstr basepi dsp_ eli SeanTAllen rudybot aidy cky cataska offby1 chandler Shvillr snorble_ bremner asumu Lunaqus @ChanServ rapacity kandinski ec eMBee danking tauntaun rotty ozzloy dsantiago cipher stamourv hyko jrslepak_neu stchang DraX otterdam
21:33 (names) -: mario-goulart
21:33 eli: gabot: ping
21:42 (join) jrslepak
22:04 (quit) jeapostrophe: Ping timeout: 260 seconds
22:27 (join) dented42
22:51 (join) jonrafkind
22:52 (join) mithos28
23:00 (join) jeapostrophe
23:13 (quit) duomo: Quit: Linkinus - http://linkinus.com
23:42 (join) tempestad
23:43 tempestad: Why is it: '(1 . 2 . 3) -> '(2 1 3) ? I don't see it.
23:43 mithos28: tempestad: because two dots inside a single parenthesis pair has a special meaning
23:44 mithos28: it takse the item in-between them and puts it at the front of the list
23:44 mithos28: it is useful in cases like (x . < . y) or (a . -> . b)
23:46 tempestad: Oh, thank you. If I want to look into it at the docs, is there some keyword I should search for?
23:50 (join) RacketCommitBot
23:50 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/4W-VHA
23:50 RacketCommitBot: [racket/master] Added struct/dc and cleaned up a bunch of stuff in the contract - Robby Findler
23:50 (part) RacketCommitBot
23:51 mithos28: looking up on the reader might help, as that is what stage of parsing the program that happens in
23:51 (quit) jeapostrophe: Ping timeout: 245 seconds
23:51 mithos28: http://docs.racket-lang.org/reference/reader.html?q=reader&q=.#(part._parse-pair)
23:51 mithos28: there is the section of the docs on it
23:53 tempestad: mithos28, thank you, that is very helpful
23:56 (join) s3rhart