00:34 (join) lxk
00:35 lxk: can anyone help me?
00:35 mithos28: I can try
00:36 lxk: I just installed drracket, but when type drracket in terminal, it says bash: dracket: command not found
00:36 mithos28: on linux or osx?
00:36 lxk: linux debian
00:37 lxk: 6.0
00:37 mithos28: is this a new terminal? sometimes old terminals don't get new paths
00:38 lxk: yes
00:38 mithos28: what does echo $PATH print out?
00:50 lxk: g
00:50 mithos28: just g?
00:50 lxk: sorry
00:50 lxk: no
00:50 mithos28: ok, that seemed weird
00:51 lxk: I just added racket path to the PATH
00:51 mithos28: ok, is it working now?
00:51 lxk: now when i enter drracket, it prints out /home/lxk/racket/bin/gracket: 1: Syntax error: "(" unexpected
00:52 mithos28: what about just racket and not drracket
00:53 lxk: bash: /home/lxk/racket/bin/racket: cannot execute binary file
00:53 (part) lewis1711
00:53 mithos28: ls -l ~/racket/bin
00:54 lxk: -rwxr-xr-x 1 lxk lxk    1978 Feb  1 23:48 drracket -rwxr-xr-x 1 lxk lxk 3478266 Feb  1 23:48 gracket -rwxr-xr-x 1 lxk lxk    1960 Feb  1 23:48 gracket-text -rwxr-xr-x 1 lxk lxk   19418 Feb  1 23:48 mred -rwxr-xr-x 1 lxk lxk    1960 Feb  1 23:48 mred-text -rwxr-xr-x 1 lxk lxk     616 Feb  1 23:48 mzc -rwxr-xr-x 1 lxk lxk     624 Feb  1 23:48 mzpp -rwxr-xr-x 1 lxk lxk   19413 Feb  1 23:48 mzscheme -rwxr-xr-x 1 lxk lxk     626 Feb  1 23:48 mz
00:54 (quit) yoklov: Quit: computer sleeping
00:55 mithos28: did you install this right now, or on february 23?
00:56 lxk: just now
00:56 mithos28: actually those dates probably came from when the installer was made
00:56 mithos28: what about ~/racket/bin/racket ?
00:56 mithos28: as a command
00:56 lxk: ok wait, thanks for helping.
00:56 mithos28: it worked?
00:57 lxk: no
00:57 lxk: same as racket
00:57 mithos28: I am not really sure
00:57 (join) yoklov
00:58 mithos28: what installer did you use?
00:58 mithos28: the unix tgz?
00:58 (quit) yoklov: Remote host closed the connection
00:58 (quit) Shvillr: Ping timeout: 260 seconds
00:58 (join) Shvillr
00:59 mithos28: or the debian one?
00:59 lxk: no linux_x86_64(debian_squeeze)
01:00 mithos28: Can you try just the unix source installer
01:00 mithos28: it will just extract out to a directory
01:00 mithos28: that is how I have always installed it on a linux box
01:01 lxk: ok, but you might have to walk me through the process
01:01 lxk: let me try
01:02 mithos28: I think there was a readme that was very helpful that came with it
01:02 lxk: ok, let me try
01:02 lxk: thanks
01:05 mithos28: Is it started?
01:07 lxk: yes it's gonna take a while. isn't it?
01:07 mithos28: probably
01:08 mithos28: I'm gonna go get food but I'll be back after that to help if there are still problems
01:10 lxk: k
01:19 (quit) mithos28-mobile: Ping timeout: 252 seconds
01:23 lxk: gotta go to bed. work tomorrow?
01:24 lxk: thanks for your help mithos28
01:24 (quit) lxk: Quit: Page closed
01:28 (join) lcc
01:28 (part) lcc: "ERC Version 5.3 (IRC client for Emacs)"
01:30 (quit) jeapostrophe: Ping timeout: 276 seconds
01:33 (join) nilyaK
02:04 (join) vkz
02:05 vkz: rudybot: (define (fact n) (cond ((zero? n) 1) (else (* n (fact (- n 1))))))
02:05 rudybot: vkz: your sandbox is ready
02:05 rudybot: vkz: Done.
02:06 vkz: rudybot: (fact 100)
02:06 rudybot: vkz: ; Value: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
02:06 vkz: rudybot: Shen documentation is superior!
02:06 rudybot: vkz: I do to admit seeing the original quite a few times and imho it is superior to the remake in the drama department maybe not so much in action.
02:06 vkz: rudybot: Mark Tarver is the man!
02:06 rudybot: vkz: ,mailcap is a mapping of MIME types to applications that can operate (display, compose, edit, print) on them.  Try "specbot: man mailcap".
02:07 vkz: rudybot: chandler hates me!
02:07 rudybot: vkz: And isn't that why the rest of Asia hates Japan?
02:07 vkz: rudybot: this community sucks!
02:07 rudybot: vkz: My only suggestion to the FSF would be to get a lot more input/feedback from the community before you start a campaign, because some of it seems amateurish to a lot of people.  I'm sure I wouldn't do any better than you guys, which is why you need a lot of eyeballs so to speak.
02:08 vkz: rudybot: eli, thank you for once-only macro explanation
02:08 rudybot: vkz: once-only_: Actually, it's a cute exercise, and since I'm about to reach that point in my class, I can talk about it.  I'll write something up.
02:10 vkz: rudybot: neilv consultant
02:10 rudybot: vkz: hire a consultant?
02:10 vkz: rudybot: no way! :)
02:10 rudybot: vkz: what's the most convenient way to have a 'vi movement mode' (i.e. hjkl-keys) that one can drop in and out of?
02:11 vkz: rudybot: racketnoob troll
02:11 rudybot: vkz: is that like let ?
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: For all we know, Racketnoob is trolling #shen and saying that Racket is better!
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: the field of psychiatric medicine has come a long way. perhaps treatment is now available for your condition
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: Please stop.
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: thank you for not trolling on the racket channel
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: While Racketnoob is from Croatia or Hungary.
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: adriatic cost? where are you from? i hoper you're not italian
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: adriatic cost? where are you from? i hoper you're not italian
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: Judging from the writing on lambdaassociates (e.g. http://www.lambdassociates.org/blog/nextlisp%281%29.htm and http://www.lambdassociates.org/blog/the_problems_of_open_source.htm) I don't find it that hard to believe that Racketnoob *is* the Qi/Shen author, since the essays are pretty trollish.
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: is that racketnoob?
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: the field of psychiatric medicine has come a long way. perhaps treatment is now available for your condition
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: While Racketnoob is from Croatia or Hungary.
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: are you racketnoob aka shen-troll?
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: Please stop.
02:12 vkz: rudybot: racketnoob troll
02:12 rudybot: vkz: I doubt Racketnoob is the Shen author, given that I think Mark Tarver is the author and is British.
02:14 (join) cdidd
02:14 vkz: hahahaha, rudybot revealed all your backstage games
02:14 vkz: rudybot: troll
02:14 rudybot: vkz: error: reference to an identifier before its definition: troll in module: 'program
02:14 vkz: rudybot: troll
02:14 rudybot: vkz: error: reference to an identifier before its definition: troll in module: 'program
02:15 vkz: rudybot: trolls
02:15 rudybot: vkz: error: reference to an identifier before its definition: trolls in module: 'program
02:16 vkz: rudybot: (define (carpet n)   (if (zero? n)       (square 1 'solid 'red)       (let ([s (carpet (- n 1))])         (freeze (above (beside s s s)                        (beside s (triangle (image-width s) 'solid 'white) s)                        (beside s s s))))))
02:16 rudybot: vkz: Done.
02:16 vkz: rudybot: (carpet 5)
02:16 rudybot: vkz: error: reference to an identifier before its definition: square in module: 'program
02:16 (part) mithos28
02:17 vkz: rudybot: (require 2htdp/image)
02:17 rudybot: vkz: error: file-or-directory-modify-seconds: `read' access denied for /home/erich/.racket/racket-prefs.rktd
02:18 vkz: eli: hi, dude! Thank you onde again for once-only!
02:19 vkz: eli: hi, dude! Thank you once again for once-only!
02:21 vkz: rudybot: shen
02:21 rudybot: vkz: error: reference to an identifier before its definition: shen in module: 'program
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: from scanning the shen mailing list it looks like the author is leaning towards a Python-style BSD liscence, or something roughly equivalent, which should be fine
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: This Shen has inner beauty inside, belive me!
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: shen?
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: *what shen is
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: You could be adding good I/O support to Shen, so people like me might actually use it?
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: there will be libraries because shen is for integration with other languages: common lisp, scheme, javascript, clojure...
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: I'm assuming that, for some reason, you're trying to drive people away from using Shen.  It's a pity.  Maybe if more people work on things like dependent type systems we'll get to the point of having our code fully verified without much pain.  In any case, you do Shen no favors (probably the idea), and will probably end up banned.
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: just fyi, there's a #shen about shen the programming language
02:22 vkz: rudybot: shen is
02:22 rudybot: vkz: If you used serializable continuations, then yes, in so much as Racket scales
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: beside shen, it seems that the main topic of this channel is silence
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: there will be libraries because shen is for integration with other languages: common lisp, scheme, javascript, clojure...
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: shen is a joke
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: shen is great!
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: A more interesting tactic might be to point out that Shen can't be so great, since it doesn't even come with support for the web. At least he'd have to find a new thing to whinge about, since he's always on about Racket documentation and web support.
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: shen, web doc sucks etc, and ban on that
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: ,google shen language
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: A more interesting tactic might be to point out that Shen can't be so great, since it doesn't even come with support for the web. At least he'd have to find a new thing to whinge about, since he's always on about Racket documentation and web support.
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: documentation for Shen is a way better!
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: there will be libraries because shen is for integration with other languages: common lisp, scheme, javascript, clojure...
02:23 vkz: rudybot: shen is
02:23 rudybot: vkz: yes, but luckily the Shen troll isn't in this channel.
02:24 vkz: rudybot: shen is
02:24 rudybot: vkz: tomodo didn't know what shen was 15 mins ago.
02:24 vkz: rudybot: shen is
02:24 rudybot: vkz: just like Shen
02:24 vkz: rudybot: shen is
02:24 rudybot: vkz: but shen is so new
02:24 vkz: rudybot: shen is
02:24 rudybot: vkz: shen is great, mark tarvedr is fucking genius!
02:24 vkz: rudybot: shen is
02:24 rudybot: vkz: beside shen, it seems that the main topic of this channel is silence
02:24 vkz: HAHAHA
02:24 (part) vkz
02:39 (join) nilyaK1
02:42 (quit) nilyaK: Ping timeout: 260 seconds
03:03 (join) Kaylin
03:03 Kaylin: rudybot: (for ([i (in-naturals)])   (display i))
03:03 rudybot: Kaylin: your sandbox is ready
03:03 rudybot: Kaylin: error: with-limit: out of time
03:03 Kaylin: rudybot: (for ([i (in-naturals)])   (display i))
03:03 Kaylin: rudybot: (for ([i (in-naturals)])   (display i))
03:03 rudybot: Kaylin: error: with-limit: out of time
03:04 (part) Kaylin
03:04 rudybot: Kaylin: error: with-limit: out of time
03:07 (join) gciolli
03:15 (quit) gciolli: Ping timeout: 250 seconds
03:22 (quit) realitygrill: Quit: realitygrill
03:22 nilyaK1: :(
03:24 (nick) nilyaK1 -> nilyaK
03:24 (nick) nilyaK -> Kaylin
03:24 Kaylin: ok that wasn't me
03:24 Kaylin: to be clear
03:25 Kaylin: though that's weird
03:35 (join) gciolli
03:38 (quit) jao: Ping timeout: 246 seconds
03:55 (join) mithos28
03:57 (quit) gciolli: Ping timeout: 245 seconds
04:20 (join) lxk
04:36 (join) vzk
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: And a few days ago appeared Shen for Javascript, too: https://groups.google.com/group/qilang/browse_thread/thread/8cf846d189ae263b?hl=en#
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: if you like Haskell, maybe you would like to check the Shen language too. It's really beautiful!
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: shen is great!
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: if I were Bill Gates, i would spend $10 000 000 to promotion of Shen - most beautiful lisp ever!
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: Racket could have a lot better low-level thread/IO infrastructure to make it scale better
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: shen macros don't look hygienic to me
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: Lately I like Shen. What do you think about it? Have you looked at it? (Of course, there are't any library yet, but it's a new thing!)
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: i only love shen and hate the racket web documentation
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: just fyi, there's a #shen about shen the programming language
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: hey! the shen language soon will get a port on JS
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: For all we know, Racketnoob is trolling #shen and saying that Racket is better!
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: if you like Haskell, maybe you would like to check the Shen language too. It's really beautiful!
04:37 vzk: rudybot: shen the
04:37 rudybot: vzk: And a few days ago appeared Shen for Javascript, too: https://groups.google.com/group/qilang/browse_thread/thread/8cf846d189ae263b?hl=en#
04:38 vzk: rudybot: shen the
04:38 rudybot: vzk: shen?
04:38 vzk: rudybot: shen the
04:38 rudybot: vzk: SHEN RULES! (samth, don't kick me out, please!)
04:38 vzk: rudybot: shen the
04:38 rudybot: vzk: I'm assuming that, for some reason, you're trying to drive people away from using Shen.  It's a pity.  Maybe if more people work on things like dependent type systems we'll get to the point of having our code fully verified without much pain.  In any case, you do Shen no favors (probably the idea), and will probably end up banned.
04:38 vzk: rudybot: shen the
04:38 rudybot: vzk: Shen doesn't need to be associated with a UI designed to only function well on point-and-smudge systems.  Worst advertising ever. ;)
04:38 Kaylin: what the heck is going on lol
04:38 vzk: hi Kaylin
04:38 Kaylin: hi
04:38 vzk: just checking what rudybot knows about shen
04:39 vzk: :)
04:39 Kaylin: why does it know these things?
04:39 vzk: because "he" track past messages
04:40 vzk: look, if you give some racket code to rudybot, it will be executed in sanboxed environment and result will be printed here
04:40 Kaylin: so I noticed, somebody named Kaylin was doing that earlier till I ghosted her.
04:40 vzk: but if you give him a plain text, then he act like Wisenbaum's eliza
04:41 vzk: that was me
04:41 vzk: sorry for that
04:41 Kaylin: why lol
04:41 vzk: because i like your name
04:41 Kaylin: well, ty, I think.
04:41 vzk: at first, i was thougt you are a girl hehehe
04:42 Kaylin: what I am is really tired bc I took a sleeping pill >_<
04:43 vzk: so why you dont sleep now?
04:43 Kaylin: idk I should
04:43 Kaylin: I really really should
04:44 vzk: what's the time at yourt place now?
04:44 Kaylin: 1:44AM
04:44 vzk: oh, mine is now 10:44am
04:45 (quit) crunchybumble: Ping timeout: 245 seconds
04:45 vzk: crunchybumble, do you agree that doc for GUI classes in racket isn't quite good?
04:45 vzk: oh, he quits
04:46 vzk: rudybot: Diarmid troll
04:46 rudybot: vzk: is this some kind of cheap troll trick? Everyone that programs free software knows about Emacs, do you really think that every time you start the editor stuff is unexpectedly broken?
04:46 vzk: rudybot: Diarmid troll
04:46 rudybot: vzk: you really should see a troll blow up some day... it is lovley few
04:47 vzk: rudybot: Diarmid troll
04:47 rudybot: vzk: Okay...did you come here to troll?
04:47 vzk: rudybot: Diarmid troll
04:47 rudybot: vzk: come on - give him some more! feed the troll, now!
04:47 vzk: rudybot: Diarmid troll
04:47 rudybot: vzk: I love how half the comments I made to a recent Slashdot story at moderated troll while the other comments are highly-moderated as insightful.
04:47 vzk: rudybot: Diarmid troll
04:47 rudybot: vzk: I prefer when you troll about GNU or HURD
04:47 vzk: diarmid just love to use word "troll" a lot
04:47 vzk: hehehehe
04:48 vzk: maybe in the past life hi has been one
04:48 vzk: :)
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: it is unlikely I will ever, in my entire life, see anythign as amusing as ams calling jrockway a troll.
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: obvious troll is obvious
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: warning: troll.
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: The internet sure is boring today. I wish Miguel would troll a little.
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: Harrop is an over-educated troll who enjoys pissing Haskellers off with patently incorrect or outdated statements about their language, with the goal of promoting his books on F# or OCaml
04:48 vzk: rudybot: chandler troll
04:48 rudybot: vzk: Is there any reason for a random troll?
04:49 vzk: rudybot: chandler troll
04:49 rudybot: vzk: you're a troll, trolls are to be attacked,viciously.
04:49 vzk: rudybot: chandler troll
04:49 rudybot: vzk: A troll, I guess, is someone who proves ams incorrect while he's being an ass about it.
04:49 vzk: the same could tell for chandler, too
04:49 vzk: hehehe
04:50 vzk: some people are obsessed with trols, they don't understand that some of them are actually "troling" for a reason!
04:50 vzk: (i.e. bad doc and arrogant community)
04:53 vzk: rudybot: bremmer troll
04:53 rudybot: vzk: bremmer : are you still here ?
04:53 vzk: rudybot: bremmer troll
04:53 rudybot: vzk: all hail omnipotent bremmer
04:53 vzk: rudybot: bremmer troll
04:53 rudybot: vzk: with M-x?
04:54 vzk: rudybot: offby1 troll
04:54 rudybot: vzk: patent troll?
04:54 vzk: rudybot: offby1 troll
04:54 rudybot: vzk: troll
04:54 vzk: rudybot: offby1 troll
04:54 rudybot: vzk: freedom to troll is a fundamental right
04:54 vzk: i agree! :)
04:55 vzk: rudybot: asumu troll
04:55 rudybot: vzk: 41 < asumu> SwashBuckla: Racket will let you redefine bindings from the language.
04:55 (quit) Cryovat: 
04:55 vzk: rudybot: asumu troll
04:55 rudybot: vzk: master Asumu Takikawa * 4525345 (1 files in 1 dirs): plt-games: Fix minor bug in paint-by-numbers game. - http://bit.ly/ewkOPW
04:55 vzk: rudybot: asumu troll
04:55 rudybot: vzk: ok. that very well might be true. but why can't data work differently?
04:55 vzk: rudybot: asumu troll
04:55 rudybot: vzk: i'm having transient failures with some things (editing github gists for example, and firefox syncing)
04:55 Kaylin: I don't get what the troll part of the command does
04:56 vzk: it's not command
04:56 vzk: when you write some text to rudybot, they search past conversations
04:56 Kaylin: oh I assumed it was like rudybot: <arguments>
04:56 vzk: look this:
04:57 vzk: rudybot: (define (fact n) (cond ((zero? n) 1) (else (* (n (fact (- n 1)))))))
04:57 rudybot: vzk: your sandbox is ready
04:57 rudybot: vzk: Done.
04:57 vzk: rudybot: (fact 100)
04:57 rudybot: vzk: error: procedure application: expected procedure, given: 1; arguments were: 1
04:58 vzk: rudybot: (define (fact n)   (cond     ((zero? n) 1)     (else (* n (fact (- n 1))))))
04:58 rudybot: vzk: Done.
04:59 vzk: rudybot: (fact 100)
04:59 rudybot: vzk: ; Value: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
04:59 vzk: kaylin: understand?
04:59 Kaylin: yes
05:01 Kaylin: afk sleep
05:01 (quit) Kaylin: Quit: Leaving.
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: once-only: are you racketnoob?
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: the field of psychiatric medicine has come a long way. perhaps treatment is now available for your condition
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: you should drink at a pub, not in other people's workplaces
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: While Racketnoob is from Croatia or Hungary.
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: adriatic cost? where are you from? i hoper you're not italian
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: Judging from the writing on lambdaassociates (e.g. http://www.lambdassociates.org/blog/nextlisp%281%29.htm and http://www.lambdassociates.org/blog/the_problems_of_open_source.htm) I don't find it that hard to believe that Racketnoob *is* the Qi/Shen author, since the essays are pretty trollish.
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: Judging from the writing on lambdaassociates (e.g. http://www.lambdassociates.org/blog/nextlisp%281%29.htm and http://www.lambdassociates.org/blog/the_problems_of_open_source.htm) I don't find it that hard to believe that Racketnoob *is* the Qi/Shen author, since the essays are pretty trollish.
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: adriatic cost? where are you from? i hoper you're not italian
05:01 vzk: rudybot: racketnoob the
05:01 rudybot: vzk: are you racketnoob aka shen-troll?
05:02 vzk: rudybot: racketnoob the
05:02 rudybot: vzk: is that like let ?
05:02 vzk: rudybot: racketnoob the
05:02 rudybot: vzk: I'm racketnoob
05:02 vzk: rudybot: racketnoob the
05:02 rudybot: vzk: I doubt Racketnoob is the Shen author, given that I think Mark Tarver is the author and is British.
05:02 vzk: rudybot: racketnoob the
05:02 rudybot: vzk: you should drink at a pub, not in other people's workplaces
05:02 vzk: ehhh, smar neilv, best racket consultant on the earth and wider!
05:02 vzk: hehhehhehe
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: Right, but I could use the type system to mark a set as unsorted so I only had to resort when necessary. e.g. set-add : (OR Sorted-Set Unsorted-Set) -> Unsorted-Set; set-intersect : Sorted-Set -> Unsorted-Set
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: rudybots later functionality doesn't work in #racket
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: (That's a racket bot too...)
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: those prs are taken care of, stamourv
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: Hmm. I looked at srfi/1 just now, but I don't see how the lset functions can be parameterized over equivalence. It seems like they use whatever definition of eq? is available in the environment of srfi/1. Also, srfi/1 warns that they run in O(n*m). If your set elements can be ordered, then you can implement intersection, et etc. in (n log n + m log m + n + m).
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: We'll be updating the bibliography and background info last, in the final draft.
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: they don't move.
05:03 vzk: rudybot: stamourv troll
05:03 rudybot: vzk: I am having trouble building a test for the optimizer
05:04 vzk: rudybot: ip address
05:04 rudybot: vzk: can you paste output of 'curl -I http://128.36.229.215/' and if not working, then traceroute to the IP address ?
05:04 vzk: rudybot: ip address
05:04 rudybot: vzk: So does that mean that it blocks an IP that had 4 connections in 60s?  That seems a little low.
05:04 vzk: rudybot: ip address
05:04 rudybot: vzk: Several different clients with random-ish nicks have joined some high-traffic channels from that IP in close proximity to attacks on those channels.
05:04 vzk: rudybot: ip troll
05:04 rudybot: vzk: Also, 'ip route get <machine>'
05:04 vzk: rudybot: ip troll
05:04 rudybot: vzk: can you paste output of 'curl -I http://128.36.229.215/' and if not working, then traceroute to the IP address ?
05:04 vzk: rudybot: ip troll
05:04 rudybot: vzk: So you have to have a one-to-one relation between certified names and ip addresses.
05:04 vzk: rudybot: ip troll
05:04 rudybot: vzk: Come back to Europe! You can visit us (and be trapped in a valley, too. But at least we have IP connectivity ;-)
05:04 vzk: rudybot: ip troll
05:04 rudybot: vzk: Sure, but the tunnel endpoint may just be used to mask the real IP of the miscreant.
05:05 vzk: rudybot: tarver the
05:05 rudybot: vzk: Qi is also a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
05:05 vzk: rudybot: tarver the
05:05 rudybot: vzk: Shen does use a semi-free license apparently, though Mr Tarver finds the GPL too restrictive and the BSD license too anarchic
05:05 vzk: rudybot: tarver the
05:05 rudybot: vzk: [1] a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
05:05 vzk: rudybot: tarver the
05:05 rudybot: vzk: is it still being driven by tarver?
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: that documentation is completly unreadable. If you want to know what the good doc looks like, then read MSDN, or Charles Petzold or MArk Tarver!
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: Qi is also a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: I doubt Racketnoob is the Shen author, given that I think Mark Tarver is the author and is British.
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: made by genius Mark Tarver
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: Shen's creator, Mark Tarver, is very interesting guy. Check this: http://www.lambdassociates.org/blog/decline.htm  and this: http://www.lambdassociates.org/blog/bipolar.htm
05:06 vzk: rudybot: tarver the
05:06 rudybot: vzk: Qi is a functional programming language developed by Dr Mark Tarver and introduced in April 2005
05:06 (part) vzk
05:14 (join) MayDaniel
05:26 (quit) mithos28: Quit: mithos28
05:31 (join) antithesis
05:40 (join) vkz
05:57 (quit) antithesis: Remote host closed the connection
06:03 (quit) vkz: Quit: vkz
06:04 (join) vkz
06:07 (quit) vkz: Client Quit
06:07 (join) dzhus
06:11 (quit) djcb: Remote host closed the connection
06:31 (join) bitonic
06:35 Gertm: Does racket have a 'live environment', as in CL where you can redefine functions on the fly?
06:48 bremner: Gertm: sortof. You can look at geiser or xrepl
06:56 (quit) MayDaniel: Read error: Connection reset by peer
07:04 (join) MayDaniel
07:09 (join) djcb
07:10 (join) asdfhjkl
07:19 (quit) Diarmid: Ping timeout: 260 seconds
07:22 (join) masm
07:35 (join) gciolli
07:56 (join) mceier
08:03 (quit) gciolli: Ping timeout: 245 seconds
08:05 (join) Jovlang
08:11 (quit) djcb: Remote host closed the connection
08:37 (quit) lxk: Ping timeout: 245 seconds
09:11 (join) creion
09:12 creion: hi...can you help me how to implement beta reduction ?
09:14 creion: anybody ?
09:21 (join) vkz
09:21 (quit) vkz: Client Quit
09:25 (join) jeapostrophe
09:32 (join) vkz
09:50 (quit) SHODAN: Remote host closed the connection
09:52 (join) SHODAN
09:55 (quit) Jovlang: Remote host closed the connection
10:19 (part) creion
10:19 (join) creion
10:19 (part) creion
10:20 (quit) jeapostrophe: Ping timeout: 272 seconds
10:29 (quit) asdfhjkl: Quit: Leaving
10:32 (quit) vkz: Quit: vkz
10:42 (quit) karswell: Ping timeout: 260 seconds
10:48 (quit) bitonic: Ping timeout: 276 seconds
10:48 (join) karswell
10:50 asumu: People should stay in the channel if they want help...
10:51 asumu: Gertm: you should be able to in the REPL.
10:51 asumu: Unless you mean more dynamically than just redefining.
10:52 (join) bitonic
11:00 (quit) karswell: Remote host closed the connection
11:11 (join) karswell
11:15 (join) anRch
11:18 (join) Diarmid
11:20 (quit) dzhus: Remote host closed the connection
11:59 (join) jonrafkind
11:59 (join) dnolen
12:10 (join) crunchybumble
12:16 (join) asdfhjkl
12:21 (join) djcb
12:41 (join) GeneralMaximus
13:12 (quit) djcb: Remote host closed the connection
13:12 (quit) anRch: Quit: anRch
13:17 (quit) jonrafkind: Ping timeout: 272 seconds
13:35 (join) yoklov
13:38 (join) samth_
13:44 (join) djcb
13:45 (quit) MayDaniel: 
13:48 (quit) yoklov: Quit: computer sleeping
13:52 (join) yoklov
13:53 bremner: any futures experts? my toy code http://paste.debian.net/160943/ is crashing with "SIGSEGV MAPERR si_code 1 fault on addr 0x2e"
13:53 bremner: actually it kindof depends on n; for n< 26 it seems ok, for n>30 it crashes pretty constently.
14:06 (join) Diarmid1
14:07 (quit) Diarmid: Ping timeout: 244 seconds
14:08 (quit) Diarmid1: Client Quit
14:08 (join) Diarmid
14:10 (join) mithos28
14:33 (join) realitygrill
14:34 Diarmid: bremner: I'm far from a expert on any of this stuff, but Google says that means malloc failed, and is usually due to a buffer overflow or dangling pointer.  Since those problems aren't real likely in Racket I'm guessing you've just run out of memory, especially given your description of the symptoms, and the fact it looks non-tail-recursive.
14:36 rapacity: that's definately a bug, if the racket vm was out of memory it should give a proper error
14:37 Diarmid: rapacity: Is that the case even with the memory limit turned off?
14:38 bremner: Diarmid: yes, well, if I wanted to be efficient, I would use a different algorithm ;).
14:39 rapacity: I belive so
14:40 (join) dzhus
14:40 rapacity: racket rack.rkt
14:40 rapacity: Racket virtual machine has run out of memory; aborting
14:40 rapacity: [1]    12551 abort      racket rack.rkt
14:40 bremner: hmm.
14:40 bremner: that's not my code is it?
14:40 rapacity: not your code
14:41 (quit) crunchybumble: Quit: ChatZilla 0.9.88.1 [Firefox 10.0.2/20120215223356]
14:41 rapacity: ran some code allocating a large vector
14:42 bremner: I don't see a huge memory use for the cases that run to completion.
14:45 rapacity: what version of racket are you on?
14:45 rapacity: it's crashing for me at n = 31, version 5.2.1.5
14:46 bremner: this is 5.2.1
14:46 bremner: It probably isn't completely deterministic.
14:50 (join) jeapostrophe
14:56 (quit) jeapostrophe: Ping timeout: 252 seconds
15:15 (join) creion
15:16 (quit) creion: Client Quit
15:27 (join) jeapostrophe
15:29 (join) jonrafkind
15:29 samth_: bremner, if you see that error it is a bug in racket
15:29 samth_: (unless you're using some unsafe library)
15:31 bremner: samth_: just racket/futures
15:31 samth_: bremner, you should report it as a bug if you can reproduce it with the nightly build
15:32 samth_: bremner, unsafe libraries always have `unsafe' in the name :)
15:32 bremner: samth_: ah, just like Haskell ;). unsafeLaunchMissiles
15:33 samth_: bremner, in racket it's usually the module name, rather than the binding name (although with things like unsafe-vector-ref it's both)
15:36 (join) MayDaniel
15:50 (quit) MayDaniel: 
15:50 (quit) GeneralMaximus: Quit: Leaving
16:10 (join) jhemann
16:22 (quit) yoklov: Quit: computer sleeping
16:25 (join) yoklov
16:32 (join) gciolli
16:35 (join) nilyaK
16:55 (join) vkz
17:17 (quit) jeapostrophe: Ping timeout: 252 seconds
17:19 (quit) cdidd: Ping timeout: 260 seconds
17:21 (quit) nilyaK: Ping timeout: 246 seconds
17:22 (quit) gciolli: Ping timeout: 252 seconds
17:25 (quit) SeanTAllen: Max SendQ exceeded
17:26 (join) antithesis
17:39 (quit) vkz: Quit: vkz
18:03 (join) nilyaK
18:16 (quit) jonrafkind: Ping timeout: 246 seconds
18:27 (join) RacketCommitBot
18:27 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/9VTCPQ
18:27 RacketCommitBot: [racket/master] clear the interactions text's undos from the drracket thread, not from the user thread - Robby Findler
18:27 (part) RacketCommitBot
18:33 (join) realitygrill_
18:36 (quit) realitygrill: Ping timeout: 246 seconds
18:36 (nick) realitygrill_ -> realitygrill
18:56 (quit) mceier: Quit: leaving
19:02 (quit) antithesis: Quit: yes leaving
19:23 (quit) jhemann: Ping timeout: 250 seconds
19:26 (quit) dzhus: Remote host closed the connection
19:38 (join) jhemann
19:52 (quit) bitonic: Ping timeout: 260 seconds
19:52 (join) bitonic
19:55 (quit) sid0: Ping timeout: 246 seconds
20:00 (join) jeapostrophe
20:43 (join) bmp
20:46 (quit) masm: Quit: Leaving.
20:48 (quit) bmp: Ping timeout: 246 seconds
20:51 (join) bmp
20:58 (join) RacketCommitBot
20:58 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/gezypw
20:58 RacketCommitBot: [racket/master] Xrepl improvements, mainly around the treatment of module names. - Eli Barzilay
20:58 RacketCommitBot: [racket/master] Some cleanups, mainly around badly indented CPP directives. - Eli Barzilay
20:58 RacketCommitBot: [racket/master] Improve intro to the concept of phases, fix some scribble typos, reformat. - Eli Barzilay
20:58 (part) RacketCommitBot
21:02 (join) RacketCommitBot
21:02 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/fuDh5g
21:02 RacketCommitBot: [racket/master] Test suite for `known-module', should have been included in the xrepl change. - Eli Barzilay
21:02 (part) RacketCommitBot
21:05 (quit) bitonic: Quit: WeeChat 0.3.5
21:18 (quit) bmp: Quit: Leaving...
21:24 (join) crunchybumble
21:25 (join) bmp
21:37 samth_: eli, ping
21:37 eli: ?
21:37 samth_: re: your mail message about _ptr
21:37 offby1: zing
21:39 eli looks at the window
21:40 samth_: one sec
21:44 samth_: eli, i think the "right" thing is that i/o should flip in contravariant position
21:45 samth_: that's what struck me while reading your email
21:45 samth_: that it was a paradigmatic case of positive/negative positions
21:46 samth_: which is sort of what you were moving towards with the extension to `define-fun-syntax'
21:46 eli: samth_: That's kind of an obvious cloud hanging over it, but it's not working completely.
21:47 samth_: i'm unclear on the referents of "that" and "it" in your sentence
21:47 eli: IOW, (_ptr i _int) as you'd want for a callback is very similar to (_ptr o _int),
21:47 eli: But the latter also does a malloc, which the former should not.
21:48 eli: So I'd very much like to find some simple flipping thing -- it goes well with the `_fun' philosophy, but I can't find a simple mapping that works sanely.
21:48 eli will brb
21:52 samth_: eli, i think then you need a (_ptr im _int), where `im' means "does a malloc"
21:53 samth_: also, there's clearly a paper here
21:53 samth_: (unless that paper is the ML NLFFI paper :)
21:56 eli: samth_: An `im' mode is definitely a bad idea.
21:56 eli: One thing is that it makes things more confusing.
21:57 eli: Specifically, that `im' is the same as the current `o'.
21:57 eli: Another thing is that it still has no symmetry -- that `im' has no meaning (that I see, as of yet) for callbacks.
21:58 eli: And NLFFI is extremely primitive compared to what our ffi already does.
21:58 samth_: wouldn't `im' be dual to `o'
22:00 samth_: regardless of the details of `im', though, what i'm suggesting is that the right answer is to figure out what's dual to `i
22:00 samth_: ' and do that
22:00 eli: That's the limited suggestion that I listed in the email.
22:00 (join) RacketCommitBot
22:00 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/K8FxmA
22:00 RacketCommitBot: [racket/master] add missing "jfp.css" - Matthew Flatt
22:00 RacketCommitBot: [racket/master] make HTML rednering work when a `part' has not tags - Matthew Flatt
22:00 RacketCommitBot: [racket/master] fix `syntax/loc' to preserve properties - Matthew Flatt
22:00 (part) RacketCommitBot
22:03 (join) lxk
22:18 (quit) dnolen: Ping timeout: 265 seconds
22:24 (quit) lxk: Quit: Page closed
22:51 (join) carsonc
22:52 (quit) samth_: Ping timeout: 246 seconds
22:53 (quit) carsonc: Client Quit
23:08 (join) dnolen
23:08 (join) dnolen_
23:11 (quit) dnolen: Remote host closed the connection
23:11 (quit) dnolen_: Remote host closed the connection
23:41 (join) tch
23:47 (quit) yoklov: Quit: computer sleeping
23:58 (part) tch
23:59 (quit) jeapostrophe: Ping timeout: 248 seconds