00:00 (join) jeapostrophe
00:00 (quit) jeapostrophe: Changing host
00:00 (join) jeapostrophe
00:00 (quit) Shviller: Read error: Connection reset by peer
00:01 (join) Shviller
00:09 (quit) greghendershott: Quit: Leaving.
00:27 (quit) Demosthenex: Ping timeout: 264 seconds
00:29 (join) Demosthenex
00:52 jaimef: is there any sort of read-string variant that can read up until a delimiter? e.g. read a line at a time up to "\n"
00:53 mithos28: read-line ?
00:53 mithos28: rudybot: doc read-line
00:53 rudybot: mithos28: error: with-limit: out of time
00:54 mithos28: well if rudybot wasn't broken for me that would work
00:54 mithos28: offby1: Can you see whats up with rudybot
01:04 (join) hash_table
01:08 (quit) jeapostrophe: Ping timeout: 246 seconds
01:16 cky: rudybot: doc read-line
01:17 rudybot: cky: your sandbox is ready
01:17 rudybot: cky: http://docs.racket-lang.org/reference/Byte_and_String_Input.html#(def._((quote._~23~25kernel)._read-line))
01:17 cky: mithos28: If at first you don't succeed, try, try again.
01:17 mithos28: rudybot: eval (+ 1 1)
01:17 rudybot: mithos28: your typed/racket sandbox is ready
01:17 rudybot: mithos28: ; Value: 2
01:17 rudybot: mithos28: ; stdout: "- : Integer [generalized from Positive-Index]\n"
01:17 mithos28: rudybot: init racket
01:17 rudybot: mithos28: your sandbox is ready
01:17 mithos28: rudybot: (+ 1 1)
01:17 rudybot: mithos28: ; Value: 2
01:18 mithos28: ah its working again
01:18 mithos28: rudybot: init typed/racket
01:18 rudybot: mithos28: error: with-limit: out of time
01:18 mithos28: or not
01:18 cky: mithos28: Just try again.
01:18 mithos28: rudybot: init typed/racket
01:18 mithos28: cky: I broke it last night
01:18 rudybot: mithos28: error: with-limit: out of time
01:19 cky: rudybot: init typed/racket
01:19 rudybot: cky: your typed/racket sandbox is ready
01:19 cky: \o/
01:19 mithos28: I have a thread running in the background under my user
01:19 cky: mithos28: I'm sure the sandbox would nuke it.
01:19 cky: mithos28: The sandbox is supposed to be pretty resilient.
01:19 mithos28: I have never had the time limit issue till then
01:20 mithos28: rudybot: init typed/racket
01:20 rudybot: mithos28: your typed/racket sandbox is ready
01:20 (quit) mceier: Quit: leaving
01:21 mithos28: rudybot: (define v (for/fold: ((x : String null)) () x))
01:21 rudybot: mithos28: error: Type Checker: Expected String, but got Null in: #%top-interaction
01:21 (part) firefux
01:22 mithos28: rudybot: eval (: y Integer) (define y (for/fold: ((x : Integer null)) ((v : Integer null)) x))
01:22 rudybot: mithos28: Done.
01:22 mithos28: rudybot: y
01:22 rudybot: mithos28: ; Value: ()
01:22 rudybot: mithos28: ; stdout: "- : Integer\n"
01:22 mithos28: rudybot: (+ 1 y)
01:22 rudybot: mithos28: error: +: expects type <number> as 2nd argument, given: '(); other arguments were: 1
01:23 mithos28: now to use this unsoundness for evil
01:29 (quit) hash_table: Ping timeout: 240 seconds
01:37 (quit) neilv: Ping timeout: 240 seconds
01:45 (quit) mithos28: Quit: mithos28
01:46 (join) mithos28
01:53 (quit) deu5: Remote host closed the connection
01:58 (join) asvil
02:21 (join) mceier
02:46 (join) hkBst
02:56 (quit) mithos28: Quit: mithos28
03:04 (join) masm
03:05 (join) bitonic
03:21 (join) dyoo
03:22 (quit) dyoo: Client Quit
03:24 (quit) jonrafkind: Ping timeout: 265 seconds
04:09 (join) noelw
04:18 (quit) bitonic: Ping timeout: 240 seconds
04:20 (join) mye
04:27 (join) rapacity1
04:29 (quit) asvil: *.net *.split
04:29 (quit) m4burns: *.net *.split
04:29 (quit) rapacity: *.net *.split
04:29 (quit) mario-goulart: *.net *.split
04:29 (quit) ormaaj: *.net *.split
04:36 (quit) ewemoa: Quit: Leaving.
04:40 (join) asvil
04:40 (join) m4burns
04:40 (join) mario-goulart
04:40 (join) ormaaj
04:59 (quit) asvil: *.net *.split
04:59 (quit) m4burns: *.net *.split
04:59 (quit) mario-goulart: *.net *.split
04:59 (quit) ormaaj: *.net *.split
05:01 (join) Aune
05:06 (join) bitonic
05:10 (join) asvil
05:10 (join) m4burns
05:10 (join) mario-goulart
05:10 (join) ormaaj
05:19 (quit) mario-goulart: Remote host closed the connection
05:19 (join) mario-go`
05:22 (quit) ormaaj: Ping timeout: 240 seconds
05:27 (join) m4burns_
05:35 (quit) asvil: *.net *.split
05:35 (quit) m4burns: *.net *.split
05:36 (join) nilyaK
05:38 (join) bitonic`
05:40 (quit) bitonic: Ping timeout: 265 seconds
05:42 (join) asvil
05:43 (quit) asvil: Remote host closed the connection
05:43 (join) asvil
06:09 (quit) nilyaK: Ping timeout: 246 seconds
06:30 (quit) pavelpenev: Read error: Operation timed out
06:31 (nick) mario-go` -> mario-goulart
07:13 (join) untrusted
07:14 (join) wlangstroth
07:20 (join) ormaaj
07:26 (quit) BeLucid: Remote host closed the connection
07:39 (join) nathanpc
07:47 (quit) dsantiago: Quit: Computer has gone to sleep.
08:01 (join) mizu_no_oto
08:04 (join) greghendershott
08:08 mye: it seems racket's date handling does not abstract the ending of the 32-bit unix epoch with a 32-bit racket ?!?
08:10 (join) jeapostrophe
08:10 mye: and I do want to use 32-bit bc. it uses less memory.
08:15 (quit) asvil: Remote host closed the connection
08:16 mye: GRML, back to 64-bit racket then  :|
08:16 (join) asvil
08:19 (join) BeLucid
08:26 (join) dsantiago
08:27 (join) RacketCommitBot
08:27 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/1T8A1w
08:27 RacketCommitBot: racket/master 12e8332 Robby Findler: move follow-log.rkt to tests/drracket
08:27 RacketCommitBot: racket/master 3aac6ec Robby Findler: add the name of the function to the message string in the gui-event logger
08:27 (part) RacketCommitBot
08:37 (join) RacketCommitBot
08:37 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/EZkV1Q
08:37 RacketCommitBot: racket/master a4b5336 Matthew Flatt: doc clarification on `set-rest'
08:37 RacketCommitBot: racket/master 9ef485d Matthew Flatt: fix configuration for QNX...
08:37 (part) RacketCommitBot
08:42 (join) Agent-P
08:43 Agent-P: Hello
08:43 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
08:44 Agent-P: I get an error when I compile my programm which code and decode Morse-code .. Can someone help me ?
08:44 Agent-P: this is a link where you can get my code :
08:44 Agent-P: http://pastebin.com/MGNv24jN
08:57 (join) mizu_no_oto
08:57 mye: agent-p: cond: all question results were false is this the error?
08:58 Agent-P: yes
09:02 (join) bitonic``
09:03 (join) hash_table
09:04 (quit) bitonic`: Ping timeout: 246 seconds
09:06 mye: agent-p: looks like there is no "I" (thats a big i) in your morsetree
09:06 mye: agent-p: try to add a test case for #\I
09:06 Agent-P: i
09:06 Agent-P: ?
09:07 Agent-P: ok
09:07 Agent-P: I'll try
09:07 (join) neilv
09:07 mye: agent-p: the failing test tries to encode GDI and fails at the I
09:08 (quit) hash_table: Ping timeout: 255 seconds
09:09 Agent-P: Yes
09:09 Agent-P: I'll look at the exercice
09:09 Agent-P: and verify the whole tree
09:09 (join) deu5
09:13 (quit) jrslepak: Quit: What happened to Systems A through E?
09:13 (quit) neilv: Quit: Leaving
09:17 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
09:19 (join) pavelpenev
09:20 (quit) untrusted: Remote host closed the connection
09:31 (join) carleastlund
09:34 Agent-P: I'm back
09:34 (nick) m4burns_ -> m4burns
09:34 Agent-P: I did everything to resolve all problems
09:34 Agent-P: but I still have a problem in the line number 176
09:34 (quit) bitonic``: Remote host closed the connection
09:34 (join) bitonic``
09:34 Agent-P: he says he gets : "HE E IE I    " and not "HALLO "
09:40 (join) jrslepak
09:44 (join) ambrosebs
09:47 (quit) noelw: Ping timeout: 246 seconds
09:47 (join) noelw_
09:49 (nick) bitonic`` -> bitonic
09:54 (quit) Agent-P: Quit: Verlassend
09:55 (join) nilyaK
09:56 (quit) jeapostrophe: Ping timeout: 246 seconds
10:06 (join) mizu_no_oto
10:06 (quit) Aune: Quit: L?mnar
10:09 (join) samth
10:09 (quit) samth: Changing host
10:09 (join) samth
10:10 (join) anRch
10:11 (quit) deu5: Quit: Leaving
10:17 (join) hash_table
10:19 (join) jeapostrophe
10:19 (quit) jeapostrophe: Changing host
10:19 (join) jeapostrophe
10:23 (quit) dsantiago: Read error: Connection reset by peer
10:33 (join) bro_grammer
10:33 (join) dsantiago
10:34 (quit) ambrosebs: Ping timeout: 252 seconds
10:35 (quit) hash_table: Ping timeout: 245 seconds
10:38 (join) jao
10:38 (quit) jao: Changing host
10:38 (join) jao
10:41 (quit) dsantiago: Quit: Computer has gone to sleep.
10:43 (join) dsantiago
10:48 (join) ambrosebs
10:50 (quit) samth: Ping timeout: 246 seconds
11:03 (quit) mceier: Quit: leaving
11:10 (quit) hkBst: Quit: Konversation terminated!
11:10 (quit) anRch: Quit: anRch
11:22 (quit) nilyaK: Ping timeout: 252 seconds
11:24 (join) mithos28
11:31 (quit) ambrosebs: Ping timeout: 265 seconds
11:35 (quit) masm: Quit: Leaving.
11:37 (join) Kaylin
11:49 (quit) asvil: Remote host closed the connection
11:51 (join) hash_table
11:52 (quit) noelw_: Quit: noelw_
11:54 (quit) bro_grammer: Ping timeout: 246 seconds
11:58 (join) bjz
12:00 (quit) bjz: Client Quit
12:05 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
12:13 (join) mye_
12:16 (quit) mye: Ping timeout: 252 seconds
12:16 (nick) mye_ -> mye
12:19 (join) mceier
12:21 (join) mizu_no_oto
12:29 (quit) dsantiago: Quit: Computer has gone to sleep.
12:39 (join) bitonic
12:39 (join) MayDaniel
12:45 (quit) mithos28: Quit: mithos28
12:47 (join) mithos28
12:49 (quit) cdidd: Remote host closed the connection
12:55 (join) dsantiago
13:10 (quit) mithos28: Quit: mithos28
13:28 (join) jonrafkind
13:29 (quit) dsantiago: Quit: Computer has gone to sleep.
13:35 (join) dsantiago
13:47 (join) RacketCommitBot
13:47 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/j7gjEA
13:47 RacketCommitBot: racket/master ac424a7 Neil Toronto: Added `define-typed/untyped-identifier' to typed/untyped-utils...
13:47 RacketCommitBot: racket/master f2dc202 Neil Toronto: Initial math library commit. The history for these changes is preserved...
13:47 (part) RacketCommitBot
13:51 (quit) SamB_MacG5: Ping timeout: 260 seconds
13:58 (join) SamB_MacG5
14:01 (join) neilv
14:18 (quit) carleastlund: Quit: carleastlund
14:21 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
14:26 (quit) bitonic: Ping timeout: 265 seconds
14:31 (join) mithos28
14:32 neilv: promises turn out to be useful for parsing tiff files
14:33 neilv: you're traversing a linked-list of arrays with fixed-size array items. while parsing an item, the data you need might be in the item, or the item might have an offset in the file you have to seek to get the data
14:34 neilv: if you don't want to do a seek for each of these items and then seek back to the next array position, you can instead store a promise that does that, in your output list
14:35 neilv: (the promise also contains code to do the processing on the data after seeking, and this code varies based on other info that was in the array item)
14:36 neilv: once done traversing the linked list of arrays you to a pass of your output list, forcing any promises. which then is when all those seeks happen
14:41 (quit) mithos28: Quit: mithos28
14:42 bartbes: sounds awesome
14:42 (quit) snorble_: Quit: snorble_
14:49 neilv: i am easily excited
14:50 (join) snorble_
14:57 (quit) Kaylin: Read error: Connection reset by peer
15:00 (quit) wlangstroth: Quit: passed out
15:03 (quit) neilv: Quit: Leaving
15:03 (join) mizu_no_oto
15:09 (join) wlangstroth
15:21 (join) Blkt
15:22 (quit) hash_table: Ping timeout: 255 seconds
15:23 Blkt: good evening everyone
15:25 (quit) dsantiago: Quit: Computer has gone to sleep.
15:25 asumu: Good evening. Although it's afternoon here.
15:25 (join) noelw
15:25 (quit) Nisstyre: Quit: Leaving
15:26 Blkt: :D
15:30 (quit) jonrafkind: Ping timeout: 260 seconds
15:32 (join) soegaard
15:34 (join) RacketCommitBot
15:34 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/raelGg
15:34 RacketCommitBot: racket/master 052ee14 Robby Findler: unbreak the contour window...
15:34 RacketCommitBot: racket/master 6fc70a0 Robby Findler: adjust the code that maintains the blue "where am I" background...
15:34 RacketCommitBot: racket/master 899ce93 Robby Findler: don't run follow-log.rkt in drdr
15:34 (part) RacketCommitBot
15:36 asumu: I made a Lua-style coroutine library: https://gist.github.com/4090648
15:43 (join) dsantiago
15:44 (quit) relrod: Read error: Operation timed out
15:45 (join) relrod
15:47 (join) jonrafkind
15:48 (quit) dsantiago: Ping timeout: 276 seconds
15:51 (join) dsantiago
15:56 (nick) rapacity1 -> rapacity
15:56 (join) rapacity
16:00 (join) mithos28
16:03 bartbes: asumu: heh, I've actually been working on making lua more lispy :P
16:03 bartbes: specifically, I added the true syntax, that is s-expressions
16:03 bartbes: also, I've got some lazy evaluation code laying around and such
16:07 bartbes: I like how you used continuations to implement coroutines to implement a generator to iterate over a tree to merge two trees
16:10 (quit) mithos28: Quit: mithos28
16:10 (join) RacketCommitBot
16:10 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/ud1_Rg
16:10 RacketCommitBot: racket/master c3cd089 Matthew Flatt: fix error message for `map', etc. on arity mismatch...
16:10 RacketCommitBot: racket/master 4080446 Matthew Flatt: skip ".git" or ".svn" in a collects directory...
16:10 RacketCommitBot: racket/master 9a48e5d Matthew Flatt: math: avoid import at unnecessary phase...
16:10 (part) RacketCommitBot
16:15 (join) Fare
16:16 (join) hash_table
16:16 asumu: bartbes: :D
16:16 asumu: I think #lang lua would be cool and I've thought about doing it.
16:17 bartbes: well, it has fairly simple syntax, that definitely helps
16:17 bartbes: and a small standard library..
16:17 bartbes: I'm not sure how well-suited the vm is for lua, though
16:18 asumu: Certainly it doesn't do Lua's optimizations for tables, but I thought of implementing that as a macro pass over modules.
16:19 bartbes: that reminds me, how does racket's c api compare to lua's?
16:20 bartbes: because its api is one of the reasons I love lua so much
16:20 (join) kcurtis
16:20 asumu: Likely much more complicated than Lua's, but it has reasonably good documentation.
16:21 asumu: There is an "Inside" guide in the docs for it.
16:21 bartbes: http://hastebin.com/yolaquqako.lua
16:21 bartbes: that's the horribleness of s-expressions applied to lua
16:21 kcurtis: Hi, does Racket support run-time recompilation of individual functions, like Common Lisp?
16:22 asumu: kcurtis: depends on what you mean by that.
16:22 kcurtis: asumu: have you used SLIME?
16:22 asumu: You can change function definitions at the REPL just fine.
16:22 asumu: No, I haven't.
16:22 kcurtis: yes, but can it be done while a program is already running?
16:23 asumu: No, not in general, unless you specifically set up your program for that.
16:23 bartbes: something along the lines of: suspend -> insert -> resume?
16:24 kcurtis: hm, OK. The reason I'm asking is that I want to keep one instance of a web-server running, without having to restart it every time I redefine some function
16:24 kcurtis: bartbes: maybe? Can you elaborate?
16:25 bartbes: I was just asking what you were asking for :P
16:25 (join) bitonic
16:26 kcurtis: oh, well, more like the lines of: insert -> resume
16:26 kcurtis: I think the CL people call this "hot-patching"
16:26 bartbes: but if there's no suspending to be done, can't you just use the repl, then?
16:26 kcurtis: it's really neat to be able to do so when working with running services, like web-sites and games
16:26 (join) dyoo
16:27 kcurtis: no, the REPL is "locked" once the server is running
16:28 bartbes: right, then the only thing I can think of is some (semi-)handwritten continuations
16:28 bartbes: but then, I'm probably one of the least knowledgable in this room, when it comes to racket
16:31 asumu: kcurtis: you may want to see this discussion http://lists.racket-lang.org/users/archive/2012-October/054323.html
16:32 asumu: (someone recently asked a similar question on the mailing list)
16:32 asumu: (there were some solutions proposed)
16:32 kcurtis: asumu: excellent! Thanks for the link
16:35 (quit) wlangstroth: Quit: passed out
16:35 (quit) dsantiago: Read error: Connection reset by peer
16:37 kcurtis: asumu: the threaded seems to work alright for my purpose (http://lists.racket-lang.org/users/archive/2012-October/054327.html). Thanks for the help :)
16:37 kcurtis: the threaded solution*
16:43 (join) dsantiago
16:49 (join) masm
16:51 (join) mceier_
16:51 (quit) mceier: Disconnected by services
16:51 (nick) mceier_ -> mceier
16:54 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
16:56 (quit) dyoo: Quit: dyoo
17:00 (part) kcurtis: "ERC Version 5.3 (IRC client for Emacs)"
17:07 (join) ubuntu-nathan
17:08 (quit) nathanpc: Ping timeout: 240 seconds
17:12 (quit) jrslepak: Quit: What happened to Systems A through E?
17:26 (join) RacketCommitBot
17:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/mr3KzA
17:26 RacketCommitBot: racket/master d1a02d3 Kevin Tew: [Distributed Places] fix partit function
17:26 (part) RacketCommitBot
17:29 (join) mithos28
17:31 (quit) dsantiago: Quit: Computer has gone to sleep.
17:31 (quit) masm: Ping timeout: 255 seconds
17:39 (quit) mithos28: Quit: mithos28
17:39 (join) RacketCommitBot
17:39 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/6bckXQ
17:39 RacketCommitBot: racket/master 97fa285 Neil Toronto: Removed runtime dependence on libmpfr; DrDr should be able to test all but tests/bigfloat-test.rkt now
17:39 (part) RacketCommitBot
17:44 (join) RacketCommitBot
17:44 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/8jgFSA
17:44 RacketCommitBot: racket/master 26475f4 Neil Toronto: Set ntoronto as responsible for math
17:44 (part) RacketCommitBot
17:45 (join) dsantiago
17:51 (join) masm
17:52 (join) didi
17:56 (quit) chrxn: Ping timeout: 265 seconds
17:56 (join) chrxn
17:57 (join) jrslepak
18:02 (quit) chrxn: Ping timeout: 246 seconds
18:04 (join) chrxn
18:04 (quit) jeapostrophe: Ping timeout: 252 seconds
18:04 (join) anRch
18:35 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs)
18:39 (quit) anRch: Read error: Connection reset by peer
18:39 (join) anRch
18:41 (quit) soegaard: Quit: soegaard
18:46 (join) nathanpc
18:46 (quit) Shviller: Ping timeout: 265 seconds
18:46 (join) Shviller
18:49 (quit) ubuntu-nathan: Ping timeout: 246 seconds
18:51 (quit) anRch: Quit: anRch
18:52 (quit) pavelpenev: Remote host closed the connection
18:52 (join) pavelpenev
18:56 (join) mithos28
19:07 (quit) mithos28: Quit: mithos28
19:08 (quit) masm: Quit: Leaving.
19:10 (join) RacketCommitBot
19:11 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/_6bndw
19:11 RacketCommitBot: racket/master e88fe44 Neil Toronto: Made bigfloats serializable
19:11 (part) RacketCommitBot
19:14 (quit) jonrafkind: Ping timeout: 268 seconds
19:15 (join) Nisstyre-laptop
19:16 (quit) MayDaniel: Read error: Connection reset by peer
19:17 (join) wlangstroth
19:20 (quit) Blkt: Quit: good night everyone
19:22 (join) bjz
19:22 (quit) dsantiago: Quit: Computer has gone to sleep.
19:24 (join) dsantiago
19:27 (join) neilv
20:24 (join) mithos28
20:34 (quit) mithos28: Quit: mithos28
20:43 (quit) dsantiago: Quit: Computer has gone to sleep.
20:52 (join) aezx
20:52 aezx: hello
20:52 (join) cdidd
20:55 (join) dsantiago
20:59 offby1: so they say
21:05 (quit) Fare: Read error: Operation timed out
21:07 (join) mithos28
21:18 aezx: hey mithos
21:18 mithos28: hey
21:18 aezx: i feel like a pain, but i have another question
21:18 aezx: if thats ok
21:19 mithos28: you do know thats why I hang out here mostly
21:19 mithos28: to help people
21:19 aezx: you're amazingly helpful too
21:19 offby1: let's not start ***ing each others ****s just yet
21:19 offby1: -- Winston Wolf
21:19 aezx: anyways, whats the point of parameterize?
21:19 mithos28: rudybot: (+ 1 1)
21:19 rudybot: mithos28: ; Value: 2
21:19 rudybot: mithos28: ; stdout: "- : Integer [generalized from Positive-Index]\n"
21:20 mithos28: rudybot: y
21:20 rudybot: mithos28: ; Value: ()
21:20 rudybot: mithos28: ; stdout: "- : Integer\n"
21:20 aezx: why is that different from defining something?
21:20 offby1: aezx: it's to temporarily change something, and be sure that it gets reset afterwards.
21:20 mithos28: like current-output-port
21:20 aezx: oh
21:20 offby1: mithos28: I'm completely stumped as to the timeouts you're seeing in the bot
21:21 mithos28: offby1: I think I have a thread running in the background in my thread group
21:21 offby1: all I can say is: the bot runs on an el-cheapo EC2 instance; perhaps typed racket requires that something be loaded, and maybe that loading takes a long time
21:21 offby1: mithos28: lemme see if I can do the SuperUser Reset™®©
21:21 mithos28: or me
21:21 offby1: I can also just reboot the damned bot if that's what it takes.
21:21 mithos28: can I try to kill it first?
21:22 offby1: try now
21:22 offby1: i.e., try any ordinary eval
21:22 mithos28: rudybot: (: z (Listof Integer))
21:22 rudybot: mithos28: your typed/racket sandbox is ready
21:22 rudybot: mithos28: Done.
21:22 offby1 twiddles thumbs
21:23 mithos28: rudybot: (define z (for/fold: ((x : (Listof Integer) 1)) ((v : Integer null)) x))
21:23 rudybot: mithos28: error: Type Checker: Expected (Listof Integer), but got One in: #%top-interaction
21:23 mithos28: z
21:23 mithos28: rudybot: y
21:23 rudybot: mithos28: error: #<undefined>:1:0: Type Checker: untyped top-level identifier y in: y
21:23 offby1: heh
21:23 mithos28: rudybot: (: y Integer)
21:23 rudybot: mithos28: Done.
21:23 mithos28: rudybot: (define y (for/fold: ((x : Bytes null)) ((v : Integer null)) x))
21:23 rudybot: mithos28: error: Type Checker: Expected Integer, but got Bytes in: #%top-interaction
21:24 offby1 snickers
21:24 mithos28: rudybot: (define y (for/fold: ((x : Integer null)) ((v : Integer null)) x))
21:24 rudybot: mithos28: error: Type Checker: Duplicate definition for y in: #%top-interaction
21:24 offby1: c'mon man, you're performing in public here!
21:24 mithos28: rudybot: (: a Integer)
21:24 rudybot: mithos28: Done.
21:24 mithos28: rudybot: (define a (for/fold: ((x : Integer null)) ((v : Integer null)) x))
21:24 rudybot: mithos28: Done.
21:24 mithos28: rudybot: a
21:24 rudybot: mithos28: ; Value: ()
21:24 rudybot: mithos28: ; stdout: "- : Integer\n"
21:25 mithos28: there I have my unsoundness
21:25 mithos28: now I just need it to do an unsafe operation
21:25 offby1 yawns and orders a Manhattan
21:27 (join) Fare
21:32 mithos28: The issue Is I have the unsoundness the wrong way
21:33 mithos28: I need a list that TR thinks is an integer
21:36 (quit) bitonic: Ping timeout: 252 seconds
21:37 mithos28: rudybot: (cadddr (for/fold: ((x : (List Integer Integer Integer Integer Integer) null)) ((v : Integer null)) x))
21:37 (quit) rudybot: Remote host closed the connection
21:37 mithos28: there we go
21:37 mithos28: Did you finish the Manhatten?
21:38 offby1: It hasn't arrive yet.  This place is very busy and the waiters aren't as attentive as they should be.
21:38 offby1: Actually, there's only one waiter, and he's a cat.  I'm not sure he even knows he's a waiter.
21:39 offby1: mithos28: hah, you sigsegvd the bot.
21:39 offby1: lemme restart him.
21:40 (join) rudybot
21:40 offby1: I should scrape together the logs, figure out what you did, and submit a bug report.
21:40 mithos28: oh I already have
21:40 offby1: excellent
21:40 offby1: rudybot: feeling better now?
21:40 offby1 drums fingers
21:40 mithos28: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=13259
21:41 mithos28: Most TR unsoundness bugs can be abused into a segfault
21:41 offby1: really?
21:41 offby1: that ... is bad.
21:41 offby1: rudybot: I'm talkin' to you, bwah!!
21:42 offby1: no idea where he's off to.
21:42 mithos28: I mean you subvert the type system and tell it really this value that is not a pointer is a pointer and get it to dereference it
21:42 mithos28: hoping to point and random memory
21:42 rudybot: offby1: Yesterday, one guys request help to fix my code. I refuse it. Feeling sad, really sad..... :-(
21:42 rudybot: http://tinyurl.com/cvgdd4k
21:42 rudybot: offby1: you askin' for that one bwah
21:43 offby1: rudybot: no, you askin' fo' it, bein' so slow
21:43 rudybot: offby1: you askin' for that one bwah
21:43 offby1: tsk tsk
21:53 mithos28: this gets me something like the address of the payload
21:53 mithos28: (+ (ann 1 Byte) (+ (ann -1 Negative-Fixnum) (car ((car (for/fold: ((x : (Pair (Bytes '() ->  (List Byte)) #f) null)) ((v : Integer null)) x)) #"payload" null))))
21:58 offby1: eww :)
21:58 offby1: please not to be crashing the bot good sir
21:59 (join) dyoo
22:01 dyoo: hope everyone has a happy thanksgiving!
22:01 offby1: I will if you give me that turkey you promised me.
22:01 offby1: The smoked kind.  I believe a ham comes with it too.
22:01 dyoo: I've got a turkey of a codebase that's still being cooked.  Does that count?  :)
22:01 offby1: long's you've got all those bugs out of it!  ewww.
22:03 (quit) dyoo: Client Quit
22:08 (quit) mithos28: Quit: mithos28
22:19 (quit) jao: Ping timeout: 246 seconds
22:20 (quit) hash_table: Ping timeout: 265 seconds
22:24 (join) Kaylin
22:31 (quit) dsantiago: Quit: Computer has gone to sleep.
22:33 (join) mithos28
22:34 (quit) nathanpc: Quit: Computer has gone to sleep.
22:37 (join) jeapostrophe
22:37 (quit) jeapostrophe: Changing host
22:37 (join) jeapostrophe
22:58 (join) mizu_no_oto
23:05 (join) jonrafkind
23:05 (join) dsantiago
23:11 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:25 (quit) wlangstroth: Quit: passed out
23:35 (join) wlangstroth
23:51 (quit) jeapostrophe: Ping timeout: 268 seconds
23:51 (quit) greghendershott: Quit: Leaving.
23:51 neilv: http://paste.lisp.org/display/133780
23:52 neilv: had to implement tiff parsing before jpeg exif
23:53 neilv: the tiff spec is actually pretty readable. jpeg spec is in japanese, even if it looks like english