00:17 (join) realitygrill_
00:17 (quit) realitygrill: Read error: Connection reset by peer
00:17 (nick) realitygrill_ -> realitygrill
01:25 (join) jonrafkind
01:54 (quit) realitygrill: Quit: realitygrill
01:54 (quit) jeapostrophe: Ping timeout: 268 seconds
02:27 (quit) freakazoid: Quit: Computer has gone to sleep.
02:48 eli: bremner: ping
02:58 (quit) yoklov: Quit: This computer has gone to sleep
02:59 (quit) mithos28: Quit: mithos28
03:19 (nick) Lajla -> Saimazanus
03:23 (quit) cipher: Read error: Connection reset by peer
03:27 (join) cipher
03:28 (nick) cipher -> Guest54449
03:48 (join) masm
03:49 (quit) Shviller: Ping timeout: 255 seconds
03:49 (join) Shviller
04:08 (quit) masm: Quit: Leaving.
04:10 (quit) jonrafkind: Ping timeout: 255 seconds
04:47 (quit) dpritchett: Read error: Operation timed out
05:04 bremner: eli: hey. Not completely awake at the moment, but I'll have a look at your mail.
05:05 bremner: oh. I guess my opinion is that the square brackets look better but the round ones better work.
05:06 (join) veer
05:10 (join) sindoc
05:18 (quit) sindoc: Ping timeout: 252 seconds
05:20 (quit) Fulax: Ping timeout: 240 seconds
05:28 (join) sindoc
05:39 (part) sindoc
07:08 (quit) veer: Read error: Connection reset by peer
08:29 (quit) Shvillr: Quit: bye
08:31 (join) Shvillr
08:57 (join) majoroi
09:02 bremner: eli: a curiousity. (vector 1 2 3) fails in pl, but works in typed/racket/base. Is that on purpose?
09:02 (quit) majoroi: Ping timeout: 258 seconds
09:03 (join) masm
09:14 bremner: I mean, vector is unbound. No fancy kind of failure.
09:23 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/hmDsag
09:23 RacketCommitBot: [racket/master] fix scheme_basic_env() reset behavior - Matthew Flatt
09:46 (join) gciolli
10:12 (join) yoklov
10:22 (join) jeapostrophe
10:32 (quit) yoklov: Quit: Leaving
10:33 (quit) gciolli: Ping timeout: 260 seconds
10:35 (quit) dnolen: Ping timeout: 248 seconds
10:39 (join) anRch
10:40 (join) yoklov
10:41 (nick) chaozzbubi -> ChaozZBubi
11:09 RacketCommitBot: [racket] plt pushed 9 new commits to master: http://git.io/ow2MSA
11:09 RacketCommitBot: [racket/master] first attempt at Jay's optimization for redex - Robby Findler
11:09 RacketCommitBot: [racket/master] disable attempt at Jay's optimization - Robby Findler
11:09 RacketCommitBot: [racket/master] Tried to improve redex by detecting when a pattern does not - Robby Findler
11:41 (join) karswell
11:44 eli: bremner: Yeah, re []s I'll just keep them.
11:44 eli: And re vectors -- yes, I never had any use for them.
11:45 bremner: eli: me neither, I was just converting the quick-ref that matt flatt made for PLAI, mainly as a learning exercise.
11:46 eli: He did a quick reference for plai?
11:46 eli: Anyway, look in lang/base.rkt -- that's the whole language.
11:46 eli: It does have vectors, but I omitted `vector' for some reason.
11:47 eli: Will add it now.
11:47 eli: But in practice I never used them so they're always omitted from the homework languages.
11:47 bremner: yeah, both matt's file and my conversion/butchery is in http://www.cs.unb.ca/~bremner/teaching/cs3613/racket/
11:51 (quit) anRch: Quit: anRch
11:52 eli: bremner: Nice idea, but it can be kind of dangerous sometimes.  Like when students run into symbols and start using them for all the wrong reasons...
11:53 eli: And BTW (eq? "apple" "apple") is going to be #t in the next release.
11:55 bremner: eli: that would take students motivated to read the docs ;)
12:05 (join) realitygrill
12:05 eli: bremner: The problem is when they start wondering off and coming up will all kinds of "creative" solutions...  mostly meaning that they end up writing parenthesized Java code.
12:07 bremner: yeah, I have a different set of problems. My students start with 0 racket.
12:07 bremner: at least, baroque, java like solutions were not a big issue last year.
12:09 eli: Heh, it certainly helps me that I'm getting students that are filtered by our htdp-based intro course.
12:18 (join) MayDaniel
12:22 (quit) jeapostrophe: Ping timeout: 252 seconds
12:30 (quit) realitygrill: Ping timeout: 255 seconds
12:33 (join) realitygrill
12:34 (quit) realitygrill: Read error: Connection reset by peer
12:34 (join) realitygrill
13:03 yoklov: err, what are the wrong reasons to use symbols?
13:03 (quit) MayDaniel: Read error: Connection reset by peer
13:25 (join) jao
13:34 (join) aahert
13:37 offby1: using them to prop up an end table is wrong
13:37 offby1: eating them with anything savory is wrong
13:38 offby1: filling a litter box with them is wrong, unless you've got one of those big Maine Coon cats
13:38 (quit) realitygrill: Ping timeout: 248 seconds
13:41 (join) realitygrill
13:47 (join) dyoo
13:53 (quit) realitygrill: Ping timeout: 240 seconds
13:57 (join) realitygrill
14:01 (quit) aahert: Quit: Page closed
14:08 (join) jonrafkind
14:49 (quit) jonrafkind: Ping timeout: 240 seconds
14:53 (join) jeapostrophe
15:24 (join) gc329915
15:45 (join) Fulax
16:16 (quit) karswell: Read error: Operation timed out
16:31 eli: bremner: Done.
16:31 bremner: \o/
16:32 eli: ...and sent the bundle.  Hopefully it will work...
16:32 bremner: first class is thursday, time for one more language redesign? ;)
16:32 eli: You have something else you need?
16:32 bremner: nah, just making a joke
16:32 eli: Well, I'm always open for hacking new languages...
16:33 eli: Pre- or mid-semester, doesn't matter.
16:33 eli: I'm actually prepared now for the new semester -- usually I do all of this after it has started...
16:33 eli: (I start next wednesday.)
16:33 bremner: yeah, I have some more ground to make up here.
16:34 eli: In any case, if you have any requests, comments, etc, I'll be happy to get them.
16:34 bremner: I appreciate the help.
16:35 eli: I'll probably steal that intro at some point -- my intro sucks.
16:35 bremner: sure, I'll let you have what end up with.
16:35 eli: Mainly because it's a patch job -- things used to be different when I started (when students didn't go through htdp),
16:35 eli: and then there's the TR intro which is in a weird place because that's when Sam happened to drop in the class with his writeup.
16:37 (quit) jao: Remote host closed the connection
16:37 bremner: ok, I managed to unpack your bundle
16:38 eli: Is there a way to look into a bundle, btw?
16:39 bremner: the way I know (which I just did) "git fetch ../bremner.gb && git log FETCH_HEAD"
16:40 bremner: no claims of elegance.
16:40 (join) karswell
16:40 eli: Yeah, I was wondering if there's an easier way...
16:41 eli: s/easier/elegant/
16:42 (join) jao
16:42 (quit) gc329915: Quit: Leaving.
17:02 (join) jonrafkind
17:08 (join) snearch
17:09 (quit) snearch: Quit: Verlassend
17:24 (quit) dyoo: *.net *.split
17:24 (quit) Nanakhiel: *.net *.split
17:24 (quit) bremner: *.net *.split
17:25 (join) dyoo
17:25 (join) Nanakhiel
17:25 (join) bremner
17:41 (join) anRch
17:45 (quit) dyoo: Quit: dyoo
18:03 bremner: eli: got your changes merged into my repo, and ran a trivial test of the new define-type/cases. Seems ok so far.
18:13 eli: bremner: Do you have any other changes to the code?  (Besides the obvious ones like its name, the url, etc)
18:18 (quit) anRch: Quit: anRch
18:36 (quit) jeapostrophe: Read error: Operation timed out
19:08 (join) jeapostrophe
19:15 (quit) jeapostrophe: Ping timeout: 248 seconds
19:17 (quit) yoklov: Quit: Leaving
19:17 (join) yoklov
19:39 (quit) karswell: Ping timeout: 240 seconds
19:39 (join) karswell
19:47 (join) freakazoid
19:55 (quit) freakazoid: Quit: Computer has gone to sleep.
20:03 (quit) jonrafkind: Read error: Operation timed out
20:36 (quit) Arsonide: Read error: Connection reset by peer
20:52 (join) jeapostrophe
20:57 (join) neilv
20:59 (quit) masm: Quit: Leaving.
21:21 bremner: eli: nah, just boring adminstrative stuff like url's
21:35 (quit) karswell: Ping timeout: 252 seconds
21:50 (join) freakazoid
22:32 (join) veer
22:39 (nick) Guest54449 -> cipher
22:39 (quit) cipher: Changing host
22:39 (join) cipher
22:54 (join) jonrafkind
23:17 (quit) freakazoid: Quit: Computer has gone to sleep.
23:18 (join) karswell
23:21 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/FSv-IA
23:21 RacketCommitBot: [racket/master] redex: fix bug introduced in recent optimization attempts - Robby Findler
23:34 neilv: http://i.imgur.com/Pwg7B.png
23:35 neilv: that's 6 cases concerning planet dev links. i still have to add warnings about suspicious version numbers
23:36 neilv: and add a cache so that i'm not hitting the planet server every time