00:10 dented42: temp: still there?
00:10 dented42: apparently not...
00:26 (join) mizu_no_oto
00:29 (quit) mizu_no_oto: Client Quit
00:43 dented42: why does (sqrt (+ (sqr 3.0) (* 5 5))) cause a future to block? The guide mentions something about arithmatic that involves mixtures of fixed and floating point numbers causes a slow path, but what does that mean?
00:50 (quit) mithos28: Quit: mithos28
00:50 (join) mithos28
00:57 (join) francisl
01:05 (quit) francisl: Quit: francisl
01:05 (quit) mithos28: Quit: mithos28
01:23 (join) francisl
01:24 (quit) cdidd: Remote host closed the connection
02:22 (join) mithos28
02:32 (quit) francisl: Quit: francisl
02:37 (quit) mithos28: Quit: mithos28
02:38 (quit) jonrafkind: Ping timeout: 248 seconds
02:41 (join) cdidd
02:50 (quit) acarrico: Ping timeout: 252 seconds
03:14 (join) mithos28
03:19 (quit) dnolen: Remote host closed the connection
03:21 (quit) gridaphobe: Remote host closed the connection
03:21 (join) gridaphobe
03:25 (quit) gridaphobe: Ping timeout: 240 seconds
03:30 (join) RacketCommitBot
03:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/6QeK-A
03:30 RacketCommitBot: racket/master 08106e0 Eli Barzilay: New Racket version 5.3.2.2.
03:30 (part) RacketCommitBot
03:43 (quit) tcsc: Quit: computer sleeping
03:45 (join) sirdancealot
03:52 (quit) tps__: Read error: Connection reset by peer
03:52 (join) tps_
04:00 (join) soegaard
04:09 (quit) mceier: Quit: leaving
04:12 (quit) mithos28: Quit: mithos28
04:25 (quit) Shviller: Read error: Connection reset by peer
04:27 (quit) cdidd: Remote host closed the connection
04:31 (join) cdidd
04:35 (join) RacketCommitBot
04:35 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/rHU6QA
04:35 RacketCommitBot: racket/master 57f233c Mike Sperber: Synch German string constants with latest.
04:35 (part) RacketCommitBot
04:35 (join) Shviller
04:42 (join) tilde`
04:44 (quit) tilde`: Client Quit
04:44 (join) tilde`
04:45 (quit) tilde`: Client Quit
04:45 (join) tilde`
04:50 (join) mizu_no_oto
04:59 (join) mceier
05:19 (join) rmathews
05:23 (quit) gf3: Quit: LOLeaving
05:28 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
05:34 (quit) tilde`: Ping timeout: 256 seconds
05:37 (join) gf3
05:39 (join) josdeha_rt
05:49 (quit) rmathews: Quit: ...
05:54 (quit) gf3: Quit: ZNC - http://znc.in
05:55 (join) gf3
05:58 (join) tsion
05:58 (quit) tsion: Changing host
05:58 (join) tsion
05:59 (quit) josdeha_rt: Ping timeout: 252 seconds
06:04 (join) bitonic
06:09 (quit) tsion: Quit: Leaving
06:37 (join) merijn
06:44 (quit) bitonic: Ping timeout: 248 seconds
07:06 (join) rmathews
07:11 (join) MayDaniel
07:32 (quit) tps_: Read error: Connection reset by peer
07:32 (join) tps_
07:34 (quit) tps_: Read error: Connection reset by peer
07:34 (join) tps_
07:36 (quit) tps_: Client Quit
07:43 (quit) Nisstyre-laptop: Read error: Operation timed out
07:47 (quit) rmathews: Quit: ...
07:59 (join) tps_
08:04 (quit) ASau: Ping timeout: 245 seconds
08:15 (join) tilde`
08:23 (join) kofno
08:32 (quit) kofno: Ping timeout: 260 seconds
08:35 (join) kofno
09:08 (join) jeapostrophe
09:08 (quit) jeapostrophe: Changing host
09:08 (join) jeapostrophe
09:10 (join) jao
09:10 (join) anRch
09:10 (quit) jao: Changing host
09:10 (join) jao
09:21 (quit) kofno: Remote host closed the connection
09:21 (join) ijp
09:24 (join) kofno
09:34 (quit) kofno: Remote host closed the connection
09:37 (join) snowylike
09:56 (join) francisl
10:13 (quit) Shviller: Ping timeout: 255 seconds
10:20 (join) mizu_no_oto
10:22 (quit) anRch: Quit: anRch
10:25 (quit) mceier: Quit: leaving
10:25 (quit) tewk: Read error: Connection reset by peer
10:43 (join) Shviller
10:45 (join) klr_
10:45 (nick) klr_ -> klrr
10:46 (quit) francisl: Quit: francisl
10:48 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
11:02 (join) didi
11:02 (join) mizu_no_oto
11:22 (join) francisl
11:22 (join) anRch
11:23 (join) zacts
11:35 (join) mceier
11:42 (quit) didi: Read error: Operation timed out
11:57 (quit) cdidd: Remote host closed the connection
11:58 (join) rmathews
12:01 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs)
12:02 (join) zacts
12:05 (quit) soegaard: Quit: soegaard
12:08 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:11 (join) dnolen
12:11 (quit) anRch: Quit: anRch
12:24 (join) Shvillr_
12:24 (quit) Shviller: Disconnected by services
12:24 (nick) Shvillr_ -> Shviller
12:29 (join) univyrse
12:29 (part) univyrse
12:54 (join) mithos28
13:00 (join) bitonic
13:02 (join) didi
13:15 (join) jonrafkind
13:21 (quit) sizz_: Ping timeout: 240 seconds
13:23 (join) sizz
13:26 (join) acarrico
13:29 jonrafkind: stamourv, ping
13:29 jonrafkind: https://launchpadlibrarian.net/128875188/buildlog_ubuntu-maverick-i386.racket_5.3.2.2-20130119~maverick_FAILEDTOBUILD.txt.gz are you aware that head fails to build
13:29 rudybot: http://tinyurl.com/b5uanpb
13:29 jonrafkind: private/number-theory/bernoulli.rkt:73:48: Type Checker: Expected Nonnegative-Integer, but got (U Nonpositive-Integer Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Positive-Integer-Not-Fixnum)
13:57 (join) gridaphobe
13:58 asumu: jonrafkind: that might've been my even?/odd? filter commit in stamourv's push. I'll look into it.
13:58 jonrafkind: oh ok
13:58 jonrafkind: did you not get an email from drdr?
13:58 asumu: Probably it means a TR bug was being relied on.
13:58 asumu: Nope, since it was stamourv's push and not mine.
13:58 jonrafkind: hm.. interesting loophole
13:58 asumu: Unless DrDr is smart enough to e-mail to everyone who's a committer on a push.
13:58 jonrafkind: i would hope so..
13:59 jonrafkind: jeapostrophe, ?
14:00 asumu: Hmm, I don't get a build error. Maybe there's some stale .zos or something...
14:02 asumu: Huh, raco seems to not recompile when it needs to recently.
14:02 jonrafkind: when developing in honu i always rm -rf the compiled directories and never do 'raco make'
14:02 jonrafkind: stale zo's are the bane of my existence
14:03 asumu: Yeah, I should modify the plt-fresh-build script to raco setup -c before rebuilding.
14:04 (quit) francisl: Quit: francisl
14:04 asumu: (actually, that won't work when raco hasn't been built yet... maybe I should trawl for compiled/ folders)
14:07 (quit) sirdancealot: Ping timeout: 252 seconds
14:32 jeapostrophe: jonrafkind: drdr emails the last person on the push, not all the committers
14:35 jonrafkind: ok
14:38 asumu: I have a fix and I've asked Neil to check it, so the build issue will probably fixed soon.
14:40 (join) stilluntrusted
14:48 (quit) karswell: Read error: Operation timed out
14:48 (quit) tps_: Quit: tps_
14:53 (join) tcsc
14:59 asumu: http://www.newpittsburghcourieronline.com/index.php/youth/9699-first-grader-creates-mobile-app-video-game <-- is this Racket teaching languages & world or something else?
15:00 rudybot: http://tinyurl.com/bah8x9s
15:02 (join) tps_
15:02 jonrafkind: http://www.bootstrapworld.org/materials/ sounds like this thing
15:14 asumu: jonrafkind: Yeah, I figured, but they referred to the "Bootstrap programming language". Ah well.
15:14 jonrafkind: what got me was the 'using pure algebraic and geometric' part
15:15 jonrafkind: This specific program teaches students to program their own videogames and applications using purely algebraic and geometric concepts.
15:16 (quit) bitonic: Ping timeout: 240 seconds
15:22 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs)
15:24 (join) zacts
15:31 (quit) mithos28: Quit: mithos28
15:46 (quit) zacts: Read error: Connection reset by peer
15:54 (quit) gridaphobe: Remote host closed the connection
15:54 (join) gridaphobe
15:55 (quit) stilluntrusted: Remote host closed the connection
15:59 (quit) gridaphobe: Ping timeout: 248 seconds
16:15 (join) gridaphobe
16:20 (quit) tilde`: Quit: kthxbai
16:22 (join) eikonos1
16:22 (quit) eikonos: Read error: Connection reset by peer
16:22 (quit) eikonos1: Read error: Connection reset by peer
16:22 (join) eikonos
16:24 (join) Shviller
16:34 (quit) tcsc: Quit: bye!
16:39 (join) zacts
16:40 (quit) MayDaniel: Read error: Connection reset by peer
16:43 (join) mithos28
16:50 (join) tcsc
16:57 (join) MayDaniel
17:21 (quit) MayDaniel: Read error: Connection reset by peer
17:21 (quit) xulfer: Ping timeout: 245 seconds
17:23 (join) xulfer
17:30 (join) francisl
17:30 (quit) francisl: Client Quit
17:37 (quit) zacts: Remote host closed the connection
17:40 (join) zacts
17:59 (quit) Fare: Quit: Leaving
18:00 (join) safekeeping
18:00 (quit) snowylike: Quit: Nettalk6 - www.ntalk.de
18:00 (join) anRch
18:18 (quit) didi: Ping timeout: 245 seconds
18:35 (quit) tps_: Quit: tps_
18:40 (quit) alagabes: Ping timeout: 252 seconds
18:40 mithos28: How is this line sound? https://github.com/plt/racket/blob/master/collects/typed-racket/infer/infer-unit.rkt#L336
18:40 rudybot: http://tinyurl.com/abgx5sd
18:41 mithos28: It seems like that shows that multiple value types are subtypes of Univ
18:45 (quit) anRch: Quit: anRch
18:54 (quit) jeapostrophe: Ping timeout: 246 seconds
19:10 (quit) jrslepak: Quit: What happened to Systems A through E?
19:14 (quit) mithos28: Quit: mithos28
19:18 (join) mithos28
19:19 (quit) tcsc: Quit: computer sleeping
19:23 (nick) gf3 -> gf3|poopin
19:27 (join) tcsc
19:57 (quit) jonrafkind: Ping timeout: 252 seconds
20:04 (join) ASau
20:07 (join) bitonic
20:19 (join) tsion
20:19 (quit) tsion: Changing host
20:19 (join) tsion
20:35 (join) Kaylin
20:45 (quit) bitonic: Ping timeout: 255 seconds
20:50 (join) jrslepak
20:58 (join) cdidd
21:02 (join) RacketCommitBot
21:02 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/FviWsw
21:02 RacketCommitBot: racket/master 564f589 Neil Toronto: Fixed some limits and accuracy issues with flonum expansions
21:02 RacketCommitBot: racket/master ddec613 Neil Toronto: Fixed type error in "bernoulli.rkt"...
21:02 RacketCommitBot: racket/master ed01f70 Neil Toronto: Bumped error bounds up a bit more
21:02 (part) RacketCommitBot
21:04 (join) jeapostrophe
21:04 (quit) jeapostrophe: Changing host
21:04 (join) jeapostrophe
21:08 (quit) Kaylin: Read error: Connection reset by peer
21:12 (join) sirdancealot
21:18 (quit) gridaphobe: Remote host closed the connection
21:18 (join) gridaphobe
21:22 (quit) gridaphobe: Ping timeout: 248 seconds
21:24 (join) Nisstyre-laptop
21:31 (join) ASau`
21:35 (quit) ASau: Ping timeout: 244 seconds
22:08 (quit) tcsc: Quit: computer sleeping
22:21 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs)
22:21 (join) tcsc
22:28 (join) zacts
22:32 (join) eikonos1
22:32 (quit) eikonos: Read error: Connection reset by peer
22:44 (quit) jeapostrophe: Ping timeout: 240 seconds
22:52 (join) lewis1711
22:56 (join) kofno
23:01 (quit) mithos28: Quit: mithos28
23:06 (join) mithos28
23:12 (quit) ijp: Quit: The garbage collector got me
23:13 (quit) tsion: Quit: Leaving
23:18 (quit) kofno: Remote host closed the connection
23:24 (join) RacketCommitBot
23:24 RacketCommitBot: [racket] plt pushed 1 new commit to release: http://git.io/WYJCSQ
23:24 RacketCommitBot: racket/release b82a15a Mike Sperber: Synch German string constants with latest....
23:24 (part) RacketCommitBot
23:26 (join) kofno
23:32 (quit) mithos28: Quit: mithos28
23:35 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs)
23:43 (join) sizz_
23:44 (quit) sizz: Ping timeout: 252 seconds