00:02 (join) jonrafkind
00:04 (join) evhan
00:04 (join) Lajla
00:09 (quit) bandu: Quit: KVIrc 4.0.2 Insomnia http://www.kvirc.net/
00:37 (part) blake_johnson
01:33 (quit) dnolen: Quit: dnolen
02:20 (join) Fisherman
02:21 Fisherman: Hi
02:28 (quit) jonrafkind: Ping timeout: 276 seconds
02:59 (quit) Fisherman: Quit: leaving
03:09 (join) lucian
03:34 (quit) lucian: Remote host closed the connection
03:54 (quit) misterm: Ping timeout: 255 seconds
04:14 (quit) ckrailo: Quit: Computer has gone to sleep.
05:23 (quit) jao: Ping timeout: 276 seconds
06:25 (join) masm
06:42 (join) jao
06:55 (nick) Lajla -> aerschvergrijp
07:06 (join) mceier
07:42 (join) Senjai
08:03 (join) dnolen
08:04 (join) lucian
08:21 Senjai: Hey all
08:40 aerschvergrijp: Senjai, coffee is the seed of all creativity. - Archeicles, 340 BCE
08:42 Senjai: haha hey aerschvergrijp ! i am drinking so much
08:42 Senjai: 6 am. comp sci class at 3:30 pm, midterm tommorow
08:42 Senjai: wanna see our practice midterm? lol
08:42 aerschvergrijp: in the good old day,computer science was called recursion theory.
08:43 aerschvergrijp: Sure.
08:43 Senjai: http://bit.ly/fNiqFY
08:43 Senjai: was it really?
08:43 aerschvergrijp: http://en.wikipedia.org/wiki/Recursion_theory aight
08:45 Senjai: ugh looks horrible
08:55 (quit) jao: Remote host closed the connection
09:06 aerschvergrijp: Senjai, why?
09:07 (join) jao
09:10 DT``: is using imperative update on a copy of a data structure to get functional update an idiocy?
09:10 (quit) masm: Quit: Leaving.
09:11 DT``: or should I rewrite the functional ``set''?
09:13 aerschvergrijp: DT``, it's often encapsulated like that in 'purely functional' functions
09:13 aerschvergrijp: R5RS seems to imply that functions like 'string' and 'vector' should use vector-set! and string-set! internally.
09:15 DT``: I'll just use the imperative set! then.
09:15 DT``: thank you!
09:16 (join) PLT_Notify
09:16 PLT_Notify: racket: master Matthew Flatt * 63d465f (1 files in 1 dirs): SirMail: grepable message-index file format
09:16 PLT_Notify: racket: master Matthew Flatt * 4f93672 (1 files in 1 dirs): slideshow/code: handle infix notation ...
09:16 PLT_Notify: racket: master Matthew Flatt * 679e9ef (2 files in 2 dirs): slideshow/pict: adjust `linewidth' to allow #f => transparent
09:16 PLT_Notify: racket: master Matthew Flatt * cd4d3e3 (1 files in 1 dirs): gtk: fix dragging events ...
09:16 PLT_Notify: racket: master Matthew Flatt * 501892c (2 files in 1 dirs): slideshow: add a couple of contracts ...
09:16 PLT_Notify: racket: master commits 6b907d6...501892c - http://bit.ly/hmOfFJ
09:16 (part) PLT_Notify
09:19 Senjai: OMg I think I'm starting to get recursion. Im getting questions right the first time~! ;)
09:20 Senjai: http://codepad.org/Mvb3sm6R For anyone who cares! :)
09:21 aerschvergrijp: Senjai, what quaestion was tat?
09:22 Senjai: http://htdp.org/2003-09-26/Book/curriculum-Z-H-20.html#node_sec_15.1
09:22 Senjai: I didn't read it from the book though, I did it myself. So proud :)\
09:25 Senjai: Working through chapters 16 - 19 now, then Im going to do the practice midterm
09:25 Senjai: My main problems are developing recursive functions
09:25 Senjai: I find mutual recursion easier though :/
09:25 Senjai: Maybe because it makes me think of loops? I don't know, I want C loops back :(
09:26 DT``: tail-recursion is more loopy than mutual recursion.
09:26 Senjai: That might be it.. Or maybe the fact that its simply pointing to another function which gives my head a break lol
09:27 Senjai is getting more coffee! brb
09:28 Senjai: DT``: If you want to see hell in terms of recursion, this was one of our problem sets: http://codepad.org/ZO04H6jF
09:29 Senjai: it takes a list of letters (in the form of a word) like (list "d" "o" "g") and finds all rearrangements of the word..
09:34 DT``: I just discovered I can't write code with state anymore.
09:35 Senjai: How do you mean?
09:35 DT``: or better, imperative loops.
09:36 Senjai: What do you meanw ith state?
09:36 DT``: like, factorial: int r=1; while (x>0) x--*=r; return r;
09:36 Senjai: As in programs that test the state of the program (games?)
09:36 DT``: I had to think on how to modify x.
09:36 Senjai: oh lol
09:43 (join) PLT_Notify
09:43 PLT_Notify: racket: master Matthew Flatt * 2eac694 (1 files in 1 dirs): fix `define-wish' docs
09:43 PLT_Notify: racket: master Matthew Flatt * 5f797b8 (3 files in 3 dirs): cocoa: fix put-file with extension as ""
09:43 PLT_Notify: racket: master Matthew Flatt * a1b7938 (1 files in 1 dirs): cocoa: restore "New Folder" button in `put-file' and `get-directory' ...
09:43 PLT_Notify: racket: master commits 501892c...a1b7938 - http://bit.ly/fAklTZ
09:43 (part) PLT_Notify
09:46 Senjai: what is PLT notify
09:46 Senjai: is it a bot that comes and alerts us to errors/
09:47 Senjai: Did you guys know #scheme exists too?
09:47 DT``: sure, I'm there too.
09:49 bremner: Senjai: the bot is about development of racket. You can probably safely /ignore it.
09:49 Senjai: I didn't
09:49 Senjai: Oh.. :P And hi bremner lol
09:49 Senjai: Why does racket exist? I mean if scheme exists what did racket do to change it
09:50 Senjai: Why is there so many versions of scheme :/
09:50 bremner: it's a sad story.
09:50 Senjai: . . .?
09:50 Senjai: I just don't get it, nobody has ever redesigned C++ or C, or C#, or PHP (microsoft tried)
09:50 DT``: long story short: r5rs is not big enough to become ``real world'' and r6rs isn't that good.
09:50 bremner: basically the R6RS standard was not widely adopted, and almost everyone seems to want more than the previous R5RS standard provides
09:51 bremner: Senjai: think about all of the different libraries for C and C++
09:51 Senjai: what is r6rs?
09:51 bremner: a version of scheme
09:51 Senjai: bremner: but their just libraries, plugins, they dont change syntax or operation
09:51 DT``: the revised revised revised revised revised revised report on the algorithmic language scheme.
09:51 DT``: Senjai, think about C89, C99, C1x.
09:52 DT``: and C++0x.
09:52 Senjai: I guess, but there is now a very widely held accepted version
09:52 bremner: which is?
09:52 DT``: or GNU C.
09:52 Senjai: G++
09:53 Senjai: Microsoft
09:53 bremner: that is not a standard, that is an implementation
09:53 Senjai: Microsofts
09:53 Senjai: erg.
09:53 Senjai: Whats the difference?
09:53 bremner: those are two different "standards"
09:53 Senjai: The G++
09:53 Senjai: how come i cant type "
09:53 Senjai: oh nvm, the G++ "way of coding" has been accepted as a standard no? even MSVC++ uses that compiler as the base
09:54 bremner: it certainly does not!
09:54 Senjai: Really?
09:54 bremner: really.
09:54 Senjai: I thought they used gnu's C++ compiler and simply.. tweaked it
09:54 bremner: microsoft would rather die than use a GPL'ed compiler.
09:55 Senjai: I know they threw in a bunch of libraries that /kill'd portability
09:55 Senjai: Like the MSVC Runtime
09:55 bremner: anyway, to come back to topic, sortof. The situation with C++ is almost as messy as with scheme.
09:56 bremner: but not quite, since there are fewer players
09:56 Senjai: So what version of scheme do most people use?
09:56 DT``: it's even worse with C:
09:56 DT``: POSIX, GNU C, MSVC, C99, C89, etc.
09:56 aerschvergrijp: bremner, you mean they would rather not admit it.
09:56 aerschvergrijp: Microsoft has in the past been found out to secretly use GPL licenced code.
09:56 DT``: aerschvergrijp, the GPL police would kill them.
09:56 aerschvergrijp: Like every country out there that at the same time is complaining about piracy.
09:56 Senjai: DT``: I *think* over 90% of users use either GNU C or MSVC
09:57 aerschvergrijp: DT``, they were killed a couple of times.
09:57 aerschvergrijp: And forced to GPL it.
09:57 Senjai: aerschvergrijp: I thought that was the case..
09:57 aerschvergrijp: Senjai, anyway, GCC is not a standard, it's an implementation
09:57 aerschvergrijp: Racket is also an implementation, and a language the implementation supports which most would not call a 'standard'
09:58 aerschvergrijp: But the racket language is not a superset of either R5RS or R6RS
09:58 bremner: well, racket the system supports both of those fwiw
09:58 aerschvergrijp: Another thing about Scheme is that there is no central organ, there are many standards and extensions to R5RS, most of which are semi-standardized in other documents.
09:58 aerschvergrijp: That is true.
09:58 Senjai: aerschvergrijp: Okay, let me conclude that: Racket is an implementation, that is, an extension of scheme language via libraries. The problem is, that it is not extending a language which is considered a standard, instead it is extending a non-standard language.
09:58 DT``: there's ERR5RS and the SRFIs.
09:59 Senjai: Is that accurate to say?
09:59 aerschvergrijp: Senjai, well, it is a 'non standard' language in a way.
09:59 aerschvergrijp: Racket is almost a superset of R5RS
09:59 aerschvergrijp: But changes some semantics.
09:59 samth: Senjai, racket is a programming language and a system in which many programming languages can be implemented
09:59 Senjai: aerschvergrijp: so it's deviated so far from scheme that it's not considered scheme
09:59 aerschvergrijp: Senjai, depending on whom you talk to.
10:00 DT``: Senjai, racket is a scheme as much scheme is a lisp.
10:00 aerschvergrijp: भदYou could say it's 'a scheme' in the same way R5 and R6 are
10:00 samth: as far as the first, I would describe it as *A* Scheme, since Scheme is a family of languages
10:00 Senjai: aerschvergrijp: I see, political?
10:00 DT``: (is scheme a lisp?)
10:00 aerschvergrijp: Which are also not compatible with each other.
10:00 aerschvergrijp: Senjai, well, yeah.
10:00 aerschvergrijp: Basically this is just crying over definitions, name it what you want.
10:00 samth: in the second case, Racket implements a variety of other Scheme dialects, in particular the R5RS and R6RS
10:00 Senjai: So are there other scheme compilers out therE?
10:00 aerschvergrijp: Senjai, lots and lots.
10:01 samth: Senjai, there are lots
10:01 Senjai: Do they compile executables?
10:01 DT``: some do, some not.
10:01 Senjai: without ... massive dll's
10:01 aerschvergrijp: There'seven one which compiles to javascrpt I believe.
10:01 bremner: Senjai: making scheme compilers/interpreters is the main activity of the scheme community afaict ;)
10:01 Senjai: DT``: Then what do they compile? objects that are read as scripts for other programs
10:01 aerschvergrijp: Apparently R5 can be implemented in 48 hours or something.
10:02 Senjai: bremner: interesting
10:02 DT``: Senjai, take a look at Chicken, it compiles to C.
10:02 bremner: Senjai: racket compiles to byte-code, like java, python and perl
10:02 aerschvergrijp: Senjai, depends on the compiler. Icarus delivers x86 assembly I believe, Stalin compiles to C.
10:02 DT``: or Gambit, or Bigloo.
10:02 aerschvergrijp: Ikarus*
10:02 Senjai: bremner: so you can say that it requires a runtime, like those other languages?
10:02 aerschvergrijp: I keep mispelling that.
10:02 samth: Senjai, every language requires a runtime
10:02 samth: even C
10:02 DT``: Senjai, even C requires libc.
10:03 bremner: Senjai: more to the point, racket "executables" include a byte code interpreter afaiui
10:03 Senjai: DT``: samth I know, but, the programs run standalone don't they? whereas python scripts, etc.. run through the python service (so they don't standalone)
10:03 Senjai: Is that right/
10:03 samth: they also include the JIT compiler, which is used more than the interpreter
10:04 DT``: Senjai, depends on the implementation.
10:04 samth: Senjai, it's possible to statically link a C program w/ libc, and it's possible to create a racket executable which bundles the racket runtime
10:04 DT``: any language can be compiled.
10:04 samth: i don't think that's possible with the most popular implementations of perl and python
10:05 samth: it's certainly possible with, say, jython though
10:05 DT``: doesn't pypy jit-compile?
10:05 samth: yes
10:05 Senjai: samth: oh, well I don't know how to do that then.. that would be awesome. And no executing a python program, starts the python service which reads the compiled python and provides the framework for operation
10:05 aerschvergrijp: What I never got is how the python eval works when it's compiled.
10:05 aerschvergrijp: Like, does the standalone really include like CPython just for that?
10:06 aerschvergrijp: Or does the python eval not work with compiled python?
10:06 samth: jython compiles to JVM bytecodes
10:06 samth: (i believe)
10:06 DT``: CPython compiles to bytecode.
10:06 aerschvergrijp: Yeah, but doesn't an entire python compiler or interpreter needs to come with it to still work with eval.
10:06 samth: and those can be compiled to bundled executables (ie, with gcj)
10:06 samth: aerschvergrijp, yes
10:06 aerschvergrijp: how big is that anyway?
10:07 samth: aerschvergrijp, it depends on the language/runtime/libraries/lots of other things
10:07 Senjai: samth: are you one of the contributers to htdp2? (just noticed your whois mask from ccs.neu.edu (where the second version of the book is hosted)
10:08 aerschvergrijp: Senjai, anyway, on a different level, compilation is simply translating a program in one language to another program in another language that does the same. In most cases the target language is assembly or some other low level stuff but there is no reason you can't compile C to Scheme or C to Java.
10:08 samth: Senjai, the primary author of htdp2 is Matthias Felleisen, who was my PhD advisor and has the office next to my desk
10:08 (quit) dnolen: Quit: dnolen
10:08 aerschvergrijp: Senjai, and you can essentially compile any programming langauge to any other programming language.
10:08 bremner: yay church-turing hypothesis
10:08 Senjai: samth: wow! I'm working through that book now for my comp sci class
10:09 Senjai: aerschvergrijp: only if the language your compiling to has the same scalable abilities as the language your compiling from
10:09 aerschvergrijp: bremner, very well, I rephrase by saying 'any praecisely turing powerful programming language'
10:09 aerschvergrijp: Senjai, scalable abilities?
10:10 Senjai: aerschvergrijp: you cannot compile from c to javascript. no/
10:10 Senjai: ?
10:10 DT``: aerschvergrijp, that's why my Scheme→HTML compiler doesn't work?
10:10 aerschvergrijp: Senjai, yes you can.
10:10 aerschvergrijp: DT``, HTML is not praecisely turing powerful.
10:10 aerschvergrijp: Javascript is.
10:10 DT``: HTML is not even a *programming* language.
10:11 Senjai: aerschvergrijp: I'm going to shoot myself. I greatly misunderstood.. alot
10:11 aerschvergrijp: DT``, well, what do you call 'programming language'?
10:11 aerschvergrijp: It seems to be a declarative language that 'programs' the structure of a document.
10:11 Senjai: aerschvergrijp: lets not start this.. this always gets out of control. lol
10:11 aerschvergrijp: Senjai, what did you misunderstand then?
10:11 DT``: aerschvergrijp, it doesn't really program it.
10:11 Senjai: samth: does that mean you have your phd in Comp Sci?
10:11 aerschvergrijp: It's just that in practice, the target language is almost always assembly.
10:11 aerschvergrijp: DT``, define 'to program'
10:12 Senjai: aerschvergrijp: Just the whole facet of compilation
10:12 Senjai: aerschvergrijp: What about php? That doesn't go to assembly right?
10:12 samth: Senjai, yes
10:12 aerschvergrijp: Senjai, well, in your defence, I like to strip any meaningfulness of terms and tend to get it to be really abstract
10:12 Senjai: aerschvergrijp: yet it is considered a programming language
10:12 aerschvergrijp: I'm also one of the people who will tell you that what a processor does is interpreting machine code.
10:12 DT``: aerschvergrijp, uhm.
10:12 aerschvergrijp: Senjai, well, in practice it doesn't, but it's certainly possible.
10:13 Senjai: samth what did you do for your thesis? (I'm a Commerce/Comp Sci double major, or will be)
10:13 aerschvergrijp: It is quite possible to write a php compiler, it will just probably run slower than just interpreting it.
10:13 aerschvergrijp: And in practice, every interpreter features some compilation.
10:13 samth: Senjai, i created Typed Racket for my thesis
10:13 Senjai: samth, typed racket?
10:13 DT``: samth, really?
10:13 samth: you can read more about my research here: http://www.ccs.neu.edu/home/samth/
10:13 aerschvergrijp: For instance, parsing a language and transforming it to an abstract syntax tree is in effect a form of compilation.
10:13 DT``: thank you.
10:14 Senjai: samth, contributer to GNOME as well.. wow
10:14 samth: Senjai, that was a *long* time ago
10:15 Senjai: samth, I want to get involved with linux open projects, once I have the skills to contribute
10:15 Senjai: samth, I'm goign to be helping ubuntu with their marketing strategy though (my business side)
10:16 Senjai: I think Linux is the future, its just taking a while to get there
10:16 aerschvergrijp: Senjai, I'm not sure about the future of linux.
10:17 aerschvergrijp: At least
10:17 DT``: when linux will become popular, everyone will complain about it.
10:17 aerschvergrijp: most other operating systemsusually .. ghasp... work out of the box.
10:17 aerschvergrijp: Ahaha
10:17 Senjai: aerschvergrijp: not necessarily the name, but open source operating systems.. etc..
10:17 Senjai: aerschvergrijp: How much do you know about cloud computing
10:17 aerschvergrijp: Though
10:17 Senjai: samth: I'm doing my research on cloud computing.
10:17 aerschvergrijp: when it gets more popular
10:18 aerschvergrijp: there's probably more funding available.
10:18 aerschvergrijp: Senjai, nothing at all.
10:18 Senjai: aerschvergrijp: Have you used google docs?
10:19 aerschvergrijp: I am a lazy arse fuck who refused to go international on the physics olympiad at 15 years old, attended university at an extremely young age doing two majors and suddenly though 'Well, this is actually extremely boring' and quit.
10:19 aerschvergrijp: Senjai, at some points to help some people will  stuff.
10:19 aerschvergrijp: What's with it?
10:19 Senjai: aerschvergrijp: the CEO of bluehost is like you.. Be creative ;)
10:20 Senjai: aerschvergrijp: Google docs is the very fist "essence" of cloud computing, using an application that isn't run on your computer, but you use your computer to interface with it
10:20 aerschvergrijp: Senjai, what i 'bluehost'?
10:20 aerschvergrijp: Ahhh
10:20 aerschvergrijp: In my days, we called that networking.
10:20 Senjai: aerschvergrijp: just wait
10:20 aerschvergrijp: And I'm like 18 years old or something.
10:20 Senjai: aerschvergrijp: my point will take a minute or to
10:20 aerschvergrijp: So imagine how fast terms change.
10:21 Senjai: aerschvergrijp: Cloud computing is the dream that our internet connectivity is becoming able to provide speeds that transmit data faster than our (modern) processors can calculate data
10:22 DT``: I don't really feel the need of storing my private data on some random server.
10:22 Senjai: aerschvergrijp: So the theory is, develop computing like a utility (electricity, water etc) where the user has nothing stored on his local computer, simply connects to the internet, to a datacenter which then creates a personal virtual machine, allowing him to operate is OS and use apps
10:23 Senjai: aerschvergrijp: Even gaming through the cloud could be possible
10:23 Senjai: aerschvergrijp: Now, think, Linux has always proven more powerful than other operating systems. The problem is the average computer user does nto have enough knowledge to administer the system effectively
10:24 Senjai: aerschvergrijp: but with cloud computing, technicians can administer the system, and you can use the apps.
10:24 aerschvergrijp: Senjai, yeah, but linux's power goes away if you can't use that administration.
10:24 aerschvergrijp: DT``, it's not the need, it's simply the price you pay for it.
10:25 aerschvergrijp: DT``, and you do that all the time, all your private stuff is on government servers.
10:25 Senjai: DT``: look at facebook, it won't be that way for ever. Of course their are stringent measures that would have to be in place
10:25 aerschvergrijp: and to be frank, I'd rather have google as world dictator than the UN.
10:25 Senjai: aerschvergrijp: cloud systems would be private and regulated
10:25 DT``: aerschvergrijp, and in my country.
10:25 aerschvergrijp: Difference is that the google guys are actually reasonably intelligent.
10:25 DT``: the fastest internet connection you'll ever get is 3mbps.
10:25 Senjai: aerschvergrijp: you can still have all the power, but because your in a virtual macheine, you can simply reset the instance
10:25 aerschvergrijp: Senjai, is that good?
10:25 aerschvergrijp: I don't know
10:26 aerschvergrijp: I like hardware
10:26 aerschvergrijp: and customizing it.
10:26 Senjai: aerschvergrijp: yes, a virtual machine is an entire operating system operating within an operating system
10:26 Senjai: aerschvergrijp: its what allows the cloud theory to work
10:26 aerschvergrijp: DT``, I don't even know if that is good or bad. =P
10:26 aerschvergrijp: DT``, where do you live?
10:26 aerschvergrijp: Senjai, it's also significantly slower.
10:26 DT``: aerschvergrijp, bad, really bad.
10:26 DT``: Italy.
10:26 Senjai: aerschvergrijp: Not with server hardware, not at all
10:26 aerschvergrijp: I mean simulating a processor on an OS
10:27 aerschvergrijp: Senjai, that's true.
10:27 Senjai: aerschvergrijp: oracle has already created a windows cloud that allows people to play world of warcraft on their VM
10:27 Senjai: aerschvergrijp: with no lag
10:27 aerschvergrijp: I guess hardware bought in bulk is cheaper.
10:27 aerschvergrijp: DT``, ahhh
10:27 aerschvergrijp: are you greasy?
10:27 DT``: greasy?
10:27 Senjai: aerschvergrijp: modern servers have 64 Gb of DDr5 ram, something like 28 cores..
10:28 aerschvergrijp: DT``, when I google 'italian man', I get this on top: http://www.lifeinitaly.com/images/italian-man.jpg
10:28 aerschvergrijp: Look at his hair
10:28 aerschvergrijp: Senjai, I don't know, could be that it'smore oeconomical yeah
10:29 DT``: aerschvergrijp, that's gel.
10:29 DT``: they think it's ``cool'' or something.
10:29 aerschvergrijp: DT``, yeah, hence the idea or soemthing.
10:29 aerschvergrijp: Ahh
10:29 Senjai: aerschvergrijp: it would make things cheaper for the average consumer, you wouldnt have to buy hardware, and a device as small as an iphone could b e used to run three computers.
10:29 Senjai: http://en.wikipedia.org/wiki/Cloud_computing
10:29 aerschvergrijp: My mother thinks that every guy who doesn't put gel in his hair is severely autistic I think.
10:30 aerschvergrijp: Senjai, but I like things biiig.
10:30 aerschvergrijp: She became kind of perplexed when she found out there were women who didn't like it.
10:30 Senjai: aerschvergrijp: imagine packing your tower (assuming your on a desktop) in your pocket wherever you go
10:30 Senjai: just hook it up to a monitor and a keyboard and go
10:30 aerschvergrijp: That's kind of cool yeah
10:30 aerschvergrijp: buuut
10:30 aerschvergrijp: I hardly ever travel.
10:31 aerschvergrijp: That's for extraverts man
10:31 aerschvergrijp: all the cool kids sit in their room with their windows closed.
10:31 aerschvergrijp: So goth, so goth.
10:31 DT``: lol.
10:31 Senjai: aerschvergrijp: lol, but youll never have to buy hardware again, upgrading is taken care of.
10:32 Senjai: aerschvergrijp: and you have access to more pooled resources in the cloud ..
10:32 aerschvergrijp: That's true
10:32 aerschvergrijp: but they can also pull the plug
10:32 Senjai: If you don't pay your bill..
10:32 aerschvergrijp: Which I'm sure their terms will say they can do.
10:32 aerschvergrijp: And I don't like centralization
10:32 aerschvergrijp: Well, that
10:32 aerschvergrijp: or if they don't like your opinions?
10:33 Senjai: aerschvergrijp: no, it will be subject to regulation trust me, it will be treated as a utilitity
10:33 aerschvergrijp: Some people have been terminated from their provider already because of their opinions on line.
10:33 Senjai: aerschvergrijp: they dont determine where electricity goes, or who uses it
10:33 aerschvergrijp: Senjai, and those regulations will probably allow provides to terminate people for their opinions
10:33 Senjai: aerschvergrijp: yea, and if they take legal action they can sew them
10:33 aerschvergrijp: Because governments tend to have freedom of speech.
10:33 aerschvergrijp: tend to hate*
10:34 aerschvergrijp: I mean, my provider got into a lot of legal problems for REFUSING to terminate people for their opinions.
10:34 Senjai: aerschvergrijp: uhh.. well that wont change with cloud tech. sucks if you live in a shitty govt
10:34 Senjai: Move to canada.
10:34 aerschvergrijp: THere is no 'non shitty gov' as far as this goes.
10:34 Senjai is in canada
10:34 aerschvergrijp: No government supports freedom of speech
10:34 aerschvergrijp: canadian government also doesn't.
10:34 aerschvergrijp: Which is also why I'd like google more to be in control
10:34 Senjai: aerschvergrijp: be careful :) make sure your educated on this topic before you persue it further
10:35 aerschvergrijp: They like freedom of speech more than the UN.
10:35 aerschvergrijp: Senjai, is it legal to deny the holocaust in canada?
10:35 Senjai: aerschvergrijp: I'm sorry
10:35 Senjai: ?
10:36 aerschvergrijp: Senjai: http://en.wikipedia.org/wiki/R._v._Keegstra
10:36 aerschvergrijp: My provider got into legal problems for hosting a site of a nazi interest group.
10:38 Senjai: aerschvergrijp: The constitution promotes free speech, but also that everyone under the constitution have the right not to be hated against based on their origin, race, or beliefs
10:38 aerschvergrijp: 'promoting hatred against an identifiable group' is apparently not legal in Canada, which is a pretty vague concept. I'm pretty sure you can get away with for instance promoting hatred against homophobes.
10:38 aerschvergrijp: Senjai, which is completely contradicting itself.
10:38 aerschvergrijp: Like any constitution
10:38 aerschvergrijp: It's always 'article 1, freedom of speech. article 2: various exceptions to freedom of speech'
10:38 Senjai: aerschvergrijp: there IS not better way.
10:38 aerschvergrijp: Senjai, sure there is.
10:38 aerschvergrijp: Just freedom of speech.
10:38 Senjai: aerschvergrijp: That is not better
10:39 aerschvergrijp: I beliebe it is.
10:39 Senjai: aerschvergrijp: There are reasons, reasons like the example you posted, that it shouldn't be that way
10:39 aerschvergrijp: It's like it always is 'freedom of speech, unless I really really really disagree'
10:39 aerschvergrijp: Senjai, well, then you don't believe in freedom of speech.
10:39 aerschvergrijp: If you believe that some things 'should not be said'
10:39 aerschvergrijp: Or be able to be said.
10:39 DT``: freedom is not always so ``free''.
10:39 DT``: see: GPL.
10:39 Senjai: aerschvergrijp: Not complete, no, I do not believe one has the right to promote that one ethnic group is lower than another
10:40 aerschvergrijp: Senjai, I believe they do. Not in the least because of the ban on this stands in the way of what is reasonable scientific research.
10:40 aerschvergrijp: For instance
10:40 aerschvergrijp: see Rind et al.
10:40 Senjai: aerschvergrijp: If something can never cause any good, it should be banned.
10:40 aerschvergrijp: It was an okay psychiatric research which concluded that the effects of statuory rape are overstated
10:41 aerschvergrijp: Senjai, define 'good'?
10:41 aerschvergrijp: I think that anyone can say what he or she wants is certainly 'good'.
10:41 Senjai: aerschvergrijp: no benefits to society as a whole
10:41 aerschvergrijp: Senjai, define 'benefits'?
10:41 aerschvergrijp: A homogenous society as a whole functions more tightly.
10:41 Senjai: aerschvergrijp: I know where your going, and I understand that good and benefits are subjective terms
10:41 aerschvergrijp: THerefore, it is surely a benefit if all alien influences are removed?
10:41 aerschvergrijp: I do believe they are.
10:42 aerschvergrijp: Senjai, but look up Rind et al.
10:42 aerschvergrijp: A case where legislation actually made a law to dispute a research
10:42 aerschvergrijp: Basically a bill which said 'this research is not true'
10:42 Senjai: aerschvergrijp: Society in general will not benefit from being homogeneous
10:43 aerschvergrijp: Senjai, almost all powerful civilizations practiced slavery and oppression.
10:43 aerschvergrijp: Also, it could very well be argued that gender roles (something I personally despise) benefit society as a whole.
10:43 aerschvergrijp: As well as slavery.
10:44 bremner wonders how the conversation got so far off topic, but not enough to read the backlog...
10:44 aerschvergrijp: So I'm not sure about the utilitarian argument.
10:44 aerschvergrijp: hai brem.
10:44 DT``: bremner, from the clouds.
10:47 Senjai: I just read up on Rind et al.
10:48 aerschvergrijp: Senjai, it wasn't a full proof research anyway
10:48 aerschvergrijp: But not worse than most of that psychological stuff.
10:48 aerschvergrijp: The point is, that if someone today comes with undeniable scientific-quality research which shows that the holocaust victim numbers are greatly inflated, this will be controversial.
10:48 aerschvergrijp: True or not.
10:48 Senjai: aerschvergrijp: In the end, the topic is to subjective. Sorting through all the facts what facts are considered morally applicable or not is subjective. So there can't be a correct answer, which is WHY there should be a compramise between answers
10:49 aerschvergrijp: Senjai, there has always been a compromise, even with slavery.
10:49 Senjai: aerschvergrijp: yep, and it should be that way
10:49 Senjai: aerschvergrijp: If one group argues this, and the other group argues that, make it bit of this and bit of that
10:49 Senjai: What other solution can you use?
10:50 aerschvergrijp: Well, I don't agree with that, I'm more like 'Well, that you are so weak-minded that you can be emotionally distraught by words, that's your problem to deal with.'
10:50 aerschvergrijp: Senjai, in my ideal world, that people can become emotional from words would be their own thing to deal with and not the people who might say such words.
10:50 aerschvergrijp: I mean, of course the holocaust happened.
10:50 aerschvergrijp: but so did evolution
10:50 aerschvergrijp: And people can deny that all day long.
10:51 Senjai: aerschvergrijp: too offtopic, lets conlude shall we? (we are now talking about darwin.. lol)
10:51 aerschvergrijp: Sure, if you want.
10:51 Senjai: aerschvergrijp: Id like to continue but I HAVE to study comp sci lol
10:51 Senjai: aerschvergrijp: running out of time.
10:52 aerschvergrijp: Ah, sure
10:52 aerschvergrijp: good luck.
10:54 Senjai: aerschvergrijp: Ill psot any questions I might have here :P
10:54 aerschvergrijp: I'm going to brush my teeth though
10:55 aerschvergrijp: offensive opinions is one thing, but saying it with bad breath is quite another.
10:55 DT``: I'm still of the idea that you can't tune a fish.
10:59 aerschvergrijp: DT``, what?
11:04 DT``: nothing.
11:04 (join) jshickey
11:07 (join) ckrailo
11:44 (join) carleastlund
11:45 (join) jonrafkind
11:49 aerschvergrijp: jonrafkind,
11:49 aerschvergrijp: you support freedom of speech don't you?
11:49 jonrafkind: no
11:49 DT``: lol
11:49 aerschvergrijp: So ronery
11:55 ckrailo: rofl
12:00 Senjai: be extroverted ;)
12:02 (join) corruptmemory
12:03 (quit) jao: Ping timeout: 246 seconds
12:06 Senjai: How come empty is a prefix to a list?
12:09 jonrafkind: what?
12:11 Senjai: http://codepad.org/xNTlv9gk
12:12 Senjai: The definitions at the top are just crap i added to TRY and get the scheme interpreter on codepad to work, but it didnt
12:12 Senjai: all the check expects run in racket with no errors
12:12 Senjai: i dont know why empty is a prefix to a list
12:12 Senjai: liek (cons empty (list ....))
12:12 Senjai: I dont get how its a prefix to all lists
12:13 jonrafkind: look at your first cond clause
12:13 Senjai: what about it
12:14 Senjai: NO! lol.. misunderstanding. I know that it is being a prefix to all lists
12:14 Senjai: and i know that my function is making it a prefix
12:14 Senjai: what I dont understand is why it is, (my professor says it is so I have to code it that way)
12:15 jonrafkind: it sounds like hes using set theory to define 'prefix' as opposed to the structural definition of lists
12:15 Senjai: oh, can you enlighten me??
12:15 jonrafkind: as in [1] is a prefix of [1, 2], and therefore [] is a prefix of anything
12:15 Senjai: oh..
12:15 Senjai: That sunds right
12:15 Senjai: sounds*
12:16 jonrafkind: but the definition of (list 1 2) is (cons 1 (cons 2 empty)) so if the question is 'does empty appear at the start of that list?' the answer is no
12:16 Senjai: jonrafkind: this was his tutorial from lecture. http://codepad.org/0k5KBZkc
12:16 Senjai: Yea thats what I thought
12:26 aerschvergrijp: subset
12:26 aerschvergrijp: is prefix alternate terminology fr that.
12:27 Senjai: I guess
12:27 Senjai: as in comes before.
12:27 Senjai: (list 1 2) is a prefix of (list 1 2 3) but not (list 0 1 2)
12:29 aerschvergrijp: Ahh
12:29 aerschvergrijp: in that way
12:29 aerschvergrijp: an ordered subset or something ike that
12:30 aerschvergrijp: Sort of like an inverted tail.
12:32 Senjai: something like that lol
12:34 aerschvergrijp: (define (tails lst) (if (null? lst) '(()) (cons lst (tails (cdr lst)))))
12:34 aerschvergrijp: Recursion for you.
12:34 Senjai: hat recursion :'(
12:35 aerschvergrijp: It loves you though
12:35 aerschvergrijp: recursion loves anyone
12:36 aerschvergrijp: and dies for our sins.
12:40 aerschvergrijp: Senjai,
12:40 aerschvergrijp: Do you know the 'reverse' function?
12:40 aerschvergrijp: As in, it takes in a list, and returns the reversed list?
12:50 Senjai: Nope
12:52 Senjai: I have to create an AVL tree rebalancing function as described on Wikipedia.
12:52 (quit) jshickey: Ping timeout: 248 seconds
12:59 (join) jshickey
13:04 aerschvergrijp: Senjai, well, now you have.
13:04 aerschvergrijp: But look, in haskell: Senjai: http://codepad.org/65ZQPi0H
13:04 aerschvergrijp: Two ways to implement it.
13:12 (join) masm
13:19 (join) MayDaniel
13:50 (join) blake_johnson
13:53 (quit) Senjai: Quit: Page closed
14:05 (quit) evhan: Quit: Lost terminal
14:05 (quit) masm: Quit: Leaving.
14:06 (join) evhan
14:15 (quit) DT``: Remote host closed the connection
14:16 (join) DT``
14:31 samth: mattmight, someone should release the list of accepted PLDI papers
14:35 mattmight: Yeah. Someone should.  I'll ping Mary.
14:56 (join) Surjikal
14:57 Surjikal: Hey dudes, is there some software to display environment diagrams? I looked at EnvDraw but it seems really old..
15:07 (join) tauntaun
15:12 (quit) saint_cypher: Quit: Leaving.
15:25 (quit) lucian: Remote host closed the connection
15:26 (quit) MayDaniel: 
15:37 (quit) corruptmemory: Read error: Operation timed out
15:55 (quit) Surjikal: Ping timeout: 252 seconds
16:05 (join) cousin
16:05 cousin: Hello?
16:06 jonrafkind: hello!
16:11 cousin: Hi! I was trying to cons together a list using map, but I can't figure it out.
16:11 jonrafkind: say what?
16:12 tauntaun: give da codez
16:19 cousin: Well, so far I have something like this...
16:20 cousin: (map cons (cons first-object (cons ... nth-object '()))...)
16:21 jonrafkind: map applies the function to each element individually
16:21 jonrafkind: you cant use cons and map together
16:22 jonrafkind: but what are you trying to do anyway? you have already built the list using cons
16:22 tauntaun: jonrafkind: ...unless map is being applied to multiple lists
16:23 jonrafkind: oh yea i forgot about that, heh
16:30 (quit) mceier: Quit: leaving
16:30 cousin: tauntaun , How do I implement map using multiple lists?
16:31 jonrafkind: (map f list1 lit2)
16:37 cousin: jonrafkind      Thanks!
16:37 cousin: This should help, I didn't know map would work with two lsts
16:41 (join) PLT_Notify
16:41 PLT_Notify: racket: master John Clements * 683f6b0 (4 files in 3 dirs): renamed foldts to foldts-test-suite - http://bit.ly/gDjydv
16:41 (part) PLT_Notify
16:50 (quit) cousin: Quit: Page closed
16:57 (join) saint_cypher
16:59 aerschvergrijp: zipWith is obviously overrated
17:08 DT``: zipWith considered overrated.
17:09 DT``: (isn't zipWith the same as (map f xs ys ...)?)
17:14 samth: no, zipWith is (map f xs ys)
17:14 samth: zipWith2 is (map f xs ys zs)
17:14 samth: etc
17:16 aerschvergrijp: Yeah
17:16 aerschvergrijp: partial application or variadic eh.
17:16 aerschvergrijp: choose your destiny.
17:17 jonrafkind: arise from your grave
17:17 aerschvergrijp: Nahh
17:17 aerschvergrijp: it's warm and cosy here.
17:17 samth: aerschvergrijp, I disagree that zipWith couldn't be more general
17:17 aerschvergrijp: You come here
17:17 aerschvergrijp: I've got cable.
17:18 samth: in particular: http://www.ccs.neu.edu/scheme/pubs/esop09-sthf.pdf
17:18 jonrafkind: a whole paper about zipwith?
17:18 samth: jonrafkind, try reading it
17:18 (quit) tauntaun: Quit: Ex-Chat
17:18 jonrafkind: zing!
17:19 jonrafkind: you earn 1 internet point
17:19 jonrafkind: dont spend it all in one place
17:19 samth: or, jonrafkind, a whole paper about a c preprocessing hack?
17:19 DT``: samth, isn't it the same as Typed Racket?
17:19 jonrafkind: what?
17:20 samth: jonrafkind, wasn't that your most recent paper?
17:20 jonrafkind: yea haha
17:20 samth: DT``, that paper is about part of the Typed Racket type system
17:20 aerschvergrijp: I was more talking about Haskell though, I know there are polyvariadic functions but aren't though a GHC extension?
17:20 aerschvergrijp: those
17:20 aerschvergrijp: Anyway, since it's free I might as well read it.
17:21 samth: aerschvergrijp, there aren't variadic functions in GHC that I know of
17:21 aerschvergrijp: http://okmij.org/ftp/Haskell/polyvariadic.html#polyvar-fn
17:21 samth: yes, you can hack a lot of things into type classes
17:21 samth: that's not the same thing
17:21 (quit) saint_cypher: Ping timeout: 250 seconds
17:23 aerschvergrijp: To be honest, I'm not really sure how they work when I use them and no one seems to be able to really explain it.
17:23 aerschvergrijp: I'm not sure how this fits into its type system.
17:26 aerschvergrijp: samth, it is true that in typed racket the type of a conditional expression is the union of both its branches right?
17:26 samth: aerschvergrijp, yes
17:26 aerschvergrijp: And if some expression expects an argument of a random type, can you then also give it an expresion whose type is a subtype thereof?
17:26 samth: yup
17:28 (join) joolean
17:28 aerschvergrijp: schweet, that solves about 85.426% (+/- 1.354) of my frustration with static type systems, I might actually learn this.
17:28 (part) joolean
17:28 aerschvergrijp: samth, how does the compiler prove that something is a subtype of something else?
17:28 aerschvergrijp: Or is the programmer required to declare that?
17:28 samth: there's a function in the typechecker called `subtype' that checks it
17:29 samth: how much detail do you want here?
17:31 aerschvergrijp: Suppose I could just read it in the docs. I'm not sure how an algorithm can just generally prove that one type is a subtype of the other depending on how general one can define types.
17:32 samth: the core of the subtyping system is described in this paper: http://www.ccs.neu.edu/scheme/pubs/icfp10-thf.pdf
17:36 (join) saint_cypher
17:44 (quit) carleastlund: Quit: carleastlund
18:13 (quit) jshickey: Quit: jshickey
18:16 (quit) saint_cypher: Quit: Leaving.
18:20 (join) cousin
18:25 (part) cousin
18:40 aerschvergrijp: If a program is a proof with respect to its type. Then what, if any, computable function does a proof correspond to with respect to its axioms?
18:47 samth: aerschvergrijp, that depends on the program
18:48 samth: there are some types with many inhabitants
18:49 samth: also, programs in turing-complete languages are not proofs in a consistent system
18:49 samth: at least in general
19:02 (join) masm
19:17 (join) struys
19:39 (nick) samth -> samth_away
20:16 (join) cousin
20:16 cousin: Hello?
20:21 cousin: I am trying to put together a list in a manner like this...
20:21 (quit) blake_johnson: Quit: blake_johnson
20:21 cousin: > (map cons (list 2) (list 3 '())) ((2 . 3))
20:21 cousin: On the far right ((2 . 3)) is the output
20:22 cousin: I don;t understand why I can do that, but the following code errors out...
20:22 cousin: > (define (love a b list)     (map cons (list a list) (list b list)))
20:22 cousin: > (love 2 3 '())
20:26 aerschvergrijp: cousin, because the second argment to the (map  cons ...) has 2 elements in its list
20:26 aerschvergrijp: and the first only 1
20:27 aerschvergrijp: So the second argument runs dry sooner
20:27 aerschvergrijp: So it's the same as if it were (map cons (list 2) (list 3))
20:27 aerschvergrijp: Which is just (list (cons 2 3)) or '((2 . 3))
20:31 cousin: Ok, so would it repair it if I instead did this? ....
20:31 cousin: > (define (love a b list) (map cons (list (cons a (cons b list)))))
20:33 cousin: aerschvergrijp
20:35 aerschvergrijp: cousin, what exactly do you want to do?
20:36 (join) Senjai
20:38 (join) PLT_Notify
20:38 PLT_Notify: racket: master John Clements * ca88fdd (2 files in 2 dirs): oops rename in tests subdir too - http://bit.ly/eZOd79
20:38 (part) PLT_Notify
20:39 cousin: I want to take three arguments (two elements of the same list and another list) and put them together into a single list
20:39 rapacity: why are you shadowing the list function?
20:39 cousin: For example, if I entered <key> <value> <list>
20:40 cousin: rapacity I'm sorry, what do you mean shadowing?
20:40 aerschvergrijp: Oh wauw
20:40 aerschvergrijp: THat's it, ahaha
20:41 aerschvergrijp: cousin, if you do (define (foo list) (list list))
20:41 aerschvergrijp: It does not return a list of the arguemnt given to foo.
20:41 aerschvergrijp: Like (foo 3) does not return a list only  containing 3.
20:41 aerschvergrijp: I tries to apply 3 to tiself.
20:42 aerschvergrijp: Which is an error, as 3 is not a function
20:42 Senjai: Hey all
20:42 aerschvergrijp: rudybot: (define (apply-me-to-the-numbers-1-2 list) (list 1 2))
20:42 rudybot: aerschvergrijp: your sandbox is ready
20:42 rudybot: aerschvergrijp: Done.
20:42 aerschvergrijp: rudybot: (apply-me-to-the-numbers-1-2 +)
20:42 rudybot: aerschvergrijp: ; Value: 3
20:42 aerschvergrijp: rudybot: (apply-me-to-the-numbers-1-2 *)
20:42 rudybot: aerschvergrijp: ; Value: 2
20:43 aerschvergrijp: rudybot: (apply-me-to-the-numbers-1-2 /)
20:43 rudybot: aerschvergrijp: ; Value: 1/2
20:43 Senjai: very nice aerschvergrijp
20:44 aerschvergrijp: Senjai, wot
20:44 Senjai: just think its cool is all
20:44 Senjai: your always online you know that? lol
20:44 aerschvergrijp: I'm still comfortably sitting on a couple of hours of sleep per 3-4 days or omething.
20:46 cousin: I still don't understand why it's doing that. I'm not inputting a function in the spot where it belongs in my list procedure, just a null list
20:47 cousin: Oh wait
20:48 aerschvergrijp: cousin, the 'list' in the (map cons (list (cons a (cons b list)))) both refer to the argument in (love a b list)
20:48 aerschvergrijp: Not just the lat
20:48 aerschvergrijp: last*
20:49 cousin: Yes, I just noticed that. I can't beleive that was the problem the whole time. Shame on me lol
20:49 aerschvergrijp: cousin, common lisp much?
20:50 aerschvergrijp: cousin, this is probably why often in scheme the variable is called lst or lyst or lis to avoid this.
20:50 cousin: Nope. Just a beginner.
20:50 aerschvergrijp: cousin, ahh
20:50 Senjai: omg aerschvergrijp we're getting tested on (map) on our midterm.. scared about that lol
20:51 aerschvergrijp: Senjai, map is a pretty easy thing to understand
20:51 aerschvergrijp: (map f l) where l is a list and f a function is just a new list with f applied to all elements of l.
20:51 aerschvergrijp: rudybot, (map even? (list 0 1 2 3 4 5 7 9 10))
20:51 rudybot: aerschvergrijp: ; Value: (#t #f #t #f #t #f #f #f #t)
20:51 Senjai: We have to be able to define our own version of (map)
20:52 aerschvergrijp: rudybot, (map sqrt (list 0 1 2 3 4 5 7 9 10))
20:52 rudybot: aerschvergrijp: ; Value: (0 1 1.4142135623730951 1.7320508075688772 2 2.23606797749979 2.6457513110645907 3 3.1622776601683795)
20:52 Senjai: e.g. we're expected to be able to designed (filter2) (map2)
20:52 aerschvergrijp: Senjai, a variadic one?
20:52 Senjai: no just redesign the one offered by racket
20:52 aerschvergrijp: the one by racket is variadic
20:52 aerschvergrijp: but cake man, cake.
20:52 Senjai: what does variadic mean?
20:54 Senjai: is (filter) a built in function as well/
20:54 aerschvergrijp: (define (filter f l) (cond [(empty? l) empty] [(f (first l)) (cons (first l) (filter f (rest l)))] [else (filter f (rest l))])) am I not awesome?
20:54 aerschvergrijp: Senjai, define 'built in'.
20:54 Senjai: aerschvergrijp: comes with drracket
20:54 aerschvergrijp: And variadic means it can accept a limitless number of arguments I think, in theory.
20:54 aerschvergrijp: Senjai, depending on the language, then yeah.
20:54 aerschvergrijp: Not with R5RS though
20:54 aerschvergrijp: but that's because it's really easy to make.
20:55 Senjai: Haha one sec i gotta put that in codepad to read it nicely :P
20:55 Senjai: and yes you are awesome
20:55 aerschvergrijp: No I'm not.
20:55 aerschvergrijp: If I were awesome I would have a Ph.D. in some stupid field, a wife and/or husban, children, and a golden retriever.
20:56 (join) jao
20:56 Senjai: aerschvergrijp: Why do you have three cond clauses?
20:56 aerschvergrijp: Senjai, gotta test if it's empty, if the f is true on the first element, or otherwise.
20:57 Senjai: cant you just test if its empty, then (cons (f (first l) (filter (rest l)))
20:57 Senjai: why do you need the third one
20:57 Senjai: Oops, brackets are off
20:57 Senjai: (cons (f (first l)) (filter (rest l))) **
20:57 (quit) cousin: Quit: Page closed
20:57 Senjai: because your supposed to apply f to every element right?
20:58 aerschvergrijp: Senjai, because that's map.
20:58 aerschvergrijp: Not filter.
20:58 aerschvergrijp: Or ehhh
20:58 aerschvergrijp: Misplaced parentheses.
20:58 Senjai: Whats the difference (sorry i havent read up on filter yet)(
20:58 aerschvergrijp: Well, filter just keeps all the elements for which f is true.
20:58 aerschvergrijp: rudybot: filter
20:58 rudybot: aerschvergrijp: ; Value: #<procedure:filter>
20:58 Senjai: og
20:58 Senjai: lol rudybot is so helpful
20:58 aerschvergrijp: rudybot: (filter even? (list 0 1 2 3 4 5 6))
20:58 rudybot: aerschvergrijp: ; Value: (0 2 4 6)
20:59 aerschvergrijp: Senjai, she is our loyal female servant.
20:59 aerschvergrijp: Like Rosie
20:59 aerschvergrijp: in the jetsons.
20:59 aerschvergrijp: She is female, and a bot.
20:59 Senjai: Can you use filter to only keep items in a list greater than a certain number?
21:00 aerschvergrijp: Oui
21:00 Senjai: I think it uses some weird syntax
21:00 Senjai: how do you do that?
21:00 aerschvergrijp: rudybot, (filter (lambda (num) (> num 15)) (list 1 59 3 84 29 -3 548 2))
21:00 rudybot: aerschvergrijp: ; Value: (59 84 29 548)
21:01 (quit) ckrailo: Quit: Computer has gone to sleep.
21:02 aerschvergrijp: rudybot, (define (only-keep-numbers-between from to l) (filter (lambda (num) (<= from num to)) l)
21:02 rudybot: aerschvergrijp: no i actually do "if (num == 1.f) ..."
21:02 aerschvergrijp: rudybot: (define (only-keep-numbers-between from to l) (filter (lambda (num) (<= from num to)) l))
21:02 rudybot: aerschvergrijp: Done.
21:02 Senjai: We only learnt about lambda today, Isnt there another way?
21:02 aerschvergrijp: She's kind of cryptic with her syntax errors
21:02 aerschvergrijp: Yeah
21:03 Senjai: and bitchy
21:03 aerschvergrijp: rudybot: (define (only-keep-numbers-between from to l) (define (helper-pred num) (<= from num to)) (filter helper-pred l))
21:03 rudybot: aerschvergrijp: Done.
21:03 aerschvergrijp: Well, she's called rudybot because she's rude.
21:03 aerschvergrijp: Apparently originally called fartbot.
21:03 aerschvergrijp: Ahahaha
21:03 Senjai: haha
21:03 Senjai: reakky/.'
21:03 Senjai: really*
21:04 (quit) masm: Ping timeout: 246 seconds
21:04 aerschvergrijp: rudybot, (only-keep-numbers-between 20 40 (list 1 35 15 389 33 489 30 20 45))
21:04 rudybot: aerschvergrijp: ; Value: (35 33 30 20)
21:04 aerschvergrijp: Senjai, accordingly offby1 yeah
21:05 Senjai: Wow your too good at this
21:05 aerschvergrijp: Don't say that.
21:06 aerschvergrijp: You make me blush.
21:06 Senjai: Can you do me a favor? can you put an example into codepad so i can study it?
21:06 Senjai: It's still kinda hard to wrap my head around
21:06 aerschvergrijp: an example of what?
21:06 Senjai: of using filter without lambda
21:07 Senjai: the extended definition of (only-keep-numbers-between)
21:07 Senjai: If you dont mind
21:09 aerschvergrijp: Senjai: http://codepad.org/iInfmovO
21:13 Senjai: Your amazing ! L(
21:13 Senjai: :)
21:13 aerschvergrijp: my amazing
21:15 (join) misterm
21:25 (join) cousin
21:28 Senjai: wb cousin
21:30 (join) ckrailo
21:32 (join) masm
21:33 cousin: wb?
21:38 (quit) struys: Quit: Leaving.
22:22 (quit) Senjai: Ping timeout: 245 seconds
22:26 offby1: White Balance
22:26 bremner: Is that a moderate version of white power?
22:26 bremner cringes at himself
22:27 (quit) jblz: Quit: Leaving
22:27 (quit) lithpr: Remote host closed the connection
22:28 offby1: Working Boy
22:38 mattmight: Is there a way to check if the program is running in DrRacket v. the console?
22:42 (quit) ckrailo: Quit: Computer has gone to sleep.
22:47 (quit) masm: Quit: Leaving.
23:06 (join) ckrailo
23:40 (join) tauntaun