< 1232583038 0 :ehird!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1232584359 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :MizardX: does matlab have lambdas? < 1232584369 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :combinators? forks? < 1232584430 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :I think @(params)expr could be considered a lambda-function... combinators and forks, I don't know. < 1232584493 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well. you can rename the sum with a lambda and use the name < 1232584510 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but err. seems like there could be a simple more mathematical hack there < 1232584652 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :nah probably not < 1232584760 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :min(abs(sum(sum(N)) - 3 - [N(5) 0])) == 0 < 1232584769 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err matlab doesn't distinguish between functions and lists? < 1232584771 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean syntactically < 1232584794 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what does [N(5) 0] mean? < 1232584802 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1232584804 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :implicit map < 1232584850 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1232584852 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh abs < 1232584852 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :All values are matrices. Scalars have dimension 1x1. < 1232584864 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :couldn't you skip the abs and use max? < 1232584917 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err < 1232584921 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i see i see < 1232584931 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but it's an implicit map in that case? < 1232584936 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean. < 1232584945 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well. < 1232584952 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i still don't know what [N(5) 0] means < 1232584963 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :unless it's an array of size 2 containing those two < 1232584983 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :[1 2 3; 4 5 6; 7 8 9] is the syntax for matrices < 1232585035 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :N(5) is the fifth element of N (ignoring the second dimension) < 1232585038 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :2:42, need to sleep now. anyway i'll just assume i guessed it right because it works :P < 1232585041 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i know it is < 1232585074 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :are arrays functions in matlab, can you pass them to, say, map? < 1232585086 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but really, sleep, can't keep my eyes open < 1232585090 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :cya ~> < 1232585145 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :Hard to explain everything. Most the syntax have evolved and are there for convenience. < 1232585192 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :Matlab is good att matrix and vector calculation. < 1232585269 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :If you can express an algorithm as a matrix/vector expression, then matlab can execute it quickly. < 1232585355 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :A * B = matrix product, with special casing for vector and scalar values. < 1232585568 0 :bsmntbombgirl!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585569 0 :Dewi!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585569 0 :Slereah!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585570 0 :oktabot!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585570 0 :CakeProphet!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585570 0 :GregorR!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585575 0 :sebbu2!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585575 0 :kerlobot!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585576 0 :adimit!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585577 0 :MizardX!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585577 0 :Judofyr!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585577 0 :oklofok!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585579 0 :decipher_!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585579 0 :kerlo!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585579 0 :GreaseMonkey!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585580 0 :dbc!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585580 0 :pikhq!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585581 0 :AnMaster!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585582 0 :comex!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585583 0 :lament!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585583 0 :rodgort!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585584 0 :mtve!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585584 0 :SimonRC!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232585658 0 :sebbu2!n=sebbu@ADijon-152-1-28-56.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1232585658 0 :kerlobot!n=kerlobot@c-98-209-136-197.hsd1.mi.comcast.net JOIN :#esoteric < 1232585693 0 :comex!n=comex@teklinks.org JOIN :#esoteric < 1232585704 0 :adimit!n=AD@zappa.sfs.uni-tuebingen.de JOIN :#esoteric < 1232585704 0 :Judofyr!n=Judofyr@95.34.27.156.customer.cdi.no JOIN :#esoteric < 1232585704 0 :oklofok!n=nnscript@a91-153-121-248.elisa-laajakaista.fi JOIN :#esoteric < 1232585704 0 :MizardX!i=MizardX@92.254.128.248 JOIN :#esoteric < 1232585704 0 :decipher_!i=decipher@lyseo.edu.ouka.fi JOIN :#esoteric < 1232585704 0 :kerlo!n=ihope@normish.org JOIN :#esoteric < 1232585706 0 :oktabot!n=oktabot@a91-153-121-248.elisa-laajakaista.fi JOIN :#esoteric < 1232585706 0 :CakeProphet!n=seveninc@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1232585706 0 :GregorR!n=gregor@65.183.185.132 JOIN :#esoteric < 1232585727 0 :Dewi!n=dewi@203-214-43-169.dyn.iinet.net.au JOIN :#esoteric < 1232585727 0 :Slereah!n=Slereah@ANantes-259-1-40-194.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1232585755 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1232585755 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1232585755 0 :pikhq!n=pikhq@r03jjw8v9.device.mst.edu JOIN :#esoteric < 1232585756 0 :bsmntbombgirl!n=gavin@97-118-123-213.hlrn.qwest.net JOIN :#esoteric < 1232585787 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1232585790 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1232585897 0 :rodgort!n=rodgort@ludios.net JOIN :#esoteric < 1232586250 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :the fuck? < 1232586932 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :typical netsplit, apprently < 1232589371 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION whistles < 1232592260 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oktabot! < 1232592319 0 :kerlobot!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1232592422 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION loves the fishes cuase they're so delicious < 1232593173 0 :mtve!n=nmtve@65.98.99.53 JOIN :#esoteric < 1232593604 0 :Max_D!unknown@unknown.invalid QUIT : < 1232598061 0 :moozilla!unknown@unknown.invalid NICK :metazilla < 1232598084 0 :metazilla!unknown@unknown.invalid NICK :moozilla < 1232604927 0 :Max_D!n=max@pool-98-112-43-118.lsanca.fios.verizon.net JOIN :#esoteric < 1232604941 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :arrrrr < 1232605186 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wakes everybody up < 1232605235 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :o.o < 1232607170 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :soooooooooo... < 1232609847 0 :Max_D!unknown@unknown.invalid QUIT :"$hiv++" < 1232611086 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1232611109 0 :AnMaster!unknown@unknown.invalid QUIT :Remote closed the connection < 1232611199 0 :clog!unknown@unknown.invalid QUIT :ended < 1232611200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1232611361 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1232612326 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Client Excited" < 1232612508 0 :metazilla!n=moozilla@207-118-51-20.dyn.centurytel.net JOIN :#esoteric < 1232612509 0 :moozilla!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1232612520 0 :metazilla!unknown@unknown.invalid NICK :moozilla < 1232612690 0 :amca!n=amca@CPE-121-208-81-104.qld.bigpond.net.au JOIN :#esoteric < 1232613124 0 :CakeProphet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232613495 0 :metazilla!n=moozilla@207-118-51-20.dyn.centurytel.net JOIN :#esoteric < 1232613497 0 :moozilla!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1232613505 0 :metazilla!unknown@unknown.invalid NICK :moozilla < 1232613541 0 :moozilla!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1232613543 0 :metazilla!n=moozilla@207-118-51-20.dyn.centurytel.net JOIN :#esoteric < 1232613743 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :so < 1232613760 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :so < 1232614065 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i wonder < 1232614114 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :What do you wonder? < 1232614129 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what kinds of programming can we do if we force the entire model to be MISD < 1232614187 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :As in Multiple Instruction, Single data? < 1232614194 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1232614201 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :im using it loosely here ofcourse < 1232614203 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :but like < 1232614221 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :I think it would be called CISC. ;) < 1232614247 0 :ais523!n=ais523@147.188.254.127 JOIN :#esoteric < 1232614262 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :if we had to force all our functions to accept one and only one argument < 1232614272 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :except the functions that act like reduces < 1232614273 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: then you'd end up with Unlambda? < 1232614277 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1232614303 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Like Lambda Calculus? < 1232614311 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :no no i mean more like < 1232614348 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :amca: http://esolangs.org/wiki/Unlambda < 1232614357 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :well, im not really sure what i mean < 1232614363 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's one of the seminal esolangs, you should look it up if you don't know it < 1232614436 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :im just thinking about how the brain processes data, and such. < 1232614451 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i guess purely functional programming is vaguely like that i suppose < 1232614486 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Ive come across it. It is more combinatorial logic than LC isnt it? < 1232614514 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232614523 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although LC can be compiled into combinatorial logic < 1232614533 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :And vice versa? < 1232614536 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I don't know of anyone who's tried to write Unlambda without going via LC first < 1232614539 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :except for very simple programs < 1232614764 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :hm.. everything-as-a-stream is interesting too < 1232615028 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :There is a name for that isnt there? Data programming languages? < 1232615049 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :well, there are stream programming languages < 1232615057 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :but i dont know of a language where _everything_ must be a stream < 1232615063 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :all data, anyway < 1232615126 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Sceql? < 1232615169 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :no i mean a real language :p < 1232615362 0 :ais523!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1232615398 0 :ais523!n=ais523@147.188.254.127 JOIN :#esoteric < 1232615456 0 :rodgort!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232615456 0 :bsmntbombgirl!unknown@unknown.invalid QUIT :kornbluth.freenode.net irc.freenode.net < 1232615495 0 :rodgort!n=rodgort@ludios.net JOIN :#esoteric < 1232615495 0 :bsmntbombgirl!n=gavin@97-118-123-213.hlrn.qwest.net JOIN :#esoteric < 1232615848 0 :Leonidas!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1232615854 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1232617736 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1232618125 0 :ais523!unknown@unknown.invalid QUIT :Client Quit < 1232618503 0 :oprz!i=d479c1fc@gateway/web/ajax/mibbit.com/session JOIN :#esoteric < 1232618532 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1232618540 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1232618546 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :i was coding in +'s and .'s < 1232618548 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :is this ok? < 1232618561 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in brainfuck? < 1232618571 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1232618588 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well you can print fixed strings that way < 1232618615 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well with wrapping cells < 1232618647 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1232618655 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :i dont like brainfuck that much < 1232618673 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :i like the PHP function used for parsing brainfuck code < 1232618676 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :that is cool < 1232618685 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't know PHP < 1232618709 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but brainfuck is implemented in almost everything < 1232618740 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :how do you mean < 1232618773 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there are implementations in lots of languages. < 1232618793 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1232618811 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's so simple it's very easy to implement < 1232618824 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :i think it is hard to implement < 1232618831 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :but then again my brain is small < 1232618840 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not compared to nearly any other languages < 1232618860 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :whats the point of implementing another language into an existing language? < 1232618895 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well you have to do it at least once to get the new language running at all :D < 1232618904 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :guess < 1232618939 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but most people do it as a programming exercise i think < 1232618975 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :we have a page on our wiki about esoteric languages implemented in each other < 1232618984 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1232619018 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/EsoInterpreters < 1232619270 0 :oprz!unknown@unknown.invalid PRIVMSG #esoteric :will look later got to go now < 1232619281 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1232619373 0 :oprz!unknown@unknown.invalid PART #esoteric :? < 1232620526 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1232620534 0 :puzzlet!n=puzzlet@147.46.241.231 JOIN :#esoteric < 1232621839 0 :oerjan!unknown@unknown.invalid QUIT :"Lost terminal" < 1232622786 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1232622794 0 :puzzlet!n=puzzlet@147.46.241.231 JOIN :#esoteric < 1232625927 0 :Slereah2!n=Slereah@ANantes-259-1-32-229.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1232626658 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232627461 0 :ehird!n=unrelate@91.105.127.160 JOIN :#esoteric < 1232627515 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi! < 1232627917 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :lo? < 1232628134 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi. < 1232628277 0 :amca!unknown@unknown.invalid QUIT :"Farewell" < 1232628432 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :[] ([] a -> a) -> [] a < 1232628490 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Quite so. < 1232628519 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :.. but can you implement it ? < 1232628533 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's just [[a] -> a] -> [a]. < 1232628551 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So, some fix magic there. < 1232628552 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :well `[]' doesn't stand for "List", here < 1232628559 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: What does it stand for? < 1232628570 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :`[]' is supposed to look like the "box" character < 1232628583 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :you can interpret `[]' as "Code", if you wish < 1232628590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What is it? :p < 1232628634 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :so, a value in `[] a' is an expression/code for a value in `a' < 1232628640 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :consider things like < 1232628643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1232628644 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :eval :: [] a -> a < 1232628651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Like (2+2) :: [] Integer? < 1232628660 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or, well, you'd need a quoting char. < 1232628662 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :no, `2+2' is an integer < 1232628663 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232628664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{2+2} :: [] Integer? < 1232628667 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :like < 1232628672 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : `(+ 2 2) < 1232628674 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :in lisps < 1232628693 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay. so you pass it code that evaluates to a function that takes some code evaluating to type a and returns a value of type a. < 1232628702 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And it gives you some code evaluating to type a. < 1232628708 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(or `<2 + 2>' in MetaML .. i don't recall if MetaO'Caml had the same syntax there) < 1232628713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{eval} works for the first argument. < 1232628724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But what does it do? < 1232628738 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure < 1232628747 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i'm trying to implement it to find out < 1232628758 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i have a proof of it in a book < 1232628775 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :where `[]' is interpreted as "Provable" < 1232628778 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo x = eval x $ foo x < 1232628783 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1232628803 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :the proof i've seen seems quite remniscent of < 1232628813 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : ((lambda (u) < 1232628824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Is foo x = eval x $ foo x not a valid definition? < 1232628828 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : `(,u ',u)) < 1232628833 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : '(lambda (u) < 1232628836 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : `(,u ',u))) < 1232628854 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: foo x = eval x $ foo x < 1232628856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wouldw ork, no? < 1232628857 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(if you squint the right way) < 1232628863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err, actually < 1232628864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it'd be < 1232628868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :foo x = {eval x $ foo x} < 1232628879 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1232628945 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i think that might often hang < 1232628969 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(that definition is basically the `loebF :: Functor f => f (f a -> a) -> f a', i think) < 1232628976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ha, loeb. < 1232628980 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: But, certainly it would. < 1232628984 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It still meets the type. < 1232628987 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :yes, Loeb's theorem < 1232628995 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I know < 1232629019 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :however, i think if one implements it correctly, it would never hang (on defined inputs) < 1232629028 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :"`'´" < 1232629039 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(the logic in the book is supposed to be a consistent one ..) < 1232629076 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(MizardX : never seen nestable quotes before ?) < 1232629120 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(ehird : another strange thing is that `[] a -> a' is not generally provable in the logic (it would lead to contradiction)) < 1232629143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: `' style quotes are pretty ugly :-P < 1232629145 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, really? odd < 1232629158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: ah, goedel-y stuff? < 1232629234 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :if `[] a -> a' is a theorem, then `[] ([] a -> a)' is also a theorem, and by loeb's theorem `[] ([] a -> a) -> [] a', we could then deduce that `[] a' is a theorem .. < 1232629258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Therefore, the universe does not exist. < 1232629287 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :.. so if we want the logic to be consistent, and want `[]' to really mean "provable", then for any false `a' we'd better not have a proof of `[] a -> a' < 1232629295 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1232629299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[] a -> Maybe a? < 1232629308 0 :ais523!n=ais523@147.188.254.127 JOIN :#esoteric < 1232629313 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hi ais523. < 1232629314 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi ehird < 1232629322 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you win, but not by much < 1232629428 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(.. in any case, i'm trying to implement it in haskell .. by defining a data type `[]' .. but the quoting is not obvious how to handle) < 1232629436 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :whois ski__ < 1232629439 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :umm... < 1232629444 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ais523 : i'm me < 1232629446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Defining a data type, [], might clash slightly :-P < 1232629452 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :why is #esoteric getting so many new people nowadays? < 1232629457 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ski__ is an AI build out of the ski combinatory calculus < 1232629460 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :has esolanging accidentally become popular? < 1232629460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I brought this one from #haskell <_< < 1232629462 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :obviously i'm not calling it `[]' ! :) < 1232629486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, one of our newbies only came here by chance < 1232629493 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has visited here once or twice before .. < 1232629506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm I think I may be mixing you up with someone else < 1232629506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1232629516 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'm worried that my INTERCAL evangelism may have gone too far... < 1232629538 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Grepping the logs for 'ski' is nontrivial < 1232629549 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION bows < 1232629554 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :06.03.19:08:04:31 --- join: ski__ (n=slj@84-217-32-122.tn.glocalnet.net) joined #esoteric < 1232629583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :First occurance of "ski": < 1232629583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :03.01.21:01:59:01 printed with a befunge prog or something? I recall seeing a sierpinski-triangle-printer once. < 1232629595 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(YY.MM.DD:HH:MM:SS, in case anyone didn't know) < 1232629649 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I keep hitting MichaelRaskin from #IRP < 1232629653 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It was about one of dbc's printed-out ascii-art thingsies. < 1232629665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The name Michael Raskin rings a bell. < 1232629673 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: wow, how can you remember that? < 1232629683 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :ehird: With the magic of 'grep'. < 1232629693 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That is to say: I cheated. < 1232629705 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1232629761 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, ski__ and me have never been in the same channel at the same time before < 1232629764 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :at least not while I'm on this client < 1232629773 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but that's not surprising, 2006 was before I got this laptop < 1232629799 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: You only came in here 200 < 1232629801 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :2007 < 1232629807 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07.01.15:09:15:34 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric < 1232629830 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, everyone loves CDE < 1232629837 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which is the desktop environment that old server was running < 1232629844 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :yurgh < 1232629852 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :via X forwarding to a terminal running on Windows < 1232629863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You know, I think Windows would be preferable to that, ais523. < 1232629871 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: it didn't have an IRC client < 1232629876 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and we weren't allowed to install executables < 1232629884 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Use a web-based one? :p < 1232629893 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :besides, I did pretty much everything back then using xterm < 1232629900 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that way the desktop environment didn't really matter < 1232629905 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's where I learnt the UNIX command line < 1232630081 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :09:45:05 Yes, I'm enjoying esolangs. I enjoyed the logs, too, before I had access to an IRC client. < 1232630086 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you were a logreader before you ever came in < 1232630088 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Impressive. < 1232630095 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232630099 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :they were linked from the wiki < 1232630117 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :took me a while to find an IRC client < 1232630124 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :without installing any software < 1232630128 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or knowing about netcat/telnet < 1232630152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :How did you install firefox? < 1232630153 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err < 1232630154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :chatzilla < 1232630157 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I didn't < 1232630160 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it was there already < 1232630162 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1232630171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Bloatzilla, then, I assume < 1232630241 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it was a case of clicking on a irc:// link to see what happened < 1232630241 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and that was a really old version of Mozilla < 1232630241 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it did some really weird things < 1232630252 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(I blanked Talk:Main Page on Wikipedia by accident, once, for instance, and quite a lot of my edits introduced spurious line breaks. I stopped using Mozilla for Wikipedia when I noticed.) < 1232630506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION complains about human bias on Talk:Main_Page < 1232630544 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Olol < 1232630544 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's a "featured article" full of bilge. This is one of the few really reprehensible things about Wikipedia: that we have so many brilliant articles but we filter them in such a manner that the most ridiculous crap is designated as the best we have. It's pretty horrible. If you're involved in this bilious process, stop. If you're not, stay away from it. Write about what need to be written about , edit the articles that need to be edited, and avoid the pr < 1232630555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Can Wikipedia pick a FA that won't be complained about? < 1232630561 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Is it physically possible? < 1232630570 0 :Hiato!n=1@dsl-245-26-251.telkomadsl.co.za JOIN :#esoteric < 1232630615 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[[ I'm left with the urge to ask if wikipedia got paid for running this commercial. ]] < 1232630619 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nobody's EVER done that before! < 1232630639 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I think there have been some FAs that haven't been complained about < 1232630646 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although I can't think of one offhan < 1232630650 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*offhand < 1232630846 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(cut off at "... and avoid the pr") < 1232630944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: you got the gist < 1232630975 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :was it a quote or something you actually wrote just above ? < 1232631045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quote < 1232631154 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Wikipedia, request for discussion about the "Nasal Sex → Sexual intercourse" redirect: "Delete. Why would anyone search for nasal sex?" "While I don't wish to speculate the reason why, it was seached for 70 times in novemeber 2008 and 100 times in october." < 1232631202 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hah < 1232631220 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Nasal_Sex < 1232631223 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Redirect fail < 1232632081 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232634179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I entered here first 17 days before ais523 did: < 1232634179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :06.12.29:12:42:41 --- join: ehird (n=ehird@user-5440e204.wfd80a.dsl.pol.co.uk) joined #esoteric < 1232634184 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But I didn't say anything. < 1232634189 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I only returned in 2007. < 1232634198 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :2007-05-14, to be precise. < 1232634235 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:42:41 --- join: ehird (n=ehird@user-5440e204.wfd80a.dsl.pol.co.uk) joined #esoteric < 1232634238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:43:09 --- part: ehird left #esoteric < 1232634240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's some epic shyness. < 1232634360 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I should get a PhD in #esoteric Log Analysis. < 1232634464 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so, like, i was at this lecture just now < 1232634468 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and, like, there was this dude < 1232634471 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in front of me < 1232634482 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :who was coding a function called parseDoubles in java < 1232634486 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :for two hours < 1232634500 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what were you doing? < 1232634516 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well correcting it for two hours, at the end of the lecture, the code was red with errors < 1232634527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1232634528 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err i was listening to the lecture and reading algebra < 1232634536 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and watching him, silently lolling inside < 1232634556 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: "silently lolling" is a bit of an oxymoron... < 1232634568 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol is an oxymoron < 1232634570 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that was actually not intentional < 1232634572 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he breathes, and he's a moron < 1232634574 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HAHAHAHAHAHAHAA < 1232634575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :<__< < 1232634577 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :xxxxxxxxxxxxD < 1232634600 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hahahaha that's the funniest joke I've made all year < 1232634606 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: also "silently xxxing inside" is the opposite of oxymoron < 1232634611 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :there's a term for it too right? < 1232634619 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: your jokes are even worse than AnMaster's < 1232634630 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :? < 1232634632 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: I'm not entirely sure if it's the opposite < 1232634638 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :14:30 < ais523> ehird: your jokes are even worse than AnMaster's < 1232634638 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :14:30 < AnMaster> ? < 1232634641 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1232634644 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster is physically incapable of looking up one line < 1232634644 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :actually < 1232634646 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that was funny < 1232634650 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1232634664 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : oklopol is an oxymoron <-- I mean that one < 1232634665 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it looks like it's the same thing, a contradiction negated is still a contradiction... < 1232634669 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, or a tautology < 1232634674 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :depending on what sort of negating you use < 1232634728 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: "silently lol", silently do something out loud, contradictory; "silently ... inside", to do something silently, and not do it out loud, a tautology < 1232634743 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: oh, silently...inside is a redundancy < 1232634768 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, but i'm pretty sure there's another term for when you do it in english < 1232634794 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but still, was just pointing out it was doubly weirdly put. < 1232634872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* SimonRC worships B.S. < 1232634883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Actually referring to Bjrane Stroustrup, but they're equivalent. < 1232634964 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's wrong with bjarne? < 1232634974 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he invented C++ < 1232634974 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i agree with a lot of his writingz < 1232634978 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and thought it was good < 1232634993 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, but he hates the parts that suck as much as everyone < 1232635002 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :at least according to cpl < 1232635012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you mean like all of them? < 1232635012 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1232635021 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1232635075 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i don't consider it a bad language, just too low-level for my taste < 1232635137 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::: (- "asdasdfasdfasdf" "aaa") < 1232635138 0 :oktabot!unknown@unknown.invalid PRIVMSG #esoteric :f < 1232635147 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::: (* "asdasdfasdfasdf" 6) < 1232635147 0 :oktabot!unknown@unknown.invalid PRIVMSG #esoteric :asdasdfasdfasdfasdasdfasdfasdfasdasdfasdfasdfasdasdfasdfasdfasdasdfasdfasdfasdasdfasdfasdf < 1232636110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION writes alphabet look and say in thue < 1232636112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That was easy. < 1232636130 0 :asiekierk!i=africalo@078088180066.elb.vectranet.pl JOIN :#esoteric < 1232636131 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1232636132 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :i'm back < 1232636133 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1232636136 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :most of you is back < 1232636141 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :Seems I will try out Chef :P < 1232636143 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the final a got missed somewhere along the line, though < 1232636148 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1232636149 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :maybe oerjan has it < 1232636151 0 :asiekierk!unknown@unknown.invalid NICK :asiekierka < 1232636155 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Maybe that's better < 1232636155 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :he's good at finding missing letters from nicks < 1232636161 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :is it? < 1232636164 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232636172 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I had the "a" in my backpack < 1232636182 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Just pulled it out and scanned it, so i could send it IRC-wise to my nickname < 1232636236 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :ouch < 1232636243 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1232636257 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, I will try out Chef < 1232636261 0 :asiekierka!unknown@unknown.invalid NICK :asiekierka[Cooki < 1232636268 0 :asiekierka[Cooki!unknown@unknown.invalid NICK :asiekierkCooking < 1232636282 0 :asiekierkCooking!unknown@unknown.invalid PRIVMSG #esoteric :Everyone that doesn't understand it please leave this chatroom < 1232636282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh joy. < 1232636290 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tempting. < 1232636291 0 :asiekierkCooking!unknown@unknown.invalid NICK :asiekierka < 1232636299 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :uh-oh, ehird is back < 1232636378 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I've been here all this time < 1232636383 0 :FireFly!n=FireFly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1232636546 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Keymaker redesigned his site, I notice. < 1232636563 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's just a directory index now. < 1232636572 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[http://yiap.nfshost.com/index.php] < 1232636842 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wolframtones is a fun timewaster < 1232636902 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wait, Encyclopedia Britannica is becoming a wiki? < 1232636908 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is this an April Fool's joke, I wonder? < 1232636910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... o.O < 1232636918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Must be. < 1232636922 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but it isn't April < 1232636925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Link? < 1232636939 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :http://www.smh.com.au/news/technology/biztech/battle-to-outgun-wikipedia-and-google/2009/01/22/1232471469973.html < 1232636944 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :found via Slashdot < 1232636959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :keyword: its online version < 1232636962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not the printed one, I assume. < 1232636968 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, although probably they'll backport changes < 1232636974 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :besides, it's almost impossible to run a printed wiki < 1232636975 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"If I were to be the CEO of Google or the founders of Google I would be very [displeased] that the best search engine in the world continues to provide as a first link, Wikipedia," he said."Is this the best they can do? Is this the best that [their] algorithm can do?" < 1232636983 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :all those crossings-out and tippex build up after a while < 1232636984 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because Wikipedia is bad because I said so < 1232636990 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and you can't fit all that many people around the book < 1232637031 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Citizendium-style, it seems, they haven't gone /completely/ against type < 1232637100 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1232637110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What would you call (x) from P'' in one uppercase letter? < 1232637113 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :P for parens? < 1232637158 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I know P'' but not its notation < 1232637161 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what does (x) do again? < 1232637232 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :R ( R ) L ( r' ( L ( L ) ) r' L ) R r < 1232637233 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric := < 1232637236 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> [ > ] < [ − [ < [ < ] ] − < ] > + < 1232637240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So, loop. < 1232637244 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1232637250 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :why do you need in one capital letter? < 1232637256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because. :P < 1232637259 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :given that it's inherently a two-different-places operation? < 1232637270 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :P seems most logical to me, for parens. < 1232637296 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in Underlambda it is (or will be) w for while, but that's a lowercase letter < 1232637421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"will be"? < 1232637528 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: it isn't properly specced yet < 1232637531 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :pretty fluid < 1232637549 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'm more interested in getting Underlambda right rather than having it ready quickly < 1232637583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh, underlambda < 1232637670 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :my other big new esolang project, besides Feather < 1232637762 0 :BeholdMyGlory!n=arvid@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1232639032 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-252-201.hsi2.kabel-badenwuerttemberg.de JOIN :#esoteric < 1232639387 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :O for lOOp < 1232639665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run :: P -> State < 1232639667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :whee < 1232639726 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :of course, no parsing, it's for a genetic algorithm < 1232639731 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :see logs 07.05.17 < 1232639750 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :no *you* see logs < 1232639865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in P'' < 1232639866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :r ≡ λR, r′ ≡ rn < 1232639868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wtf does r' mean < 1232639869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :? < 1232639870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523? < 1232639873 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err < 1232639876 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's r^n < 1232639879 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ie superscript < 1232639910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's the opposite of r < 1232639910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :r increments, r' decrements < 1232639921 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and you decrement by incrementing one less times than the max < 1232639924 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :via overflow < 1232639947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there is no max. < 1232639952 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes there is < 1232639959 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :P'' has a max value of n-1 < 1232639963 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what is n < 1232639963 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :n is normally set to 2, but can be set higher < 1232639969 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it's a different lang for each value of n < 1232639977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I was unaware < 1232639982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I was going by infinite ints < 1232639999 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hm. < 1232640002 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: as they can only be incremented, not decremented, bignum P'' would be kind-of pointless... < 1232640009 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'll interpret P''_256 < 1232640018 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1232640018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :actually, that's cheating < 1232640023 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :would it be entirely pointless? < 1232640025 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :are you doing P'' because it's more mathematical-looking than BF? < 1232640033 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: ah, that's actually an interesting question < 1232640043 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'm not at all sure now < 1232640044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:00 < ais523> are you doing P'' because it's more mathematical-looking than BF? < 1232640044 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :omg < 1232640047 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm pretty sure yes, but i don't instantly see why it couldn't let you do at least something < 1232640047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :simpler to implement < 1232640050 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1232640052 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :wrong channel < 1232640057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run' :: State -> P -> State < 1232640058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run' (t,h) R = (t, h+1) < 1232640058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run' (t,h) L = (t',h') < 1232640058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : where t' = gTake h t ++ [(t !!! h) + 1] ++ gDrop h t < 1232640058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : h' = if h == 0 then 0 else h - 1 < 1232640061 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run' s (C p q) = run' (run' s p) q < 1232640062 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :run' (t,h) (P q) < 1232640065 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : | (t !!! h) == 0 = (t,h) < 1232640067 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : | otherwise = run' (run' (t,h) q) (P q) < 1232640068 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it would effectively be BF with a set-to-1 command rather than + and - < 1232640070 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :9-line P'' implementation < 1232640072 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(for bignums...) < 1232640086 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and what does !!! do/ < 1232640095 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(!!!) = genericIndex < 1232640105 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Integral a=>[b]->a->b < 1232640109 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, nth element of a list < 1232640109 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm sure you can figure it out. < 1232640115 0 :Hiato!n=hiato@dsl-245-26-251.telkomadsl.co.za JOIN :#esoteric < 1232640117 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :strange operator < 1232640117 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it's normally !! < 1232640119 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that only takes Ints < 1232640121 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :instead of Integers < 1232640125 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's (!!) < 1232640125 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, ok < 1232640125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so finite tape < 1232640128 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: no < 1232640129 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's (!!!). < 1232640133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:02 < ehird> yes it's normally !! < 1232640135 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:02 < ehird> but that only takes Ints < 1232640135 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:02 < ehird> instead of Integers < 1232640135 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: it's essentially !! < 1232640137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:02 < ehird> so finite tape < 1232640140 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :why can't they just take anything of numeric type? < 1232640147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: because haskell has warts, too < 1232640155 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :impossible, it should be fixed < 1232640164 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*integral type < 1232640166 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :done, said, easier than < 1232640170 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :indexing with floats is obviously silly < 1232640176 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :when you're dealing with Haskell lists < 1232640181 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(less silly in other langs, it actually works in JS) < 1232640198 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well does js have lists < 1232640206 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: it has arrays < 1232640209 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but they're basically just hash tables < 1232640214 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, it have hashmaps < 1232640215 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can put any junk you like in the subscript and it works < 1232640216 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*has < 1232640232 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :quite clever, really < 1232640235 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that was more of a statement. < 1232640237 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and no it's not < 1232640240 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's no actual reason but efficiency to differ arrays and hashmaps < 1232640240 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if by clever you mean slow and hacky. < 1232640243 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oklotalk generalizes it much better < 1232640246 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yes there is < 1232640249 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :arrays don't have gaps. < 1232640270 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: that's just an arbitrary restriction < 1232640270 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, it fucks up iteration. < 1232640278 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and iteration still works just as well < 1232640284 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: allowing arrays not to be an elephant is also an arbitrary restriction < 1232640289 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it's part of the definition of arrays. < 1232640291 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yes, that's arbitrary, but there are also things that are not arbitrary < 1232640301 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :like all merging, inserting and deleting < 1232640316 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the behavior simply has to be different < 1232640318 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :we should generalise those operations to hashmaps too < 1232640324 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a delete-adjust action, for instance < 1232640329 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in fact hashmaps and functions are closer together than lists and hashmaps < 1232640354 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :lists are different from arrays, though < 1232640363 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in that lists aren't really designed to be indexed < 1232640372 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and can be accessed from the start much more easily than from the end < 1232640397 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: that's *much* more arbitrary than the distinction ehird mentioned. < 1232640417 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1232640425 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for instance, when you delete from an array, which way do the elements shift? < 1232640427 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for a list it's obvious < 1232640438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : the end < 1232640439 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but it's not obvious that they should go left not right in an array, because they're symmetrical < 1232640441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:07 < ehird> the end < 1232640442 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:07 < ais523> but it's not obvious th < 1232640443 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oops. < 1232640444 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: < 1232640447 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Python calls its arrays lists. < 1232640449 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You are talking about LINKED lists < 1232640454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Please be aware of the difference < 1232640455 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, and Lisp-like lists < 1232640462 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... which are linked lists. < 1232640468 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232640472 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :they're more like binary trees than arrays < 1232640472 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also called lists < 1232640477 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"list" != "linked list" < 1232640484 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err well < 1232640486 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird is correct < 1232640492 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: well, if you insist on defining a list as an array of course they're the same < 1232640497 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IMO, Python naming here is just confusing < 1232640498 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :list should be used for arrays without the arrayish properties < 1232640504 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a list is a list. < 1232640543 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: I think I agree < 1232640550 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1232640556 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :arrays have a strongly typed feel to them < 1232640571 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, I think lists and ring buffers are pretty similar < 1232640575 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :whereas arrays and ring buffers aren't < 1232640601 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm? < 1232640634 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can imagine a list which somehow contains itself, at the end < 1232640644 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :this is more of a philosophy question of course, the terms aren't that standard < 1232640647 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1232640667 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I think the fundamental difference is that arrays are inherently linked to (positive/nonnegative) integers < 1232640669 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well, they are standard in that many ppl have an opinion on what they obviously mean < 1232640670 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as a method of indexing < 1232640676 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so are lists < 1232640678 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but those opinions don't always agree < 1232640681 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and deleting elements from an array isn't really an intuitive operation at all < 1232640686 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't fit arrays, really < 1232640686 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1232640687 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not linked lists though < 1232640689 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because it involves renumbering < 1232640698 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :deleting from a list, though, does make sense < 1232640730 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1232640789 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, it's that late. < 1232640801 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i need to start doing an unspecified thing ~ < 1232640804 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :> < 1232640810 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1232640896 0 :Hiato!n=1@dsl-245-26-251.telkomadsl.co.za JOIN :#esoteric < 1232640969 0 :MigoMipo!n=MigoMipo@84-217-3-132.tn.glocalnet.net JOIN :#esoteric < 1232642094 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://tech.mit.edu/V128/N64/squidvswhale.html < 1232642138 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :does it answer 3 foxes vs. polar bear? < 1232642142 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'll be wondering about that one for years, now < 1232642148 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it would be inhumane to find out by experiment < 1232642152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1232642155 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, it's unlikely to happen in the wild... < 1232642165 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's nothing to do with squids v whales < 1232642203 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ok, then why the URL? < 1232642224 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :unless a whale is a badly-configured web browser with no caching, and a squid is a sort of proxy, maybe? < 1232642239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Beats me. < 1232642247 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think squid vs whale is the name of the column. < 1232642261 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I like my explanation bette < 1232642263 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*better < 1232643131 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1232643200 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1232643843 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"In fact, although I have not tested Safari 3.1, I am relatively certain it will not render properly in any released browser. " < 1232643847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :-- http://annevankesteren.nl/2009/01/moving-the-goalposts < 1232644162 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: someone tried to design a page that wouldn't render? < 1232644174 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :apart from that SHORTTAGS one we had in here a while back? < 1232644179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: clicking the link helps < 1232644190 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, but I prefer to do my internetting over IRC and email < 1232644204 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then you don't get context, that's your loss < 1232644216 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or, I could pipe lynx -dump into here < 1232644245 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1232644476 0 :kar8nga!n=kar8nga@b-57.vc-graz.ac.at JOIN :#esoteric < 1232645950 0 :Mony!n=Harmony@AToulouse-258-1-49-244.w90-55.abo.wanadoo.fr JOIN :#esoteric < 1232646141 0 :M0ny!n=Harmony@AToulouse-258-1-114-172.w90-60.abo.wanadoo.fr JOIN :#esoteric < 1232647240 0 :Mony!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232647258 0 :ais523!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1232647424 0 :comex!unknown@unknown.invalid NICK :retarded_monkey < 1232648380 0 :FireFly!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1232648406 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not notable enough to have a page. There are thousands of thousands books. A book must be very very notable to have a page(e.g. Bible, Quran, Dante's divine comedy etc etc). < 1232648412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wonder what this guy thinks of the Pokemon articles. < 1232648770 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1232648778 0 :BeholdMyGlory!n=arvid@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1232650513 0 :BeholdMyGlory_!n=arvid@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1232650530 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232651245 0 :olsner!n=salparot@h-60-96.A163.priv.bahnhof.se JOIN :#esoteric < 1232651267 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1232651556 0 :asiekierka!unknown@unknown.invalid QUIT : < 1232651865 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Why would he mind those? There are less Pokemons than books. < 1232651934 0 :Slereah2!unknown@unknown.invalid PRIVMSG #esoteric :For now. < 1232652172 0 :Hiato!n=hiato@dsl-245-26-251.telkomadsl.co.za JOIN :#esoteric < 1232652351 0 :Hiato!unknown@unknown.invalid QUIT :Client Quit < 1232652829 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ping < 1232652832 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :anyone home? < 1232653905 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232653932 0 :BeholdMyGlory_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232653981 0 :ehird!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232653997 0 :Corun!n=Corun@94-193-40-216.zone7.bethere.co.uk JOIN :#esoteric < 1232654856 0 :M0ny!unknown@unknown.invalid QUIT :"Quit" < 1232655558 0 :jix!n=jix@dyndsl-095-033-096-138.ewe-ip-backbone.de JOIN :#esoteric < 1232656402 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1232657039 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : he breathes, and he's a moron < 1232657046 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :EHIRD MUST DIE < 1232657059 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :erm wait he's not here < 1232657157 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :enjoy the silence while it lasts < 1232657163 0 :kar8nga!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1232657206 0 :MigoMipo!n=MigoMipo@84-217-3-132.tn.glocalnet.net JOIN :#esoteric < 1232657219 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the silence of the lambdas < 1232657233 0 :retarded_monkey!unknown@unknown.invalid NICK :comex < 1232657255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wasn't going to say that but his finger decided to miss the s < 1232657402 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : maybe oerjan has it < 1232657416 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unlikely, my dialect drops final vowels all over the place < 1232657459 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :some of which may or may not be a's < 1232657495 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :s/all over the place/in infinitives/, really < 1232657593 0 :MigoMipo!unknown@unknown.invalid PART #esoteric :? < 1232657970 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wait ais523 is not here either? < 1232658111 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :no one's here, maybe you should leave too. < 1232658122 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::´( < 1232658153 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i agree it's sad, but hey, you can't tell a goat to be sacrificed. < 1232658185 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :don't say that, it's remarkable what science can do < 1232658192 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :for science! < 1232658306 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh well, at least they weren < 1232658310 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :'t klined < 1232658320 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :for klines! < 1232658332 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :forklines! < 1232658352 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1232658374 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :YOU TOOK THE WHITESPACE OUT LOL < 1232658392 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in deed < 1232659040 0 :BeholdMyGlory!n=arvid@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1232659246 0 :kar8nga!n=kar8nga@a-248.vc-graz.ac.at JOIN :#esoteric < 1232659488 0 :ehird!n=unrelate@91.105.80.214 JOIN :#esoteric < 1232659495 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My fucking ISP is unable to maintain DNS servers < 1232659507 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*inable < 1232659516 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err maybe unable < 1232659563 0 :FireFly!n=FireFly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1232659662 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, maybe time to enable a local dns server then? < 1232659670 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm using opendns. < 1232659677 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Even though it sucks too. < 1232659689 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I use a local recursive resolver. < 1232659705 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Aren't you special. < 1232659707 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that bypasses isp, no idea why that works < 1232659726 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I mean, why use opendns, when setting it up to query directly works just as well < 1232659747 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(tcpdump indicates it query root servers directly sometimes) < 1232659768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Time to set up custom DNS server, maintain it [even though i really fucking don't want to bother with that], and do all this without access to DNS: days, weeks, who knows. < 1232659777 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Time to stick in the OpenDNS ip: 20 seconds. < 1232659783 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*IPs < 1232659900 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, emerge bind; emacs /etc/namedb/named.conf; /etc/init.d/named start < 1232659909 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :emacs /etc/resolve.conf < 1232659911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :done < 1232659918 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err < 1232659920 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :emacs /etc/resolv.conf < 1232659921 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :even < 1232659936 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"emerge bind" < 1232659937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :6 hours < 1232659944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"emacs /etc/namedb/named.conf" < 1232659947 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Is interrupted by < 1232659955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"kill yourself for wasting so much fucking time" < 1232659958 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and the process stops there. < 1232660113 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : "emerge bind" <-- genlop (a tool analyzing emerge.log) says average merge time was 7 minutes and 23 seconds for bind on my system < 1232660135 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also why in such a hurry? < 1232660222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because I'd rather put in the OpenDNS IPs in 20 seconds than wait hours compiling and configuring BIND for ABSOLUTELY NO GAIN WHATSOEVER other than a weird form of nerd mental masturbation? < 1232660237 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, good fucking luck installing + configuring bind without any DNS < 1232660251 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :won't start? oh snap good luck finding out why! < 1232660325 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1232660349 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, you could just use host to query root servers directly < 1232660360 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or you could use some existing dns server you have installed < 1232660368 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if you have any < 1232660371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, everyone has a DNS server installed. < 1232660385 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: now WHY would I do this over putting in the opendns IPs until my ISP gets its act together? < 1232660389 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well since OS X is based on *BSD I would assume so. bind is part of FreeBSD base < 1232660396 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wow, I'd be a few hours without annoying search pages on invalid resolves < 1232660408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Except I'd have wasted many more hours getting it working. What fun. < 1232660425 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it takes less than 30 minutes for me to set it up < 1232660450 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also there is dns over irc while you set it up: asking friends (like me) to resolve the domain for you < 1232660452 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And it takes me less than 30 seconds to put the OpenDNS IPs in. < 1232660452 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :;P < 1232660470 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"friends (like me)" hahahah. And I couldn't connect to freenode, duh. < 1232660479 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well if you don't want it, fine, however it is useful even during normal operation < 1232660484 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uh huh. < 1232660494 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I daily wish I ran my own DNS server. < 1232660494 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :faster dns since it caches more locally < 1232660496 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Not < 1232660499 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :afk < 1232660526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:44:06 EHIRD MUST DIE < 1232660526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:44:19 erm wait he's not here < 1232660526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :12:45:57 enjoy the silence while it lasts < 1232660527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Harsh < 1232660622 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1232660625 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(back) < 1232660653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just < 1232660655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because < 1232660655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I < 1232660655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use < 1232660655 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a < 1232660658 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :new < 1232660661 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :line < 1232660663 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :as < 1232660666 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :punctuation < 1232660668 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :doesn't < 1232660671 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :mean < 1232660674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I < 1232660675 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :should < 1232660678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :be < 1232660681 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :discriminated < 1232660683 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :against. < 1232660700 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1232661222 0 :Corun!unknown@unknown.invalid QUIT :"Leaving" < 1232661646 0 :pikhq!n=pikhq@131.151.190.115 JOIN :#esoteric < 1232662296 0 :kar8nga!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1232662511 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: yeseitedoesebuteitecouldebeeworse < 1232662601 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bee < 1232662620 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wildebeest < 1232662629 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wild E Bee St. < 1232662659 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :"bye" < 1232662675 0 :Slereah2!unknown@unknown.invalid PRIVMSG #esoteric :http://images.encyclopediadramatica.com/images/d/de/Dancing_cats.gif < 1232662679 0 :Slereah2!unknown@unknown.invalid PRIVMSG #esoteric :DERP DERP < 1232662695 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I clicked and saw a cat but it was stationary. < 1232662699 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Can I have my money back? < 1232662716 0 :Slereah2!unknown@unknown.invalid PRIVMSG #esoteric :It is not, ehird < 1232662719 0 :Slereah2!unknown@unknown.invalid PRIVMSG #esoteric :It moves! < 1232662725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :many people would like cats on their stationary < 1232662755 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slereah2: my browser hates you :( < 1232662769 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders if he is thinking of the right word < 1232662837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh it's spelled stationery < 1232663155 0 :FireFly!unknown@unknown.invalid QUIT :"Later" < 1232664621 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :In.Lojban,.you.can.use.dots.to.separate.words. < 1232664636 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :But--that--indicates--that--you--pronounce--it--like--this. < 1232664674 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :",." is interesting < 1232664687 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :although i guess that's just "." < 1232664695 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm no phonetician < 1232664740 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Well, it can affect the prosody of the preceding word. < 1232664772 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :"My.uncle,.Jack" and "My.uncle.Jack" are different. < 1232664954 0 :Max_D!n=max@pool-98-112-43-118.lsanca.fios.verizon.net JOIN :#esoteric < 1232664965 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION blah < 1232665432 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :kerlo: err maybe in english. not in lojban < 1232665436 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not that i know what prosody is. < 1232665447 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm assuming it's something that makes what i said true. < 1232665458 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1232665483 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION nods < 1232665511 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Prosody is the part of speech that you can't express with a list of words. < 1232665551 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :right. < 1232665578 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665578 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665579 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665579 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665579 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665579 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665581 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665583 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :o < 1232665585 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1232665619 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :That is a very good example of a sentence consisting virtually entirely of prosody. < 1232665696 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah right < 1232665702 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is confused < 1232665717 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Had that that had that had had that that had had that had that that had, I would have had that. < 1232665745 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Now I will tell you the grammar of the above sentence for make benefit. < 1232665748 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is confused < 1232665760 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :why would you ruin a good puzzle for us < 1232665775 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because he's EVIL, duh < 1232665795 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :had that "that" had that "had had" that that "had had" had that that had, i would have had that < 1232665799 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is a parsing at least < 1232665812 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1232665821 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure that actually helped you see what parsing i meant ;) < 1232665880 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :had that bad hat that that that had had that bat had that hat hat < 1232665901 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric : ::= that ; ::= that that ; ::= had ; ::= had had ; ::= had , I would have had that. < 1232665911 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :That's the grammar of the above sentence. < 1232665918 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, it's still an ambiguous grammar. < 1232665930 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :mmkay. < 1232665933 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i don't get it < 1232665946 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Also, I'm wrong in that sentences of the form "I like that had had ice cream." aren't actually valid. < 1232665947 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :how bout you put some parens in < 1232665961 0 :Max_D!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is bored... yay! < 1232665969 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :Okay, I'll put parentheses in according to my incorrect grammar. < 1232665974 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what what that that what that that what that that what that what would that what? < 1232665975 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :kerlo: yes please < 1232666012 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :(had (that that (had (that (had had (that that (had had (that (had (that that had)))))))))), I would have had that. < 1232666050 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :I don't really feel like coming up with a better grammar. < 1232666054 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :+++++++++6+++ < 1232666056 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :+++51 < 1232666057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :.023 < 1232666057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :. < 1232666070 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i don't understand how a sentence can have its own grammar < 1232666081 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oooooooooooooo < 1232666082 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oooooooooooooooooo < 1232666089 0 :kerlo!unknown@unknown.invalid PRIVMSG #esoteric :It can't; that's a really tiny segment of English grammar that's sufficient for this sentence. < 1232666095 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: looks familiar < 1232666125 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :that's valid... what's the language again < 1232666129 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is that intentional? < 1232666131 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that that that that that that that that that that that refers to refers to refers to refers to nothing < 1232666534 0 :Max_D!unknown@unknown.invalid QUIT : < 1232666651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: should be intentional; isn't < 1232666723 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :should should be intentional isn't isn't intentional < 1232666836 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ehird: wait actually, nm, there's no "+" instruction in the lang i'm thinking of. but, the structure looks the same < 1232667620 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://seattletimes.nwsource.com/html/pacificnw/2008177548_pacificpendgame14.html < 1232667799 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he totally lost the game lol get it < 1232667852 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1232667853 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sleep < 1232667855 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :->