00:02 (quit) billyoc: Quit: carrier pigeon dropped
00:09 (quit) Kaylin: Read error: Connection reset by peer
00:13 (join) mithos28
00:23 (quit) form3: *.net *.split
00:23 (quit) zwak: *.net *.split
00:23 (quit) DT`: *.net *.split
00:24 (join) em
00:28 (join) form3
00:28 (join) zwak
00:28 (join) DT`
00:29 (quit) Fare: Ping timeout: 245 seconds
00:37 em: is file compression and active area of research in computer science or is it known that the compression methods we have are the best ones possible?
00:37 mithos28: em: There are still definitely improvements being worked on
00:37 mithos28: It depends on what you want to compress and how you want to use the compressed data
00:38 mithos28: and how much cpu you want to use for compression and decompression
00:38 em: i have some naive ideas for compressing files but they are so simple that either they are being used or else they reveal my misunderstanding about something.
00:39 mithos28: http://en.wikipedia.org/wiki/Lossless_compression
00:40 em: mithos28: im going to tell you my idea and then you tell me why it wouldn't work. Interested?
00:40 mithos28: go ahead
00:41 em: well right before i start, i just want to make one disclaimer - im not a computer science student and I dont really know anything about this stuff. I just like to learn about stuff like this for a hobby
00:41 (join) dnolen
00:41 em: anyway, im thinking if you have a binary file then it can be represented by a string of 0's and 1's.
00:41 em: I guess an actual binary file is not actually a string of 0s and 1s but at least it can be represented that way.
00:42 em: Well, if you take two bits of that string at a time, it has to be one of the following four possibilities.  11, 01, 10, or 00.   So call those A, B, C, and D respectively.
00:42 offby1: I suspect that "a string of 0's and 1's" is as good a way to think of it as anything
00:43 em: Now you can go through the string and replace every two bits with the appropriate one of those letters.
00:43 offby1: er, OK
00:43 em: Now the string is half as long.
00:43 offby1: uh ...
00:43 mithos28: but your alphabet is twice as big
00:43 offby1: only if you think that the letter "A" is as long as a 1
00:43 offby1: what mithos28 said.
00:43 offby1: I think of compression this way:
00:44 em: on the disk its only one character.
00:44 offby1: you can either send the string "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
00:44 em: the information to unpack it is not in the computer its in our minds
00:44 offby1: or you can send the string "100 'x's"
00:44 em: well that's one particular way of compressing something.
00:44 offby1: indeed
00:44 mithos28: em: but the 0s and 1s are not represented as characters on disk
00:44 offby1: you can extend your compression algorithm to use Chinese ideographs instead of A, B, C, D.
00:45 em: yes the alphabet is twice as long. The alphabet is stored on your computer, outside the file.
00:45 offby1: Think of the savings!
00:45 offby1: but how to you transmit, or store, the A, B, C, D?
00:45 offby1: s/to/do/
00:45 em: well the text file to represent the binary is half as big as the text file used to be.
00:46 mithos28: Thats because you were being wasteful to begin with
00:46 mithos28: assume you have two color blocks, Black and White
00:46 offby1: depends how you store the characters.
00:46 mithos28: you have long line of them represting your bits
00:47 mithos28: You can make this half as long by stacking ajacent blocks
00:47 mithos28: black on black, black on white, white on black, white on white
00:47 mithos28: This is what you have just done
00:47 mithos28: the line of blocks is half as long
00:47 mithos28: but twice as high
00:48 mithos28: You could replace those 4 different types of stacks with other colored blocks red,blue,green,yellow and make it just the same height
00:49 em: yeah that's what i did
00:49 mithos28: but now you are in a different world where colored blocks exist not just white and black blocks
00:49 em: then wouldn't computers be able to store files better if it had more than two bits?
00:50 mithos28: sorta, but if it took more space than just doubling the number of bits than its not a win
00:51 em: i have this other idea that's less worked out
00:53 em: i want to take a string of 0's and 1's and fill up a square array with them, and then rotate and flip the square about its symmetries and look for fixed points. Somehow I feel that the combination of those transformation and knowledge of where the fixed bits are, could be used for compression.
00:54 mithos28: This goes back to offby1's description of a 100 x's
00:55 mithos28: You could represent it as 'here is the top half of the square, and the bottom half is the same
00:55 em: yeah essentially
00:55 em: then get rid of everything that is on the other side
00:55 (quit) hash_table: Ping timeout: 256 seconds
00:57 (join) jeapostrophe
00:57 (quit) jeapostrophe: Changing host
00:57 (join) jeapostrophe
01:00 (quit) dnolen: Remote host closed the connection
01:09 (quit) crundar: Ping timeout: 256 seconds
01:12 (join) crundar
01:15 (join) Demosthenes
01:17 (join) Fare
01:20 (quit) jeapostrophe: Ping timeout: 240 seconds
01:23 (quit) mceier: Quit: leaving
01:39 (quit) DT`: Read error: Connection reset by peer
01:40 (join) DT`
01:55 (quit) Demosthenes: Ping timeout: 248 seconds
01:58 (join) Demosthenes
02:04 (join) vu3rdd
02:05 (quit) vu3rdd: Changing host
02:05 (join) vu3rdd
02:05 (quit) Fare: Ping timeout: 245 seconds
02:16 (quit) carleastlund: Quit: carleastlund
02:20 (join) mceier
02:23 (quit) yoklov: Quit: computer sleeping
02:25 (quit) Demosthenes: Ping timeout: 264 seconds
02:28 (quit) crundar: Ping timeout: 264 seconds
02:40 (join) djcoin
02:50 (join) MayDaniel
02:53 (join) gciolli
02:58 (join) mye
02:59 (join) mye_
03:02 (quit) mye: Ping timeout: 244 seconds
03:02 (nick) mye_ -> mye
03:07 (join) dzhus
03:19 (join) hkBst
03:19 (quit) hkBst: Changing host
03:19 (join) hkBst
03:32 (quit) hkBst: Read error: Connection reset by peer
03:33 (join) hkBst
03:33 (quit) djcoin: Quit: WeeChat 0.3.7
03:34 (join) djcoin
03:35 (quit) hkBst: Excess Flood
03:37 (join) hkBst
03:38 (quit) noisetonepause: Ping timeout: 268 seconds
03:41 (quit) vu3rdd: Ping timeout: 260 seconds
03:42 (quit) mithos28: Quit: mithos28
03:44 (quit) hkBst: Ping timeout: 246 seconds
03:47 (join) hkBst
03:52 (quit) hkBst: Ping timeout: 246 seconds
03:53 (join) hkBst
03:53 (quit) hkBst: Changing host
03:53 (join) hkBst
03:54 (quit) gciolli: Ping timeout: 256 seconds
03:59 (quit) MayDaniel: Read error: Connection reset by peer
04:02 (quit) hkBst: Ping timeout: 264 seconds
04:06 (join) hkBst_
04:11 (quit) jonrafkind: Ping timeout: 256 seconds
04:19 (quit) hkBst_: Read error: Connection reset by peer
04:19 (join) hkBst_
04:19 (quit) hkBst_: Changing host
04:19 (join) hkBst_
04:26 (part) mhi^
04:29 (join) gciolli
04:37 (join) Demosthenes
04:41 mye: I'm trying to write a smtp receiver and want to use net/smtp in a test case for development as it's easy access to an smtp sender. I changed the debug-via-stdio? flag in smpt.rkt to #t. I'll then use (current-input/output-port) instead of creating a tcp connection. But an error message says read-byte: input port closed and I find the input port is #<input-port:unsaved-editor449>
04:42 mye: the first time I ran this drracket actually showed a little input box in the repl
04:43 (quit) DT`: Ping timeout: 256 seconds
04:43 mye: for when I call (smtp-send-message "localhost" "lo" '("test@localhost") "bla" '("bla")) the smtp sender reads confirmation
04:43 mye: but on subsequent runs I have to associate something else with the input port it seems
04:44 mye: so how to get the repl as input
04:45 (join) bitonic
04:47 mye: opening recent files seems to be broken on latest osx nightly
04:50 (join) jesyspa
04:58 (quit) Demosthenes: Ping timeout: 268 seconds
04:59 (quit) hkBst_: Read error: Connection reset by peer
04:59 (join) hkBst_
04:59 (quit) hkBst_: Changing host
04:59 (join) hkBst_
05:43 (quit) hkBst_: Remote host closed the connection
05:44 (join) hkBst_
05:55 (quit) hkBst_: Read error: Connection reset by peer
05:56 (join) hkBst_
06:05 (quit) hkBst_: Remote host closed the connection
06:08 (join) hkBst_
06:08 (quit) hkBst_: Changing host
06:08 (join) hkBst_
06:58 (join) masm
07:23 (join) MightyFoo
07:23 (nick) MightyFoo -> tim-brown
07:24 tim-brown: I just started to "(define" a new function in my C code!
07:26 (quit) gciolli: Quit: Leaving.
07:41 (join) carleastlund
07:41 (join) jeapostrophe
07:53 (join) DT``
08:30 (join) Fare
08:42 (join) mimosa
08:42 (quit) mimosa: Client Quit
08:45 (join) Shambles_1
08:45 (join) uselpa
08:46 (join) mimosa
08:46 (quit) Shambles_: Ping timeout: 268 seconds
08:46 mimosa: Am I right in thinking that DrRacket doesn't have commandline history? This would be a useful feature.
08:48 (quit) jrslepak: Quit: What happened to Systems A through E?
08:51 (quit) Shambles_1: Ping timeout: 246 seconds
08:51 (join) Shambles_
08:54 (join) Shambles_1
08:55 (quit) jeapostrophe: Ping timeout: 244 seconds
08:56 (quit) Shambles_: Ping timeout: 246 seconds
08:56 (quit) uselpa: Remote host closed the connection
08:58 (join) hash_table
09:01 Haffe: Have you trield alt+up ?
09:04 (join) ncw
09:06 mimosa: I didn't know about that, thanks.
09:07 mimosa: It's a lot of keystrokes, though: Alt+up, End, Enter, [edit], Enter
09:07 (join) noisetonepause
09:07 mimosa: As against Up, [edit], Enter
09:07 mimosa: Or is there an easier way?
09:09 (join) Shambles_
09:10 (quit) noisetonepause: Quit: leaving
09:10 (quit) Shambles_1: Ping timeout: 268 seconds
09:11 (quit) ncw: Remote host closed the connection
09:12 (join) crundar
09:15 (join) jrslepak
09:15 (quit) hash_table: Ping timeout: 252 seconds
09:16 (join) Shambles_1
09:17 (quit) Shambles_: Ping timeout: 268 seconds
09:22 jrslepak_neu thought it was ctrl+up
09:23 (join) ssbr_
09:36 (quit) carleastlund: Read error: Connection reset by peer
09:37 (quit) masm: Quit: Leaving.
09:37 (join) carleastlund
09:37 mimosa: Yes ctrl-up does like bash command line history. It even remembers previous sessions. Thank you both!
09:44 (join) carleastlund_
09:56 (quit) ssbr_: Ping timeout: 244 seconds
09:59 (join) mye
10:08 (quit) pcavs: Quit: Leaving.
10:13 (quit) hkBst_: Quit: Konversation terminated!
10:17 (join) gciolli
10:18 (join) hash_table
10:31 (join) bro_grammer
10:33 (quit) hash_table: Ping timeout: 240 seconds
10:34 (quit) gciolli: Ping timeout: 252 seconds
10:42 (quit) mceier: Quit: leaving
10:45 (join) Kaylin
10:50 (join) uselpa
11:02 (join) jeapostrophe
11:02 (quit) jeapostrophe: Changing host
11:02 (join) jeapostrophe
11:07 (join) pcavs
11:10 (join) vkz_
11:10 (join) RacketCommitBot
11:10 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/_uiCfg
11:10 RacketCommitBot: [racket/master] setup/dirs: fix for failure to find embedding executable - Matthew Flatt
11:10 RacketCommitBot: [racket/master] scribble: decode a lone ` as a left "curly quote" - Matthew Flatt
11:10 RacketCommitBot: [racket/master] compiler/cm: fix self-dependency check for ".ss" vs. ".rkt" - Matthew Flatt
11:10 (part) RacketCommitBot
11:10 (quit) crundar: Quit: Leaving
11:12 (join) anRch
11:13 (part) mimosa
11:15 (quit) vkz_: Quit: vkz_
11:18 (join) hash_table
11:21 (join) gciolli
11:21 (quit) bro_grammer: Ping timeout: 264 seconds
11:21 (quit) uselpa: Remote host closed the connection
11:24 (join) vkz
11:30 (quit) vkz: Quit: ERC Version 5.3 (IRC client for Emacs)
11:31 (join) vkz
11:33 (quit) vkz: Client Quit
11:34 (join) vkz
11:35 (part) lewis1711
11:36 (join) jackhammer2022
11:37 (quit) gciolli: Read error: Connection reset by peer
11:37 (join) gciolli
11:39 (join) yoklov
11:41 (quit) Kaylin: Ping timeout: 244 seconds
11:46 (quit) jeapostrophe: Ping timeout: 256 seconds
11:52 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/
11:56 (join) jeapostrophe
11:56 (quit) jeapostrophe: Changing host
11:56 (join) jeapostrophe
11:57 (quit) bitonic: Remote host closed the connection
11:59 (join) Demosthenes
12:02 (join) jonrafkind
12:02 (quit) jonrafkind: Changing host
12:02 (join) jonrafkind
12:09 (quit) yoklov: Quit: computer sleeping
12:13 mye: could DrRacket theoretically display the evaluating programs state, e.g. as simple as computing, busy infinite loop, waiting for input on port, etc. ?
12:18 (quit) anRch: Quit: anRch
12:20 (join) MayDaniel
12:21 (join) Kaylin
12:23 (join) cdidd
12:26 acarrico: Does anyone know which one of Olivier Danvy's One-Pass CPS transform papers in the one to read? There are a few of them with similar abstracts and contents.
12:30 acarrico: They are referenced here http://matt.might.net/articles/cps-conversion/ and here https://github.com/cjfrisz/clojure-tco.
12:41 (quit) Demosthenes: Ping timeout: 246 seconds
12:42 (join) mceier
12:45 (quit) djcoin: Quit: WeeChat 0.3.7
12:56 (quit) vkz: Quit: vkz
12:56 (quit) Kaylin: Read error: Connection reset by peer
12:59 (join) Demosthenes
13:00 (quit) mye: Quit: mye
13:11 (quit) Demosthenes: Ping timeout: 244 seconds
13:17 (quit) gciolli: Quit: Leaving.
13:21 (join) Rakin05
13:23 (quit) Rakin05: Remote host closed the connection
13:24 (join) Rakin05
13:28 (quit) Shambles_1: Ping timeout: 244 seconds
13:29 (join) Shambles_
13:33 (quit) Shvillr: Read error: Connection reset by peer
13:35 (join) Shvillr
13:42 (join) vkz
13:50 (join) gciolli
13:50 (join) dzhus89
13:52 (quit) dzhus: Ping timeout: 268 seconds
13:56 (quit) jeapostrophe: Ping timeout: 240 seconds
13:58 (quit) vkz: Quit: vkz
14:01 (nick) wkelly -> dolphn__ot
14:05 (quit) jonrafkind: Read error: Operation timed out
14:12 (join) ncw
14:12 (join) uselpa
14:14 (quit) uselpa: Remote host closed the connection
14:14 (join) masm
14:14 (quit) masm: Client Quit
14:25 (join) jonrafkind
14:25 (quit) jonrafkind: Changing host
14:25 (join) jonrafkind
14:26 (join) jeapostrophe
14:26 (quit) jeapostrophe: Changing host
14:26 (join) jeapostrophe
14:28 (quit) Nisstyre-laptop: Ping timeout: 268 seconds
14:29 (quit) Fare: Ping timeout: 264 seconds
14:31 (join) yoklov
14:32 (quit) Shambles_: Quit: Leaving.
14:33 (join) Shambles_
14:33 (quit) yoklov: Client Quit
14:37 (quit) Shambles_: Ping timeout: 256 seconds
14:40 (quit) acarrico: Ping timeout: 240 seconds
14:41 (join) Shambles_
14:42 (join) acarrico
14:50 (join) mye
14:58 (quit) jonrafkind: Ping timeout: 256 seconds
15:06 asumu: acarrico: I haven't read it, but I'm guessing the 2007 JFP one could be good since it's a journal paper and likely explains the "backstory" thorughly.
15:09 (join) joebob
15:11 joebob: is there a way i can convert (define (mapfoldr b x)   (let ((a (lambda (x y) (cons (b x) y))))  (foldr a '() x))) so it will work with racket
15:13 ianjneu: What do you mean? That works.
15:18 joebob: what parameters do i need to input for it to work
15:25 ianjneu: a unary function and a list, just like map.
15:29 (join) masm
15:38 (join) carleastlund__
15:38 (quit) carleastlund: Read error: Connection reset by peer
15:38 (nick) carleastlund_ -> carleastlund
15:38 (nick) carleastlund__ -> 45PAA34GO
15:42 (quit) joebob: Quit: Page closed
15:43 (join) jonrafkind
15:43 (quit) jonrafkind: Changing host
15:43 (join) jonrafkind
15:57 acarrico: asumu: Thanks. I guess I'll have to just see which presentation seems more accessible to me.
15:58 acarrico: The resources I linked to seem to point back randomly to 2001/2002/2007, so maybe it doesn't really matter.
16:10 (quit) jeapostrophe: Ping timeout: 246 seconds
16:25 (join) wandeson
16:25 wandeson: Hello
16:27 wandeson: Please. I have proble with racket 12.3 in Debian Linux 6.0.5. Error Message: ffi-lib: couldn't open "libcairo.so.2" (with libglib too. When run gracket, drracket, and games)
16:27 (quit) ncw: Remote host closed the connection
16:28 jonrafkind: wandeson, sudo apt-get install libcairo2
16:29 wandeson: in the truth, libcairo and gtk, and glib be installed.
16:30 jonrafkind: how did you install racket
16:30 wandeson: and i put path to lib in enviroment variable PATH but error continue.
16:30 jonrafkind: and what is racket 12.3, there is no such version that I know of
16:30 wandeson: i download bin package to Debian in racket.org
16:30 (join) jeapostrophe
16:30 (quit) jeapostrophe: Changing host
16:30 (join) jeapostrophe
16:31 wandeson: [correct: racket-lang.org]
16:31 (quit) mye: Quit: mye
16:31 wandeson: [5.3]
16:32 wandeson: [ the version is 5.3]
16:32 wandeson: [release august/2012]
16:33 (join) mye
16:34 wandeson: in the directory LIB in Debian there are the files "libcairo" and "libglib"
16:36 (join) vkz
16:38 (quit) wandeson: Ping timeout: 246 seconds
16:39 (join) wandeson
16:39 (quit) mye: Quit: mye
16:41 wandeson: How solve error in load lib [ffi-lib: couldn't open "libcairo.so.2" ] . The libcairo, gtk, glib be installed. I must to compile the racket pack of source?
16:42 stamourv: wandeson: That's a good thing to try.
16:42 stamourv: For that, you may also need the `libcairo2-dev' package, and other dev packages.
16:43 wandeson: the 'libcairo2-dev' be installed. :)
16:44 wandeson: I there is installed of binary version [5.3] for Debian
16:47 stamourv: Right, that's also a good thing to try.
16:48 stamourv: Trying the debian package will be easier than building from source.
16:48 stamourv: If that doesn't work, then we can try building from source.
16:54 (join) dyoo
16:55 jonrafkind: dyoo are you in ryans office?
16:55 dyoo: yup
16:55 dyoo: I'll open the door
16:55 jonrafkind: you can connect to our router 'racket' if you want
16:55 dyoo: ah, ok
16:55 jonrafkind: ill give you the pass in a pm
16:55 dyoo: does it have a password?
16:57 (join) dyoo_
16:57 (quit) hash_table: Ping timeout: 256 seconds
16:58 dyoo_: jonrafkind: what's the advantage of getting on the racket router?
16:58 jonrafkind: sometimes its faster than uconnect
16:58 dyoo_: cool; thanks!
17:01 (quit) dyoo: Ping timeout: 246 seconds
17:01 (nick) dyoo_ -> dyoo
17:03 wandeson: Ok. Thanks friends. I going to ^_^ of source and "kill errors" here. \o Good coding! \o
17:04 dyoo: and you as well
17:07 (quit) tewk: Ping timeout: 240 seconds
17:08 (quit) jonrafkind: Ping timeout: 268 seconds
17:09 (join) tewk
17:10 (join) yoklov
17:10 (join) jonrafkind
17:10 (quit) jonrafkind: Changing host
17:10 (join) jonrafkind
17:17 (quit) jesyspa: Quit: leaving
17:19 (join) dyoo
17:20 (quit) Rakin05: Remote host closed the connection
17:20 (join) RacketCommitBot
17:20 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/5tFljA
17:20 RacketCommitBot: [racket/master] Add a missing check for when arrow-records might be #f - Robby Findler
17:20 (part) RacketCommitBot
17:21 (join) Gertm
17:37 (quit) gciolli: Quit: Leaving.
17:39 (quit) dyoo: Quit: dyoo
17:39 (join) dyoo
17:46 (quit) MayDaniel: Read error: Connection reset by peer
17:55 (join) hash_table
17:56 (join) CoverSlide
17:58 (quit) jrslepak: Quit: What happened to Systems A through E?
18:02 (quit) mceier: Quit: leaving
18:04 (join) Nisstyre-laptop
18:20 (quit) masm: Quit: Leaving.
18:22 (join) jrslepak
18:25 (quit) jrslepak: Client Quit
18:32 (quit) vkz: Ping timeout: 240 seconds
18:32 (quit) jeapostrophe: Ping timeout: 245 seconds
18:33 (join) jrslepak
18:43 (quit) wandeson: Quit: Saindo
18:49 (quit) jonrafkind: Ping timeout: 256 seconds
18:50 (quit) pcavs: Quit: Leaving.
18:57 danl-ndi: when embedding racket, what is the right way to set the current-library-collection-paths?
19:02 (quit) acarrico: Ping timeout: 246 seconds
19:10 asumu: danl-ndi: I'd probably ask on the mailing list, I'm not sure.
19:10 asumu: Maybe the empty list?
19:10 asumu: (or does that blow up?)
19:16 danl-ndi: asumu: can't actually eval
19:16 danl-ndi: asumu: can't eval current-library-collection-paths because I'm not able to require in racket/base
19:17 danl-ndi: i'm calling scheme_init_collection_paths which seems like it should work......
19:20 (join) acarrico
19:22 (join) Demosthenes
19:23 asumu: Yeah, that seems like it should work from the docs... someone on the mailing list is likely to know
19:29 (join) bitonic
19:34 (quit) jrslepak: Quit: What happened to Systems A through E?
19:38 (quit) acarrico: Ping timeout: 264 seconds
19:39 (join) Kaylin
19:43 (quit) dyoo: Quit: dyoo
19:44 (quit) Demosthenes: Ping timeout: 240 seconds
20:09 (join) crundar
20:42 (join) jrslepak
20:45 (join) acarrico
20:51 (quit) bitonic: Ping timeout: 260 seconds
20:52 (quit) yoklov: Quit: computer sleeping
20:58 (quit) Kaylin: Read error: Connection reset by peer
20:58 (join) jeapostrophe
20:58 (quit) jeapostrophe: Changing host
20:58 (join) jeapostrophe
21:05 (join) nilyaK
21:11 (join) yoklov
21:20 (quit) jeapostrophe: Ping timeout: 268 seconds
21:20 (quit) DT``: Read error: Connection reset by peer
21:24 (quit) nilyaK: Read error: Connection reset by peer
21:25 (quit) Nisstyre-laptop: Quit: Leaving
21:29 (join) nilyaK
21:32 (quit) nilyaK: Read error: Connection reset by peer
21:48 (join) Nisstyre-laptop
21:54 (quit) dzhus89: Ping timeout: 244 seconds
22:09 (join) ioa
23:04 (quit) Shvillr: Ping timeout: 248 seconds
23:04 (join) Shvillr
23:09 (quit) ioa: Remote host closed the connection
23:35 (join) nilyaK
23:41 (quit) nilyaK: Quit: Leaving.
23:44 (join) jyc_
23:52 (quit) jyc_: Read error: Connection reset by peer