< 1132964798 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sends something to this chat channel
< 1132965261 0 :Arrogant!i=Arrogant@173.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1132965800 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION lets his irc client do it for him
< 1132965853 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is jealous
< 1132966018 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Ook! I just realized Haskell's imperative composition thingamajig is "tricky". Then again, maybe not. < 1132966693 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. I think Haskell's "imperatives" aren't compatible with those of Lazy K. < 1132966780 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Lazy K just needs two more "characters": GET and END. < 1132966917 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, but end-of-list could easily represent this END character, and GET isn't really required anyway. < 1132966924 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So yep, they're compatible. < 1132967024 0 :Arrogant!unknown@unknown.invalid QUIT :"I AM QUIT HAVE A NICE DAY" < 1132967808 0 :ihope!unknown@unknown.invalid QUIT :"Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]" < 1132968909 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION calls his language MKBL
< 1132968917 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :MetaKit Based Language < 1132972237 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :BBL < 1132978273 0 :kipple!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1132978559 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :Night all < 1132980947 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :Night all < 1132981191 0 :Sgep!unknown@unknown.invalid QUIT : < 1132982106 0 :sekhmet!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1132982311 0 :sekhmet!n=pez@ppp-70-226-128-16.dsl.mdsnwi.ameritech.net JOIN :#esoteric < 1132982844 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I wonder if I can change Linguine if it remains 100% backward compatible with the original? :) < 1132982909 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I think I can make jix's life easier by treating jump locations like y values.. first it's a number, so jump 100, but jump *100 would jump to the line given in cell 100 < 1132982979 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that would make subroutines a lot easier.. could set the return line number then the function can jump to it < 1132982999 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :bah.. gonna do it.. the spec will just need to be amended :) < 1132983944 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :wish I would have thought of it before.. seems obvious now :/ < 1132985292 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :amended version uploaded < 1132985866 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :and uploaded again.. bug, fixed now < 1132985911 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :this is cool < 1132985944 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :now I can write something very similar to c functions < 1132985967 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :by just adding that one thing .. hehe < 1132986101 0 :Arrogant!i=Arrogant@20.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1132991999 0 :clog!unknown@unknown.invalid QUIT :ended < 1132992000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1132993044 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :added a pi calculator and general mult/div/ascii->int examples < 1132993049 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :and now I'm going to bed :) < 1132993058 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1132993848 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1132997874 0 :Arrogant!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1132999171 0 :Keymaker!n=no@r75.ip5.netikka.fi JOIN :#esoteric < 1133001571 0 :kipple!unknown@unknown.invalid PRIVMSG #esoteric :LOL. I was reading an example of how to use Yacc and Lex, but I kind of lost my concentration when they started talking about the "analizer" < 1133001745 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1133001959 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1133006046 0 :kipple!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1133006112 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1133006870 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: snowin' there? < 1133006958 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION grabs the camera and goes to take some snow pictures
< 1133006959 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1133007044 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :I'm afraid fizzie is asleep, but living in the neighbourhood I can say that it is indeed snowing. Slightly. < 1133008010 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :back. ok, nice :) and cool, in neighbourhood < 1133008018 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :you know fizzie personally, i assume < 1133008264 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1133008575 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ineiros: what's your favourite esolang? :) < 1133009174 0 :ineiros!unknown@unknown.invalid PRIVMSG #esoteric :Can't say I have one, the esoteric bug hasn't really bitten me... yet. :) Though I find "natural language" esolangs, such as Perligata and Shakespeare rather fascinating. < 1133009217 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hehe :) < 1133010754 0 :Keymaker!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1133011789 0 :jix!i=jix@F3456.f.strato-dslnet.de JOIN :#esoteric < 1133012124 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :*Yawn* < 1133016498 0 :kipple!unknown@unknown.invalid PRIVMSG #esoteric :Perligata? never heard of that one... < 1133016507 0 :kipple!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION googles
< 1133020691 0 :ihope!n=ihope@c-67-172-99-160.hsd1.mi.comcast.net JOIN :#esoteric < 1133020729 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I decided once again that Haskell's IO types are not compatible with Lazy K programs. < 1133020911 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But I found a way to do infinity. Just have an 'a' combinator, which takes a Church numeral and returns the appropriate infinity. < 1133020941 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Adding a 0 and a + combinator should be able to make anything :-) < 1133020963 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And an i combinator, I suppose. < 1133021044 0 :ihope!unknown@unknown.invalid QUIT :"Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]" < 1133030443 0 :calamari!n=calamari@ip68-105-130-108.tc.ph.cox.net JOIN :#esoteric < 1133030449 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1133030473 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :moin calamari < 1133030475 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi jix < 1133030499 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :last night I improved Linguine slightly.. should make that c->Ling compiler must easier < 1133030515 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :the only thing I changed was to allow dereferencing of jumps < 1133030515 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah i thought linguine had that feature < 1133030528 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it does now :) < 1133030533 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(and i noted it because i tried pi with the old interpreter) < 1133030548 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1133030563 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :there is one feature i'd like to see .. thats bitshift right by 1 bit... < 1133030580 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :divide by 2 < 1133030584 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1133030601 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i managed to implement it somewhat fast in software (it's speed is log(n)*some_factor now...) < 1133030626 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but that code is messy and it's really needed often < 1133030641 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I put up generic multiply and divide routines < 1133030656 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :they aren't too fast, tho < 1133030670 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah i was talking about numbers like 10000000000000000000000000000000000000000000000000000000000000000 < 1133030679 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but my div by 2 routine does that pretty fast now < 1133030698 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh and i used your read-a-number routine in my linguine program.. is that ok? < 1133030707 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :certainly < 1133030764 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :here is my collatz program: http://rafb.net/paste/results/Qfq8AC85.html < 1133030785 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :http://mathworld.wolfram.com/CollatzProblem.html (here is more information) < 1133030792 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :thanks, was just about to ask :) < 1133030810 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :just enter a number and it calculates all steps until it reaches 1 < 1133030870 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh and i wouldn't call my language c anymore.. i made too many changes (some because they look nicer some because i don't know how to parse them) < 1133030896 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :the most important change is that casting is done in this way int:bla instead of (int)bla < 1133030923 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :is that for parsing? < 1133030932 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1133030957 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :btw, does it accept a program on stdin and output on stdout ? < 1133030968 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because the parser i'm using is too stupid to get the difference between (int)bla and (bla) < 1133030974 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :if so, it may be able to be rewritten in Linguine :) < 1133031043 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I translated that pi program.. it was originally Haskell, someone converted it to Ruby, then I converted it to Python and finally to Linguine < 1133031047 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hah that would be difficult < 1133031056 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because i'm using a parser generator < 1133031063 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :oh.. yeah < 1133031067 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that generates ruby code < 1133031076 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and the other parts are all written in ruby too < 1133031078 0 :Keymaker!n=no@i3.ip5.netikka.fi JOIN :#esoteric < 1133031092 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I'm used to writing my own parsers :) haven't figured out how to use the aut ones yet < 1133031099 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :auto < 1133031101 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :nice looking program jix (can't run it, but looks good visually) < 1133031104 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi Keymaker < 1133031107 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1133031118 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Keymaker: why can't you run it? < 1133031119 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah it's very compact :) < 1133031133 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i don't have python on this computer (this isn't my computer) < 1133031140 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :besides, this is old and doesn't have much memory < 1133031173 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :line 4 to 8 is my fast divide by 2 routine < 1133031173 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :does it have any compilers or interpreters ? < 1133031179 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :the problem with it is that it needs log(n) memory cells... so i can't use it in my compiler < 1133031196 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that's why i'd like to see that divide by 2 instruction < 1133031360 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I'm afraid to add any instructions.. because then it might be wondered why I don't add > or !=, or and/or/xor/not, ^, etc :) < 1133031388 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :Keymaker: what do you think.. does it become less esoteric if I add multiply and divide? < 1133031404 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :noo < 1133031408 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :not multiply and divide < 1133031412 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that would make it less esoteric < 1133031456 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but a divide by 2 instruction would make it only a pico-bit less esoteric but would make some calculations a lot faster < 1133031464 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I can cell the right shift >.. that would be funny :) < 1133031468 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cell->call < 1133031529 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :calamari: no < 1133031529 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :can a general division routine be improved with divide by 2? < 1133031543 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :calamari: i mean "no, it doesn't become that less esoteric" < 1133031545 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hmm i think it can < 1133031564 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :computers are using right (and left) shifts for division < 1133031570 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :true < 1133031587 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :okay I'll add it < 1133031611 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :what is that right shift? < 1133031636 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :a/2 == a >> 1 < 1133031657 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i don't know what ">>" does :) < 1133031658 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :calamari: wait < 1133031662 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it will be x>y < 1133031668 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :let me see if it really improves generic division < 1133031671 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1133031691 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :Keymaker: it's a right bit shift < 1133031735 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :Keymaker: for example 10 in binary is 1010.. if I shift the bits right I get 101 (the 0 is lost), and 101 = 5 < 1133031753 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so it's the same as 10 / 2 = 5 < 1133031788 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :of course if it was 11 (1011) you still get 5 :) < 1133031814 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :cool, didn't know of that trick < 1133031837 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :jix: actually, I seem to remember implementing division for the 6502 < 1133031845 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it was binary division if I recall < 1133031857 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :you have to remember that we use bignums < 1133031862 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :so it only works on 'evens'? < 1133031873 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :not it floors on odds < 1133031875 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :-t < 1133031892 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :well it works on odds too, it just drops any remainder < 1133031985 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i think it helps < 1133031988 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :you can do: < 1133031991 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :1000/3 < 1133031991 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :500/1+500/3 < 1133031991 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :500/1+250/1+250/3 < 1133031993 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :... < 1133032012 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :wait... < 1133032013 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no < 1133032016 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :stupid me < 1133032022 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :very stupid me < 1133032029 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :1000/3 != 666 != 833 < 1133032237 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :http://courses.cs.vt.edu/~cs1104/BuildingBlocks/divide.030.html there is a shift the divisor one place right < 1133032260 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :heh, i was just browsing that page :) < 1133032289 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that is binary division < 1133032337 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah i know.. but i wasn't getting the right shift in there... < 1133032341 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :those concatenations use *10 < 1133032355 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so that part will be slow < 1133032376 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :actually nm < 1133032379 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :times two < 1133032380 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no a+a = a * 10 (base 2) < 1133032381 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1133032398 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :there are are 10 kinds of people... :) < 1133032403 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah... < 1133032444 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that gives remainder too, which is very nice < 1133032464 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION codes it up for his pi program
< 1133032518 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and even * 10 (base 10) is easy thats b = a+a; c=b+b; result = c+c+b < 1133032541 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :or b = a+a+a result = b+b+b+a < 1133032636 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1133032644 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I use that often in my pi program < 1133032652 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :even did *3 and *4 that way < 1133032673 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :if you do a+a then a+a again that is *4 < 1133032698 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :you do that in your readnum routine too < 1133032710 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yep.. that is for times 10 < 1133032735 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :didn't realize you were checking it out that closely :) < 1133032753 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :my program is the first one that uses the | operator?! < 1133032758 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I think so < 1133032836 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1133032868 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :okay, uploaded.. haven't tested it yet, lol < 1133032879 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh and there is no way to generate a random number... < 1133032903 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I won't add that one < 1133032910 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1133032958 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I had a time funciton in Numberix (for random number seeds), but I don't think it was ever used hehe < 1133033052 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :1[1?,1~10:2,0+*0,2=*0,0+*0,0+*0,0+*2,0+*1,0-48]1 < 1133033053 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :2[0#,5=10,5$,0~1:0,1=*0,1|1,1<-1:3,0>1]2 < 1133033053 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :3[1=*0,0+*1,0+*1,0+1]2 < 1133033056 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that's the new collatz < 1133033086 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :is it faster? < 1133033090 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1133033092 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1133033104 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :a lot < 1133033110 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :nice < 1133033186 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :good job hehe < 1133033219 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :now I need to decipherthat and steal the algorithm >:) < 1133033275 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :oh wait.. nm < 1133033279 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it's not there hehe < 1133033394 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :dc -e '10 20 ^ 1 - p' | xargs echo | xargs echo | tr -d ' ' | time python linguine.py collatz2.lng => 1.57 real 0.42 user 0.13 sys < 1133033422 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :dc -e '10 20 ^ 1 - p' | xargs echo | xargs echo | tr -d ' ' | time python linguine.py collatz.lng => 9.63 real 4.48 user 0.24 sys < 1133033437 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that's a factor of more than 8 (user time) < 1133033484 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :HAH i know how to left shift using > .... 1>-10 < 1133033559 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1133033577 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :NOO! < 1133033580 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't work < 1133033582 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :stupid python < 1133033588 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ValueError: negative shift count < 1133033604 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ruby knows how to negative shift! < 1133033621 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that's what you get for trying to use undefined behavior :) < 1133033637 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it wasn't undefined for me.. i'm used to ruby < 1133033643 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I should do that tho... you can use a neg everywhere else < 1133033668 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :what does it do with >>0 < 1133033672 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Shifts _fix_ left _count_ positions (right if _count_ is negative). < 1133033672 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION checks
< 1133033674 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :not undefined! < 1133033681 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ruby defines that < 1133033689 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :>>> print 4 >> 0 < 1133033689 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :4 < 1133033709 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but there's an error in the documentation... >> and << share the SAME doc... < 1133033904 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :okay uploaded < 1133033940 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I like the -y trick.. it seems to fit with the lang < 1133034124 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :shortened collatz < 1133034124 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :1[1?,1~10:2,0>-1,2=*0,2>-2,0+*2,0+*1,0-48]1 < 1133034125 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :2[0#,5=10,5$,0~1:0,1=*0,1|1,1<-1:3,0>1]2 < 1133034125 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :3[1=*0,0+*1,0+*1,0+1]2 < 1133034208 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :is it faster that using addition, or just shorter? < 1133034230 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :shorter < 1133034235 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but that code is only executed once < 1133034297 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :any opinions on how I can get the high order bit of a number? < 1133034312 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :there is no high order bit in bignums < 1133034341 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :not sure how I can implement that binary division then < 1133034364 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :http://courses.cs.vt.edu/~cs1104/BuildingBlocks/divide.030.html < 1133034385 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah .. but this line is the problem: If that portion of the dividend above the divisor is greater than or equal to the divisor < 1133034474 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I found my binary division routine... it also requires getting at the leftmost bit < 1133034492 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i know how to do it without that < 1133034538 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION thinks about it
< 1133035049 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :aha.. if the number is negative then the high order bit is 1, otherwise it is 0 < 1133035082 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes but that doesn't help if you use that algorithm you'd need infinity iterations < 1133035089 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1133035111 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :any ideas < 1133035780 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hmm the python << doesn't support bignums well ( i think) < 1133035784 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :linguine.py:291: FutureWarning: x< again < 1133035874 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no! < 1133035883 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i'm done with > fast div < 1133035906 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but i can't test it with large numbers because of pythons stupid >> i'm searching a workaround atm < 1133035922 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :oh, is >> giving a problem too ? < 1133035936 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no... < 1133035947 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :replace x << y with x*(2**y) < 1133035951 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :that should fix the problem < 1133035954 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1133035958 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because it works with bignums as it should < 1133036008 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :set_cell(x, get_cell(x) * (2**(-y))) < 1133036126 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :uploaded.. I think I may have accidentally put your collatz in the archive last time.. but it was removed this time < 1133036151 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :feel free to put my collatz (the latest version) in the archive < 1133036156 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :just add a not that it's written by me < 1133036159 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :+e < 1133036181 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I'll have it separate so it is more visible < 1133036208 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/paste/results/igb2Op10.html < 1133036233 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i used large numbers for lables and mem positions because you have to change them if you use the routine in your program < 1133036244 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and it is fast... < 1133036288 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :user 0m0.324s for 9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999/7 < 1133036308 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :multiplication is somewhat trivial < 1133036313 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :can I use that in my pi program? < 1133036318 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1133036321 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1133036331 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :all my linguine code snippets are public domain < 1133036383 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :you may want to remove the last line and do the 44>1 at some other position < 1133036390 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :because it returns the result *2 by default < 1133036491 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :perhaps I'm missing something but I think I can remove line 1001 < 1133036505 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :and combine it with 1000 < 1133036588 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no.. take the case 55==66 < 1133036661 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and you have to re-init 77 to 0 if you call it a 2nd time < 1133036677 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I mean this: < 1133036679 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :1000[55<*66:1002,66>-1,77+1]1000 < 1133036679 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :1002[44>-1,99=*55,66>1,77-1,77<0:*-1,55<*66:1002,55-*66,44+1]1002 < 1133036693 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ohw.. yes < 1133036716 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i missed the case 55==66 a long long time ago and had to use two lines < 1133036776 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i really like linguine < 1133036785 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it's very nice < 1133036825 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh and my LinC compiler executes lines=lines.sort_by{rand} after compiling ;) < 1133036858 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but i still have to write the part between parsing and calling that... < 1133037122 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hmm I think I messed it up.. lol < 1133037132 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :100[-5=*-2,-4=*-3,-6=0]101 < 1133037132 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :101[-5<*-4:102,-4>-1,-6+1]101 < 1133037132 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :102[-2>-1,99=*-5,-4>1,-6-1,-6<0:*-1,-5<*-4:102,-5-*-4,-2+1]102 < 1133037142 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :12/4 gave me 102 < 1133037166 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :102?! < 1133037168 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-1=return jump < 1133037168 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-2=a < 1133037168 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-3=b < 1133037168 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-4=copy of b < 1133037168 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-5=copy of a < 1133037169 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :'-6=temp < 1133037190 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I just removed the remainder since I did not need it < 1133037206 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :then remove 99=*-15 < 1133037210 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah I did < 1133037213 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1133037215 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :oops I thought I did < 1133037223 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :well it shouldn't matter in any case < 1133037290 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :this one is a=a/b < 1133037309 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :(trying to make it act like my original so I can plug it in) < 1133037360 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :12/4 = 120, 12/3 = 200 < 1133037376 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :wait you can't switch between -2 and -4 in the code < 1133037392 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :wait.. i have to check my code < 1133037400 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah I probably changed too much at once < 1133037468 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries the original
< 1133037544 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah I messed it up someplace.. I'll try again < 1133037555 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :remove the a>b condition < 1133037568 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :nothing to do with your problem < 1133037577 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but it works without that restriction < 1133037587 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1133037607 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it seems that line 1003 is needed < 1133037617 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :the answer doesn't seem to be *2 < 1133037677 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but line 103 does nothing more than divide by 2 < 1133037700 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(with *2 i wasn't talking about the position 2 points to) < 1133037850 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :does it work now? < 1133037977 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :calamari: ping < 1133038296 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :got it.. it was my silly mistake (just finished :) < 1133038299 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :200[-5=*-2,-4=*-3,-2=0,-6=0]201 < 1133038299 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :201[-5<*-4:202,-4>-1,-6+1]201 < 1133038299 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :202[-2>-1,99=*-5,-4>1,-6-1,-6<0:203,-5<*-4:202,-5-*-4,-2+1]202 < 1133038299 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :203[-2>1]*-1 < 1133038312 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :remove 99=*-5 < 1133038338 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :you can do *x as a jump target on the end of a line too? < 1133038344 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1133038352 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1133038394 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :my div routine is surprisingly compact... < 1133038406 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i thought it would be a lot bigger < 1133038588 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I'm not seeing a huge speed difference between the two < 1133038612 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :for two lines of pi it took 24 seconds with the new and 25 with the old < 1133038638 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :maybe the division wasn't the slow part in it < 1133038650 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :or the numbers are too small to see the difference < 1133038652 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that time it was 24 secs < 1133038655 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah maybe < 1133038671 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it gets some huge numbers.. but the numbers it is dividing by are relatively small < 1133038684 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :wait if the dividend is about the same as the divider both are equivalent fast < 1133038703 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :a is large, b is small < 1133038718 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :in your pi thing? < 1133038720 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1133038722 0 :ihope!n=ihope@c-67-172-99-160.hsd1.mi.comcast.net JOIN :#esoteric < 1133038731 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :wait no < 1133038732 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :how does your divide work < 1133038736 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :that was multiply < 1133038741 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :result is small a and b are about the same size.. right? < 1133038747 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :jix: repeated subtractions < 1133038754 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :dunno I will check < 1133038756 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah then a and b are about the same size < 1133038778 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(it has to be so... if a is big and b is small repeated subtraction is very slow) < 1133038836 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :brb < 1133038856 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1133038858 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :812972754127758592775274035577391041579186330552469296119363243600296019639208984375000�318537578519104536384176423385561174750764872736614900378433832599380450864237060546875 < 1133038877 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hmm lost the division sign there < 1133038901 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :812972754127758592775274035577391041579186330552469296119363243600296019639208984375000� / 318537578519104536384176423385561174750764872736614900378433832599380450864237060546875 < 1133038909 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :some weird char there < 1133038921 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It's the A-in-a-box. < 1133038930 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :in what encoding? < 1133038934 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hehe nothing here < 1133038952 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :but in my term it's a division symbol < 1133038958 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1133038976 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I've been having problems with A's-in-the-boxes lately... < 1133038976 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :calamari: what encoding are you using? < 1133039001 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :dunno.. I should set it to utf 8 < 1133039015 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I think that's what I'm using. < 1133039020 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :calamari: no, just stick to ascii :) < 1133039044 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I guess x-chat picks its own default < 1133039080 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :anyhow those numbers are quite large < 1133039096 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :wouldn't want to calculate that by hand :) < 1133039253 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to calculate ack 4 1 by hand. < 1133039278 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1133039305 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So far, I have ack 3 (ack 1 (ack 1 (ack 1 (ack 0 (ack 1 4))))). < 1133039354 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :why not ack 4 3 ? :) < 1133039361 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Ack! < 1133039527 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 3 (ack 1 (ack 1 (ack 1 7))) < 1133039615 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I guess the answer is 65533 ? < 1133039620 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1133039716 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Lemme define an alternative ack function... < 1133039760 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack [n:0:xs] = ack [n+1:xs] < 1133039781 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Uh, wait, no: < 1133039793 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack [n:0:xs] = n+1 < 1133039841 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Grr. ack n:0:xs = n+1 < 1133039855 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 0:m:xs = ack 1:m-1:xs < 1133039874 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack n:m:xs = ack n-1:m:m-1:xs < 1133039989 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :So I'm computing ack [1,4]. < 1133040034 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hey, pgimeno contributed to he talk page :) < 1133040063 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :he suggested http://en.wikipedia.org/math/2/1/b/21b63e721296a61d600d6bbcce802029.png < 1133040102 0 :pgimeno!unknown@unknown.invalid PRIVMSG #esoteric :yup :) < 1133040139 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Aha < 1133040247 0 :pgimeno!unknown@unknown.invalid PRIVMSG #esoteric :because of its interesting properties for understanding how the hierarchy is formed < 1133040269 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :...So ack 4 1 = 2? < 1133040302 0 :pgimeno!unknown@unknown.invalid PRIVMSG #esoteric :with this definition, yes; with the regular definition, no < 1133040307 0 :pgimeno!unknown@unknown.invalid PRIVMSG #esoteric :i.e. they are not "compatible" < 1133040316 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1133040506 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 3 (ack 1 (ack 1 9)) < 1133040703 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :byenite < 1133040706 0 :Keymaker!unknown@unknown.invalid QUIT :"Funkadelic!" < 1133040795 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 3 (ack 1 11) < 1133041076 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 3 13 < 1133041348 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :comp 0 x y = y < 1133041387 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :comp x y z = y (comp x-1 y z) < 1133041493 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack m n = comp n+2 (ack m-1) 0 < 1133041581 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack m 0 = comp 3 (ack m-2) 0 < 1133041596 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ack 0 n = n+1 < 1133041628 0 :ihope!unknown@unknown.invalid QUIT :"Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]" < 1133042318 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :back < 1133047168 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric