< 1123286424 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :? is easier to type on a de keyboard < 1123286435 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :right < 1123286445 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is using an US keyboard ;) < 1123286465 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :us keyboard is better for programming < 1123286470 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :mainly because that makes typing []{} and \ so much easier. < 1123286471 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1123286475 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but i'm fast enough on a de keyboard < 1123286512 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and i alwazs make tzpos if i use the us lazout ;) < 1123286541 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :that happens to me, too - but when I'm using a de layout keyboard :) < 1123286558 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah but i learned typing on a de keyboard years ago... < 1123286579 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i started using a keyboard before i was able to read and write < 1123286597 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :we had an old typewrite in my kindergarden < 1123286644 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :the first word i was able to type was klo < 1123286679 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :hmm, did you copy a sign from somewhere? < 1123286689 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1123286718 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :what sign? < 1123286742 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :a sign with the word 'klo' on it. < 1123286762 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1123286775 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ah no < 1123286837 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i just pressed some keys and my erzieherin bin zu faul das wort nachzuschlagen... was reading it and i heard klo... and k,l,o are in a triangle < 1123286874 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :hrm. dict.leo.org suggests 'governess' but I don't like that. < 1123286899 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :irgndwie komisch englisch zu reden wenn beide deutsch können < 1123286964 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :Not really. There are other people around who can't read English. < 1123286976 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1123287020 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :who can't read >>English< 2 < 1123287955 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and my teacher knows i'm smarter than him.. so he gives me a 1 anyway... < 1123287984 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :pff < 1123287993 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :that happened to me once < 1123288017 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :I got a 1 in computer science class, for a program that I had never written. < 1123288026 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh computer science < 1123288028 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :(that is, the program didn't exist) < 1123288038 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hehe yes same teacher... < 1123288040 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :1 too < 1123288047 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :did uhm nothing?... 1 < 1123288069 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i did some perl coding on my server... but nothing more... < 1123288075 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :like, for the MS Office? < 1123288082 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1123288092 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i did a bit more than nothing < 1123288097 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :i mean, to int-e < 1123288101 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :I was lucky, we learned Turbo Pascal at school. < 1123288124 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :this was ... hmm ... about 10 years ago. < 1123288127 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :in exel my teacher had a awfull IF ELSE (IF ELSE (IF ELSE END) END ) END construct < 1123288136 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and i told him there's something like CHOOSE in exel.. < 1123288195 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :We even had an introduction to Scheme. That was fun. < 1123288204 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :we learned a bit javascript (not real javascript but programming a little robot let him walk in a maze) < 1123288219 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :mh < 1123288225 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :we haven't had nothing in school < 1123288239 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :the coolest test i've ever written is the 6+ in french < 1123288249 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :6+? < 1123288253 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it's not a 6 .. it's a 6+ its a good 6 < 1123288260 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :I know < 1123288272 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :but it's news to me that this grade exists. < 1123288295 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes it's stupid a 6 can't be good... < 1123288341 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :well, i'm off to read.. ~2:30 am.. < 1123288351 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :nite < 1123288355 0 :Keymaker!unknown@unknown.invalid QUIT :"I've seen this déjà vu before.." < 1123288358 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :my hard-drive was broken and i had no time to learn... was busy backing up all my projects etc... < 1123288410 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and french is _not_ my favorite language.. < 1123288423 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :I believe that should scare me. But it doesn't. < 1123290221 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ok is done < 1123290267 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :rmul? < 1123290275 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :rational multiply < 1123290286 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :as lambda term < 1123290654 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :something like ... \a b.a (b (\s a b t c d.\f ( s t) ( a c) ( b d))) ... except for canceling common factors. < 1123290701 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :canceling common factors is an extra function < 1123290784 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :oh. \f -> \f.f < 1123290850 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but yours doesn't work < 1123290868 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :how do you encode the sign? < 1123290874 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :as bool < 1123290879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : (?a b. (?r.r < 1123290879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : ( (a ) (b )) < 1123290879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : ( (a ) (b )) < 1123290879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : ( (a ) (b )) < 1123290879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : )); < 1123290899 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :evaluates to the looong: (?a b r.r (a (?x y z.x) (?x t f.x f t) (?x.x) (b (?x y z.x))) (?x.a (?x y z.y) (b (?x y z.y) x)) (?x.a (?x y z.z) (b (?x y z.z) x))) < 1123290911 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and i think it could be shorter < 1123290947 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :(\a b.a (b (\s a b t c d.\f.f ( s t) ( a c) ( b d)))) (\f.f 2 2) (\f.f 1 3) < 1123290952 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :--> (?f.f (?x y.x) (?x y.x (x y)) (?x y.x (x (x (x (x (x y))))))) < 1123290956 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :seems good to me < 1123290986 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :(== (\f.f 2 6) < 1123291034 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :outch.. i corrected your typo and made a mistake^^ < 1123291088 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :that's ok < 1123291314 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i've ( sign numerator denominator) ( rational) ( rational) ( [s n d]) and < 1123291544 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :hmm. next and < 1123291554 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no < 1123291561 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :hmm, probably it's better to do an < 1123291581 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :canceling of common factors < 1123291587 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :uh-oh. < 1123291604 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric : n m. < 1123291611 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yep... < 1123291624 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :is there a gcd in the std lib? < 1123291638 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :not that I know of < 1123291690 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :there isn't even a mod although that would be quite simple using the ideas of listop. < 1123291776 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i saw a mod free gcd algorithm < 1123291799 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :yes, you can do it with comparisons and subtractions alone < 1123291861 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :and with a linear running time for the division that's not even such a bad idea. < 1123291911 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(?a b. ( a b) ( a b)); seems to be slow < 1123291936 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :use the listop.la < 1123291961 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :and its or ops < 1123291972 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :(the first 'n' is for 'new' - ignore it) < 1123291982 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1123291994 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i thought nne? not-not-equal? < 1123292183 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :wow, slow. < 1123292199 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric : = (\x.x x) (\f a b. a b ( a b (f f b a) (f f ( a b) b))) < 1123292322 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :actually nsub can be replaced by lsub there hmm makes me wonder < 1123292433 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1123292445 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(?a b t f. (a (K t)) (b (K f))) is a<=b < 1123292461 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :stolen from prelude.scm of lazier stolen from unlambda page < 1123292473 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :uff < 1123292668 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : is ultra slow < 1123292678 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric : is slow < 1123292692 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :unlambdas is ultra fast < 1123293442 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :new lsub: (\a b.\g x.(a I (b (K x))) ((\x.x x) (\f x.g (x (f f))))) < 1123293487 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :cool ist abs(a-b) < 1123293490 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :its < 1123293501 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :no, it's b-a < 1123293503 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ah no < 1123293506 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :its b-a < 1123293520 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :sorry, just swap the arguments < 1123294569 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :slooooow < 1123294570 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :... < 1123294983 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1123295132 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :rcancle done < 1123295217 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has to sleep now < 1123295282 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :http://www.inf.tu-dresden.de/~bf3/stdlib.la has improved lsub and comparisons and a ggt function < 1123295287 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :ggt is still slow though < 1123295294 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :good night < 1123295495 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1123298230 0 :calamari!~calamari@dialup-4.240.150.117.Dial1.Phoenix1.Level3.net JOIN :#esoteric < 1123300468 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :g'night < 1123300478 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :night < 1123300487 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :Here it's noon < 1123300488 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cya int-e < 1123300515 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :uh it's 5 am here < 1123300516 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1123300532 0 :int-e!unknown@unknown.invalid QUIT :"Bye!" < 1123311748 0 :calamari_!~calamari@dialup-4.240.69.124.Dial1.Phoenix1.Level3.net JOIN :#esoteric < 1123311797 0 :CXI!unknown@unknown.invalid QUIT :Connection timed out < 1123312283 0 :heatsink!unknown@unknown.invalid QUIT :"Leaving" < 1123313052 0 :calamari!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1123315199 0 :clog!unknown@unknown.invalid QUIT :ended < 1123315200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1123323320 0 :calamari_!unknown@unknown.invalid QUIT :"Leaving" < 1123323394 0 :Gs30ng_!L@221.140.214.203 JOIN :#esoteric < 1123323812 0 :Gs30ng!unknown@unknown.invalid QUIT :Nick collision from services. < 1123323868 0 :Gs30ng_!unknown@unknown.invalid NICK :Gs30ng < 1123331311 0 :jix!jix@p5489B1CC.dip.t-dialin.net JOIN :#esoteric < 1123331357 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :moin < 1123331367 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :moin < 1123331383 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :well it's not moin here < 1123331404 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it's always moin time < 1123331433 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :then moin < 1123331523 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ACTION plays guitar < 1123332025 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can't here anything < 1123332029 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :oops typo < 1123332252 0 :int-e!~noone@td9091cb4.pool.terralink.de JOIN :#esoteric < 1123332644 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :moin int-e < 1123332659 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :Hi < 1123332899 0 :int-e!unknown@unknown.invalid PRIVMSG #esoteric :http://www.inf.tu-dresden.de/~bf3/lambda/listop.la contains a gcd function (nggt) that's still slow but quite a bit faster than my previous versions. to get really fast one has to get away from Church numerals though; a list representation (for the bits of the number, say) would perform much better for bigger numbers. < 1123333735 0 :Gs30ng!unknown@unknown.invalid QUIT :"to boot in ubuntu" < 1123337414 0 :Gs30ng!~gs30ng@221.140.215.4 JOIN :#esoteric < 1123337415 0 :tokigun!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1123337938 0 :Gs30ng!unknown@unknown.invalid QUIT :Remote closed the connection < 1123338961 0 :Gs30ng!~gs30ng@221.140.215.4 JOIN :#esoteric < 1123342829 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1123343120 0 :jix!jix@p5489B1CC.dip.t-dialin.net JOIN :#esoteric < 1123343160 0 :Gs30ng!unknown@unknown.invalid QUIT :"to reboot in windows" < 1123343773 0 :Gs30ng!L@221.140.214.203 JOIN :#esoteric < 1123353799 0 :calamari!~calamari@dialup-4.240.69.248.Dial1.Phoenix1.Level3.net JOIN :#esoteric < 1123355787 0 :pgimeno!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1123360145 0 :pgimeno!pgimeno@124.Red-80-59-211.pooles.rima-tde.net JOIN :#esoteric < 1123365902 0 :calamari_!~calamari@dialup-4.240.150.240.Dial1.Phoenix1.Level3.net JOIN :#esoteric < 1123365936 0 :calamari_!unknown@unknown.invalid PRIVMSG #esoteric :re's < 1123367270 0 :calamari!unknown@unknown.invalid QUIT :Connection timed out < 1123370803 0 :heatsink!~heatsink@c-24-61-94-111.hsd1.nh.comcast.net JOIN :#esoteric