< 1219709887 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1219711296 0 :optbot!unknown@unknown.invalid TOPIC #esoteric :the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Oh god it smells of java. < 1219711383 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Just what does purely constraint-based mean? < 1219711459 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. Indeed, we should do it. < 1219712318 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1219713180 0 :tritonio__!n=tritonio@150.140.227.80 JOIN :#esoteric < 1219713215 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1219715404 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1219715425 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i mean that the language, or rather, its syntax, is not generated by a set of rules < 1219715432 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :but rather is merely constrained < 1219718326 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :The syntax is constrained? < 1219718351 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :So there are most likely multiple consistent parses? < 1219718601 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :there are no parses :) < 1219718671 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :you just map syntactic entities to semantically relevant units by way of checking the constraints < 1219718695 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1219718711 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :an example of a constraint might be something like.. < 1219718743 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :*unary-op[i] ... arg[i] < 1219718763 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :that is, its _invalid_ to have a unary operator separated from its argument < 1219718793 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :thats just a silly little constraint tho, but you get the point < 1219718820 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i dont now how we could use it but < 1219718835 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :the mappings to semantics shouldn't be complicated tho < 1219718871 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :we could use a coindexing system to describe it < 1219718931 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :op{i} ... arg{j}[i] <===> op{i}(arg{j}) < 1219718934 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :or something like that < 1219718958 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :or some mapping to an abstract syntax < 1219718992 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :op{i} ... arg{j}[i] <==> (op{i} arg{j}) < 1219719028 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :if we're using lisp as the language to represent the abstract syntax < 1219719103 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i dont know of any CS applications of constraint grammars tho, so i can't really say how it might look < 1219720567 0 :Trinithis!n=Trinithi@fre-74-236.ResHall.Berkeley.EDU JOIN :#esoteric < 1219720578 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :esolangs? < 1219720618 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :ah, the chan serv answers < 1219720641 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :would anyone know chris pressey's email? < 1219720674 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :or at least language specs for SMITH? < 1219721479 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Ello. < 1219721488 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :I could probably get one or the other. < 1219721518 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Thank you for not leaving before anyone could answer your question. :-) < 1219721685 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :This looks like a SMITH spec: http://catseye.tc/projects/smith/doc/smith.html < 1219722559 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :Yeah I know... too bad its kinda vague < 1219722573 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :thanks anyway < 1219722601 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :GO ESOLANGS!!!! < 1219722628 0 :Trinithis!unknown@unknown.invalid PRIVMSG #esoteric :There should be an Esobot that is written in an esolang powerful enough to write one < 1219722706 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1219724900 0 :psygnisfive!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1219724914 0 :psygnisfive!n=psygnisf@c-71-57-164-119.hsd1.fl.comcast.net JOIN :#esoteric < 1219724959 0 :dogface_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1219725771 0 :dogface!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1219727427 0 :dogface_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1219728065 0 :psygnisfive!unknown@unknown.invalid QUIT :"Leaving..." < 1219732896 0 :optbot!unknown@unknown.invalid TOPIC #esoteric :the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | lemme read... < 1219733917 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: Congratulations on picking a line that matches well with the backlog thing for the topic. < 1219733917 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: did either book mention schroedinger's cat? < 1219733934 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: Either book? Huh? What books are we talking about? < 1219733935 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: i think i can compile BF into it < 1219733949 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: BF into what? NURRR so confused. < 1219733949 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: lament! < 1219733955 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: optbot! < 1219733956 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Why don't people in #esoteric understand the concept of writing it yourself for the sake of writing it yourself X_X < 1219733989 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: I would think that people in #esoteric would understand that relatively well, compared to programmers in general. < 1219733989 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: and I know they're not likely to fuck up the memory management < 1219734024 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: Well, I guess that's true too. < 1219734024 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: !ps < 1219734035 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: No processes running. < 1219734035 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: it's sauna, bye for a while.. < 1219734044 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Ok, bye. < 1219734053 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(How does a bot go to sauna anyway?) < 1219735503 0 :AnMaster!unknown@unknown.invalid QUIT :"shutting down due to electricity maintainance, all systems offline until noon UTC+2" < 1219735616 0 :kar8nga!n=kar8nga@m-131.vc-graz.ac.at JOIN :#esoteric < 1219736148 0 :olsner!n=salparot@h-60-96.A163.cust.bahnhof.se JOIN :#esoteric < 1219737599 0 :clog!unknown@unknown.invalid QUIT :ended < 1219737600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1219738232 0 :DarkPants!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1219738398 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1219738441 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Nick collision from services. < 1219738446 0 :DarkPants!unknown@unknown.invalid NICK :GreaseMonkey < 1219738823 0 :jix!n=jix@paed-gw.schule.bremen.de JOIN :#esoteric < 1219738849 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1219740831 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1219741103 0 :Trinithis!unknown@unknown.invalid QUIT :"Leaving" < 1219743019 0 :Mony!n=AssHole@AToulouse-258-1-103-162.w90-60.abo.wanadoo.fr JOIN :#esoteric < 1219743107 0 :Mony!unknown@unknown.invalid QUIT :Client Quit < 1219743220 0 :Mony!n=AssHole@AToulouse-258-1-103-162.w90-60.abo.wanadoo.fr JOIN :#esoteric < 1219743250 0 :Mony!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1219743312 0 :funktio!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1219746022 0 :jix!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1219746300 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-028-216.hsi2.kabelbw.de JOIN :#esoteric < 1219746516 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Dudes. < 1219751140 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1219751501 0 :tusho!n=tusho@91.105.79.190 JOIN :#esoteric < 1219751588 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1219752628 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1219753989 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219754169 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1219754242 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Gah, is FILE's 'R' supposed to sign-extend the bytes? At least RC/Funge-98 reads 0x80 as cell value -128... < 1219754290 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The current manual says "Functions W and R write cells as bytes, any cells containing values greater than 255 will have the top bits stripped." < 1219754420 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I already have to do 00ge1g*10g+e1g*20g+e1g*30g+ to read a 4-byte big-endian int (e1 has constant 256), I don't want to make it 00ge1g+e1g%e1g*... to turn that -128 into (-128 + 256) % 256 = 128. < 1219754496 0 :optbot!unknown@unknown.invalid TOPIC #esoteric :the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | in CLC-INTERCAL you can even change the grammar at runtime < 1219754520 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: What do you think of my 'R' issue? < 1219754520 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: i don't know .. try it :) < 1219754533 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: But I just tried it! And it sign-extends! Should it? < 1219754534 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: TASTE GREEN GOO < 1219754565 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That wasn't veryr helpful. < 1219755860 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-028-216.hsi2.kabelbw.de JOIN :#esoteric < 1219756404 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1219756620 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-028-216.hsi2.kabelbw.de JOIN :#esoteric < 1219756793 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1219756952 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :green goo solves everything, fizzie < 1219756955 0 :tusho!unknown@unknown.invalid QUIT :Remote closed the connection < 1219756970 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :optbot: Okay, where can I get me some green goo? < 1219756971 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: 'IT'? < 1219756972 0 :tusho!n=tusho@91.105.79.190 JOIN :#esoteric < 1219756985 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: green go solves everything < 1219756991 0 :jix!n=jix@dyndsl-080-228-188-115.ewe-ip-backbone.de JOIN :#esoteric < 1219757013 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I noticed. I even asked optbot where I can get some, but the reply was just "'IT'?" < 1219757013 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: <__main__.IRCFileWrapper instance at 0xb7c8140c> < 1219757018 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: sorry client crashed < 1219757023 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :didn't know if you got it < 1219757024 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1219757028 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :optbot: why are you exposing python internals? < 1219757028 0 :optbot!unknown@unknown.invalid PRIVMSG #esoteric :tusho: http://www.formauri.es/personal/pgimeno/temp/99bottles.mp3 < 1219757031 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You are written in Ruby. < 1219757036 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And I don't see how 99bob is related. < 1219757252 0 :kar8nga!n=kar8nga@m-236.vc-graz.ac.at JOIN :#esoteric < 1219757260 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Gah, is FILE's 'R' supposed to sign-extend the bytes? At least RC/Funge-98 reads 0x80 as cell value -128... <-- no clue < 1219757265 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I think I don't sign extend it < 1219757277 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well not sure what I do actually < 1219757311 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed I don't think I sign extend < 1219757383 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :unsigned char * restrict buf < 1219757384 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :then < 1219757386 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I peeked at cfunge sources and since the buffer there is unsigned char, I think you read the bytes as [0, 255]. < 1219757390 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fread(buf, sizeof(unsigned char), n, fp) != (size_t)n < 1219757402 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, there you are then < 1219757410 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it is probably undef and you can't depend on it at all < 1219757415 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Although "sizeof(unsigned char)" is pointless, it's always 1. < 1219757517 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, true < 1219757526 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Gneh, and % on negative numbers was a bit UNDEF too, right? < 1219757533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, yes it is < 1219757540 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that is the reason for MODU < 1219757616 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should use MODU 'U', then; e1gU is shorter than e1g+e1g%. < 1219757648 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, maybe < 1219757667 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, anyway why do you need chars greater than 127? < 1219757694 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'm reading 32-bit big-endian integers from a file. < 1219757697 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1219757704 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, may I ask why? < 1219757754 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, basically because I happened to write 32-bit big-endian ints. Heh, maybe I'll "fix" it by only writing 7-bit characters, I don't need that much range anyway. < 1219757763 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :um < 1219757767 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why big-endian < 1219757792 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I like it. And since I'll be reading them as bytes, anyway, I'd rather use the endianness I like. < 1219757799 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :any try to convert it will cause issues < 1219757806 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm ok < 1219757839 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Big-endian is humanist. :-) < 1219757846 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :true < 1219757854 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(For most, at least.) < 1219757861 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(I don't know of any little-endian number systems.) < 1219757869 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Some of my best friends are big-endian!" < 1219757922 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :On little-endians' equality with big-endians: "I have a dream." < 1219757928 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm happy with either personally in computers. Mixed endian or such I dislike < 1219757939 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Apartheid, ey? < 1219757942 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You endianist. < 1219757956 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, well mixed endian is confusing < 1219757970 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: OH. You need numbers to be all in your nice little order, do you? Can't handle them being DIFFERENT? < 1219757984 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, either big or little endian is ok for me < 1219757991 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But never both, eh? < 1219757993 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just not PDP endianness or similar < 1219757996 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :They can never mingle. Marry. Have children. < 1219758007 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You disgusting pig of a man. You are stuck in the past! < 1219758009 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :sigh, please stop trolling < 1219758018 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Stop biting the hook. :) < 1219758026 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I didn't < 1219758041 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I just assumed you would stop joking < 1219758061 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Why would repeating your opinion stop me joking? < 1219758064 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Also, this is #esoteric. < 1219758066 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Why would we stop joking? < 1219758086 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, how is botte coming along? < 1219758091 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or any of your other projects? < 1219758119 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Quite well, in that "I could implement them right now no problem" but "I'd prefer to do this other thing because it interests me more at the moment". < 1219758137 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Chromosome is the current thing I'm mulling over. < 1219758147 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :k < 1219760688 0 :Hiato!n=Hiato@dsl-245-55-60.telkomadsl.co.za JOIN :#esoteric < 1219760969 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :http://www.amazon.com/gp/redirect.html/ref=cm_plog_item_link?ie=UTF8&location=http%3A%2F%2Fwww.nigeltomm.com%2Fbookblock-9781419693618.pdf&token=424E8FEF642C211BEF677EB82C11599497EE4D77 <-- this is an actual printed book < 1219761029 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :btw. < 1219761030 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :CLUSTERS = %w(ab eb ob ub ac ec oc uc ad ed od ud af ef of uf ag eg og ug ah eh < 1219761030 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oh uh aj ej oj uj al el ol ul an en on un ap ep op up ar er or ur as es os us at < 1219761031 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :et ot ut av ev ov uv aw ew ow uw az ez oz uz) < 1219761037 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :anyone have any better two-letter clusters? < 1219761042 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :they're strung together < 1219761049 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :like "uzadutob" or "esowot" < 1219761314 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219761509 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hi Slereah_ < 1219761512 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :"esowot" reminded me of you < 1219762803 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, they look like locale names to me < 1219762806 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not sure though < 1219762831 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :no < 1219762836 0 :tusho!unknown@unknown.invalid QUIT :"And then-" < 1219763104 0 :tusho!n=tusho@91.105.79.190 JOIN :#esoteric < 1219763126 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: did I say no? < 1219763127 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :well, no < 1219763127 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1219763130 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I made them up < 1219763143 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :each vowel sans i (confusion with e) < 1219763153 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :followed by every consonant save c (confusion with k) < 1219763230 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :unfortunately you can't get "shit" < 1219763231 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :as it has no i < 1219763233 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :what a shame < 1219763253 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :not sure if you could get "fuck" < 1219763259 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :nope < 1219764362 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :anyway. < 1219764370 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :just wondering if anyone has a better list of little clusteries. < 1219765039 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure what is "better" in this sense. < 1219765204 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, what are the rules for combining them? < 1219765217 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Just base length-of-clusters. < 1219765224 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1219765229 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Well, I want you to be able to tell this to someone and then have them be able to type it out without much fuss. < 1219765232 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so you can pick any combination of then < 1219765234 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :them* < 1219765236 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ... what? < 1219765243 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I don't get what you mean < 1219765248 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i can tell. < 1219765284 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: base 10 < 1219765287 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :is {0,1,2,3,...,10} < 1219765292 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1219765296 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I know what base 10 is < 1219765302 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :base 8 too and so on < 1219765302 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :this is base {ab,eb,ob,etc} < 1219765308 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the digits are clusters of two letters < 1219765317 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and a number expressed in it is pronouncable < 1219765319 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so... ab = 0? eb = 1 and so on? < 1219765323 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err < 1219765323 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ab=1 actually < 1219765324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :? < 1219765327 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :0 cannot be represented in it < 1219765329 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1219765329 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(because I don't need 0) < 1219765336 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1219765343 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I was just asking if anyone has some more/better clusters to add to the list < 1219765353 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1219765361 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :how do you define "better"? < 1219765384 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :You could just take the N most frequent character-pairs of , if you don't mind the fact that there's no sense in the list then. < 1219765434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well you could also take every possible combination of two letters that are valid in said language < 1219765436 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: just as many as possible that can generate pronouncable words without too many ambiguities. < 1219765448 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1219765457 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :bkanift is not pronouncable < 1219765465 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cakailou is ambiguous < 1219765479 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, bkanift is pronouncable < 1219765484 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: not very < 1219765485 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not easily I agree < 1219765489 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's not natural, anyway < 1219765490 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but still pronouncable < 1219765499 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and the latter is "Ca Ca Ill Oo" < 1219765500 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"cakailou is ambiguous" < 1219765501 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err < 1219765504 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :could be cacailoo < 1219765505 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean? < 1219765507 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :kakailu < 1219765507 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1219765513 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I don't know either of those words < 1219765517 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: they're not words. < 1219765519 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1219765525 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but "cakailou" is not an acceptable output < 1219765528 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :as it's pronounced "ca ca ill oo" < 1219765532 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :which could be any number of things < 1219765536 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cacailoo, kakailu etc < 1219765548 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the current cluster pairs only have c, no k etc < 1219765557 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, you couldn't get illo in your cluster I think < 1219765559 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and no i (sometimes "ee" as in e) < 1219765563 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yes - but I'd quite like to expand the list < 1219765571 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and possibly improve it to get more variety of words < 1219765573 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, first reason: no i < 1219765579 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :because CVCVCV (etc) is a bit boring < 1219765585 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and yes I know my current list is quite good at it < 1219765585 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yeah exactly < 1219765597 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but it could be better in the variation and size points < 1219765623 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : http://www.amazon.com/gp/redirect.html/ref=cm_plog_item_link?ie=UTF8&location=http%3A%2F%2Fwww.nigeltomm.com%2Fbookblock-9781419693618.pdf&token=424E8FEF642C211BEF677EB82C11599497EE4D77 <-- this is an actual printed book < 1219765624 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1219765628 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :long chapter too < 1219765636 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yeah and only a few words < 1219765636 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1219765638 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and strange < 1219765644 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :apparently that really long word means "girl or bitch" < 1219765655 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the other books that guy has written are great < 1219765657 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, well I wonder what the other chapters are like < 1219765659 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :he has like 20 chapters of that blah story < 1219765664 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1219765665 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: each chapter is one book < 1219765668 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, all are as long? < 1219765672 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1219765672 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and as strange? < 1219765680 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but they're all mostly nonsensical sentences involving blah :D < 1219765683 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :he also has this book about hamlet < 1219765686 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :where he rearranged hamlet some way < 1219765692 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so you get sentences like "to help the help" < 1219765694 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, well, I wouldn't buy that blah book < 1219765710 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i would buy all of them if I had the money, for the novelty of having a full collection < 1219765717 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i'd have scholarly discussions about them < 1219765736 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :1) it would be heavier than an omnibus edition of the The Lord of the Rings books < 1219765745 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :2) it would be wasted money < 1219765757 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it'd only be wasted money if you don't consider it art :P < 1219765789 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I do like art, just not all art < 1219765795 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm all for Mona Lisa and so on < 1219765796 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1219765807 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yawn < 1219765810 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :paintings < 1219765813 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :what a boring definition of art < 1219765824 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well I like other art too. hm... < 1219765840 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :music could be considered art definitely < 1219765847 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i like conventional (pictures & music) kinds of art (although music isn't as often considered art as paintings, unfortunately) < 1219765851 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and strange (programs, etc) < 1219765853 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and I like Beethoven for example < 1219765857 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i consider some games art < 1219765862 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :video or otherwise < 1219765866 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tusho, chess? < 1219765875 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yes < 1219765880 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1219765886 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes I can see what you mean < 1219766978 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1219768396 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219769609 0 :olsner!n=salparot@h-60-96.A163.cust.bahnhof.se JOIN :#esoteric < 1219770035 0 :kar8nga!unknown@unknown.invalid QUIT :Connection reset by peer < 1219770071 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION decides to torture himself and gets ready to play Mondo Medicals & Mondo Agency
< 1219770077 0 :kar8nga!n=kar8nga@m-236.vc-graz.ac.at JOIN :#esoteric < 1219770504 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1219771378 0 :tusho!unknown@unknown.invalid QUIT : < 1219772252 0 :dogface!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1219772303 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :This is a bluebell of changing English at runtime. And by "bluebell", I mean "example". < 1219772694 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :In other news: ZFC + "ZFC is consistent" entails ZFC + "ZFC is consistent" + "ZFC + 'ZFC is consistent'" is consistent. Since ZFC + "ZFC is consistent" entails its own consistency, it is inconsistent; therefore, ZFC is also inconsistent. The only question now is why I thought that ZFC + "ZFC is consistent" entails ZFC + "ZFC is consistent" + "ZFC + 'ZFC is consistent'" is consistent. < 1219772729 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :wat < 1219772740 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Let's buy some Zermelo Fried Chicken. < 1219772791 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Here we go: ZFC being consistent implies that ZFC + "ZFC is consistent" is also consistent. Turn that into an entailment, and you get the above eventually. There's certainly a hole here, though. < 1219772857 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :In other news, consider this: you have a process that randomly outputs ( and ) characters. If it's output more ( than ), it outputs either with a 50% chance of each; if it's output an equal number, it always outputs (. < 1219772866 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :So why is it inconsistent? < 1219772887 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :In one case, it outputs either with a 50% chance; in another, it always outputs (. However, in the long run, it will output both with equal probability. < 1219772912 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :ZFC is inconsistent because ZFC + "ZFC is consistent" is inconsistent? < 1219772921 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Is it? < 1219772928 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :I doubt it. < 1219772956 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Then what are you ranting about < 1219772974 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION continues pondering
< 1219773002 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1219774119 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :dogface: are you as ugly as ihope you are? < 1219774136 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION throws a wisteria bush at oklofok
< 1219774172 0 :oklofok!unknown@unknown.invalid NICK :oklopol < 1219774221 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Now for something more important, how about. < 1219774222 0 :kar8nga!n=kar8nga@m-49.vc-graz.ac.at JOIN :#esoteric < 1219774278 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :And by important, I mean interesting. < 1219774314 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and by interesting you mean a rant about something weird? < 1219774330 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1219774336 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well go on < 1219774388 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Axioms: for all x, y and z, ```sxyz = ``xz`yx; for all x and y, ``kxy = x; for all x, `ix = x; s != k; for all x, y and z, if x = y and y = z, then x = z; for all x and y, if x = y, then y = x; for all x, x = y; and for all w, x, y and z, if w = x and y = z, then `wy = `xz. < 1219774409 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :My client did silly quotation mark replacements, didn't it? < 1219774410 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :sounds terribly boring < 1219774425 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: no < 1219774483 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :See if you can prove `sk = `ki from these axioms, or at least show that there is no disproof of it. < 1219774664 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I'd love to, but I don't know where my pen is :( < 1219774707 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Found it < 1219774789 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I find it amusing that you use unlambda notation. < 1219774810 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's not used a lot in combinators litterature < 1219774827 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Actually not at all, but there's a PN version sometimes < 1219774899 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Unlambda notation is slightly easier to parse. :-) < 1219774905 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1219774953 0 :tusho!n=tusho@91.105.79.190 JOIN :#esoteric < 1219774962 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Nested parentheses are quite a nightmare < 1219774966 0 :Corun!n=Corun@halls-129-31-82-181.hor.ic.ac.uk JOIN :#esoteric < 1219775293 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric : ::= {"S" | "K" | "I" | "(" ")"} < 1219775347 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: I'd love to, but I don't know where my pen is :( <<< i can see your pen is! < 1219775437 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :mightier than a sword? < 1219775662 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Better-in-a-way: ::= "S" | "K" | "I" | "(" ")"; ::= | < 1219775677 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1219775687 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :. < 1219775697 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :........................... < 1219775698 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :. < 1219775698 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :He disliked my left recursion so much that he left. < 1219775706 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :........................... < 1219775724 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219775756 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :dogface! < 1219775760 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1219775779 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :"for all x, x = y" <- I think you mean x=x < 1219775788 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Probably. < 1219775796 0 :kar8nga!n=kar8nga@m-49.vc-graz.ac.at JOIN :#esoteric < 1219775839 0 :Vampire_Squif!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219775846 0 :Vampire_Squif!unknown@unknown.invalid PRIVMSG #esoteric :Rar >:| < 1219775874 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Zip. < 1219775889 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i used to say rar < 1219775894 0 :sebbu!n=sebbu@ADijon-152-1-9-39.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1219775897 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :GregorR used to respond "zip" < 1219775946 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Rar and feather. < 1219776014 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Heh, somebody should invent tags for .tar files called "feathers", so you can tar and feather your files. < 1219776071 0 :Vampire_Squif!unknown@unknown.invalid PRIVMSG #esoteric :Also, if you were implying that you can't prove `sk = `ki with that, I think I know why < 1219776096 0 :optbot!unknown@unknown.invalid TOPIC #esoteric :the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | At this point, it negotiates the connection and promptly quits. < 1219776110 0 :Vampire_Squif!unknown@unknown.invalid PRIVMSG #esoteric :Your axioms don't seem to specify that if two combinators act the same way on a bunch of variables, they're the same < 1219776114 0 :Vampire_Squif!unknown@unknown.invalid NICK :Slereah < 1219776114 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1219776176 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm not exactly sure how to write that up. < 1219776186 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :20:13… lament: sounds terribly boring ||| 20:13… oklopol: lament: no <<< this was actually a response to dogface's < 1219776250 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :So `` looks like two accent marks, not a curly double quote? < 1219776378 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: that's because it's impossible. >:-D < 1219776432 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :It wouldn't remain a formal system if you did that, unless you did it in first-order logic, but then you can't really express first-order logic as a formal system. < 1219776954 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :dogface: it looks like what it is < 1219777028 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :“Real quotes.‘ < 1219777029 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :err < 1219777031 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :“Real quotes.” < 1219777087 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :``Silly quotes.'' < 1219777123 0 :oklofok!n=nnscript@oklopol.yok.utu.fi JOIN :#esoteric < 1219777125 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1219777148 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :dogface : You can try! < 1219777169 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm sure that you can cook something up good enough for a proof of that < 1219777195 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :dogface: The name of those is actually quite obscene. < 1219777200 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :*t quotes. < 1219777201 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :My guess is that `sk = `ki cannot be proved and therefore should be an axiom. < 1219777204 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Where * = many letters. < 1219777218 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :* = grave accen? < 1219777259 0 :dogface!unknown@unknown.invalid PRIVMSG #esoteric :I think the word "grave" in "grave accent" is one word that I've seen many, many times, but heard once or twice at the very most. < 1219777323 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :dogface : That's quite a bold position < 1219777340 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also it might even be easy to prove if you had the underlying lambda calculus < 1219777345 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :add < 1219778143 0 :dogface!unknown@unknown.invalid QUIT :"ChatZilla 0.9.83 [Firefox 3.0.1/2008070208]" < 1219778614 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1219778626 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219778674 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1219778780 0 :bsmntbombdood!n=gavin@97-118-125-116.hlrn.qwest.net JOIN :#esoteric < 1219778808 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :D:< < 1219779114 0 :sebbu!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION just bought a 1tb hard disk
< 1219779164 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I probably have 1TB total < 1219779168 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :With my 7 HD. < 1219780450 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Huh. How can (with "FILE" loaded latest) 08R push 0, 0 on stack? It's supposed to pop two values and push none, and reflect on error. < 1219780518 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :RC/Funge-98 seems to push two zeros if the read returns zero bytes (i.e. at EOF). That's... a bit surprising. < 1219780562 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Can't say I really understand the logic there. The code is clear enough -- if (fread(...) == 0) { Push(0,cip); Push(0,cip); return; } -- but the reason eludes me. < 1219780582 0 :Slereah!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219780621 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1219780734 0 :Hiato!n=Hiato@dsl-245-55-60.telkomadsl.co.za JOIN :#esoteric < 1219782319 0 :Slereah_!n=x@ANantes-252-1-58-248.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1219782319 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1219782389 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, what interpreter does that? < 1219782411 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hm < 1219782432 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, R here pushes handle *back* if there wasn't any error < 1219782440 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if there was an error it doesn't push anything back < 1219782443 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well < 1219782449 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that depends on where the error happened < 1219782453 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it all looks very strange ot me < 1219782455 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :to* < 1219782465 0 :oklopol!n=nnscript@oklopol.yok.utu.fi JOIN :#esoteric < 1219782514 0 :sebbu2!n=sebbu@ADijon-152-1-9-39.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1219782582 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :R (h n -- h) Read n bytes from file to buffer < 1219782589 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes it should push handle back < 1219782693 0 :oklofok!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1219782693 0 :sebbu!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1219782694 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1219782794 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: simple < 1219782808 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :x = fread(...); push(x); if (x == 0) { push(0); } < 1219782809 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1219782814 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i dunno < 1219782860 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :tusho: he pasted the code < 1219782870 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1219782876 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :thought that was hypothetical code < 1219783179 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well I don't get it either < 1219784281 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1219784591 0 :RedDak!n=dak@host77-84-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric < 1219784802 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :night < 1219785601 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, it should keep the handle on the stack, mis-said that. But that "push two zeroes" thing is strange. < 1219786849 0 :tritonio__!unknown@unknown.invalid QUIT :Remote closed the connection < 1219787300 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1219788799 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1219789752 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1219790466 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1219790513 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, agreed < 1219791747 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :"IRC makes your life miserable and leaves you an empty shell. < 1219791748 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Too many psychopaths ruining your mood." < 1219791749 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :OH NOES < 1219791761 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes and ruins his mood with his PSYCHOPATHICITY
< 1219791762 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :WHAT NOW < 1219791771 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION notices he himself is an empty shell
< 1219791773 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :COOL < 1219791783 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION pokes the emptiness of his shell
< 1219791931 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1219792071 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION fills tusho's shell with PUDDING
< 1219792086 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1219792091 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :om nom nom nom nom < 1219792158 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(butterscotch, not tapioka) < 1219792189 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Butter? < 1219792194 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I hardly know her! < 1219792212 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and scotch, too < 1219792546 0 :Tritonio_!n=tritonio@150.140.227.80 JOIN :#esoteric < 1219792741 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Esoteric_programming_language < 1219792742 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Ahahah < 1219792751 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :"# EsCo - Universal compiler for esoteric languages" < 1219793081 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1219793464 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1219793805 0 :Mony!unknown@unknown.invalid PRIVMSG #esoteric :night < 1219794373 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-028-216.hsi2.kabelbw.de JOIN :#esoteric < 1219794981 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric