< 1269129603 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://logic.pdmi.ras.ru/~yumat/H10Pbook/ < 1269129647 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://logic.pdmi.ras.ru/~yumat/H10Pbook/bookcont.htm < 1269129709 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1269129792 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :anyway for OR the solution isn't something you'll just look at and go "oh lol why couldn't i see that" < 1269129811 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :although anyone should be able to prove it < 1269129819 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I don't think I give up yet < 1269129867 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :tell me if you do, and we can start talking about fixed-points of morphisms < 1269129888 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :why does that require knowledge of OR? < 1269129901 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't, i just wanted to segway into it in an awkward way < 1269129906 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269129919 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :why 'of morphisms' isn't the theory just the same < 1269129955 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well we use morphisms to get all sorts of avoidability results, because infinite words defined as fixed-points of morphisms have the fun property that we can do induction on them. < 1269129990 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :if the pattern XYX occurs in h^n(a), then it must occur in h^(n-1)(a) < 1269129990 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :o_o < 1269130004 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this is still thue/monoid theory? < 1269130014 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1269130030 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :topic is combinatorics on/of words, subtopic avoidability < 1269130053 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :thue is beautiful < 1269130059 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :possibly the simplest tc language ever < 1269130059 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :morphisms, by which i mean homomorphisms, are just a convenient way to get there < 1269130068 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1269130069 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't even have variables... or anything < 1269130083 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you're a homo (morphism) < 1269130098 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :alise: it's the same thue at least < 1269130121 0 :AnMaster_!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1269130124 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oh and well i guess both are word stuff < 1269130133 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh not the language < 1269130137 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :boring :P < 1269130145 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1269130156 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :how do you write logical OR in Thue? < 1269130169 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1269130170 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it's easy < 1269130184 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i forget the syntax but < 1269130189 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :0|0 -> 0 < 1269130191 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :0|1 -> 1 < 1269130198 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :1|0 -> 1 < 1269130198 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :1|1 -> 1 < 1269130222 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's hard to believe that such ... uncomputational rules can still have things like storage and plugging that storage into other things < 1269130290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I would say Thue is simpler than BCT < 1269130290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ignoring the IO fluff < 1269130305 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's basically [(string,string)] -> string -> string < 1269130358 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and really all you do is... pick something from the array, find it in the program, replace by the second element, repeat < 1269130462 0 :AnMaster!unknown@unknown.invalid QUIT :*.net *.split < 1269130480 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"i've been using ASP for years, but this is my first shot at something big in PHP, so i didn't even know there was a strip_tags function! wow ASP needs something like that lol" -- this was written in 2010 < 1269130589 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269130607 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1269130776 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : Maybe I'll go to Norway, they have the Euro :P < 1269130777 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er, no < 1269130799 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :was this sarcasm... < 1269130806 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I thought they did? < 1269130816 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :certainly not < 1269130818 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :At least I remember reading they did. < 1269130857 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :we're not an EU member. not that that has stopped other countries from using the Euro. < 1269130886 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the Scandinavians love their currencies < 1269130907 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :They are at least in Schengen. < 1269130910 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :huh; norway isn't an eu member? < 1269130918 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :my illusions are being shattered < 1269130928 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :does denmark at least have the euro < 1269130931 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :no < 1269130942 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :alise: you're an eu citizen and you don't know which countries are eu members? O_O < 1269130943 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wtffffffffffff :| < 1269130945 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :of the Scandinavian countries, only Finland does < 1269130954 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Norway has the coins with holes in them < 1269130961 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh come on britain is barely an eu member :D < 1269130964 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :neither denmark, sweden or norway have the euro, although with different excuses < 1269130990 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :norway isn't an eu member, denmark has an exception and sweden pretends they have one ;D < 1269131000 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*excemption < 1269131006 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*exemption < 1269131023 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has a sudden craving for donus < 1269131025 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*donuts < 1269131039 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :good thing I live in Canada < 1269131040 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and the rest of eu seem to pretend sweden does too, so it's de facto < 1269131057 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: whereabouts in canada do you live? < 1269131064 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: Calgary < 1269131075 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Sweden is exploiting a loophole to avoid having to switch < 1269131077 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :expect me there roughly tomorrow < 1269131087 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1269131092 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :have you guys sorted out your shitty government yet? < 1269131095 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :no :( < 1269131099 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ETA? < 1269131114 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :2900 < 1269131135 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :coppro: yeah but only sweden has a "permanent" permission to use that loophole iiuc < 1269131137 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :maybe i won't move to canada :P < 1269131161 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :other eastern members won't get to use it, although with the financial crisis the point is currently moot i think < 1269131186 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(since they have a perfectly reasonable reason not to be able to reach the criteria) < 1269131190 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(yet) < 1269131191 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nooo, the recession is over - the banks are giving out bonuses again! < 1269131200 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(paraphrased from reddit) < 1269131209 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :alise: now _that_ must be sarcasm < 1269131218 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since they did that the whole time < 1269131235 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yesterday a point of privilege was raised against a Minister in the House of Commons; if the Speaker allows it, the House will probably find him in contempt < 1269131251 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :coppro: ooh, scary < 1269131255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION snickers < 1269131258 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: of course. < 1269131281 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :It is indeed amusing < 1269131281 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: in your government < 1269131291 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :do people shout at each other all the time < 1269131294 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh yes < 1269131300 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iirc some tiny countries outside the EU also use the euro; andorra, monaco and san marino i think. < 1269131306 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :we took our system from you, remember? < 1269131314 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and do you have a game where everyone in the party that's talking goes "ooooh" all the time < 1269131319 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :montenegro did at one time, not sure now < 1269131321 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :right < 1269131321 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :just checking < 1269131321 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :not canada then < 1269131372 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and there's some west african franc or something that is linked to the euro iirc (used to be linked to the franc) < 1269131397 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(a multinational african currency) < 1269131427 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of course wikipedia has all this, probably where i read most of it < 1269131443 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyone want to fight with ggz to play reversi? < 1269131451 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ask ais523 if you want to know how horrific it is < 1269131468 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :no, don't ask, just guess from my horrified reaction < 1269131470 0 :Oranjer!~HP_Admini@adsl-71-7-92.cae.bellsouth.net JOIN :#esoteric < 1269131492 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Also the Vatican. < 1269131530 0 :Asztal!~asztal@host86-156-99-114.range86-156.btcentralplus.com JOIN :#esoteric < 1269131540 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: darn i thought about it but forgot to write it :D < 1269131624 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so guys remember when we were talking about the impossibility of having legal sex in the vatican < 1269131638 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oh almost forgot, i got the summer job i mentioned. so i'll be proving properties of CA all summer \o/ < 1269131638 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what if you had a friend who was a high-ranking catholic, and he let you have sex in his vatican residence < 1269131676 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oklokok o_o < 1269131683 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this is a JOB?? < 1269131684 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah also kosovo (unofficial) < 1269131753 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklokok is proving properties of california and, unofficially, kosovo < 1269131847 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yes, job at uni < 1269131858 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Heheh. < 1269131875 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"In addition, the convenient new function Total can now be used to efficiently add lists of numbers. " --Mathematica 5 < 1269131879 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :EFFICIENTLY! < 1269131900 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol what < 1269131904 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: all of Mathematica is inefficient unless special-cased < 1269131964 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Seriously? < 1269131970 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269131981 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but there's a lot of special-casing < 1269131987 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and the special cases tend to be fast < 1269131990 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's one of the things I hate about it < 1269131993 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :most of mathematica is special cases yeah < 1269131996 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :really good benchmarks, but practically useless < 1269132005 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: consider - the entire language is just tree rewriting < 1269132021 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: ... And they implement it naively? < 1269132022 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*shudder* < 1269132027 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :rewriting f[x_1,x_2,...,x_n] into another tree < 1269132043 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So they special-case a ton of stuff so that it isn't horribly slow if you do what they want. < 1269132078 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :why thank you, i too think i'm the luckiest person in the whole fucking universe :) < 1269132105 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: god i hate you < 1269132113 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ah that's better < 1269132113 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :just die so that i can take your place :< < 1269132151 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :die... just die < 1269132162 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1269132224 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :also... < 1269132233 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :the stuff they make me do will probably be like "write this trivial program to do X so we know if we're on the right track" < 1269132234 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :die :| < 1269132253 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: assure me they will be formal proofs < 1269132372 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i think it's faster to just write a python hack. < 1269132438 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sure it's faster. But less proofy! < 1269132457 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oh well that's rather true < 1269132507 0 :MigoMipo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269132595 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269133122 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a python-based proof system would be amusingorrible < 1269133179 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :card(NN)==aleph(0) < 1269133194 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what's NN? < 1269133232 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :naturals < 1269133242 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :N is a bit too ambiguous by itself, and blackboard = double-striking < 1269133244 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so NN is as good a name as any < 1269133246 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :double the naturality < 1269133279 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1269133281 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :except NN looks like it could be NxN. or perhaps more likely, {mn | m,n \in N} < 1269133282 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :NN that's clever < 1269133308 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :in any of the three cases the statement is true < 1269133326 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sigma(QQp >> QQ, lambda f: ForAll(QQp, QQp, lambda e1, e2: abs(f(e1) - f(e2)) <= e1 + e2)) < 1269133335 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the last notation is used for other things too < 1269133351 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: well yeah, since NN=N for the last case < 1269133385 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ugh alise you're making me ill :P < 1269133392 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :python doesn't even have a type system < 1269133420 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that's why you give it one! < 1269133437 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ooh I was talking to someone aboutthis < 1269133460 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :something about adding a type system to lisp < 1269133478 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Qi < 1269133499 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesnt likei Qi :[ < 1269133507 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :its like somem weird frankenstien < 1269133508 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :me neither < 1269133514 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :dunno why they made it < 1269133523 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :well I have nothing against them making it to be honest < 1269133532 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :just don't get why anyone other than the author gives a toss :P < 1269133550 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :>>> coerce(refl(), Eq(NN, 2+2, 1+3)) < 1269133555 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://vimeo.com/10297756 < 1269133559 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :refl() :: Eq(NN, 4, 4) < 1269133568 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i am so tempted to actually make this now < 1269133569 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it would be so popular < 1269133596 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269133615 0 :nooga!~nooga@093105098174.pila.vectranet.pl JOIN :#esoteric < 1269133617 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :why do i always make too much food and eat all of it < 1269133618 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :tip for english speakers: when spelling german words, switch ei and ie around from what your flawed intuition tells you. hth. < 1269133634 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :EYEgenvalue < 1269133643 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ACTION still hs trouble with this < 1269133649 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :eeigenvalue < 1269133659 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :eiegenvalue < 1269133665 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :~ egen - igen, egen - igen, lets call the whole thing off ~ < 1269133673 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :aaaaaaaaaaaaaaaigenvalue < 1269133688 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: THERE ARE STARVING PEOPLE IN AFRICA YOU KNOW < 1269133709 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :card(NN)==card(QQ) < 1269133722 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :so... does that mean i should eat a lot or that i should not eat a lot? < 1269133741 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: I think it means you should clear your plate. I don't know by what logic it means this. < 1269133782 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i think i've seen the proof in preschool < 1269133814 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: you should eat your food so you'll grow up to be a good missionary in africa, clearly < 1269133823 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :!Exists(NNp, NNp, NNp, NNp, lambda a, b, c, n: (a**n) + (b**n) == (c**n)) < 1269133826 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :preschool?? < 1269133829 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :You did set theory in preschool? :P < 1269133830 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Your interpretation is awesomesauce. < 1269133831 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :what the nell < 1269133845 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :fax: You didn't? < 1269133850 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :no < 1269133854 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :set theory in preschool would be awesome < 1269133857 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I did this stuff at home < 1269133891 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: also possibly realistic < 1269133909 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :My preschool was basically like this: Get there, finger paint, nap, ring theory, lunch, nap, recess, quantum mechanics, nap, dress-up, go home. < 1269133921 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269133949 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Apparently there was a lot of napping. < 1269133955 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :A ridiculous amount, frankly. < 1269133955 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i mean in my fantasy, the kind of people who tell their children there are starving people in africa to make them eat, are the same kind that would want their children to be missionaries < 1269133956 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :in? : {A:Set} -> (x:A) -> (B:Set) -> Decision (A === B) < 1269133969 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :fax: i was talking about the starving kids actually < 1269133984 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :when i was in preschool i think i was just as retarded as everyone else < 1269133986 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ohh < 1269134012 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well actually i was one of the two who could read and the other guy was a few years older < 1269134014 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: hey python guy, is it possible to make "3" yield something other than an int < 1269134025 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i don't know. < 1269134031 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :probably. < 1269134057 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: well there seems to be a school of thought that says that when you don't like something you should think about how some other people have it worse. i've never understood how this is supposed to make me feel better. < 1269134060 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i know very little about python's internals, which is a bit stupid because those are the whole point < 1269134075 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ugh, what a waste < 1269134081 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :no Timbits left, and the library was closed < 1269134103 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: schadenfreude best freude right < 1269134133 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://vimeo.com/10298933 < 1269134137 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :part 2 ^ < 1269134189 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1269134340 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Anyone here? < 1269134345 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269134382 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :why would i eat like 800g of food when i'm full after like 400g < 1269134401 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :that video fucking rules < 1269134432 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :what's it about, my connection isn't fast enough to want to look without knowing < 1269134471 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :wooden 'cells' that can connect up on some conditions and separate on others < 1269134479 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: Need an extra kg. < 1269134481 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so basically the game of life < 1269134486 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P:P < 1269134487 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(such is the American way) < 1269134489 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :so conglomerations of them can self replicate in some sense < 1269134540 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i wish i lived in america, the land of dreams < 1269134585 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Actually, it's the land of too much food. < 1269134631 0 :FireFly!unknown@unknown.invalid QUIT :Quit: Leaving < 1269134638 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It is feasible to have a pound (approx. 2kg) of food in a meal here. < 1269134642 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :goddamn venti < 1269134645 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rather common, even. < 1269134646 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :goddamn qemu < 1269134647 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :pound = 500g < 1269134653 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Erm. < 1269134661 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :THINKO SUCKS HARD < 1269134671 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I don't get why people think that if some food is tasty more of that food is even tastier. :) < 1269134671 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :500g is a small breakfast < 1269134674 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269134685 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AND I DIDNT MEAN 1 LBS. < 1269134692 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WE OVEREAT MUCH MORE THAN THAT. < 1269134717 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i believe that < 1269134729 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i like breakfast < 1269134735 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's a very worthwhile kind of meal < 1269134749 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it is < 1269134755 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I wish I was better at it < 1269134775 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :coppro, breakfast isn't very difficult < 1269134788 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :difficult in what sense < 1269134789 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you just need to get the basics down < 1269134791 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :quite :D < 1269134796 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you get some things and then you put them in your mouth, and digest them < 1269134797 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the trickiest part is having enough time < 1269134811 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :stop caring about obligations < 1269134813 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269134814 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :1 lbs. of meat, though, is quite feasible. Then another 1 lbs. of fries. And a half-gallon of soda. < 1269134826 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: but the schoolteachers get angry! < 1269134829 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1269134832 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that sounds better < 1269134840 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: BIG WHOOP < 1269134848 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and then my parents get angry < 1269134861 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: American meals are more portions of barely-food lumped together than meals < 1269134861 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: BIG WHOOP < 1269134866 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269134873 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Yes. < 1269134877 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: just write an amazing mathematical work < 1269134880 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Any plans for those machines? < 1269134882 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :sorted < 1269134892 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: that sounds like effort < 1269134899 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise < 1269134911 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: but it's fun! < 1269134917 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Alise: Terry Tao is becoming a finitist http://terrytao.wordpress.com/2010/03/19/a-computational-perspective-on-set-theory/ < 1269134926 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is going to go do more calculus homework :/ < 1269134939 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: does that make five? < 1269134947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I don't believe in five < 1269134947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so he can't be a finitist < 1269134951 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I'm just kidding of course < 1269134966 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :there's just a little bit of finitism in there though < 1269134973 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise, 5 is trivial < 1269134987 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no it is too big < 1269134995 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I suppose you have some cubic explanation of the nonexistence of 5? < 1269135013 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :well my universe is finite right so every set gets a certain ration < 1269135020 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and since some sets are just so much bigger than the naturals < 1269135024 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and there are so many of them < 1269135030 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the naturals only have the space for four elements < 1269135037 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol WHAT < 1269135040 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :does not follow < 1269135056 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i don't believe in not following < 1269135060 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i'm also a trivialist < 1269135080 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders which unit is next... probably curve sketching. yay < 1269135109 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :curve sketching calculus homework? < 1269135116 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :coppro: curve sketching is boring as fuck but it's actually really useful if you just get good enough at it to not really have to think too hard to do it < 1269135143 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise, http://www.paulkabay.com/#trivialism seen this? < 1269135160 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: yeah but i didn't have the attention span to read all the huge papers < 1269135169 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :how acn you be a true trivialist :P < 1269135174 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i have like this limited obvious-parody attention span thing. < 1269135175 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you are not working hard enough < 1269135194 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :actually i'm a mualist, no questions have "true" answers < 1269135213 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :fax: Yeah... < 1269135362 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I am not sure it's a parody < 1269135373 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I can see where you are coming from though < 1269135388 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It is. < 1269135388 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but not how fast he is going < 1269135393 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269135408 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :he says it's a parody right on that page < 1269135413 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1269135422 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I don't wanna do my Agora duties :( < 1269135429 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"I do not accept trivialism – I reject it! (Who wouldn’t reject it?) Reading this material may convince you that I am lying and that I really do believe this stuff – but that is because you have no sense of irony." < 1269135430 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1269135433 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: So resign. < 1269135438 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: that seems bad < 1269135444 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I like them generally < 1269135456 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's just that with the lists down, that means extra effort to redirect them to a backup list < 1269135458 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise, I've seen that -- you're just taking it at face value < 1269135464 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :make a contract whereby someone else does them in return for some material reward by you < 1269135469 0 :nooga!~nooga@86-63-124-134.sta.asta-net.com.pl JOIN :#esoteric < 1269135472 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*reward from you < 1269135480 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: he uses it to debunk diaelethismsdfjksijf < 1269135482 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :however you spell it < 1269135526 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh, wonderful < 1269135546 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the first question of this assignment (on curve sketching) is "Find the domain of y = sqrt(3x-5)." FUN < 1269135559 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: He uses it to debunk gwandocu. < 1269135674 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :coppro: If complex numbers are "acceptable", then that's just [-inf, inf] :P < 1269135688 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: heh, I wish < 1269135693 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :coppro: what's the domain of that function? the domain is that domain < 1269135697 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's not a tough question, it's just that I thought I was done with this stuff < 1269135744 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: also, inclusive bounds on an infinity? < 1269135761 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Idonno, maybe :P < 1269135764 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :coppro, Don't listne to Gregor, he's an infinitist! < 1269135778 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Don't listen to fax, he's infantile! < 1269135781 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :that's a really bad question < 1269135795 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oklopol geez what are you doing here < 1269135801 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :...i don't know :< < 1269135806 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: if complex numbers are acceptable, then the domain's C, clearly :) < 1269135816 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i actually ate until now, although i guess i also did other things... < 1269135863 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :`addquote oklopol geez what are you doing here ...i don't know :< i actually ate until now, although i guess i also did other things... < 1269135866 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :no, the domain is obviously two rounds around C so you get the whole C as the range < 1269135873 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oh wait 3x-5 < 1269135875 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well anyway < 1269135883 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :140| oklopol geez what are you doing here ...i don't know :< i actually ate until now, although i guess i also did other things... < 1269135883 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION punches HackEgo < 1269135888 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: fixit < 1269135888 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1269135895 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: around 5/3, then < 1269135896 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, why was that quoteworthy? < 1269135904 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's amusing :P < 1269135904 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :yeah something like that < 1269135915 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyway- < 1269135916 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :what's the thing called when you go around multiple times? < 1269135918 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :riemann something < 1269135919 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :um what was i going to say < 1269135920 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :alise: Doesn't seem broken ... < 1269135934 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: double reacharound < 1269135937 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :00:44 * alise punches HackEgo < 1269135937 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: it lagged right until i told you to fix it :P < 1269135940 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this made me laugh quite manically < 1269135943 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swats alise -----### < 1269135960 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :the reimann rock < 1269135963 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oklopop < 1269135966 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*riemann < 1269135987 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :"reimann" would be pronounced "ruymon" < 1269135989 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Riemann_surface < 1269135994 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :as in buy < 1269135996 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :reimann, riemann... lets call the whole thing off < 1269136007 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: have you been listening to that song a lot or something < 1269136016 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklokok: we already discussed that above < 1269136018 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it happens in my head everytime < 1269136027 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes, that's why i corrected it. < 1269136042 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :because people should learn things they're told. not that i do. < 1269136052 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lets, let's, let(')s call the whole thing off < 1269136062 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269136376 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so my laptop can rotate the screen < 1269136382 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :if i can get it in a nice holding position i can read papers like a real man < 1269136410 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I wish the iPad was less DRM bullshit and more.. open source < 1269136417 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :alise: You mean with your eyes burning? < 1269136418 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :then I'd totally buy one and just lay in bed all day reading < 1269136424 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: HAHAHAHAHAHAHAHAHAHAHAHAHAhasiudhdif < 1269136425 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :fax: You mean with your eyes burning? < 1269136433 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: XD < 1269136438 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :by eyes burning?? < 1269136453 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise what's so funny? The only bad thing about the iPad is that it's closed < 1269136455 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Anyway, look, I haven't bought that monochrome laser printer yet < 1269136457 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :YET < 1269136459 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Never read anything substantial on a backlit screen then? It's quite horrible. < 1269136469 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Gregor I read all the time off the computer :S < 1269136470 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: well apart from being totally useless for anything creative instead of consuming... < 1269136482 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :besides, apple, open source? < 1269136485 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Gregor... although.. I do have the brigtness down at minimum < 1269136491 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you must be kidding; only their internal software is open source < 1269136503 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise, yeah I know it's shit.. I'm saying if it was slightly different it would be good :| < 1269136513 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :basically: < 1269136521 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Big touchscreen that can connect to the internet < 1269136531 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah but it would require a whole change in apple's philosophy so the end result would be way different < 1269136539 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: hellooooo crunchpad < 1269136542 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1269136609 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise that was sad :( < 1269136616 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://techcrunch.com/2009/11/30/crunchpad-end/ < 1269136643 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :really? You ever thought it would end differently? < 1269136654 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Arrington is a blowhard who talks a lot of talk but has no substance or intelligence behind his ideas. < 1269136668 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :tbh I never heard of this before < 1269136672 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Despite being a horrid person who ruthlessly demolishes people from a position of power for no particular reason. < 1269136673 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I'm not really into technology < 1269136704 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway if you want an internet-connected touchscreen... do it! < 1269136711 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :do what? :P < 1269136714 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm sure you can buy touchscreen hardware somewhere < 1269136718 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :get one of those embedded linux boards... < 1269136719 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :go make something < 1269136719 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oh make one myself < 1269136737 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It'll even have Emacs. < 1269136742 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise I can't even do those kits for children you get from maplin < 1269136753 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :computers are easier :-P < 1269136832 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :df = f' dx < 1269136836 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :df/dx = f' < 1269136838 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :woah < 1269136844 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I just solved the mystery < 1269136889 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Dun dun DUNNNNNNNNNNNNNNNNNNNNNNN < 1269136896 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :How's it go Leibniz < 1269136903 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this is great I've been working on this for years :P < 1269136904 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :omg seconds remaining until mathematica is mine < 1269136907 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1269136909 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i can't wait to get frustrated at it < 1269136910 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and wolfram < 1269136912 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and want to kill him < 1269136912 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :47 mins for me < 1269136932 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION kills the torrent before his 0.00 ratio can improve < 1269136944 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I feel baaaaaaaaaaaad < 1269136947 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269136958 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hells yeah keygen in wine time < 1269136974 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :are you gonna give me one too < 1269136979 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :sure sure < 1269137005 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i think it wants a full name though, so I'll tell it you're Mr. Fax A. Thisia < 1269137011 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*Mrs < 1269137014 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*Vs. < 1269137018 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm spivak prefixes < 1269137022 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what would that be? < 1269137024 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Es. < 1269137030 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Es. Alise Something < 1269137102 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1269137108 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you remember! < 1269137114 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :what's Vs. ? < 1269137119 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i remember what < 1269137126 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Ir. for Ister < 1269137129 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Vs was my knee-jerk attempt at a gender-neutral prefix < 1269137143 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise it should be Miss < 1269137151 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm, right < 1269137153 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Ps. Short for "Person" < 1269137153 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :in UK < 1269137163 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or Ms if you're irritating < 1269137166 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :also I remember what??? < 1269137174 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Or Cr. Short for "Comrade" < 1269137188 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :$. Short for "Dollar-Making Economic Agent" < 1269137256 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Miss Feature < 1269137264 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh god; I'm being held up by the ubuntu repos < 1269137267 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :INSTALL WINE, FUCKERS! < 1269137391 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :PWM. Penis Wielding Human < 1269137397 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :VWM. Vagina Wielding Human < 1269137407 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Penis Wielding Mhuman? < 1269137409 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Erm, human does not start with an 'M' < 1269137411 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :>_> < 1269137419 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :PWH. Penis Wielding Human < 1269137419 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :YOU MEANT MAN DIDN'T YOU SEXIST PIG < 1269137422 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :VWH. Vagina Wielding Human < 1269137423 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Vagina Wielding Man < 1269137450 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"stand back. i have a vagina and i'm not afraid to use it!" < 1269137473 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :alise: Imagine He-Man, holding up a giant anthropomorphic vagina. "I HAVE THE POWEEEEEEEEEEEEER!" < 1269137485 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm finding it really hard to consider a vagina an offensive weapon < 1269137497 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :alise: UNTIL IT DEVOURS YOU WHOLE < 1269137501 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :FEAAAR MY HOLE. FEAAAAAAAAAR IT! < 1269137501 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :In an extremely Freudian attack. < 1269137506 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :only one google hit for the full phrase, but better without the stand back < 1269137510 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :WHO TOLD YOU I WAS INTO VORE! < 1269137515 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1269137529 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Wow, that joke killed the conversation. < 1269137532 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :TOO TOUCHY FOR YOU? HUH? < 1269137543 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :yay vore < 1269137546 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::3 < 1269137547 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I don't know what that means ... < 1269137549 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION eats alise to change the subject. oh wait... < 1269137557 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: >_< < 1269137566 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Gregor like big snakes eating cute little fluffy mice < 1269137764 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*chirp* < 1269137882 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :or birds < 1269137891 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ACTION slithers up behing oerjan < 1269138066 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*wind rustling* < 1269138086 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(chirping started seeming unsafe for some reason) < 1269138101 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1269138127 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://math.ucr.edu/home/baez/noether.html this is cool < 1269138597 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Droid Sans is a pretty font. < 1269138779 0 :fungot!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1269138848 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :someone is killing off the bots! < 1269138932 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://math.ucr.edu/home/baez/dodecahedron/17.html lol what < 1269138959 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i am not sure what he is trying to say < 1269138993 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this proof < 1269138993 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://math.ucr.edu/home/baez/dodecahedron/19.html < 1269138995 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :is so beautify < 1269138998 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :beautiful < 1269139020 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fool's gold is mentioned in http://math.ucr.edu/home/baez/dodecahedron/13.html < 1269139023 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes it is pretty < 1269139086 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :" And there is a fifth figure (which is made out of twelve pentagons), the dodecahedron—this God used as a model for the twelvefold division of the Zodiac." < 1269139091 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :12 FOLD DODECAHEDRAL TRUTH! < 1269139264 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Copy correctly < 1269139338 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://math.ucr.edu/home/baez/dodecahedron/6to12anim.gif < 1269139341 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I want to make one of these < 1269139633 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hooray for Sharp commercials talking about "adding a 4th color". I mean, wouldn't that require programs to be recorded and transmitted differently? For likely negligible gain? < 1269139661 0 :songhead95_!~jay@c-75-67-0-54.hsd1.ma.comcast.net JOIN :#esoteric < 1269139662 0 :songhead95!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269139662 0 :songhead95_!unknown@unknown.invalid NICK :songhead95 < 1269139748 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :fax: that link is a lie. there is no animation there. :| < 1269139757 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it is! < 1269139794 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :also, is it just me, or is fools gold prettier than real gold? :| < 1269139856 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :arsenopyrite is pretty nifty too < 1269139858 0 :coppro!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1269139888 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that phi proof thing, i wanna use mathematica to do an animation of zooming in on it < 1269139915 0 :xxtjaxx!~andreas@p54B77B09.dip.t-dialin.net JOIN :#esoteric < 1269140002 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :alise, hows life < 1269140015 0 :xxtjaxx!unknown@unknown.invalid PRIVMSG #esoteric :hm mine is fine... < 1269140018 0 :coppro!~coppro@unaffiliated/coppro JOIN :#esoteric < 1269140019 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :shit < 1269140022 0 :xxtjaxx!unknown@unknown.invalid PRIVMSG #esoteric :just very bored < 1269140036 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :this is a programming channel not esoterica/magic < 1269140039 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :for the record. < 1269140052 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sulfur, btw, is awesome: http://en.wikipedia.org/wiki/File:Burning-sulfur.png < 1269140075 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :alise: why shit? :\ < 1269140116 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I am into esoterica < 1269140147 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :secret of the cube. < 1269140174 0 :xxtjaxx!unknown@unknown.invalid NICK :wicket < 1269140217 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: the mathematica keygen has ANIMATED MATHEMATICS-LOOKING LOGOS WHOA < 1269140223 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise pm < 1269140227 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and in the status bar, "I am ready" alternates gray/black < 1269140232 0 :wicket!unknown@unknown.invalid PART #esoteric :? < 1269140233 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol keygens rule < 1269140330 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What rules is tarballs of source code. < 1269140349 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :agreed < 1269140825 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :muhuhuha < 1269140848 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the mathematica installer is so awesome < 1269140850 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's just like, hey dude < 1269140851 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :MATHEMATICS < 1269140853 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i know right? < 1269140928 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i'm applying to GSoC < 1269140988 0 :songhead95!unknown@unknown.invalid QUIT :Quit: songhead95 < 1269141066 0 :songhead95!~jay@c-75-67-0-54.hsd1.ma.comcast.net JOIN :#esoteric < 1269141097 0 :pikhq!unknown@unknown.invalid QUIT :Quit: Lost terminal < 1269141133 0 :pikhq!~pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1269141636 0 :songhead95_!~jay@c-75-67-0-54.hsd1.ma.comcast.net JOIN :#esoteric < 1269141637 0 :songhead95!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269141637 0 :songhead95_!unknown@unknown.invalid NICK :songhead95 < 1269142662 0 :alise!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1269142695 0 :alise!~alise___@212.183.140.54 JOIN :#esoteric < 1269143438 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was happier when he believed that "chakra" was something completely made up by the writers for "Avatar: The Last Airbender" < 1269143500 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Intel's new processors "boost performance automatically" < 1269143527 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :... does that mean that it has speedstep, and defaults to a lower speed than max, making you go "wow that's fast!" when it actually does increase speed? < 1269143607 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :sgeo haha < 1269143622 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, clearly what it does is it uses a better CPU architecture and JITs x86. < 1269143634 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah it's called microcode < 1269143662 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: No, I mean a full-blown, heavy-weight, optimising JIT compiler. < 1269143726 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :This particular place in AW has pictures of naked ladies, with bodypaint. One for each astrological symbol < 1269143734 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I have.. mixed feelings about this < 1269143742 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :NAKED LADIES < 1269143807 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: you seem to be disturbed. i suggest some etheral oils to clear up your third eye chakra. < 1269143839 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I suggest some caustic materials. < 1269143842 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Might I suggest lutefisk? < 1269143846 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Preferbaly unwashed? < 1269143848 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :what where? < 1269143880 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unwashed lutefisk? how unhygienic. < 1269143889 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't even know what lutefisk is < 1269143916 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :OTHER THAN BOTTLED DELICIOUSNESS < 1269143932 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the bottledness is _pure_ slander, i tell you. < 1269143988 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or should that be purée slander... < 1269144010 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Purée d'slander. < 1269144011 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Delicious. < 1269144129 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :s is not a vowel, Gregor < 1269144157 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: The washing of lutefisk is to make it edible. < 1269144169 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Lst I chsked, 's' is a vswl. < 1269144173 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It is too caustic to eat otherwise. < 1269144186 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: shush, you < 1269144240 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: well it's not in french < 1269144276 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Lutefisk is dried fish soaked in water for 6 days, then a solution of water and lye for 2 days, then washed in water for 6 days. < 1269144293 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Lots and lots of lye. < 1269144302 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :At the end of the lye period, it has a pH of ~11. The washing is to make it not eat your flesh off. < 1269144302 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Delyecious < 1269144314 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm indeed the french don't have sl- do they? should probably be élander < 1269144338 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :`translatefromto en fr slander < 1269144340 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :purée d'elandre < 1269144341 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :calomnie < 1269144349 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :`translatefromto en fr of slander < 1269144351 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :de la calomnie < 1269144355 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, silver should be avoided when consuming it. The lutefisk will eat the silver. < 1269144359 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :`translatefromto en fr purée of slander < 1269144361 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :Purée de calomnie < 1269144425 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :The lutefisk will eat the silver. < 1269144443 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Yes, lutefisk is caustic. < 1269144455 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :In Soviet Russia, food eat YOU! < 1269144509 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://fc05.deviantart.net/fs70/f/2009/363/d/a/Nordics_like_Fish_by_humon.jpg < 1269144537 0 :Asztal!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1269144585 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i don't want to know how they invented that food < 1269144598 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The shark is a real thing. < 1269144604 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1269144615 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The rotting process gets rid of the poison. < 1269144617 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Although I believe it to be more of a folk food than something real people actually eat :P < 1269144626 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Something that has been made six times ever, and got a reputation. < 1269144652 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :probably < 1269144657 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: It's made a bit more than that. But, it's one of those "delicacy" things. < 1269144661 0 :songhead95!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1269144678 0 :songhead95!unknown@unknown.invalid PRIVMSG #esoteric :think of all the starving kids in china who don't have rotting sea life to eat < 1269144682 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Iceland dictates that it can only be made some number of miles away from civilization, because of the stench... < 1269144688 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :but i heard that they sell small pieces of rotten shark in grocery stores on iceland < 1269144734 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :and they have competitions in eating that and the winner is the one who pukes last (usually the sheriff) < 1269144789 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1269144827 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :in ancient they had this sauce made from rotten fish fragments < 1269144836 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :`addquote think of all the starving kids in china who don't have rotting sea life to eat < 1269144845 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :141| think of all the starving kids in china who don't have rotting sea life to eat < 1269144902 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :they fermented it in big pools that stink even now < 1269144914 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :ancient rome *\ < 1269144936 0 :songhead95!unknown@unknown.invalid PRIVMSG #esoteric :huh, and here I thought this chan was just esoteric programming! < 1269144954 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1269145179 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, that's just the nominal purpose of the channel. < 1269145190 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We aren't on topic all that often. :P < 1269145576 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you are of course free to create an esolang based on rotten fish if you like. < 1269145587 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1269145658 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh boy! < 1269145818 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://simple.wikipedia.org/wiki/Zero special number < 1269145880 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :gypsy fish < 1269145893 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: 零, eh? < 1269145904 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(now *there's* a bitch way of writing a number) < 1269145908 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Wikipedia does not yet have an article with this name." < 1269145924 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1269145952 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION leaves out the "special number" part < 1269145970 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :too bad the article name is now less interesting < 1269146020 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :meh < 1269146093 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :simple wikipedia is soooo stupid < 1269146154 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :coppro: That's because Simple English is such a stupid conlang. < 1269146160 0 :alise!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1269146161 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1269146318 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :It is not double plus good. < 1269146318 0 :nooga!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269146357 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :"If there are zero things, there are not any things. There are none." < 1269146363 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Wow. < 1269146380 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I thought there was a distinction between "simple English" and "English for the simple" < 1269146405 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :"integral is part of the Academic Word List. It is important for students in college and university." < 1269146435 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I know it's important to me. < 1269146557 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's an integral concept < 1269146644 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric : * In symbols: < 1269146644 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :43 ÷ 0 has no answer. < 1269146746 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ACTION cant' find anything interesting on demonstrations.wolfram.com < 1269146771 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :"How the Proton and Neutron Got Their Masses" sounds like a Rudyard Kipling story < 1269146917 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: "Simple English" is an auxlang conlang constructed by simplifying English. < 1269146922 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It possesses some 1,000 words. < 1269146926 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I am aware. < 1269146932 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Okay. < 1269146934 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: But "simple English" still shouldn't be "English for simpletons" < 1269146948 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :In fact, that's WHY simple English shouldn't be English for simpletons. < 1269146958 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yuh. < 1269146974 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :what Gregor is saying < 1269146984 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :WHAT YOU SAY? < 1269146984 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :is that simple English should just be English with all the hard words taken out < 1269146993 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :rather than treating the reader like an idiot < 1269147018 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :More or less. It's for non-native speakers, not children :P < 1269147051 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :(Yes, children are idiots) < 1269147063 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Also, observe this "Chinese hand sign": http://simple.wikipedia.org/wiki/One < 1269147084 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was not an idiot as a child < 1269147095 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was < 1269147103 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Children are idiots. I decree it. < 1269147110 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure if I was an idiot, but I was insufferably annoying. < 1269147112 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :And that's just as bad. < 1269147203 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I'm still insufferably annoying < 1269147221 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Oh pooppy, you're OK! :P < 1269147229 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :^^^ Just an excuse to call you "pooppy" < 1269147296 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :... < 1269147385 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :augur < 1269147393 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sup < 1269147477 0 :songhead95!unknown@unknown.invalid QUIT :Quit: songhead95 < 1269147574 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :soup < 1269147668 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :NO SOUP FOR YOU < 1269147760 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :actually that was quite amazing timing < 1269147771 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :today is now sunday, and at the Flat Planet Cafe, sunday has no soup of the day < 1269147780 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the menu says, under soup of the day for sunday, "NO SOUP FOR YOU" < 1269147785 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269147952 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yes you were < 1269147962 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :Gregor was too < 1269148042 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :children are decent at learning certain things, but they have no creativity, they have no concentration, they have no insight. < 1269148047 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i love kids, wish i had some < 1269148082 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :kids are very creative < 1269148083 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :maybe i'll wait a few years to see if i grow some common sense < 1269148085 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :just not when you want them to be < 1269148119 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i've never a kid do something creative < 1269148132 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :*heard < 1269148196 0 :Oranjer!unknown@unknown.invalid PRIVMSG #esoteric :whaaat < 1269148253 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :woooooot < 1269148318 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :in fact, I'd say kids are really creative when they're young, but have it knocked out of them by their parents. As adults, they try and regain some of that creativity, but do not always succeed < 1269148386 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i've heard people say kids are creative when they misunderstand how language constructs work < 1269148398 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :can't really come up with other examples, maybe you can < 1269148425 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :let me warn you, no matter how good they are, i will disagree cuz i'm never wrong. < 1269148807 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269148837 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :parents discourage creativity? i thought they're like "aww my kid's genius" < 1269148851 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :nah, not like that < 1269148852 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :more generally < 1269148865 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :kids find all sorts of silly and crazy things to do < 1269148867 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and get told off < 1269148874 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :well right < 1269148907 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :most parents suck anyway based on what i've seen, i guess you get tired of doing the job right after a few years < 1269148924 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :It takes a lot of effort < 1269149066 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :or, maybe it's really easy and people just hate their kids, have you considered that possibility < 1269149091 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Definitely the former < 1269149138 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :maybe, maybe < 1269149163 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i'm just trying to open your eyes to worse points of view < 1269149208 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i think i'm going to pass out involuntarily soon if i don't go to sleep < 1269149218 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :maybe i'll watch south park or something < 1269149314 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :wish i could unsee things, i'd know which series are good, but i wouldn't actually remember what happens < 1269149336 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i mean every series is good but it's still really scary to try a new one out < 1269149346 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :i mean what if < 1269149420 0 :Oranjer!unknown@unknown.invalid PART #esoteric :? < 1269149493 0 :oklokok!unknown@unknown.invalid PRIVMSG #esoteric :bye oranjer < 1269149501 0 :oklokok!unknown@unknown.invalid NICK :oklofok < 1269151465 0 :oklofok!unknown@unknown.invalid NICK :oklopol < 1269152345 0 :fax!unknown@unknown.invalid QUIT :Quit: Lost terminal < 1269153336 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :| < 1269153337 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :|| < 1269153339 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :|||| < 1269153343 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :|||||||| < 1269153350 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :|||||||||||||||| < 1269153360 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :|||||||||||||||||||||||||||||||| < 1269156564 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lament < 1269156584 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :stop this before it gets out of hand < 1269158399 0 :clog!unknown@unknown.invalid QUIT :ended < 1269158400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1269159195 0 :asiekierka!asiekierka@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1269159196 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1269159202 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ho < 1269160595 0 :jcp!unknown@unknown.invalid QUIT :Quit: I will do anything (almost) for a new router. < 1269162566 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Good night < 1269163015 0 :Gracenotes!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1269163604 0 :AnMaster_!unknown@unknown.invalid NICK :AnMaster < 1269163782 0 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1269164274 0 :nooga!~nooga@86-63-124-134.sta.asta-net.com.pl JOIN :#esoteric < 1269167063 0 :MigoMipo!~migomipo@84-217-5-244.tn.glocalnet.net JOIN :#esoteric < 1269169024 0 :coppro!unknown@unknown.invalid QUIT :Quit: I am leaving. You are about to explode. < 1269169122 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :lament, 2^n ? < 1269169263 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1269169275 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^pow2 < 1269169276 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :1 2 4 8 16 32 64 128 256 512 1024 2048 4096 8192 16384 32768 65536 131072 262144 524288 1048576 2097152 4194304 8388608 16777216 33554432 67108864 134217728 268435456 536870912 1073741824 2147483648 42949672 ... < 1269169286 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Seems to match!1 < 1269170721 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1269171195 0 :nooga!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269171218 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1269171446 0 :nooga!~nooga@093105098174.pila.vectranet.pl JOIN :#esoteric < 1269172261 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, match what? < 1269172268 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh that yeah < 1269172312 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, it could be some other series, involving a floor() function for example < 1269172318 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so it only looks the same at the start < 1269172324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and then diverges later < 1269173222 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Sure; "Search: 1, 2, 4, 8, 16, 32 < 1269173225 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Displaying 1-10 of 175 results found." < 1269173338 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :There's, for example, "Sum_{ k = 0..5 } C(n,k)" (A006261), which goes "1, 2, 4, 8, 16, 32, 63, 120, 219, ..." < 1269173451 0 :MigoMipo!unknown@unknown.invalid NICK :MigoMipo_Zwei < 1269173454 0 :MigoMipo_Zwei!unknown@unknown.invalid NICK :MigoMipo < 1269173481 0 :Leonidas_!unknown@unknown.invalid NICK :Leonidas < 1269173639 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I was going to add "or the unique degree-5 polynomial determined by the points (0,1), (1,2), (2,4), ..., (5,32)" but that seems to be the same sequence as above. < 1269173725 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :octave:9> polyval(polyfit(0:5,[1 2 4 8 16 32],5),3:9) < 1269173726 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :ans = < 1269173726 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :8.0000 16.0000 32.0000 63.0000 120.0000 219.0000 382.0000 < 1269173737 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :ah, octave < 1269173767 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :once i got kicked out from a lab for using octave instead of matlab < 1269173772 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :can you imagine? < 1269173787 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That sounds very ideological. < 1269173858 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Or some other /^id/ words. < 1269173876 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :probably the teacher felt bad because he couldn't say anything smart about that because it was LINUX AND OPEN SOURCE < 1269173929 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :and my mates were curious about white letters on black screen :D < 1269173959 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, having white text on black screen is hacking, that's well-known. < 1269173963 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269173977 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I seem to remember one such case from EFF's archives. < 1269174399 0 :deschutron!~alex@219-90-177-163.ip.adam.com.au JOIN :#esoteric < 1269174925 0 :Phantom_Hoover!~chatzilla@cpc4-sgyl29-2-0-cust108.sgyl.cable.virginmedia.com JOIN :#esoteric < 1269175003 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :deschutron: Is kwrap meant to be used with FIFOs? < 1269175105 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269175116 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Good. < 1269175140 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The bug occurred when I made 6 FIFOs, then ran kwrap with the names as the arguments. < 1269175242 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :kwrap repeatedly printed the contents of the virtual registers repeatedly, until I cancelled it. < 1269175261 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :After that, the tab-completion in zsh went mad, as did ls. < 1269175275 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1269175282 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :what were the commands you used? < 1269175302 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :mkfifo tok{0..2} fromk{0..2} < 1269175312 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That worked as expected. < 1269175327 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1269175362 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :and then? < 1269175368 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Then ./kwrap tok0 fromk0 tok1 fromk1 tok2 fromk2 < 1269175424 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :and then kwrap went haywire? < 1269175430 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1269175472 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :As I said, zsh's tab completion then started giving random junk when I tried to check the source for what had gone wrong, and ls also output random junk. < 1269175519 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :it might have output a control character, putting the terminal in a weird mode... < 1269175539 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :No, it persisted when I opened a new terminal. < 1269175554 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :And when I closed all open terminals and tried again. < 1269175565 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1269175661 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :i tried the commands you said. kwrap said "Error 14 trying to run new kwrap instance." The error number comes from execv(). < 1269175670 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I have since deleted the (thankfully separate) directory containing kwrap, and nothing else seems to have been affected. < 1269175671 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :there were no leftover kwrap processes afterwards < 1269175683 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :is your terminal still screwed up? < 1269175687 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1269175698 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :what fixed it? < 1269175712 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm... < 1269175736 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I tried it again. < 1269175743 0 :asiekierka!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1269175752 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Same thing happened < 1269175808 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :I ran "kwrap tok0 fromk0 tok1 fromk1" and it hung silently as if nicely waiting for input on its channels. The way it should. < 1269175815 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :All the pre-existing files are still there, but a huge number of junk ones have been created. < 1269175828 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :what sort of names do they have? < 1269175831 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It may be because I was using the version of kwrap that you compiled. < 1269175848 0 :hiato!~fdulu@dsl-245-63-253.telkomadsl.co.za JOIN :#esoteric < 1269175862 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Mainly question marks, some random Unicode, a few ASCII characters. < 1269175992 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.ca/1848073 < 1269176209 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :Maybe when issued with more than two pairs of filenames, kwrap enters an infinite loop, creating new processes. And they keep using the next arguments in the argv array, past the end of the array. And so they try to use files with memory-overrun style filenames, accidently creating the files in the process. < 1269176235 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It would appear so. < 1269176248 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :stracing it supports that theory. < 1269176266 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :Thanks. < 1269176267 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :I'll try to fix that. < 1269176459 0 :kar8nga!~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1269176983 0 :MigoMipo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269177000 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Finally, it disappears when I compile it myself. < 1269177114 0 :MigoMipo!~migomipo@84-217-5-244.tn.glocalnet.net JOIN :#esoteric < 1269177329 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :I found a couple of errors in my kwrap code. < 1269177394 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :In the code to run the new kwrap process for the extra args, there was an off-by-one error in copying the surplus args, < 1269177439 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :and perhaps more importantly, the new argument array was being passed execv, which needs a null-terminated argument-array. < 1269177455 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :and kwrap wasn't putting a terminating null at the end of the array. < 1269177708 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Incidentally, shouldn't duplicate use argv[0] to start the new kwrap process? < 1269177755 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :It should. I have sent you my error-corrected version. < 1269177763 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :To your email address. < 1269178589 0 :fax!~none@amcant.demon.co.uk JOIN :#esoteric < 1269179358 0 :kar8nga!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269179397 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yep, OK. < 1269180431 0 :fax!unknown@unknown.invalid QUIT :Changing host < 1269180431 0 :fax!~none@unaffiliated/fax JOIN :#esoteric < 1269180539 0 :cheater2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1269180563 0 :cheater2!~cheater@ip-80-226-246-57.vodafone-net.de JOIN :#esoteric < 1269180873 0 :alise!~alise___@212.183.140.53 JOIN :#esoteric < 1269180913 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1269180963 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1269180986 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise tried rebooting, no luck < 1269181010 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: well if you gave me a vnc session i could try and fix it debugging gui software over irc is near-impossible ... but that involves trusting me which is dumb < 1269181025 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders who wrote fungot < 1269181026 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :hiato: i've got a relatively large export base that would nto scale to a country in any way. i can click 360 times a minute. what's he doing with changing the hell is it < 1269181031 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fizzie < 1269181034 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :^source < 1269181035 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 < 1269181098 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :20:39:40 I thought there was a distinction between "simple English" and "English for the simple" < 1269181101 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :There should be. < 1269181105 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :wow, that is super impressive < 1269181106 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's just that most Simple Wikipedia editors think it's the latter. < 1269181111 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :20:40:05 "integral is part of the Academic Word List. It is important for students in college and university." < 1269181112 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :snrk < 1269181164 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hiato: well it has been developed since mid-late 2008 :) < 1269181183 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://git.zem.fi/fungot/blob/f581a030c5012af74d00dfaf69a78303dada54bd:/fungot.bef the first versioned version < 1269181183 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :alise: why is finding the nth element of the list. they just don't cut it. i have to < 1269181191 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it didn't even have babbling then < 1269181196 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :just brainfuck interp mostly < 1269181213 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise wow there's a preference option today but there wasn't yesterday! < 1269181224 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: which option is it < 1269181227 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh preferences < 1269181228 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269181231 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: ok check Kernel < 1269181240 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :make sure it's set to the number of cores, license avail is inf < 1269181276 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's in Parallel btw < 1269181281 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I see that < 1269181284 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :butI have not sure what you mean < 1269181290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :screenshot the parallel tab < 1269181292 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :its' on Automatic: 4 kernels < 1269181298 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you have four cores then? < 1269181300 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :alise: I see, but still no simple feat < 1269181304 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I don't know < 1269181306 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hiato: indeed < 1269181311 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: i.. see < 1269181314 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :open activity monitor < 1269181318 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :how many cpu bars do you see < 1269181330 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :alise: through a meta-lang/compiler or hand written? < 1269181334 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hiato: hand < 1269181338 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :damn < 1269181344 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :4 < 1269181353 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: ok that is correct then < 1269181353 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :4 CPUs ? < 1269181357 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :4 cpu cores < 1269181366 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :most cpus are dual core nowadays... what is your system, a new imac? < 1269181367 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a mac pro? < 1269181381 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269181385 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :newer high-end imacs have 4-core CPUs, if mac pro either new in which case one 4-core cpu < 1269181389 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or old in which case two 2-cores < 1269181394 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it's really old < 1269181395 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: helpful :) < 1269181399 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :probably an old mac pro then. < 1269181403 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it is intel though right? < 1269181416 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269181442 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :do you know how to set up vnc :) i'm almost certain I could get mathematica working smoothly for you < 1269181493 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :21:07:22 children are decent at learning certain things, but they have no creativity, they have no concentration, they have no insight. < 1269181496 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :HEY < 1269181497 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :21:07:27 i love kids, wish i had some < 1269181499 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh ok then < 1269181515 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric : to cook and eat < 1269181528 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :21:21:47 most parents suck anyway based on what i've seen, i guess you get tired of doing the job right after a few years < 1269181528 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86 [Firefox 3.5.8/20100214235838] < 1269181538 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :turns out most people think they can do it without thinking about it < 1269181541 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hilarious huh < 1269181552 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :maybe we should hire engineers based on their gut feeling that they can do this < 1269181571 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :bleh < 1269181571 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :this mathematica sucks < 1269181574 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: do you want me to tell you how to set up vnc? < 1269181583 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't man, it's not laggy when it works properly < 1269181596 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it was smooth as hell on my 2.5 gig 2-core 2.1ghz imac from 2006 < 1269181604 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :something's just set up wrong for you :P < 1269181683 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :hm :[ < 1269181692 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I think it's just bad < 1269181707 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: well i have direct experience contradicting your statement that even simple anamation is slow < 1269181761 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://www.mofeel.net/1164-comp-soft-sys-math-mathematica/1370.aspx < 1269181807 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Believe what you want to believe; it doesn't concern me. I was only offering to fix the problem for my experience shows that is exactly what it is, a problem... < 1269181824 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1269181872 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :btw I turned off antialisaing but it still antialiased < 1269181887 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what is still antialiased < 1269181893 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :the jansen walker < 1269181915 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it is about antialiasing of plots not animations < 1269181922 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyway look if you want me to fix it just say so < 1269182261 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I think I'm gonna make my own simple CAS < 1269182291 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :in mathematica? < 1269182295 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no :P < 1269182297 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1269182303 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yo dawg, I heard you like CASs... < 1269182342 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :;D < 1269182787 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i think i'll call it Caster < 1269182789 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :because, you know < 1269182790 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :CASter < 1269182948 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :has anyone worked out anything about the digits of graham's number? < 1269182950 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :would be fun < 1269182980 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ok so I'm gonna start with the non-computational stuff since I need it to work with < 1269182998 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :first, a structure for terms; then, a module for symbolic rewriting on these terms; then, a module for pretty-printing these terms. < 1269183009 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(including handling things like operators rather than just tons of function applications) < 1269183151 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :write it in ... hmm < 1269183302 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Haskell because I cba to fight with anything else < 1269183574 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1269183581 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I want f(x,y,z) syntax for it for simple interaction with the other syntax, so I guess I'll just make that sugar for f(x)(y)(z) < 1269183680 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :=(+(^(a)(n))(^(b)(n)))(^(c)(n)), I could see that notation catching on < 1269183938 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :lol prolog < 1269183968 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :prolog has f(x,y) as distinct from f(x)(y) doesn't it :) < 1269183973 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but yeah, very prology. < 1269183976 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*prologgy < 1269183997 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1269184013 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :why don't you write f x y z :P < 1269184019 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it's written in haskell afterall < 1269184035 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I htink I have a parser for that < 1269184038 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :and pretty printer < 1269184162 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :by pretty printer I mean things like < 1269184167 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : _ < 1269184168 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Vx < 1269184173 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :for sqrt(x) < 1269184176 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :no not that < 1269184178 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or x + y for +(x)(y) < 1269184209 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise I'm writing a note on category thoegyga < 1269184219 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :category theology on my wiki < 1269184232 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :category theology? < 1269184248 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :The mystery of the Yoneda < 1269184330 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :how fast can tex run I wonder < 1269184339 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it would be neat if I could have a repl which calls out to tex every line to render the output < 1269184352 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :also if I could then do some magic to make it selectable and copy-pastable as input format... < 1269184355 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :as you type? or as you hit return? < 1269184378 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :only the output lines, pretty-as-you-type is for my future project < 1269184497 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ug < 1269184504 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :how to do an arrow '-->' but nice < 1269184513 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :not that stubby unicode one :/ < 1269184546 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :there is a long unicode arrow < 1269184556 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i will find it for you < 1269184564 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it is most pretty in shape < 1269184622 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: → < 1269184626 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :looks longer in the right font :P < 1269184653 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :→ < 1269184662 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: here's iff ⇔ < 1269184750 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise I can use TeX! < 1269184758 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then... < 1269184762 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :\longrightarrow < 1269184763 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :\iff < 1269184763 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1269184772 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric : I just realized wiki tex still lets me do colors < 1269184792 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i really want something that lets me type tex and see it autovivify as i type < 1269184795 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :like not wysiwyg or whatever < 1269184882 0 :nooga!~nooga@86-63-119-166.sta.asta-net.com.pl JOIN :#esoteric < 1269184891 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :CAS? < 1269184913 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :computer algebra system < 1269185056 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :ah right < 1269185280 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a nice thing about symbolic rewriting < 1269185286 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :is that you don't need de bruijn indexes or anything, variable binding is trivial < 1269185364 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ok so literals I need... < 1269185379 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :symbols, naturals, strings, applications < 1269185488 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm I can just do naturals as symbols of digits < 1269185489 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :obvs < 1269185515 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :strings can just be symbols with some kind of quoting in the syntax... except no < 1269185519 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :because then you can reassign them :P < 1269185526 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"abc def" could be string(|abc def|) < 1269185765 0 :hiato!unknown@unknown.invalid PRIVMSG #esoteric :15:58 < alise> =(+(^(a)(n))(^(b)(n)))(^(c)(n)), I could see that notation catching on --> I made this esolang a while ago, before I really knew what functional mean, nice example: Square Root Approx: :(>(i1,0)?[^(f1(( /(-(*2(a1)))(+y(-x(*a1(a1))))),-(i1)))];[^a1])(f1(a1,i1)) < 1269186047 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :haskell needs not (any f xs) :( < 1269186047 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"none" < 1269186180 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise help me pick good colors < 1269186190 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :these are like all the same http://en.wikibooks.org/wiki/LaTeX/Colors < 1269186361 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh, actually, I cannot use f(x)(y) < 1269186365 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :well I can but < 1269186374 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :consider +x vs x+y < 1269186380 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :+(x) ... +(x)(y) < 1269186384 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I could have < 1269186391 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :prefix+(x) ... infix+(x)(y) < 1269186391 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I guess < 1269186395 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but optional arguments would be nice... < 1269186440 0 :kar8nga!~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1269186651 0 :alise!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1269186729 0 :alise!~alise___@212.183.140.53 JOIN :#esoteric < 1269186962 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise what color is a functor? < 1269187018 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :um < 1269187021 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :octarine :) < 1269187087 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh i thought that a was philosophical question < 1269187090 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*was a < 1269187103 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah :P < 1269187183 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ugh this means I have f distinct from f(), how embarrassing < 1269187338 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oklopol http://i.imgur.com/WWBhb.png :P < 1269187351 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :(ignore the errors :S) < 1269187380 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :f and f() mean different things in Python. Therefore, f and f() ought to mean different things. < 1269187392 0 :hiato!unknown@unknown.invalid QUIT :Quit: underflow < 1269187396 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Python is logically inconsistent. < 1269187403 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Therefore, everything ought to be inconsistent. < 1269187416 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :python is awful < 1269187419 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What do you mean by "logically inconsistent"? < 1269187432 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :ruby > python < 1269187449 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Swing and a miss. < 1269187450 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I've heard a lot about Ruby. < 1269187456 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: It is possible to prove _|_ in Python. < 1269187461 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :def f(): return f() < 1269187464 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :f :: forall a. a < 1269187468 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :f :: _|_ < 1269187475 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I don't think that's true. < 1269187479 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :IT is. < 1269187480 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*It < 1269187508 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :In fact, f :: function < 1269187510 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1269187514 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You fail at Curry-Howard. < 1269187523 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :You fail at Python's typing system! < 1269187530 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :But eh. < 1269187530 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It has none. < 1269187534 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Yes, Python allows infinite loops. < 1269187545 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's not even infinite loops, it has other _|_s too. < 1269187571 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Like sys.exit(), I suppose. < 1269187576 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :alise: I don't care much about your opinion in that field, sorry < 1269187590 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :A sane computer program is really not the same thing as a sane proof. < 1269187623 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway Python has lots and lots of runtime unreliability like type errors, exceptions, nontermination, and honestly so many that no human being can program in Python. < 1269187629 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :They think they can but they program broken Python 99% of the time. < 1269187638 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Python is literally impossible to use. < 1269187662 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in python, no matter what you're trying to program, just let your fingers dance for a while and it's done with no errors < 1269187677 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :As with SKI! < 1269187679 0 :jcp!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1269187682 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Just avoid certain patterns! < 1269187684 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :That's a strange objection, seeing as how I've seen Python code that worked. < 1269187694 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Pure chance and trial and error. < 1269187715 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :A Python programmer is actually a rough Python approximator who has some sort of idea of a correct language that isn't Python and fails to translate this to Python repeatedly. < 1269187725 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269187728 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's bullshit < 1269187732 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :python is perfect < 1269187735 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So it's impossible to actually know what Python is? < 1269187740 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I never said that. < 1269187758 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :You said that Python programmers have some sort of idea of a correct language that isn't Python. < 1269187761 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's impossible for any human-level flawed intelligence to program in Python with basically any accuracy at all. < 1269187773 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs. < 1269187780 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the only ways to make a mistake in python are the following: forgetting self, forgetting the return statement < 1269187801 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well and syntax errors occasionally < 1269187802 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Does every function have to have a return statement? < 1269187805 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: code a checker for the riemann hypo in python < 1269187806 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :go < 1269187810 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Or something that acts like a return statement? < 1269187831 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you really think it's important to be able to prove things with the type system? < 1269187834 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, I wrote a really simple theorem prover in Haskell on a whiteboard once. < 1269187842 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :when the fuck is that useful < 1269187864 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :never the fuck says i < 1269187881 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: they have an implicit return None < 1269187912 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION nods. < 1269187947 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess I would have difficulty coding a formal version of the Riemann hypothesis. < 1269187981 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I can define the complex numbers, but I'm not sure precisely what the definition of the zeta function is. < 1269188022 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's just the infinite sum of n^-i < 1269188023 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: proving things with the type system is useful for exactly the cases proving is < 1269188029 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :whether about programs or mathematics < 1269188057 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's not just that; it's extended to places where that sum is undefined. < 1269188057 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so basically never < 1269188068 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1269188076 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: eh go fuck yourself :) < 1269188077 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err < 1269188078 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :are you sure < 1269188091 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean yes, it's the analytic continuation of the real series, sure < 1269188104 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but doesn't that just mean we use complex exponentiation everywhere else? < 1269188131 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well... < 1269188132 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :okay, I need a monad for this :P < 1269188158 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :n is the function's parameter and i is the infinite sum index thingy, right? < 1269188177 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Suppose n = 1/2. Then you have 1 + 2 + 4 + 8 + . . . < 1269188179 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Right? < 1269188201 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Complex exponentiation doesn't seem to help with that. < 1269188422 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lim n->1/2 f(n) is infinity too, so analytic continuation doesn't help with that < 1269188424 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or am i wrong < 1269188448 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1269188487 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the problem is < 1269188512 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the sum is over n < 1269188514 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sorry < 1269188548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i is the argument, better call it something else < 1269188561 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err < 1269188567 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's not the argument < 1269188576 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm gonna look this thing up now :P < 1269188654 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah okay of course it's not just the same thing then < 1269188947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :eq = Func( < 1269188947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : Pi(Set) >> lambda A: Pi(A) >> lambda x: A >> Prop, < 1269188947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : lambda A: lambda x: lambda y: Prop(refl = eq(A, x, x))) < 1269189013 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm not actually evil enough to code that. < 1269189074 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :ths s so fucking annoying I hate this so much < 1269189099 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I'm just trying to define a tex command and I spent like 30 mins getting frustrated because it's not working and it sucks all my motivation to do this out < 1269189110 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :latex or tex < 1269189115 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1269189119 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1269189121 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what is it in < 1269189122 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't work < 1269189294 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh, /dear/, it looks like I'm getting dynamic scoping < 1269189329 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :feck! < 1269189331 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :royal feck! < 1269189971 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh shit, i have to handle alpha-conversion < 1269189971 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lol i got bored < 1269190138 0 :impomatic!~John@87.113.186.178 JOIN :#esoteric < 1269190171 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm i can't seem to express cardinality in dependent type theory < 1269190175 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that sux :P < 1269190456 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh wait i can specify the property of something being equal to the cardinality < 1269190457 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :which should be enough < 1269190639 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is reading a lot of Less Wrong, but I'm worried I might be failing to think critically about the posts < 1269190652 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that is a problem I often see in Less Wrongers. < 1269190656 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Quite the contradiction. < 1269192200 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Who knew simple term rewriting was so complex? < 1269192568 0 :impomatic!unknown@unknown.invalid PRIVMSG #esoteric :Which programming editor do you all use? < 1269192613 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I use Emacs for most things. < 1269192662 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :tat was awful awulf awful < 1269192704 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :"can't seem to express cardinality" just like in set theory, you can't have 'set of all ordinals' or 'set of all cardinals' < 1269192835 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i didn't mean in that sense < 1269192836 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1269192851 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise that is not obvious, I spent hours thinking about this < 1269192858 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no i meant < 1269192862 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :obviously, I didn't mean that sense < 1269192865 0 :Asztal!~asztal@host86-156-99-114.range86-156.btcentralplus.com JOIN :#esoteric < 1269192868 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1269192881 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :A lot of times I tell you things which took me a long time to figure out and you say they're obvious :P < 1269192882 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what I mean is i literally cannot see a way to express cardinality of a set < 1269192883 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :well < 1269192884 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :of a type < 1269192887 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :but they're only obvious in retrospect < 1269192898 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: well i usually think things are obvious based on intuition < 1269192899 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :not knowledge < 1269193532 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1269193616 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi ais523 < 1269193616 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :s/ $// < 1269193666 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1269193675 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, I can't see your trailing spaces < 1269193819 0 :Asztal!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269194266 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1269194372 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :sooooo < 1269194743 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :flob < 1269194820 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: are you OK? < 1269194830 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Just bored. < 1269194854 0 :oklopol!unknown@unknown.invalid QUIT :Quit: ( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com ) < 1269194896 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, OK < 1269194910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I discovered yesterday that the problem that my supervisor had set me to solve was formally undecidable < 1269194927 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :he thought it would be a "neater" way to do something that I had done already, and which is entirely decidable < 1269195051 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1269195058 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I should continue writing my CAS < 1269196123 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but... < 1269196169 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, what /I/ should do is document some esolangs < 1269196183 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :document? boring < 1269196184 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Document Feather! < 1269196187 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I have both DownRight and Confloddle which are more or less finished, yet completely undocumented and unimplemented < 1269196188 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :publish a 4-line interpreter for them < 1269196193 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :in, I don't know, Prolog < 1269196214 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, OK, challenge for me, write a DownRight interp in one line of EgoBot < 1269196216 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, it's down < 1269196222 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :one line of fungot then, which implies either BF or underload < 1269196222 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :ais523: but if you didn't < 1269196242 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and fitting within IRC's line-length limit < 1269196277 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what is downright again? I forgot. < 1269196280 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, this would be so much easier in underlambda... < 1269196286 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :DownRight? < 1269196314 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: Sgeo: OK, you have a rectangular table, whose dimensions are coprime; that's the program < 1269196324 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :each cell contains a possibly empty string of "d" and "r", meaning "down" and "right" < 1269196344 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and there's an internal queue of instructions, which starts initialised to the content of the top-left cell < 1269196397 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the interpreter repeatedly dequeues an element from the queue, then moves down if it was "d" or right if it was "r" (wrapping both vertically and horizontally), then enqueues the entire contents of the cell it ended up in < 1269196402 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that's it; instant tarpit < 1269196481 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't see how it can be TC. I don't see a way to loop < 1269196485 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the restriction to coprime dimensions, incidentally, is something that confuses me about the language; it feels like it ought to be less powerful with the restriction, and there's no way I can think of to compile programs without the restriction into programs with without embedding an interp, but I can't write any non-contrived programs which can't trivially be changed to obey the restriction < 1269196509 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: it wraps both horizontally and vertically < 1269196513 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh < 1269196514 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :e.g. a trivial infinite loop is [r] < 1269196567 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :one nice thing about the lang is that it compiles really easily into cyclic tag / BCT; which is surprising, as those are basically the most tarpitty langs around < 1269196661 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but only with the coprimality restriction < 1269196671 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :HCR stuff on C-Span < 1269196681 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :?# < 1269196683 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :* ? < 1269196731 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :There's no I/O support, is there? < 1269196783 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: no, although in the case of DownRight it wouldn't be too hard to add < 1269196800 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :C-Span: US politics channel < 1269196803 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :HCR : Health care reform < 1269196806 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*HCR: < 1269196817 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you could cause certain cells to output text as the interp went through them, and other cells to not enqueue anything if they couldn't read a particular char from input < 1269196824 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: ah, OK; I knew C-Span, but not HCR < 1269196827 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So, Americans, if you want to learn about how Obama is going to fix the world by fining people without health insurance from glorious corporations - < 1269196840 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Shift your gaze towards your television! < 1269196885 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :will people be fined for not buying health insurance under the reform? < 1269196892 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269196907 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's /just like/ single payer health care! < 1269196910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but I think the health insurance people aren't allowed to rip people off < 1269196914 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Except /more/ /American!/ < 1269196926 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Yes, and Bush wasn't allowed to do a lot of the things he did too... < 1269196931 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I know < 1269196933 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :will the government pay any money towards their insurance? < 1269196936 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :"aren't allowed to" != "won't" < 1269196945 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Precisely. < 1269196947 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :deschutron: why, that would be socialism! and so evil! or something like that < 1269196967 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :deschutron: I gather that is the case, though of course once you have whatever worst-of-the-worst plan they give you they'll rabidly try to avoid treating you. < 1269196975 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Land of the free! < 1269196983 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: actually, the Republicans /are/ calling it socialism < 1269196985 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the funny thing is, the health care system the US seems to be moving into is what in the UK would be described as "privatized" < 1269196989 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: I know < 1269196993 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the word has a strange meaning in the US, though < 1269196993 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :which has really just elevated the level of political discourse in the US from "pathetically comical" to "brilliant satire" < 1269197012 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which as far as I can tell, is along the lines of "government existing" < 1269197015 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It means STEALING PEOPLE'S MONEY; like Robin Hood. < 1269197038 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: And yet they decry any advances in morals from the stone age - it'll cause anarchy, they say, a society without morals. < 1269197056 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :government is clearly evil; so you need morals in order to replace it < 1269197082 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Government should be replaced with the only moral force in the universe: CAPITALISM! < 1269197091 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'd laugh but that's the definition of anarcho-capitalism. < 1269197097 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : n 1 < 1269197098 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :harmonic(n) := ∑ — < 1269197098 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : k=1 k < 1269197104 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :WHO NEEDS TEX WHEN YOU HAVE UNICODE < 1269197155 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :do people in america pay much tax? < 1269197165 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yes because of COMMUNISTS < 1269197179 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, but they're violently opposed to the government spending it < 1269197205 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :The Republicans don't want people to be forced to buy insurance. Wonder what their position on car insurance is. < 1269197211 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: as the only other Ubuntu user I know of (AnMaster uses his own distro almost, but not entirely, unlike Ubuntu) - install ttf-droid if you haven't already, then set Application/document/desktop fonts to Droid Sans 10; window titles to Droid Sans Bold 11, and if you want fixed width to Droid Sans Mono 10. < 1269197219 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's just like DejaVu Sans but not as ugly. :P < 1269197235 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION used to use Ubuntu < 1269197237 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I actually like DejaVu Sans... < 1269197247 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: then you'll like Droid Sans more :P < 1269197248 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I drive a PATRIOT'S car, my dear friend. And I ain't gonna hurt nobody! < 1269197268 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Whatchoo doin' puttin' on that seatbelt parner'? Are you suggestin' or implicatin' that I may not be the safest driver around? < 1269197270 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :I use Day Roman < 1269197277 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Excuse me but have you SEEN my car? Nobody could crash in this beauty! < 1269197281 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Go, USA! < 1269197294 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1269197327 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wow, I've just found a particularly stupid YouTube comment ("I love eevee (eevee backwards)") < 1269197336 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: gahahahaha < 1269197342 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :strangely, youtube comment quality seems to depend a lot on where you look < 1269197377 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Reminds me of: < 1269197397 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(stupid interwebs) < 1269197416 0 :Asztal!~asztal@host86-156-99-114.range86-156.btcentralplus.com JOIN :#esoteric < 1269197418 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Meh, never mind < 1269197442 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ooh, new spambot on Esolang < 1269197492 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :? < 1269197532 0 :adam_d!~Adam@cpc2-acto6-0-0-cust48.brnt.cable.ntl.com JOIN :#esoteric < 1269197544 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :interfaces are hard < 1269197546 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so is syntax < 1269197615 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :deleted the page already, but it was trying to advertise DDOS attacks, or maybe disadvertise them < 1269197618 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :alise: I use Ubuntu too btw < 1269197628 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it was a warning not to buy DDOS from someone because their DDOSes were shit, or lines to that effect < 1269197650 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, the main reason I use Ubuntu is that it's the path of least resistance < 1269197651 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :deschutron: kk < 1269197794 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :i had gentoo earlier, then installed ubuntu to try it, then my gentoo drive crashed, and then i never got around to installing a different distro < 1269197839 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : ais523: then you'll like Droid Sans more :P <-- I tried that font, I prefer Dejavu sans over it < 1269197861 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I didn't talk to you. < 1269197871 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :alise, you highlighted me the line before < 1269198014 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :this argument is going nowhere... < 1269198065 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION feels like P-Dub < 1269198077 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :i think it has arrived < 1269198112 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has homework to do. < 1269198137 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :deschutron: US taxation is rather below that of Europe, but US taxation + health care soaks up a *lot* more money than people in Europe pay on just taxes. < 1269198160 0 :deschutron!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1269198197 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And many, many people in the US are convinced that the government spending money is EVIL. < 1269198206 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Except when it's the military. In which case FUCK YEAH. < 1269198330 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :safoioifsdf < 1269198332 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyone know jsmath < 1269198447 0 :deschutron!unknown@unknown.invalid PART #esoteric :? < 1269198453 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I know it's used on MathOverflow < 1269199081 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :badly... < 1269199087 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I have to click 'reload math' every single time < 1269199271 0 :impomatic!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm... I just installed Droid Sans and Deja Vu along with about 10 other programming fonts. < 1269199285 0 :impomatic!unknown@unknown.invalid PRIVMSG #esoteric :Not sure which one I'm going to stick with. < 1269199783 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Droid Sans is not a programming font; it is a sans font. < 1269200229 0 :impomatic!unknown@unknown.invalid PRIVMSG #esoteric :Whatever the full name is, Droid Sans Mono or something < 1269200244 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I like Inconsolata. < 1269200252 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Also Monaco and Consolas. < 1269200341 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1269200436 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ffffffffffffff < 1269200443 0 :impomatic!unknown@unknown.invalid PRIVMSG #esoteric :My old editor doesn't work with Windows 7 so I'm just trying a few new editors and fonts. < 1269200458 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wwwwwwwwwwwwww < 1269200611 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :impomatic: Just take the plunge and learn Emacs. < 1269200628 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm... /me wonders what the best name for f(x) is in a term-rewriting language; it's not exactly an application < 1269200630 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :maybe an association < 1269200658 0 :nooga!~nooga@093105098174.pila.vectranet.pl JOIN :#esoteric < 1269200730 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :impomatic do you do lisp < 1269200731 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :? < 1269200738 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yeth. < 1269201035 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: do you mean f(x) as in making f rewrite x? or, as in f(x) is the data that's rewritten? < 1269201047 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the latter < 1269201053 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm just calling them applications, so meh < 1269201057 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :tag, maybe < 1269201177 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION decides that barf is not the best name for the error-reporting function < 1269201356 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :why not?? < 1269201491 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :basic alarm report function < 1269202189 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fax: well for one barfing isn't fatal... < 1269202199 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :loll < 1269202200 0 :coppro!~coppro@unaffiliated/coppro JOIN :#esoteric < 1269202261 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i expect that depends < 1269202559 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: we're discussing the fatality of barfing < 1269202650 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Later < 1269202730 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders how well cryonics plays with organ donation < 1269202750 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :If you just freeze your head, perfectly well. < 1269202752 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :If not, not at all. < 1269202783 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well, you would have to contact the cryonics organisation to work out how to do the organ donation too, I imagine; but I bet it's quite a common request. < 1269202784 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :They can't, say, take out my liver and freeze my liverless body? < 1269202793 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :The point of that being? < 1269202801 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, don't know, just saying < 1269202813 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :They might be able to. Ask them. < 1269202828 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://alcor.org/Contact/index.html < 1269202838 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, any reasearch on how much of brain structure is destroyed by freezing? < 1269202842 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :CIHQ@aol.com < 1269202848 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yes: < 1269202879 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://alcor.org/cryomyths.html#myth2 /me tries to find the other thing < 1269202913 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://alcor.org/AboutCryonics/index.html < 1269202926 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :See near the bottom. < 1269202926 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Of course this is not objective. < 1269202929 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But anyone who even says the word cryonics get exiled from cryobiologist circles anyway. < 1269202945 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(You're actually not allowed to be part of the main cryobiology organisation if you do anything related to cryonics.) < 1269202952 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So you are unlikely to find any third-party research, alas. < 1269202958 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It is fairly cheap though. < 1269203172 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It occurs to me that it's unlikely to be helpful if I die in the near future. At this point, I seem to be healthy, so if I die, it is likely due to an accident.. < 1269203188 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, actually, I guess accident victims do die in hospitals later sometimes, so < 1269203620 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise < 1269203633 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :can you tell me ANYTHIGN mathematica does which will impress me < 1269203650 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"The plan is not for "them" to revive us. The plan is that we, the Alcor community, will revive ourselves." < 1269203660 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :That's somewhat comforting < 1269203675 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Of course, if Alcor [or whatever organization] goes bust.. < 1269203688 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :On a somewhat facetious note, in sci.math, Archimedes Plutonium has been describing his reconstruction of mathematics where the maximum integer is 10^500. < 1269203760 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fax, do you mean N_(10^500)? As in a modulo-thingy < 1269203775 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :forgot the word atm < 1269203775 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :no < 1269203780 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :norm < 1269203780 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1269203786 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1269203793 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :fax, linky? < 1269203866 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fax, how does he define 10^500+1 btw? < 1269203937 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: bounded integers are easy enough to come up with; in that case, 10^500+1 simply wouldn't have a valid answer, like 1/0 doesn't < 1269203952 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1269204088 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :On the other hand, Archimedes Plutonium. < 1269204104 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://terrytao.wordpress.com/2010/03/19/a-computational-perspective-on-set-theory/#comment-43960 < 1269204119 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I would assume whatever he says make as much sense as what comes out of Mentifex's "supercomputer AI Mind". < 1269204127 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Who's Archimedes Plutonium? < 1269204150 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :A well-known Usenet personage. (I don't know if he is active elsewhere too.) < 1269204153 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Archimedes Plutonium (born July 5, 1950) is, according to his own self-description, "The King of Science" < 1269204164 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Plutonium believes himself to be the greatest living scientist, but few if any others share this assessment despite Plutonium's regular activity on the Internet to convince people. < 1269204215 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Also the universe is a giant plutonium atom. < 1269204216 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why is a math forum in sci.math? AFAIK, math is not a science < 1269204349 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That's probably a matter of definition; OED defines "mathematics" as "the science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis; mathematical operations or calculations". < 1269204412 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, there's sci.philosophy.meta, too; is that a science? < 1269204476 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://groups.google.com/group/sci.math/msg/4ed1481f25475af2 < 1269204523 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise < 1269205203 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1269205639 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :back < 1269205649 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :wb < 1269205732 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : alise < 1269205733 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : can you tell me ANYTHIGN mathematica does which will impress me < 1269205736 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You already know CASs. So: No. < 1269205745 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It can "prove" some things by simplification. It can calculate some things quickly. < 1269205750 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It can rewrite things symbolically. < 1269205754 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It can do algebra, and calculus. < 1269205784 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : It occurs to me that it's unlikely to be helpful if I die in the near future. At this point, I seem to be healthy, so if I die, it is likely due to an accident.. < 1269205785 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : Well, actually, I guess accident victims do die in hospitals later sometimes, so < 1269205789 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :There are arrangements for that. < 1269205794 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It is just like organ donation. < 1269205796 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : Of course, if Alcor [or whatever organization] goes bust.. < 1269205805 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :They are extremely financially conservative, but yes that is a possibility. < 1269205856 0 :kar8nga!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269205877 0 :kar8nga!~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1269205957 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, not if my head is crushed in an accident < 1269205963 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Nothing they can do about that < 1269205969 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Then you are totally fucked but that is unlikely. < 1269206062 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You should sign up for cryonics if (p*v)-c >= 0, where p is your estimated probability of cryonics working, v is the value (in the same monetary units as c) you place on a successful cryonics outcome and c is the cost of cryonics < 1269206109 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You get cryonics with your health insurance if you're a USian, so you have to figure out what it adds to that. < 1269206149 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But unless you have a very low estimate of cryonics working, you don't value greatly extended life much, or you simply can't afford it, it's probably positive. < 1269206266 0 :BeholdMyGlory!unknown@unknown.invalid NICK :BeholdMyGlory_ < 1269206268 0 :BeholdMyGlory_!unknown@unknown.invalid NICK :BeholdMyGlory__ < 1269206271 0 :BeholdMyGlory__!unknown@unknown.invalid NICK :BeholdMyGlory_ < 1269206273 0 :BeholdMyGlory_!unknown@unknown.invalid NICK :BeholdMyGlory < 1269206405 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269206423 0 :oklopol!~oklopol@a91-153-122-35.elisa-laajakaista.fi JOIN :#esoteric < 1269207375 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :In[39]:= FullSimplify[ < 1269207375 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : a^n + b^n == c^n, {a \[Element] Integers, b \[Element] Integers, < 1269207375 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : c \[Element] Integers, a > 0, b > 0, c > 0, n \[Element] Integers, < 1269207375 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : n > 2}] < 1269207375 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Out[39]= False < 1269207379 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Probability of that being hard-coded: 1 < 1269207432 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :what if you do n > 1 ? < 1269207444 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :In[41]:= FullSimplify[ < 1269207445 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : a^n + b^n == c^n, {a \[Element] Integers, b \[Element] Integers, < 1269207445 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : c \[Element] Integers, a > 0, b > 0, c > 0, n \[Element] Integers, < 1269207445 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : n > 1}] < 1269207445 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Out[41]= a^n + b^n == c^n < 1269207554 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Of course it's hard-coded :-P < 1269207574 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :mathematica is boring < 1269207750 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://demonstrations.wolfram.com/FiniteFieldTables/ cool < 1269207826 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: Heh, a bot-tweet refers to "webster's encyclopedic unabridged dictionary of folklore"; that sounds like a good book. (Unfortunately also apparently nonexistant.) < 1269207921 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I'd buy a copy if it existed < 1269208127 0 :coppro!unknown@unknown.invalid QUIT :Ping timeout: 245 seconds < 1269208330 0 :coppro!~coppro@unaffiliated/coppro JOIN :#esoteric < 1269208730 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :We should have m!â¿, which is basically m!â¿ = H(n, m, m!â¿), where H = http://en.wikipedia.org/wiki/Hyper_operator. < 1269208744 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So n!¹ is the nth triangular number. < 1269208756 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :n!² is n!. < 1269208770 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :!³ is... logtorial? < 1269208775 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And so on. < 1269208800 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :alise: You defined it in terms of itself < 1269208807 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's called recursion < 1269208810 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I was too lazy to specify a base case < 1269208840 0 :Oranjer!~HP_Admini@adsl-71-7-92.cae.bellsouth.net JOIN :#esoteric < 1269208853 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I don't see how that works at all, but whatever < 1269208862 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Presumably m!â¿ = 1 if n < 1. < 1269208868 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well, if n = 0. < 1269208874 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :When does n change? < 1269208878 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Er. < 1269208880 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Right yu are. < 1269208881 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(m-1) < 1269208882 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*you < 1269208883 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1269208885 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise this so not satisfying me < 1269208890 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it's just sliderst and shit < 1269208912 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :0!â¿ = 1 < 1269208913 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :m!â¿ = H(n, m, (m-1)!â¿) < 1269208958 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :G₆₄!^G₆₄; move over, xkcd. < 1269208968 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269208972 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :+ 1; move over, alise. < 1269208993 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :A(A(G₆₄, G₆₄)!^A(G₆₄, G₆₄), A(G₆₄, G₆₄)!^A(G₆₄, G₆₄)) < 1269208996 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ohhh snap < 1269208999 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :+ 1 < 1269209005 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION explodes < 1269209016 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm an ultrafinitist; I don't believe in (G₆₄!^G₆₄)+1 < 1269209019 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I win, Deewiant. < 1269209021 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I win. < 1269209035 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :You shouldn't believe in your own number then either ;-P < 1269209062 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :G₆₄!^G₆₄ is the largest number. < 1269209067 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(Ultrafinitism != physical finitism.) < 1269209088 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I forget the details; whatever < 1269209338 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gren < 1269209392 0 :olsner!unknown@unknown.invalid QUIT :Quit: Leaving < 1269209561 0 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1269209585 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :G_64 is the largest number ever used seriously, so it's the largest number. < 1269209636 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :No, better: the largest number is one less than the smallest prime number greater than G_64. < 1269209650 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269209665 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :A somewhat recursive definition: the largest number is -1. < 1269209672 0 :Phantom_Hoover!~chatzilla@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1269209679 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269209692 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :0 isn't a number, then? < 1269209702 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Of course it's a number. But it's way, way, way smaller than -1. < 1269209715 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders a definition of that largest number that doesn't mention any larger numbers. < 1269209775 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Here's something easier to define. < 1269209787 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Ah, I see. You subscribe to the believe that -1 is 0b11111111111111111111111... < 1269209788 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The largest number is 162. 162 + 1 = 0. < 1269209795 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :coppro: more or less. < 1269209806 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :gogo two's complement < 1269209814 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So, there are 0 numbers. But it's the big 0, not the small 0. < 1269209875 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: *0b....11111 < 1269209906 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So, if -1 = 0b...1111, then -2 = -1 - 1 = (0b...1111) - (0b...0001) = (0b...1110). < 1269209908 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: same difference; it's an infinite number of 1s < 1269209945 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but your notation made no sense :P < 1269209951 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, so -2 = infinity minus 1. < 1269209961 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So is 1/0 = -1? < 1269209974 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1269210010 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :1/2 is the biggest number... 2 = 1.11111111... = 1/2 + 1/4 + 1/8 + ... so infinity = 2 + 4 + 8 + ... = 1/2 < 1269210039 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So 1/2 = 82, 1/3 = 109, 1/5 = 98, 1/7 = 70, and 1/11 = 89. < 1269210041 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: So 2/0 = -2? < 1269210048 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So -1/0 = 1. < 1269210053 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :right < 1269210070 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :-1*0 = 1. Wait, what? < 1269210079 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1269210083 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :1*0 = -1. Wait, WHAT?!?! < 1269210087 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Has Epigram just died? < 1269210087 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Nothing seems to have happened for years... < 1269210095 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: What, the language? < 1269210103 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Hell no! < 1269210104 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.e-pig.org/epilogue/ < 1269210111 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's been actively developed for ages now... < 1269210112 0 :phantomhoover!~user@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1269210113 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if square roots exist in my word-where-the-biggest-number-is-162. < 1269210123 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> Phantom_Hoover: What, the language? < 1269210123 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> Hell no! < 1269210123 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> http://www.e-pig.org/epilogue/ < 1269210124 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> It's been actively developed for ages now... < 1269210124 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :* phantomhoover (~user@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com) has joined #esoteric < 1269210125 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> Phantom_Hoover: What, the language? < 1269210126 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> Hell no! < 1269210127 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> http://www.e-pig.org/epilogue/ < 1269210129 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<alise> It's been actively developed for ages now... < 1269210131 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Oh yeah... < 1269210131 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :* phantomhoover (~user@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com) has joined #esoteric < 1269210133 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1269210135 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :stupid client < 1269210140 0 :phantomhoover!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269210144 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So what's -1 * -1 in my cubic truth? < 1269210149 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Presumably -1; after all, inf * inf = inf. :D < 1269210172 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I HAVE CRACKED THE CUBIC SECRET TO MATHEMATICS!!! < 1269210180 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :timecube.com < 1269210186 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :nice < 1269210195 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gene Ray will soon appoint me Deputy Doctor of Cubic. < 1269210217 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I've never actually been convinced that -1*-1 = 1. < 1269210217 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :No-one has ever proven it. < 1269210217 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :They just say "it's obvious." < 1269210226 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :x_x < 1269210228 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: pretty easy to prove < 1269210231 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's the definition of multiplication. < 1269210248 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Go on... < 1269210258 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Lemma 1 : -1 * x = -x < 1269210262 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Integers#Construction < 1269210263 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Lemma 2 : --x = x < 1269210269 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Theorem -1 * -1 = 1. < 1269210280 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Prove it. < 1269210281 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Proof: instantiate lemma 1 with x = 1, then apply lemma 2 < 1269210290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(a-b)*(c-d)=(ac+bd)-(ad+bc) < 1269210299 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a=c=0, b=d=1 < 1269210302 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :my proof works in any ring < 1269210307 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :integers are just one ring < 1269210319 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fax: Lemma 2 is just my question restated. < 1269210328 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, Lemma 1 is the difficult one actually, Lemma 2 is trivial < 1269210333 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: you don't understand < 1269210343 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: these things are true because they are HOW WE DEFINE THEM < 1269210345 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :there is no underlying truth < 1269210370 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise actually there is.... < 1269210379 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I suppose I won't be happy until I see it derived from a well-defined set of axioms. < 1269210382 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Oh, well. < 1269210382 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's presumably possible to define a system in which -1 * -1 = -1, but it would break a LOT of things < 1269210383 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86 [Firefox 3.5.8/20100214235838] < 1269210391 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> let times (a,b) (c,d) = ((a*c)+(b*d))-((a*d)+(b*c)) < 1269210391 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> times (0,1) (0,1) < 1269210391 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :1 < 1269210399 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :axioms: peano arithmetic pretty much < 1269210404 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :plus a definition of Z < 1269210420 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I'll add thit theorem to my al-jabr :P < 1269210428 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Take a step one foot forward! < 1269210429 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :he's left anyway < 1269210430 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :dumbass < 1269210439 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :as if nobody has ever defined integer multiplication using axioms < 1269210444 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Take a step -1 feet forward! I guess you step backwards. < 1269210449 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise, you're way to prove it is good too < 1269210460 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :a lot better actually < 1269210461 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*your! Aah, it burns! (Sorry.) < 1269210469 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :but mine is more general < 1269210473 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Take -1 steps one foot forward! I guess you do the reverse of a forward step, so go backwards again. < 1269210480 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Proof By Here's The Definition, Just Fucking Evaluate It < 1269210486 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Take -1 steps -1 feet forward! Okay, do the reverse of a backward step. Step forwards. < 1269210500 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :The definition isn't random; it was chosen because it makes sense. < 1269210913 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :http://github.com/odge/al-jabr/blob/master/Abstract/Ring.v < 1269210923 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ityh Bhyti < 1269210929 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Or Ytih Bhyti. < 1269210935 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Or Ytih Bhity. < 1269210939 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Or Ityh Bhity. < 1269210947 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :All are acceptable romanisations! < 1269211238 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :furtht < 1269211247 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :afwpfhdlho < 1269211355 0 :impomatic!unknown@unknown.invalid QUIT :Quit: mov.i #1,1 < 1269212005 0 :MigoMipo!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269212010 0 :adam_d!unknown@unknown.invalid QUIT :Ping timeout: 248 seconds < 1269212176 0 :kar8nga!unknown@unknown.invalid QUIT :Remote host closed the connection < 1269212999 0 :charlls!charlls@186.72.28.229 JOIN :#esoteric < 1269213030 0 :alise_!~alise___@212.183.140.7 JOIN :#esoteric < 1269213105 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise_, what LessWrong things do you disagree with? < 1269213117 0 :alise!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1269213130 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :I'd have to search to recall prior examples. < 1269213316 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :it's philosophy man < 1269213321 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you don't agree or disagree with it < 1269213330 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you just read it and think a lot about stuff < 1269213337 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :I would not call Less Wrong philosophy. < 1269213344 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :well you can agree or disagree but you don't have to < 1269213346 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :I would say that in general they disdain philosophy. < 1269213440 0 :jcp!unknown@unknown.invalid QUIT :Quit: I will do anything (almost) for a new router. < 1269213580 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 268 seconds < 1269214279 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol @ Phantom_Hoover < 1269214305 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :@ what? < 1269214311 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :he didn't really say anything that I found funny :( < 1269214327 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :after your formal proof he said he will not be happy until seeing a formal proof < 1269214339 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1269214356 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i thought that was funny, even though i guess you could've elaborated a bit < 1269214386 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :I left him the interesting cases to prove himself < 1269214404 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :that's the best way to really understand why cubic truth contradicts ring theory < 1269214415 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :but alises one is so much sweeter < 1269214423 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :(of course only on integers.. but still) < 1269214453 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in general what is a*b in cubic truth? < 1269214461 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :-1*-1 = -1 < 1269214462 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :that's all he says < 1269214466 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :presumably -2*-2 = -4 < 1269214475 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :so -x*-y = -(x*y) < 1269214481 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :-a*-b = -(ab), if a and b >= 0? < 1269214498 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :hey he might believe in -0 too < 1269214554 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if a, b >= 0, what's -a * b? < 1269214573 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is it -ab? < 1269214589 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :someone should email him about -0 < 1269214592 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :alise < 1269214597 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION once believed in a number more 0-like than 0 < 1269214603 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Heh, the release notes included in this firmware package of my ADSL modem have a "ZyXEL Confidential" header, and start with: "The information presented in this document is strictly confidential and supplied on the understanding that it will be handled as confidential material. Disclosure of any part of this document to third parties, without the prior written consent from the author, is prohibited." But maybe I shouldn't have told you that! < 1269214616 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, I like the sound of that.. < 1269214641 0 :nooga!~nooga@093105098174.pila.vectranet.pl JOIN :#esoteric < 1269214694 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if we have a hausdorff measure, we usually say m({})^0 = 0, and m(S)^0 = 1 for any other set for which m(S) = 0 < 1269214699 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1269214714 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :when we're finding the hausdorff measure, these are the conventions used < 1269214719 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :oklodorff < 1269214749 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so we sort of have these *really zero* measures, when the set is not just zero measure but empty < 1269214792 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but in measure theory we're always working with the extended reals, so why not have multiple zeroes too < 1269214858 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :1/infinity would probably be the bigger zero, having (1/infinity)^0 = 1 < 1269214870 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :clearly that bigger zero has a sign too < 1269214891 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Our maths teacher (highschool?) used to say that 0^0 is "mickey mouse", and then draw the other ear in too. < 1269214892 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1269214920 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :but how is that a mouse? < 1269214933 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :and another thing, I've heard about this four color theorem... but WHICH four colors? < 1269214942 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but at some point you just have to leave stuff partial, because the next field after reals is quite a lot bigger < 1269214953 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :red, green and blue, but i don't know the last one < 1269214959 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :is it an open problem? < 1269214965 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh might be < 1269214983 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's definitely not obvious < 1269214986 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It is a mouse in the sense that °0° is two-ears-and-a-head. I guess it leaves the rest of the body as an open problem. < 1269214989 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :fax: Integers between 0 and 3, inclusive. < 1269215000 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, but it's got two 0's < 1269215003 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :OH < 1269215010 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you add another earrrr < 1269215011 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :0^0 is ntoation for the exponent < 1269215036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah always remember to render the latex < 1269215073 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, {^0}0^0? < 1269215118 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION believed that since 1/inf = 0, 0/inf must be more "0-like" than 0 < 1269215177 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo do you know about infintesimals < 1269215186 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :(they are real!) < 1269215200 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Heard of them, don't know much about them < 1269215213 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :they're so cool man < 1269215241 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :do 1/inf and 0/inf have something to do with infinitesimals? < 1269215254 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :* Sgeo once believed in a number more 0-like than 0 < 1269215257 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :you can define integral as as a sum from 0 to N (where N is an infinity) of f[x]*h (where h = 1/N) < 1269215258 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :00+x = 00 < 1269215259 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't believe they do < 1269215268 0 :fax!unknown@unknown.invalid PRIVMSG #esoteric :no limits anywhere < 1269215304 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think I kind of believed that within each number was a real number line, or something < 1269215308 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's been a while < 1269215325 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and I was struggling with div by 0: < 1269215387 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :1/0 must = 2/0 because 1/0 * 2/2 = 2/0 < 1269215413 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't remember if I included 0/0 in that group < 1269215425 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :But I remember hypothesizing a "number circle" because inf=-inf < 1269215452 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :there's something like that < 1269215454 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :wheels < 1269215456 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :same circle metaphor :P < 1269215512 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think wrt /0, I ended up deciding that on a finite scale, those numbers were too far away, but on an infinite scale, they all equaled eachother, making them worthless, or something < 1269215518 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://www.freebsdmall.com/ < 1269215532 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :uhh, wrong window < 1269215533 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I also had visions of number systems branching out from number systems < 1269215557 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :nooga: THAT SITE IS A LIE < 1269215593 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Oh, never mind, it's just painfully slow. < 1269215625 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION also tried to define a number, ai, pronounced at-i, I'll type it as @, such that |@| = -1 < 1269215632 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Free BSDM, Al < 1269215634 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :*All < 1269215645 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :alise_: yes, i just noticed that :D < 1269215657 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Could never figure out how to determine |a+b@| < 1269215677 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :that why i was pasting taht :D < 1269215750 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I guess no one's just going to say what the answer would be < 1269215779 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think |a|-|b| is the wrong answer somehow, I _think_ I tried it < 1269215808 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Um, because |a+b| != |a| + |b|, I think < 1269215875 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :that being a+(b*@)? < 1269215879 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :or (a+b)*@, or something else entirely < 1269215911 0 :alise_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: < 1269215916 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :a+(b*@) < 1269215999 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds