00:33 (quit) jeapostrophe: Ping timeout: 246 seconds
00:39 (quit) cdidd: Ping timeout: 265 seconds
00:53 (join) ambrosebs
01:29 (join) scott_
01:29 (quit) scott_: Changing host
01:29 (join) scott_
01:36 (quit) getpwnam: Ping timeout: 256 seconds
01:36 (quit) hash_table: Ping timeout: 256 seconds
02:35 (join) mceier
02:44 (quit) scott_: Quit: Leaving
03:09 (join) vkz
03:12 (join) djcoin
03:45 (quit) ivan\: Ping timeout: 264 seconds
03:51 (join) ivan\
03:56 (join) bitonic
04:13 (join) bitonic`
04:14 (quit) bitonic: Remote host closed the connection
04:14 (quit) bitonic`: Remote host closed the connection
04:14 (join) bitonic
04:25 (quit) bitonic: Remote host closed the connection
04:43 (join) masm
04:50 (join) genbattle
05:08 (join) bitonic
05:17 (quit) bjz: Quit: Leaving...
05:34 (quit) ambrosebs: Ping timeout: 252 seconds
05:38 (join) dzhus
05:40 (quit) bitonic: Remote host closed the connection
05:42 (quit) mceier: Ping timeout: 264 seconds
05:43 (join) bitonic
05:45 (quit) vkz: Quit: vkz
06:00 (quit) bitonic: Read error: Connection reset by peer
06:01 (join) bitonic
06:16 (join) vkz
06:17 (join) bjz
06:19 (quit) vkz: Client Quit
06:26 (join) mceier
06:34 (join) jesyspa
06:43 (quit) masm: Ping timeout: 265 seconds
06:50 (join) vkz
07:00 (quit) dsantiago: Ping timeout: 246 seconds
07:02 (join) dsantiago
07:02 (join) masm
07:17 (join) mye
07:41 (quit) mceier: Ping timeout: 244 seconds
07:49 (quit) bitonic: Read error: Connection reset by peer
07:54 (quit) genbattle: Remote host closed the connection
07:56 (join) gciolli
07:57 (quit) vu3rdd: Ping timeout: 245 seconds
08:14 (join) bitonic
08:27 (join) tuor
08:28 (quit) tuor: Client Quit
08:30 (quit) bitonic: Remote host closed the connection
08:32 (quit) dzhus: Ping timeout: 244 seconds
08:32 (join) bitonic
08:36 (join) gciolli1
08:37 (quit) gciolli1: Client Quit
08:39 (quit) gciolli: Ping timeout: 255 seconds
08:40 (join) dzhus
08:41 (quit) bitonic: Remote host closed the connection
08:41 (join) bitonic
08:42 (quit) mye: Remote host closed the connection
08:42 (join) mye
08:45 (quit) bitonic: Remote host closed the connection
08:45 (join) bitonic
08:47 (quit) acarrico: Ping timeout: 252 seconds
08:56 (nick) bremner` -> bremner
08:59 (join) getpwnam
09:00 (join) hash_table
09:03 (join) acarrico
09:08 (quit) bitonic: Remote host closed the connection
09:09 (join) bitonic
09:11 (join) jeapostrophe
09:11 (quit) jeapostrophe: Changing host
09:11 (join) jeapostrophe
09:12 (quit) vkz: Quit: vkz
09:18 (join) cdidd
09:20 (join) vkz
09:25 (quit) bitonic: Remote host closed the connection
09:28 (join) bitonic
09:32 (quit) hash_table: Ping timeout: 256 seconds
09:32 (quit) getpwnam: Ping timeout: 256 seconds
09:37 (quit) bitonic: Remote host closed the connection
09:39 (join) bitonic
09:44 (quit) vkz: Quit: vkz
09:49 (join) gciolli
10:01 (quit) djcoin: Quit: WeeChat 0.3.7
10:03 (join) djcoin
10:13 (quit) bitonic: Remote host closed the connection
10:13 (join) RacketCommitBot
10:13 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/7zMWTQ
10:13 RacketCommitBot: [racket/master] when PLTPICTBOX is set, include "Insert Pict Box" in DrRacket - Matthew Flatt
10:13 RacketCommitBot: [racket/master] fix doc bug for `gauge%' - Matthew Flatt
10:13 RacketCommitBot: [racket/master] ffi/unsafe doc repairs - Matthew Flatt
10:13 (part) RacketCommitBot
10:16 (join) bitonic
10:25 (join) vkz
10:40 (join) Nisstyre-laptop
10:45 (quit) Demosthenes: Ping timeout: 246 seconds
10:48 (join) RacketCommitBot
10:48 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/nQqUrg
10:48 RacketCommitBot: [racket/master] fixes suggested by latest reviewer of the hosc submission - Robby Findler
10:48 (part) RacketCommitBot
10:50 (join) getpwnam
10:50 (join) hash_table
10:51 (quit) Nisstyre-laptop: Ping timeout: 252 seconds
10:52 (join) Nisstyre-laptop
10:52 (join) ambrosebs
10:55 (join) nilyaK
10:58 (quit) jeapostrophe: Ping timeout: 244 seconds
11:12 (join) mye_
11:15 (quit) mye: Ping timeout: 256 seconds
11:15 (nick) mye_ -> mye
11:17 (join) nilyaK1
11:19 (quit) Nisstyre-laptop: Remote host closed the connection
11:20 (quit) nilyaK: Ping timeout: 252 seconds
11:21 mye: anyone knows the quickest way to tell drracket PATH has usr/local/bin in it on osx?
11:22 mye: > (getenv "PATH")       "/usr/bin:/bin:/usr/sbin:/sbin"
11:22 mye: launchctl setenv PATH "$PATH" isn't working
11:23 mye: (where $PATH has local in it)
11:24 jrslepak: does a .app run under whatever environment is there after running .profile?
11:26 jrslepak: if I launch DrRacket from bash, it shows the changes to $PATH that my .profile makes (but not if I just open DrRacket.app)
11:27 (join) jeapostrophe
11:27 (quit) jeapostrophe: Changing host
11:27 (join) jeapostrophe
11:27 (quit) bjz: Quit: Leaving...
11:29 mye: jrslepak: I haven't got a .profile, but the shell settings shouldn't play into this (I launch Dr. from the dock)
11:31 jrslepak: I don't think "telling drracket PATH has ... in it" is really the best way to describe this
11:31 jrslepak: clearly, PATH only has /usr/bin /bin /usr/sbin and /sbin in it -- the issue is how to modify PATH to include /usr/local/bin
11:31 mye: I created a /etc/launchd.conf but even launchctl with sudo doesn't apply
11:32 mye: gonna try to reboot now *sigh*
11:33 jrslepak: maybe ##mac can help?
11:33 jrslepak: :-\
11:33 (nick) nilyaK1 -> nilyaK
11:35 (join) mye
11:37 mye: jrslepak: a reboot did it, although stack overflow claimed otherwise. Probably a problem with osx 10.8
11:38 mye: now on to acl2 via dracula :-)
11:40 jrslepak: good to know
11:41 mye: If I understand this correctly dracula can not check racket code?
11:41 mye: But just interfaces DrRacket with acl2?
11:42 jrslepak: I think carleastlund is the one to talk to about that
11:44 carleastlund: mye, that is correct.  Dracula runs and verifies ACL2 code; it doesn't do anything with other Racket (sub-)languages.  (Yet.  I'm working on a radically different Dracula, but no ETA on a release.)
11:45 mye: I read some emails about dracula on the mailing list, that's why I'm trying this. I don't really understand anything about this goes from code to proof :-/
11:45 mye: carleastlund: ah so that's what you have in your github racket?
11:45 carleastlund: mye: Exactly.
11:46 carleastlund: There are precisely zero lines of code in common between the Dracula on Planet and the one on in progress on Github.
11:46 mye: Ok, that's what I confused. And the new one is for acl2 too?
11:48 carleastlund: The new one will use ACL2 as a back-end for verifying Racket (or at least Racket-like) programs.  Whereas the old one basically used Racket as a back-end for executing ACL2 programs.
11:48 carleastlund: The premise is largely the same, it's mostly a change in emphasis and in surface syntax.
11:49 mye: carleastlund: cool. That means with this one could validate modules already written in racket?
11:49 (join) pcavs
11:49 carleastlund: Theoretically, yes.  I suspect the reality of that is a ways off, but we shall see!
11:50 carleastlund: I'm hoping to make it more like Typed Racket, so just like you can take a regular Racket program and add type annotations, you could also take one and add theorems.
11:51 mye: carleastlund: I'll learn more about this, just started with "software foundations" by Pierce.
11:51 (join) anRch
11:54 (join) dnolen
12:01 (quit) djcoin: Quit: WeeChat 0.3.7
12:09 (quit) jrslepak: Ping timeout: 264 seconds
12:09 (join) MayDaniel
12:17 (join) RacketCommitBot
12:17 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/Jl6FYA
12:17 RacketCommitBot: [racket/master] fix module browser's red coloring of boxes in the - Robby Findler
12:17 RacketCommitBot: [racket/master] clean up indentation and move arrows to the front, while I'm here - Robby Findler
12:17 RacketCommitBot: [racket/master] fix rectangle computation for shortcircuiting drawing - Robby Findler
12:17 (part) RacketCommitBot
12:24 (quit) anRch: Quit: anRch
12:27 (quit) dzhus: Remote host closed the connection
12:28 mye: I can't find a way to download code from planet manually. Is that possible?
12:28 mye: e.g. a tarball
12:33 mye: I downloaded a packaged with race planet fetch, but what format is that .plt stuff?
12:33 mye: file says ascii text.
12:33 carleastlund: mye, I don't know if it corresponds to any standard format or not.
12:34 carleastlund: But you can use "raco planet open" to unpack it.
12:34 mye: carleastlund: Oh, thanks
12:43 (join) jrslepak
12:50 (quit) DT`: Read error: Connection reset by peer
12:51 mye: can someone show me what this expression gives in drracket on another system?
12:51 mye: (getenv "PATH")
12:51 mye: "\"/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/opt/X11/bin\""
12:52 (join) RacketCommitBot
12:52 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/T-4gPw
12:52 RacketCommitBot: [racket/master] syntax/parse/experimental/template: make errors consistent with 'syntax' - Ryan Culpepper
12:52 RacketCommitBot: [racket/master] added unstable/custom-write - Ryan Culpepper
12:52 (part) RacketCommitBot
12:52 (join) DT`
12:52 mye: I figure I messed something up here
12:52 ianjneu: rudybot: (getenv "PATH")
12:52 rudybot: ianjneu: your sandbox is ready
12:52 rudybot: ianjneu: ; Value: ""
12:52 mye: ok, only one set of "
12:52 ianjneu: your output looks fine.
12:53 ianjneu: what were you expecting?
12:53 mye: I think mine is wrong with two nested "
12:54 (join) mceier
12:55 mye: just the " around /usr:/usr/local
12:55 ianjneu: no, the environment variable's value is a string, and getenv reports its value in a string.
12:55 mye: but > (getenv "USER") -> "lo"
12:55 mye: I must've added extra quotes in my launchd.conf
12:55 ianjneu: Okay, my computer doesn't have the extra quotes.
12:55 mye: ianjneu: thanks
13:02 (quit) mye: Quit: mye
13:02 (join) mye
13:03 (join) mithos28
13:09 (quit) dnolen: Ping timeout: 245 seconds
13:23 (quit) mithos28: Quit: mithos28
13:24 (join) jao
13:24 (quit) jao: Changing host
13:24 (join) jao
13:33 (join) Demosthenes
13:33 (join) atsidi
13:40 (join) Demosthenex
13:40 (quit) Demosthenes: Ping timeout: 260 seconds
13:41 (join) vkz_
13:41 (quit) vkz: Ping timeout: 255 seconds
13:41 (nick) vkz_ -> vkz
13:45 (quit) masm: Ping timeout: 245 seconds
13:51 (quit) ambrosebs: Ping timeout: 246 seconds
13:55 (quit) Demosthenex: Ping timeout: 252 seconds
13:55 (join) Demosthenes
13:56 (join) dzhus
14:18 (quit) dzhus: Remote host closed the connection
14:20 (join) mye_
14:21 (join) uselpa
14:22 (quit) mye: Ping timeout: 245 seconds
14:22 (nick) mye_ -> mye
14:39 (join) shofetim
14:51 (quit) uselpa: Remote host closed the connection
14:55 (join) dzhus
15:00 (quit) dzhus: Remote host closed the connection
15:01 (quit) pcavs: Quit: Leaving.
15:21 (join) pcavs
15:27 (quit) atsidi: Quit: Leaving on a jet plane...
15:32 (join) anRch
15:34 stamourv: https://raw.github.com/strangeloop/strangeloop2012/master/slides/Flatt-TheRacketWay.pdf
15:34 rudybot: http://tinyurl.com/8ezruzz
15:34 stamourv: Slides from Matthew's talk at Strange Loop.
15:35 stamourv: From what I hear, he also had some really cool demos, so the slides don't tell the full story.
16:01 asumu: Hopefully he'll put a .rkt version up.
16:18 (join) bitonic`
16:20 (quit) bitonic: Ping timeout: 246 seconds
16:22 (join) dzhus
16:24 (join) masm
16:24 (join) vkz
16:33 (quit) anRch: Quit: anRch
16:33 asumu: This is pretty neat: http://www.youtube.com/watch?v=EvAXWJbAQco
16:33 asumu: (someone just posted it to the racket list)
16:34 (join) mye
16:39 (join) mye_
16:40 (quit) mye: Ping timeout: 244 seconds
16:40 (nick) mye_ -> mye
16:43 (quit) jesyspa: Quit: leaving
16:45 ianjneu: asumu: That is cool. Program slicer?
16:46 asumu: I don't really know what it's doing. Just seems neat.
16:46 asumu: Also some kind of interface to a 3d editor?
16:47 jrslepak: slices based on pieces of the output?
16:59 (join) jesyspa
17:01 (quit) hash_table: Ping timeout: 248 seconds
17:01 (quit) getpwnam: Ping timeout: 248 seconds
17:06 (quit) cdidd: Ping timeout: 244 seconds
17:07 (join) cdidd
17:07 (quit) vkz: Quit: vkz
17:08 (quit) jrslepak: Quit: What happened to Systems A through E?
17:30 (join) RacketCommitBot
17:30 RacketCommitBot: [racket] plt pushed 20 new commits to master: http://git.io/VDYPJQ
17:30 RacketCommitBot: [racket/master] Fix type->contract on structures. Now uses struct/c. - Eric Dobson
17:30 RacketCommitBot: [racket/master] Make struct type contracts better - Eric Dobson
17:30 RacketCommitBot: [racket/master] Removed unused fields in Struct - Eric Dobson
17:30 (part) RacketCommitBot
17:45 (quit) mceier: Quit: leaving
17:47 (quit) cdidd: Ping timeout: 246 seconds
17:47 (join) cdidd
17:49 (join) getpwnam
17:50 (join) hash_table
17:50 (join) jrslepak
18:07 (quit) cdidd: Read error: Connection reset by peer
18:12 (join) cdidd
18:19 (quit) gciolli: Quit: Leaving.
18:19 (quit) shofetim: Remote host closed the connection
18:42 (quit) jeapostrophe: Ping timeout: 245 seconds
18:48 (join) RacketCommitBot
18:48 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/Y9JNSA
18:48 RacketCommitBot: [racket/master] Replace uses of Type? in contracts with Type/c. - Eric Dobson
18:48 RacketCommitBot: [racket/master] Don't provide internal identifier. - Sam Tobin-Hochstadt
18:48 RacketCommitBot: [racket/master] Document `~e` from `racket/format`. - Sam Tobin-Hochstadt
18:48 (part) RacketCommitBot
18:55 (join) RebelBunny
18:55 RebelBunny: why do some use Racket over Scheme?
19:00 (join) bjz
19:05 samth: RebelBunny: for the high-quality {compiler, language, module system, libraries, ffi, gui, IDE, documentation, object system, ...}
19:05 RebelBunny: samth: so why are there others using Scheme over racket?
19:05 samth: RebelBunny: that's a much longer story
19:07 RebelBunny: samth: Oh? I don't mind you being as brief as possible
19:08 samth: for many people, they're previously-committed to some other implementation
19:08 samth: for others, they are searching for a "minimal" language
19:10 samth: i'm sure there are lots of other reasons
19:10 samth: but you'd need to ask them
19:11 asumu: RebelBunny: although if you're not already tied to a Scheme, there's not much reason to not use Racket.
19:11 asumu: Unless there's a specific feature you really need.
19:11 asumu: Like compiling to C or something like that.
19:12 asumu: Also: just try it and see.
19:13 (quit) dzhus: Remote host closed the connection
19:16 mye: A type is an abstracted notation for data. Correct?
19:17 mye: no a type system is an abstracted notation for data
19:19 (quit) bjz: Quit: Leaving...
19:20 (join) bjz
19:21 (join) scott_
19:21 (quit) scott_: Changing host
19:21 (join) scott_
19:26 (quit) pcavs: Quit: Leaving.
19:36 (quit) cdidd: Read error: Connection reset by peer
19:37 (join) cdidd
19:42 (quit) cdidd: Read error: Connection reset by peer
19:42 (join) cdidd
19:44 (quit) MayDaniel: Read error: Connection reset by peer
19:45 (quit) bitonic`: Read error: Connection reset by peer
19:45 (join) bitonic
19:48 (join) felipe
20:01 (quit) masm: Quit: Leaving.
20:03 asumu: mye: I'm not sure what you mean by that.
20:03 asumu: I would say a type system is a way to statically exclude certain undesirable behaviors.
20:10 (join) neilv
20:15 (join) jeapostrophe
20:15 (quit) jeapostrophe: Changing host
20:15 (join) jeapostrophe
20:18 (quit) acarrico: Ping timeout: 246 seconds
20:22 (join) tuor
20:35 (join) acarrico
20:48 (quit) scott_: Quit: Leaving
20:55 (quit) jeapostrophe: Ping timeout: 260 seconds
21:01 (quit) bitonic: Ping timeout: 255 seconds
21:25 (quit) bjz: Quit: Leaving...
21:27 neilv: i was smoking crack, and thought that the main thread would call custodian-shutdown-all when the program was exiting
21:30 asumu: neilv: I haven't used custodians much, why is that an unreasonable assumption?
21:32 neilv: i shouldn't have assumed
21:50 (quit) jesyspa: Quit: leaving
21:54 (join) dnolen
22:09 (join) bjz
22:17 neilv: huh. 5.3 fresh out of the box still has that message about you having to "Choose Language"
22:26 (quit) tuor: Quit: tuor
22:45 (join) _tca
22:49 (join) pcavs
23:02 (join) hyko-
23:07 (quit) hyko: Read error: Connection reset by peer
23:10 (quit) Shviller: Ping timeout: 256 seconds
23:11 (join) Shviller
23:28 (join) tuor
23:42 (quit) tuor: Quit: tuor
23:48 neilv: that'll teach me to spend time on windows. the rc feature of vlc didn't work on windows, so they just disabled it and substituted an older, incompatible protocol for the same command line option, without documenting this
23:55 offby1: Isn't that more of a complaint about vlc?
23:55 offby1: Platforms differ; that's life
23:57 (quit) dspt_: Remote host closed the connection
23:57 (join) thebifnif
23:58 neilv: thankfully, this is not core racket, so ms windows can bite me
23:59 (part) thebifnif