< 1229991219 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sleepance for me too < 1229991220 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1229992798 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1229993473 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1229994164 0 :psygnisfive!unknown@unknown.invalid QUIT :Remote closed the connection < 1229995726 0 :jix!unknown@unknown.invalid QUIT :"..." < 1229996087 0 :CakeProphet!n=seveninc@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1229996177 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :What's Haskell's reduce function? < 1229998118 0 :Mony!unknown@unknown.invalid QUIT :"zZz" < 1229998157 0 :CakeProphet!unknown@unknown.invalid QUIT :"lol" < 1229998372 0 :CakeProphet!n=seveninc@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1229998373 0 :CakeProphet!unknown@unknown.invalid QUIT :Remote closed the connection < 1229998433 0 :CakeProphet!n=seveninc@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1229998701 0 :CakeProphet!unknown@unknown.invalid QUIT :"lol" < 1229998717 0 :CakeProphet!n=seveninc@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1229998890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: fold[rl] < 1229998896 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :got it. < 1229998909 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :apparently concat is what I want though < 1229998922 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :concat = foldl (++) [] < 1229998925 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :I believe < 1229998963 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1230005420 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"You only need one wheel. Bikers are just greedy." < 1230005627 0 :GreaseMonkey!n=saru@unaffiliated/greasemonkey JOIN :#esoteric < 1230008415 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1230011697 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :alright, my Haskell knowledge is now to the point where I can write simple programs that utilize stdin/stdout < 1230011720 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :and I have a feeling I could figure out monads now that I know how Random works. < 1230012930 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1230015796 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Unisex." < 1230015920 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1230016256 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"You only need one wheel. Bikers are just greedy." < 1230016393 0 :GreaseMonkey!n=saru@unaffiliated/greasemonkey JOIN :#esoteric < 1230017022 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1230017623 0 :Corun!n=Corun@cpc1-rdng19-0-0-cust700.winn.cable.ntl.com JOIN :#esoteric < 1230017847 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Unisex." < 1230017994 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1230019199 0 :clog!unknown@unknown.invalid QUIT :ended < 1230019200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1230020318 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: yeah < 1230020324 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Random is basically an explicit monad < 1230022472 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A Personal Appeal From < 1230022472 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wikipedia Founder Jimmy Wales < 1230022473 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :NO < 1230022476 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :FUCK YOU < 1230022478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :FUCK YOU WKIPEDIA < 1230022480 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AND YOUR FUCKING RED BORDER < 1230022482 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RED < 1230022484 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :FUCKING < 1230022486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BORDER < 1230022489 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I DON'T GIVE A FUCKING SHIT THAT YOU CAN'T AFFORD SHIT < 1230022497 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :MAYBE YOU SHOULD COME UP WITH A BETTER WAY OF RAISING FUNDS THAN PISSING PEOPLE OFF < 1230022498 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WITH AR < 1230022499 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RED < 1230022500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :FUCKING < 1230022503 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BORDER < 1230022505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :EAT SHIT AND DIE < 1230024161 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"You only need one wheel. Bikers are just greedy." < 1230026855 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1230030545 0 :Judofyr!n=Judofyr@c0F90BF51.dhcp.bluecom.no JOIN :#esoteric < 1230031471 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-252-201.hsi2.kabel-badenwuerttemberg.de JOIN :#esoteric < 1230032557 0 :Mony!n=AssHole@AToulouse-159-1-107-113.w92-134.abo.wanadoo.fr JOIN :#esoteric < 1230032630 0 :Mony!unknown@unknown.invalid PRIVMSG #esoteric :hihi < 1230032824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1230033134 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :^ul ((hi)S:^):^ < 1230033134 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :hihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihihi ...too much output! < 1230033491 0 :kar8nga!n=kar8nga@a-29.vc-graz.ac.at JOIN :#esoteric < 1230034139 0 :KingOfKarlsruhe!unknown@unknown.invalid PRIVMSG #esoteric :fungot: (< 1 2) < 1230034140 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :KingOfKarlsruhe: a person, that player held that office. furthermore, the following < 1230034878 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1230036672 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1230037324 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1230041400 0 :jix!n=jix@dyndsl-095-033-109-038.ewe-ip-backbone.de JOIN :#esoteric < 1230042744 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1230042982 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1230043959 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i have an idea how to implement brainfuck with + and - adding differentials < 1230043997 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Continuous brainfuck? :o < 1230044003 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for the main loop, you first do a run where you just store the amount of differentials added to each cell < 1230044006 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Although you would need an infinity of 'em! < 1230044038 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and also store the depencies for each loop, what cells need to become zero or one before their behavior changes < 1230044089 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then it's just a matter of math to be able to add and subtract something from each node to make the branching behavior change < 1230044104 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: what? :) < 1230044149 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :toplevel inc's add and subtract a constant one, that's where you get actual numbers < 1230044160 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and yes continuous brainfuck < 1230044181 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so maybe contfuck :d < 1230044191 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: find a way to fit u's in to it! < 1230044195 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :u's? < 1230044210 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1230044211 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1230044212 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1230044214 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1230044215 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is slow
< 1230044231 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe unions then < 1230044272 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if my idea works, this shouldn't be that hard < 1230044276 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm. < 1230044278 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :output and input < 1230044286 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how does that work :D < 1230044296 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... < 1230044325 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe output could be graphical and input mouse only, so continuous output would make sense < 1230044330 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :continuous IO < 1230044356 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :not that that really gives any insight as to how to actually do it. < 1230044368 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for instance +[-.] < 1230044386 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :should output the whole (0,1] < 1230044390 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1230044395 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :[0,1) < 1230044426 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :except (1,0], because i guess the ordering matters < 1230044433 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well. < 1230044441 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe for now, it could just print in that notation. < 1230044489 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :+[-------------------.] hehe, exact same thing < 1230044498 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION should learn this quantum stuff at some point
< 1230044517 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :+[>++.<-] should print (0,2] < 1230044519 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :erm wait, you're not talking quantum, are you? Ranges stuff < 1230044527 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I know ranges or whatever < 1230044529 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm talking about differentialz < 1230044543 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well continuous ranges are very different from discrete ones < 1230044554 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you can't apply the usual inductive thinking < 1230044580 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :which is why i'm very sceptic about this all. < 1230044602 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just seems i solved it, can't see a problem in doing it like i explained (or tried to explain) < 1230044700 0 :Judofyr!n=Judofyr@c0F90BF51.dhcp.bluecom.no JOIN :#esoteric < 1230044729 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: the idea is +[>++.<-] first sets a cell to 1, because + does that when we're not in a loop < 1230044735 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then, when we get inside < 1230044740 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :things get differential. < 1230044750 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :basically, we move to the cell on the right < 1230044761 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and add two differentials (infinitesimally small numbers) < 1230044784 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and then print that new number, move back, and subtract one differential from the 1 we put in the first cell < 1230044829 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now, because these numbers are infinitesimally small, we will do an uncountable number of cycles < 1230044857 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but < 1230044895 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now all we need to know is the first cell always gets decremented once for each time the second cell incremented added twice < 1230044909 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now all we need to know is the first cell always gets decremented once for each time the second cell gets incremented twice < 1230044914 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a little typo there. < 1230044943 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so, naturally as the first 1 gets decremented into a 0, the second one gets incremented into a 2 < 1230045007 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :this is of course the kind of inductive reasoning that doesn't always apply with reals < 1230045075 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but it does in this case, the crux of seeing why is to realize the logic that determines what is added to which cell during the loop doesn't change no matter how much the cell values change, until the first cell reaches 0 < 1230045109 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so we can start doing larger jumps than the infitesimally small ones, as long as we can prove we aren't "jumping over zeroes". < 1230045204 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :changing by a differential can't jump over a zero because if at some point a cell value is -a, and it changes to a by infitesimally small changes, we have to have gone through 0 at some point < 1230045269 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :adding differentials means, intuitively, that we enumerate through all reals, which is of course impossible, but you can get the behavior to be the same using math < 1230045275 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but i'm just rambling, don't mind me < 1230045572 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hai oklopol < 1230045585 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hy < 1230045718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: so how come finns are like < 1230045721 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :functional programming weenies < 1230045723 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and esolang weenies < 1230045725 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :they're everywhere < 1230045781 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well dunno, i've bumped into about 20 on freenode, out of 5 million < 1230045796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: look in #haskell < 1230045797 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and grep for fi < 1230045799 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also < 1230045801 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :msot people in here are finnish < 1230045803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :srsly < 1230045807 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :most actives at least < 1230045816 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well yes, true < 1230045818 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have no idea. < 1230045855 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so, ehird. are you going to cambridge next year? < 1230045869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: wat < 1230045893 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wat wat? i asked you a random question, how can i justify it any further < 1230046009 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: specify cambridge further < 1230046035 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the university, or college, i don't really know what the deal is between the two. < 1230046107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't exactly have plans to try and see if they'd welcome a random 14 year old, no. :P < 1230046123 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1230046133 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :do you own at school? < 1230046156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I AM REALLY DUMB < 1230046159 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I just play a clever person on the internet. < 1230046160 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ Lies < 1230046164 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ Lies < 1230046167 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ Infinite lies. < 1230046171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ Not a lie. < 1230046190 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh i see < 1230046349 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait 14? < 1230046353 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :are you 14 < 1230046356 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1230046359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but i will be next year < 1230046360 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1230046362 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :next year < 1230046365 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :uhhuh! i get it! < 1230046371 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION smartz it up
< 1230046738 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION looks around
< 1230046847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you weird people have xmas tomorrow < 1230046847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :freaks < 1230047031 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yay i don't have band training, can raed and coed <3 < 1230047059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: coed a cod < 1230048341 0 :Judofyr!unknown@unknown.invalid QUIT : < 1230049028 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, indeed we do < 1230049037 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :weirdooooooooooos < 1230049040 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION whistles some xmas melodies
< 1230049046 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you are just envious :P < 1230049080 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no, I'm not the weirdo < 1230049082 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :who celebrates X < 1230049084 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :on X ev < 1230049085 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e < 1230049117 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :x? x-ray? < 1230049135 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :X for all X < 1230049175 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1230049531 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :*Rontgen < 1230049566 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ooooooooooooo < 1230049746 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_, Röntgen yes, what about it? < 1230049949 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Rontgen ray, not X ray! < 1230049991 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i hate it when concepts have people names < 1230050009 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Even Feynmann diagrams? :o < 1230050070 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :| < 1230050188 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Image:Beta_Negative_Decay.svg oh my god this is beautiful < 1230050207 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: yes, even feynman diagrams. < 1230050223 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You're a monster < 1230050242 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1230050246 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What about the TURING MACHINE? < 1230050248 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :HUH? < 1230050257 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the interaction of balanced and unbalanced loops is very confusing in contfuck < 1230050274 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: universal machine is a better term < 1230050295 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Universal machine is confusing < 1230050312 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It could be the Turing machine, or the Turing machine interpreter on the Turing machine! < 1230050313 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's the beauty of taking terms from english and not names < 1230050319 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1230050324 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :confusing like that < 1230050366 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The real Turing machine was originally called the automatic machine :o < 1230050374 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Or "computing machine" < 1230050383 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :both would be better terms than tm < 1230050427 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Or that worker in that box, if you use the Emil Post article < 1230050437 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure he actually names the concet < 1230050526 0 :Asztal!n=asztal@host86-169-5-244.range86-169.btcentralplus.com JOIN :#esoteric < 1230054968 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Rontgen ray, not X ray! < 1230054971 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :same in Swedish < 1230054981 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :röntgenstrålar < 1230055172 0 :comex!unknown@unknown.invalid NICK :Aias < 1230055205 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230055507 0 :Judofyr!n=Judofyr@c0F90BF51.dhcp.bluecom.no JOIN :#esoteric < 1230056348 0 :Hiato!n=1@dsl-245-12-92.telkomadsl.co.za JOIN :#esoteric < 1230057206 0 :lolbot!unknown@unknown.invalid QUIT : < 1230057399 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1230058318 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1230058361 0 :Hiato!n=1@dsl-245-12-92.telkomadsl.co.za JOIN :#esoteric < 1230058384 0 :Hiato1!n=1@dsl-245-12-92.telkomadsl.co.za JOIN :#esoteric < 1230059320 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ais523: are you here by any chance < 1230059448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1230059455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: try /w ais523 < 1230059458 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :never! < 1230059467 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay i did < 1230059469 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what should i see < 1230059498 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: he's marked as away < 1230059504 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well, he's not < 1230059507 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but idle 22 hours < 1230059531 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my /w doesn't show idle time < 1230059544 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also 22 hours of being idle doesn't automatically mean you're not here < 1230059561 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :probably does for ais523 if he doesn't have an internet connection, but anyway < 1230059654 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1230061058 0 :cherez!n=cherez@69.76.143.134 JOIN :#esoteric < 1230061121 0 :cherez!unknown@unknown.invalid PART #esoteric :? < 1230062132 0 :jayCampbell!n=jay@209.66.100.34 JOIN :#esoteric < 1230062254 0 :Hiato1!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1230062577 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1230063015 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1230064233 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230064580 0 :sebbu2!n=sebbu@ADijon-152-1-81-104.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1230064668 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1230065723 0 :lolbot!unknown@unknown.invalid QUIT :Remote closed the connection < 1230065764 0 :Mony!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1230065788 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1230065834 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230066475 0 :Mony!n=AssHole@AToulouse-159-1-123-251.w92-129.abo.wanadoo.fr JOIN :#esoteric < 1230066686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi oklopol < 1230067972 0 :Asztal!unknown@unknown.invalid QUIT :Connection timed out < 1230070145 0 :Judofyr!n=Judofyr@c0F90BF51.dhcp.bluecom.no JOIN :#esoteric < 1230071386 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hi.! < 1230071444 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: LESS MAKE LANUAGE < 1230071445 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::.: < 1230071547 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::-=) < 1230071552 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but i need to reeeeeead < 1230071602 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but oklopol < 1230071605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if we make a language < 1230071608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we can make a book < 1230071608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :about < 1230071609 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the language < 1230071611 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and < 1230071613 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then you can < 1230071615 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :read < 1230071617 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it < 1230072057 0 :Corun!n=Corun@cpc1-rdng19-0-0-cust700.winn.cable.ntl.com JOIN :#esoteric < 1230072087 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :perhaps we should make a haskell-derivative in the nopular paradigm by making all functions return void < 1230072094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :return () i mean < 1230072351 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm. well you could cps tcness, just that you couldn't output the result at the nodes of evaluation < 1230072427 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: how about haskell that only has < 1230072433 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no functions < 1230072434 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just < 1230072437 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :application < 1230072445 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and you make programs out of infinite nested applications < 1230072555 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm. no functions? you mean not even predefined ones < 1230072576 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean if there's predefined functions, you can just do point-free < 1230072622 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: no predefined < 1230072629 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's all based on the structure of the applications < 1230072637 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :infinite, naturally < 1230072639 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: basically < 1230072646 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you write your program in a sub-TC metalanguage < 1230072653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that describes an infinite tree of applications < 1230072655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe even a graph < 1230072656 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then < 1230072658 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :semantics < 1230072661 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :on top of the structure of it < 1230072758 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: the interpreter could output a nice png or w/e < 1230072761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :at any scale < 1230072765 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heck, you could construct fractal programs < 1230072838 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :infinite programs are niec < 1230072863 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :fractal programs? preprocessor macros that allow recursion < 1230072904 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: you have to code in a metalanguage, beacuse the programs are an infinite tree/graph < 1230073019 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes that is an inevitability < 1230073028 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i should change book again < 1230073063 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or sleep < 1230073068 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sleep or read? < 1230073070 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :^bool < 1230073070 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1230073076 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err. < 1230073078 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1230073083 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that didn't help! < 1230073089 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sleep? < 1230073091 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :^bool < 1230073091 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1230073094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1230073099 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah right, i'm gonna eat < 1230073154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it'll be sub-tc < 1230073181 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so its just a metalanguage < 1230073244 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: circle program: < 1230073253 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well < 1230073258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :little looping program < 1230073259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :same thing < 1230073259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1230073273 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :() * (); < 1230073287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :two-point loop < 1230073289 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a * (); < 1230073290 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :() * a; < 1230073304 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :line to a loop < 1230073306 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :() * a; < 1230073307 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a * b; < 1230073308 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :b * a; < 1230073321 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :line to both ends of a loop < 1230073330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :() * (a / b); < 1230073331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a * b; < 1230073332 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :b * a; < 1230073342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :() = main program < 1230073342 0 :jayCampbell!unknown@unknown.invalid PART #esoteric :? < 1230073435 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ?? < 1230073436 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1230073503 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh... my...... god < 1230073504 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's < 1230073506 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :AWESOME < 1230073507 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :!! < 1230073511 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\\OO// < 1230073512 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: isn't it just! < 1230073516 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :YES < 1230073520 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the hard part is assigning meaningful semantics ofc < 1230073522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but the point is < 1230073526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you have basically a graph language. < 1230073530 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's FAIRLY and QUITE awesome. < 1230073536 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wow, I impressed oklopol < 1230073539 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :are you sure you're not being sarcastic? < 1230073555 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm being 100% sarcastic and not sarcastic at the same time. < 1230073564 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: so is it awesome or not < 1230073566 0 :lolbot!unknown@unknown.invalid QUIT : < 1230073567 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm quantum sarcastic. < 1230073580 0 :psygnisfive!n=psygnisf@pool-162-83-176-144.ny5030.east.verizon.net JOIN :#esoteric < 1230073586 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is * a rewriting thingie < 1230073586 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230073593 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: what are you doing here? < 1230073593 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :What's your sarcastic wave function? < 1230073601 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean what am i doing here < 1230073602 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :im lurking < 1230073605 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what else would i be doing here < 1230073636 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you could be playing the ball........ < 1230073649 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :playing the ball? < 1230073655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: * is connecting < 1230073659 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :/ is dividing < 1230073660 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Playing my balls < 1230073663 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh okay. < 1230073678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: the interesting part ofc is making all that t < 1230073679 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tc < 1230073682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with actual semantics < 1230073697 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well yeah sure okay i now realize what you were doing up there < 1230073705 0 :lolbot!unknown@unknown.invalid QUIT :Client Quit < 1230073723 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230073742 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: so plz supply a semantics < 1230073748 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well halp < 1230073749 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1230073771 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so umm. first of all how's that syntax do infinite graphs < 1230073796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how does it not < 1230073800 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it has circular graphz < 1230073816 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :infinite graphs are just circular graphs. < 1230073824 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ehird: what? no. < 1230073829 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :circular graphs are finite < 1230073831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well kinda < 1230073940 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :circular graphs are circular < 1230073943 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1230073946 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :indeed. < 1230073951 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :and necessarily not infinite < 1230073964 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :unless ofcourse you have a circle of infinite circumference < 1230073969 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :which is i suppose technically possible < 1230073983 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :just like you can have a line segment (not line) of infinite length < 1230074010 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's a straight line in those circumstances i've seen it make sense < 1230074024 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ey? < 1230074027 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :which cases? < 1230074036 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :well, i shouldnt actually say line segment sorry < 1230074044 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what i meant was a curve with two end points < 1230074057 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a straight line is a circle that passes through infinity in the gaussian sphere < 1230074108 0 :lolbot!unknown@unknown.invalid QUIT : < 1230074124 0 :lolbot!n=lolbot@h74.17.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1230074133 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1230074260 0 :sebbu!n=sebbu@ADijon-152-1-86-120.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1230074315 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1230074320 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*riemann sphere < 1230074365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :feynman sphere < 1230074616 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Isle of Man sphere < 1230074666 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sphere of influenza < 1230074692 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Smear of influenza < 1230074739 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :things getting outta hands? < 1230074765 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You're right < 1230074771 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Let's get back to the basics < 1230074774 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokokoko < 1230074794 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokokoko < 1230074798 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :okoko oko < 1230074803 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ooookokokoko < 1230074817 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o? ko. < 1230074824 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okoko okokoko oko okokoko okokokokooooooooooooooooooooooooo < 1230074827 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o! < 1230074872 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o oko okoko oko, okoko okokoko o okoko oko, oko o okoko. < 1230074907 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1230074910 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oklopol < 1230074915 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oko okoko okokoko okoko oko oko okokoko okokokokoko o o o < 1230074924 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i inadvertently induced a moment of okokoko in #isharia a few days ago < 1230074936 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: an infinite graph means the graph is infinite < 1230074941 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what you're going for < 1230074944 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is an infinite tree < 1230074950 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tru < 1230074955 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a graph that has cycles is an infinite tree when you root it < 1230074988 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :a graph that has cycles is not a tree :P < 1230075007 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :okay a cyclic infinite graph < 1230075026 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: the rooting process is what matters < 1230075031 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oklopol < 1230075032 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :its not < 1230075036 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :if it has cycles, its not a tree < 1230075042 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :because a tree is any connected acyclic graph < 1230075046 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :by definition. :P < 1230075051 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :so if it has cycles, its not a tree. < 1230075091 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :... < 1230075135 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm just explaining to ehird what he meant, i don't really give a shit if you don't understand what he meant < 1230075157 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :who knows what ehird meant. im simply saying that if it has cycles, its not a tree. < 1230075173 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :rooting means constructing the universal covering, i presume < 1230075175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think ill make irrelevant comments of random pedanticism all the time < 1230075176 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :blah. the point is < 1230075195 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you root it arbitrarily, and do bredth-first to get an infinite tree. < 1230075214 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i know the definition of a tree. < 1230075214 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: who knows. the root of a tree is just a specially designated node in the tree. < 1230075376 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: so say you have the graph abca, you root it at b, and start doing bfs, and you get the infinite tree (b (a (b ...) (c ...)) (c (b ...) (a ...))) < 1230075385 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :makes more sense if it's directed < 1230075392 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1230075397 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i dont know what that means < 1230075403 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :which part < 1230075412 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :the whole thing < 1230075423 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i can sort of guess what you mean by the graph abca but other than that < 1230075424 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :abca is a cycle of three nodes < 1230075487 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :start doing bfs = start from the root node, make it the root of the infinite tree, make all nodes it's connected to in the graph the children of the root of the tree, the standard bfs < 1230075516 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(b (a (b ...) (c ...)) (c (b ...) (a ...))) <<< a tree with b as the root, left child (a (b ...) (c ...)), right child (c (b ...) (a ...)) < 1230075531 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(parent left-child-branch right-child-branch) < 1230075543 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1230075546 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you still don't get that, ask ehird, this is very trivial < 1230075548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1230075548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :good. < 1230075613 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :so let me just clarify to make sure i know what you mean < 1230075626 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :if a->b, b->c, c->a is the graph < 1230075677 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :by rooting it at b, we construct a tree with b as the rood, and {a, c} as the children of b, because {a, c} are connected to b? < 1230075677 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm the vertices of the result correspond to paths from the chosen vertex in the original graph < 1230075734 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(finite ones) < 1230075757 0 :Mony!unknown@unknown.invalid QUIT :"zZZ" < 1230076159 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1230076457 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes < 1230076464 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oklopol :| < 1230076483 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: well if it's directed then a more sensible way would probably to have the tree be just b -> c -> a -> b... < 1230076500 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :thats not a tree, as it has cycles