< 1198541329 0 :RedDak!n=dak@host75-94-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1198543497 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1198543635 0 :RedDak!n=dak@host75-94-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1198545375 0 :Slereah!n=Test4@81.53.108.180 JOIN :#esoteric < 1198545516 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1198545660 0 :RedDak!n=dak@host75-94-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1198546428 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198546482 0 :Slereah-!n=Test4@81.53.108.180 JOIN :#esoteric < 1198546627 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1198546873 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198548811 0 :Slereah!n=Test4@81.53.108.180 JOIN :#esoteric < 1198549795 0 :faxathisia!n=more@amcant.demon.co.uk JOIN :#esoteric < 1198549888 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198558623 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1198560559 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hello, oerjan. < 1198560587 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :-- Champion, Minister Without Portfolio, Ambassador, Scorekeepor, and Agoran Spy pikhq. < 1198560653 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so a Minister Without Portfolio with two portfolios on the side? < 1198560667 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :LMAO < 1198560682 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, the Minister Without Portfolio laws are kinda. . . Weird. < 1198560695 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Basically, the last 4 winners are Ministers Without Portfolio. < 1198560715 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Inevitably, the people who win are involved in Agora, and so are probably officers. < 1198560722 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :initial > obligatory < 1198560751 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Um. . . < 1198560758 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION briefly entertains the idea of pretending that was _not_ on the wrong channel < 1198560786 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1198560837 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is amused by how currencies can be created by their recordkeepors by announcement. . . < 1198560990 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION recalls the Euclid currency he was recordkeepor for. It was counted in multiples of pi... < 1198560999 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :LMAO < 1198561016 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I can create any number of points in my posession. Fun stuff. < 1198562755 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :sup bitches < 1198562770 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :クリスマスと思う。 < 1198563072 0 :DocWilco!unknown@unknown.invalid PART #esoteric :? < 1198565651 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :could have a programming language with regex as the type system ? < 1198566282 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. < 1198566310 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I do know that there is a programming language implemented via bytecode compilation with the compiler in bytecode, though. < 1198566352 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia, actually, PSOX, even though it isn't a programming language, might end up using regexes to define types < 1198566397 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Said language seems to have its types implemented within a subset of itself. < 1198566410 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmm. Plof. < 1198566451 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Although I must wonder: why is function application an overloadable operator? :p < 1198566635 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo lol :D < 1198566640 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :PSOX's type system: http://trac2.assembla.com/psox/browser/trunk/spec/psox-types.txt < 1198566654 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION really dislikes the thought of using Regex, but doesn't have any better ideas < 1198566667 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hm.. Plof < 1198566688 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's a good language. . . < 1198566699 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The implementation of it so far is insane. Brilliant, but insane. < 1198566711 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :opFunction = opFunction(opFunction); kinda sums it up. < 1198566730 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I never heard about Plof < 1198566745 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's Gregor's plaything. . . < 1198566750 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oooohhhhh < 1198566753 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think I know it < 1198568014 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION works out how to do PSOX safety -- the user gives the PSOX interpreter a switch to determine whether or not File I/O should be sandboxed.. < 1198568170 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :G'night all < 1198568186 0 :Sgeo!unknown@unknown.invalid QUIT :Client Quit < 1198568247 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1198568248 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :r"((?:\x01" + some_type_regex + r")*?\x00)" < 1198568249 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :dependant types < 1198568256 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :this is neat < 1198568809 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yes! < 1198568827 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i mean, general positive attitude < 1198568849 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and merry christmas < 1198568865 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :happy tuesday < 1198569599 0 :clog!unknown@unknown.invalid QUIT :ended < 1198569600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1198572250 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :if I have a program of size N it's capable of computing an object of size O(N^2) :S < 1198572267 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's more like O(something massive).. ? < 1198572294 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there are space complexity classes too < 1198572328 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm not even sure how to describe what I'm asking < 1198572331 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :is it clear what I meant? < 1198572340 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no < 1198572388 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if we are talking a turing complete language here... < 1198572413 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh there would be no bound on the length of what it computes based on the program size < 1198572418 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :then something massive is possible, yes < 1198572425 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no computable bound < 1198572439 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if there were, you could use it to solve the halting problem < 1198572505 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well, assuming the language has reasonable power to construct things < 1198572538 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since languages that only return yes/no answers can be considered turing-complete < 1198572559 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ohh < 1198572582 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :in that case, a better question is.... What's the biggest term/number you can compute in a program with size <= x < 1198572616 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er in that case the answer is: a boolean :) < 1198572625 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :not in that language :p < 1198572646 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think some people did this with C, where the int type has arbitrary precision < 1198572662 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but if we assume that your language can compute objects of the same size as its number of steps... < 1198572694 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :then it becomes essentially the question of number of steps, so the halting problem < 1198572731 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and your answer is a busy beaver function < 1198572909 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :why busy beaver? < 1198573076 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Busy_beaver < 1198573119 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh I see < 1198573132 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's just that, anything which does well at this task is a busy beaver by definition < 1198573148 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I was assuming busy beaver was a certain algorithm < 1198578965 0 :Slereah-!n=Test4@81.53.108.180 JOIN :#esoteric < 1198579294 0 :jix!n=jix@dyndsl-091-096-052-125.ewe-ip-backbone.de JOIN :#esoteric < 1198580372 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198580465 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198581385 0 :RedDak!n=dak@host75-94-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1198582432 0 :Slereah-!n=Test4@82.126.22.128 JOIN :#esoteric < 1198582899 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1198583074 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1198583269 0 :jix!n=jix@dyndsl-091-096-052-125.ewe-ip-backbone.de JOIN :#esoteric < 1198593468 0 :Slereah!n=Test4@82.126.22.128 JOIN :#esoteric < 1198594344 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198597609 0 :sebbu2!n=sebbu@ADijon-152-1-11-209.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1198597952 0 :sebbu3!n=sebbu@ADijon-152-1-36-28.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1198598079 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198598086 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198598100 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198598920 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198600672 0 :RedDak!n=dak@host75-94-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1198601907 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1198605442 0 :lewiji!n=lewiji@user-54456f0c.lns6-c11.dsl.pol.co.uk JOIN :#esoteric < 1198606689 0 :lewiji!unknown@unknown.invalid QUIT : < 1198616258 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1198616268 0 :jix!n=jix@dyndsl-091-096-052-208.ewe-ip-backbone.de JOIN :#esoteric < 1198618670 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1198620237 0 :sebbu3!unknown@unknown.invalid NICK :sebbu < 1198623134 0 :faxathisia!unknown@unknown.invalid QUIT :"Leaving" < 1198626803 0 :jix!unknown@unknown.invalid QUIT :"CommandQ"