< 1419206614 24448 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1419206638 17048 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :i am back online < 1419206645 524950 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you were needed < 1419206690 568942 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :ACTION reads the logs... < 1419206800 417927 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :noise sensitivity eh. i have the opposite problem, i can't fall asleep in the country because it is too quiet and i need the sound of the city to put me to sleep < 1419206807 625793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<|oren\> when goto is used wisely it pervents confusion <-- i think "pervent" is the perfect word for what happens if you try to use goto wisely < 1419206963 762943 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :goto is actually a less confusing construct today because of the existence of editors that can search for the label. < 1419207030 78707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1419207033 986107 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :(less confusing as compared to adding a new boolean variable) < 1419207074 803466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i also think adding a new boolean variable may mean you've missed the point of avoiding goto < 1419207084 106943 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :it pervents more confusion than it causes < 1419207107 19598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(psst you did realize i was teasing about the misspelling, right?) < 1419207132 883704 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :well from now on i'm spelling it like that every time. like biguate. < 1419207150 147319 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Mandatory spelling lessons in 1,2... | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1419207183 225765 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Shouldn't it be mbiguity < 1419207215 363132 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :ambiguity->antonym = biguity < 1419207250 43447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :am- as a negative prefix almost makes sense but not quite. < 1419207258 814088 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :but to be fair in modern greek the sound b is written mu beta < 1419207267 192006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1419207285 269112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh because beta is a fricative < 1419207292 91839 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :yeah < 1419207310 207890 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :surely it's ambiguity, as opposed to chiral guity? < 1419207330 374190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1419207336 977727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1419207343 42340 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :guities can be bi, or ambi. < 1419207366 22877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dextroguity < 1419207368 374733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bisexual guity < 1419207384 912567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that -o- has to be wrong) < 1419207385 30010 :myndzi!myndzi@kingofstackers.com PRIVMSG #esoteric :69       | < 1419207385 73253 :myndzi!myndzi@kingofstackers.com PRIVMSG #esoteric :69      /< < 1419207392 9555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thanks myndzi < 1419207411 101086 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :oh man XD < 1419207543 456601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if ambisexual means something different from bisexual than YOU GO TOO FAR < 1419207566 266565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU AM PLAY GODS < 1419207613 796605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i think CPT symmetry means you're having reverse sex with your antimatter twin? < 1419207669 57714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that sounds hot. explosive, even. < 1419207810 257803 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Bi means you like male and female < 1419207818 986584 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ambi means you like chairs? < 1419207825 529404 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Thats all ive gotten < 1419207846 50479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know that ambi- has anything to do with chairs < 1419207860 975119 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Idk either < 1419207868 311109 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Guys < 1419207873 156028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the latin word for "both" < 1419207890 82755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like chairs. < 1419207893 899514 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Solace: yeah what? < 1419207894 630361 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Semen has clocked in the scale for best cpu coolant next to artic silver < 1419207902 7488 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Just saying < 1419207906 551771 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :bullshit < 1419207932 7292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :[citation ne...NO NO NO] < 1419207962 689672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also what is artic silver < 1419207988 866115 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :[unreliable source?] < 1419208161 16863 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just gotta jizz all over my CPU to test < 1419208164 638416 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"brb" < 1419208305 19196 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Lol < 1419208317 344324 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Probably Jafet < 1419208339 19325 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I was just skimming a forum and thats all i saw < 1419208344 571411 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :You never know < 1419208362 750957 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Maybe thermite and blood makes a great coolant < 1419208378 285537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :forums are not reliable sources: world scientific community shocked < 1419208387 664387 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :^ < 1419208410 410192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-are < 1419208416 550913 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Topic is set to that why? < 1419208428 998502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because y'all need to learn to spell hth < 1419208450 574794 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Eye sea watt yew did their oerjan < 1419208458 504348 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :hth < 1419208485 111994 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Jk so like what is brainfuck and why does it look like garbage and syntax < 1419208515 369629 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Ping timeout: 258 seconds < 1419208533 11133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was designed to have a very small compiler which means it needs to be extremely simple < 1419208537 786698 :nyuszika7h_!nyuszika7h@cadoth.net JOIN :#esoteric < 1419208549 159435 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric ::0 < 1419208564 326134 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :So is it hard? < 1419208578 359870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(unlike most other esolangs which look like garbage because most esolangers don't bother to invent parsing) < 1419208609 524680 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :The way you phrased that made me laugh < 1419208624 741394 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Its hard to use BRINAFUKK < 1419208632 251254 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :beacuse it doesn't have procedures < 1419208641 955609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok some look like garbage because they're inspired by the others that do < 1419208651 192457 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ah < 1419208655 242804 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or GOTO < 1419208685 101805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(most commonly, brainfuck) < 1419208802 212161 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :brainfuck looks like garbage? it's perfectly readable to me < 1419208860 309867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pbflistdeluxe < 1419208861 669785 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pbflistdeluxe: < 1419208872 949663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :brainfuck is hard because it's so low level that you have to implement almost everything from scratch, including any advanced data structures - you don't even have pointers or references. < 1419208896 436241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also because it has no real form of abstraction < 1419209019 729657 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Thats horrifying < 1419209025 847270 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1419209042 980519 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I will never try my hand at that ._. < 1419209043 127316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that means it's more of a puzzle than actually useful < 1419209048 791244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: is BRINAFUKK a bf derivative < 1419209072 22066 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :BRINAFUKK Is Not A BRINAFUKK Derivative < 1419209081 412618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: _many_ esolangs share those "features" < 1419209091 389343 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Well < 1419209103 63317 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Solace: are you sure you are at the right place? < 1419209105 904422 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ill only use esolangs that have letters < 1419209126 739530 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :>+] is to much for me < 1419209150 774616 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :myname: yeh i am im usually afk doing stuff though < 1419209165 212946 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Solace: so a substitution of +-<>.,[] with idbfpcse is fine? < 1419209167 417737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: BINABD. yep, those are the same letters as BRINAFUKK < 1419209167 885701 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1419209178 671480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Solace: you might like deadfish < 1419209183 463268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is very easy < 1419209183 559358 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Yeh i guess < 1419209192 615403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: i think myname is hinting that you seem to dislike the most common features of esolangs :P < 1419209193 203888 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ill go look at it < 1419209208 762589 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : brainfuck is hard because it's so low level that you have to implement almost everything from scratch, including any advanced data structures - you don't even have pointers or references. < 1419209232 564533 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Nah not really its just like idk its name suits it well < 1419209232 932164 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :brainfuck, i'd say, is more than anything else hard because it has no built-in nonlocal stuff at all < 1419209245 278028 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Verbosefuck is probably what ill be good at < 1419209252 379296 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Solace: you should try malbolge < 1419209262 149802 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :... < 1419209269 238721 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :©_© < 1419209285 257189 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Yeah, it's hard to imagine anyone using anything resembling brainfuck as any kind of formal basis for computation < 1419209325 363235 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I need esolangs you can actually implement large data structures in < 1419209336 308808 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Very large ones < 1419209337 531825 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :eodermdrome!! < 1419209365 511108 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :? < 1419209378 569911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats Jafet -----### < 1419209393 927662 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric ::0 thats mean < 1419209400 73754 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Solace: how about funciton < 1419209406 146019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: you just think that because you didn't get his joke < 1419209416 237793 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :>_> < 1419209429 55371 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I never get jokes < 1419209442 569047 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ill check that out also myname < 1419209444 942140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(hint: turing machines resemble brainfuck in most of the ways that make it awkward) < 1419209491 320816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not entirely, but enough < 1419209505 619420 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I remember when i didnt know how to remove piping < 1419209538 313343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: eodermdrome is nice, you should implement it < 1419209542 46642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(inside joke) < 1419209549 684213 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric ::| < 1419209575 493067 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :i DONT know what eodermdrome is?! < 1419209583 571886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^wiki eodermdrome < 1419209588 504029 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Lag < 1419209595 462422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: !!! < 1419209602 291131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, missing fungot < 1419209616 482974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@google eodermdrome < 1419209617 692350 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://esolangs.org/wiki/Eodermdrome < 1419209617 804463 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Eodermdrome - Esolang < 1419209634 37546 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Solace: it's pretty neat. all you have to do is solving an np hard problem every single step < 1419209671 476005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Solace: you can implement large data structures in unlambda btw < 1419209697 464039 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Really? oerjan < 1419209711 773836 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Ok myname < 1419209746 426875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i didn't say it would be easy hth < 1419209746 805815 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Lets focus on one language at a time < 1419209759 38061 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :I have alot of time left < 1419209765 446609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it may still be easier than it most of the languages mentioned already < 1419209770 866365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in < 1419209777 744244 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Oh ive seen unlambda < 1419209786 96862 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Doesnt look terribly hard < 1419209809 385966 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Is just kinda ehhh ok for me < 1419209817 41724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think unlambda was my first esolang, except for _probably_ having been exposed to parts of the INTERCAL manual at some point < 1419209844 984945 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Anyways i have to dinner < 1419209858 821629 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva NICK :Solace|Dinner < 1419209874 874344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um first to discover, that is < 1419209878 619140 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mine was brainfuck. at a point where i didn't really were able to write code in normal languages < 1419209917 489073 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there was a website explaining it like a turing mashine < 1419209932 590252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :charming < 1419209941 742486 :fungot!fis@selene.zem.fi JOIN :#esoteric < 1419209943 161555 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm asleep, I can't help with missing fungots. < 1419209943 204823 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: in the us < 1419209950 505012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: OKAY < 1419210189 124837 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1419210534 506697 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 256 seconds < 1419210636 895253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ahoily < 1419210682 68320 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net JOIN :#esoteric < 1419210777 182227 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bonsœrjan! < 1419210976 122609 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1419211223 119905 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419213411 107706 :Solace|Dinner!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva NICK :Solace < 1419213889 878938 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1419214844 659615 :roasted42!~appleseed@41.48.16.51 JOIN :#esoteric < 1419215337 943542 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1419217219 170426 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 252 seconds < 1419217303 486670 :boily!~alexandre@96.127.201.149 QUIT :Quit: UNDEFINED CHICKEN < 1419217433 16991 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Ping timeout: 240 seconds < 1419217591 215926 :vanila!~vanila@unaffiliated/vanila QUIT :Remote host closed the connection < 1419217792 676858 :roasted42!~appleseed@41.48.16.51 QUIT :Ping timeout: 245 seconds < 1419217903 326173 :roasted42!~appleseed@41.48.16.51 JOIN :#esoteric < 1419217932 652861 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419218711 136925 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :https://www.reddit.com/r/shittyprogramming/comments/2pxbr7/faster_inverse_square_root/ < 1419218759 980509 :nys!~nysnamovo@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :fisr < 1419218787 641039 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1419219291 498752 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :ACTION wonders why his stomach hurts < 1419219356 278070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too much tabasco < 1419219422 441391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hidden eating utensils < 1419219443 421120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ate too fast, swallowed fork < 1419219569 672230 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Y'mean I shouldn't have put tabasco on my fork and ate it? < 1419219572 381874 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Darn. < 1419219579 287905 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :But I thought I was being a culinary genius. < 1419219592 274701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry < 1419219983 326791 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :this morning I learned Racket's case doesn't support one-half of the typical behavior of case statements. < 1419220012 951525 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :https://github.com/jarcane/heresy/issues/10 < 1419220236 317110 :roasted42!~appleseed@41.48.16.51 QUIT :Ping timeout: 250 seconds < 1419220240 308638 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Quit: mitchs < 1419220290 4807 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's because the case syntax is cond. < 1419220353 572925 :roasted42!~appleseed@41.48.16.51 JOIN :#esoteric < 1419220447 711676 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1419220750 338364 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :That reminds me that I was learning lisp like a week ago < 1419220895 362876 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :J_Arcane: pretty sure that holds in standard scheme too? < 1419220913 839813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :J_Arcane: your syntax is weird, it's ((1) 'foo) because you can also do ((1 2 3) 'foo) I think < 1419220926 58456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it would "at least" be (((mod 5 2)) 'foo) < 1419221014 935857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :scheme's case is disappointing though < 1419221015 734908 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yes, you can. and that's a good point. < 1419221020 340153 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is not exactly pattern matching < 1419221037 46042 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Probably because it does have match, and case is evil C. < 1419221037 415866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I suspect racket probably has something for proper pattern matching < 1419221048 62614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nah, case is scheme heritage for racket, not C < 1419221049 736730 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Yes, Racket has a very powerful match statement. < 1419221101 308926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, so I see < 1419221118 803150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : | < 1419221118 846382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : < 1419221118 915096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(pregexp px-expr) < 1419221118 958356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : < 1419221118 958485 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :match string < 1419221122 694288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :even supports pregnant expressions < 1419221236 140758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :racket has a lot of nice stuff but I find it hard to see what its overarching philosophy is < 1419221263 469883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf is a pregnant expression < 1419221271 219544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like a regular expression except pregnant < 1419221279 660672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OH < 1419221305 353263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can match them with the pcre library (pregnancy-compatible regular expressions) < 1419221344 149028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1419221556 426557 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 258 seconds < 1419221571 312191 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1419221586 34872 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Hah hah! I did it. I wrote an evaluating case statement. :D < 1419221606 678408 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419221609 597480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does it differ much from using cond? < 1419221613 646938 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :I tried googling that and through an untimely slew of typos, google thought I wanted "pregnant expressional lips" < 1419221664 284752 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :elliott: less verbose in some cases. IT came up because I was writing a "canonical" FizzBuzz for Heresy, and realized I couldn't use the case method (ie. 0 as val, and various (mod ...) calculations for the matching clauses) < 1419221695 820982 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :And it turns out it is literally as simple as rewriting it without the extra ' around the matching values. < 1419221891 864691 :InvalidC1!invalidco@makkara.org JOIN :#esoteric < 1419221924 548491 :roasted42!~appleseed@41.48.16.51 QUIT :Ping timeout: 256 seconds < 1419221940 72155 :roasted42!~appleseed@41.48.16.51 JOIN :#esoteric < 1419221993 331838 :InvalidCo!invalidco@makkara.org QUIT :Ping timeout: 258 seconds < 1419222098 344362 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :(in Racket, the helper macro that handles the equal? literally just matches on (k ...) but then does (equal? v 'k) instead. < 1419222437 108477 :roasted42!~appleseed@41.48.16.51 QUIT :Ping timeout: 240 seconds < 1419222742 964690 :tromp_!~tromp@rtc35-154.rentec.com QUIT :Read error: Connection reset by peer < 1419223638 354155 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 264 seconds < 1419224247 362973 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 258 seconds < 1419224765 859948 :relrod!~relrod@redhat/relrod QUIT :Excess Flood < 1419224785 348566 :relrod_!~relrod@redhat/relrod JOIN :#esoteric < 1419224921 960100 :relrod_!~relrod@redhat/relrod NICK :relrod < 1419225063 642206 :j-bot!~j-bot@li339-21.members.linode.com QUIT :Ping timeout: 245 seconds < 1419225063 728548 :rodgort!~rodgort@192.241.198.49 QUIT :Ping timeout: 245 seconds < 1419225126 245121 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1419225186 778571 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :`slist < 1419225188 843651 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora Sgeo ThatOtherPerson alot < 1419225245 707812 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Remind me to get back into Racket so I can get back to that optics library < 1419225864 747388 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1419226426 754641 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419227173 573329 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1419228111 314967 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Ping timeout: 258 seconds < 1419228163 308238 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1419228344 459035 :MoALTz!~no@user-164-126-31-182.play-internet.pl QUIT :Read error: Connection reset by peer < 1419228386 299630 :MoALTz!~no@user-164-126-31-182.play-internet.pl JOIN :#esoteric < 1419228640 847114 :MDude!~fyrc@67.235.2.71 NICK :MDream < 1419229350 632353 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net QUIT :Quit: Leaving < 1419229799 800700 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric : (∩ ͡° ͜ʖ ͡°)⊃━☆゚. * ・ 。゚, * < 1419229901 206049 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :How do you stop xml stack overflows < 1419229908 641784 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :This is so bad < 1419230033 53093 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :do not use xml < 1419230048 161010 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva PRIVMSG #esoteric :Thanks that fixed the problem < 1419230106 279589 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1419230119 234722 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1419230119 277981 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419230287 958661 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 272 seconds < 1419231236 276248 :sebbu!~sebbu@ADijon-152-1-30-208.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1419231273 360932 :sebbu!~sebbu@ADijon-152-1-30-208.w83-194.abo.wanadoo.fr QUIT :Changing host < 1419231273 404148 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1419231892 256995 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1419231897 989532 :scarf!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1419231913 678471 :scarf!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1419231913 721904 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419232035 938037 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Quit: mitchs < 1419232067 68047 :scarf!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1419232081 10646 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419232302 693231 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1419232315 661448 :drdanmaku!uid17782@gateway/web/irccloud.com/x-yxwuzyaetxdhnszi QUIT :Quit: Connection closed for inactivity < 1419233536 111722 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419236196 323462 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1419237073 699502 :azazel-!~rage@ip174-71-116-95.om.om.cox.net JOIN :#esoteric < 1419237093 74687 :azazel-!~rage@ip174-71-116-95.om.om.cox.net PART #esoteric :"...(Gone). Goodbye." < 1419238001 365713 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419238132 932790 :scarf!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1419238219 732101 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1419239689 730606 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1419240228 497531 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 JOIN :#esoteric < 1419240585 193546 :nyuszika7h_!nyuszika7h@cadoth.net NICK :nyuszika7h < 1419240995 439826 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Eodermdrome looks like it can be interpreted in polynomial time < 1419241021 174908 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Each subgraph can have at most 26 nodes) < 1419242775 625802 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, as long as you only allow lower case letter nodes < 1419242856 744888 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But programming would become too easy otherwise. < 1419243275 232893 :InvalidC1!invalidco@makkara.org NICK :InvalidCo < 1419243482 334672 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Quit: Lost terminal < 1419245314 991600 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419246008 839281 :Solace!uid52684@gateway/web/irccloud.com/x-gxsabrvaxobxgeva QUIT :Quit: Connection closed for inactivity < 1419246017 225482 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 240 seconds < 1419246076 528146 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1419247119 479692 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1419247125 499955 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :https://twitter.com/abt_programming/status/546969469571325952 < 1419247131 125062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: right, I intended to restrict it to 26 to keep things hard < 1419247135 430819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if the spec actually achieves that, though < 1419247397 101937 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Ping timeout: 240 seconds < 1419247397 145691 :trn!jhj@trnsz.com QUIT :Ping timeout: 240 seconds < 1419247534 614637 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1419247589 317871 :trn!jhj@trnsz.com JOIN :#esoteric < 1419247718 187790 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: but doesn't that mean you can have only finitely many programs (say at most double exponential in 26) so you can't encode arbitrary data in the program itself, so it's technically not turing-complete? < 1419247732 344450 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's TC only if you're allowed to prefix a string to the input < 1419247739 314131 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's curly-L-complete < 1419247747 399641 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1419247747 849139 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also I think you might be able to get up to triple exponential < 1419247754 43922 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's "curly-L-complete"? < 1419247807 621310 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/%E2%84%92 < 1419247811 90047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :triple exponential how? there's about 2**O(n**2) possible graphs and statements using n fixed letters, < 1419247824 779474 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and a program is just a set of such statements < 1419247843 846749 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 272 seconds < 1419247854 92143 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm wait < 1419247865 849150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, it's 2**(2**(n**2)) < 1419247879 150008 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can have infinitely many programs because a statements can contain an arbitrary output string < 1419247880 346110 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is higher than double exponential I think?, but lower than triple exponential < 1419247891 200566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and arbitrary output strings won't affect the computational class < 1419247905 253328 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :exactly, it doesn't help making the language more turing-complete < 1419247928 332288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you allow any number of letters, it is turing complete though < 1419247945 164827 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and "efficient" too, in that it can simulate programs in polynomial time < 1419247954 896098 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :very slow polynomial, but still polynomial < 1419248294 629465 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :In this case the construction of generalised Eodermdrome ("Geraliseodermdromen"?) is straightforward < 1419248540 834051 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1419249098 688532 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1419249226 292890 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 250 seconds < 1419250453 607967 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419250939 854989 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :So in answer to my earlier puzzlement about Racket's (case ...) statement, apparently it has to do with performance details in how it compiles making it a lot faster if it's not allowed to do any calculation for the matching clauses at compile time. < 1419251017 74080 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1419251053 408928 :boily!~alexandre@96.127.201.149 QUIT :Quit: SUPERSYMMETRIC CHICKEN < 1419252934 686646 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :!blsq 1Jq.+10C!CLq.+pa < 1419252934 911681 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : | {{144} ERROR: Burlesque: (.+) Invalid arguments! {144 89} ERROR: Burlesque: (.+) Invalid arguments! {144 89 55} ERROR: Burlesque: (.+) Invalid arguments! {144 89 55 34} ERROR: Burlesque: (.+) Invalid arguments! {144 89 55 34 21} ERROR: Burlesque: (.+) Inva < 1419252943 408134 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :!blsq 1Jq.+10C!CLq++pa < 1419252943 520825 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : | {144 233 288 322 343 356 364 369 372 374 375 376} < 1419252953 673574 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :!blsq 1Jq.+10!CCLq++pa < 1419252953 897048 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : | {1 2 4 7 12 20 33 54 88 143 232 376} < 1419253026 309530 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :!blsq 1Jq.+10!CCLqpdpa < 1419253026 675875 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : | {1 1 2 6 30 240 3120 65520 2227680 122522400 10904493600 1570247078400} < 1419253315 891222 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 272 seconds < 1419253977 92066 :singingboyo!~g8p8@deas.ugrad.cs.ubc.ca QUIT :Ping timeout: 240 seconds < 1419254037 277629 :singingboyo!~g8p8@deas.ugrad.cs.ubc.ca JOIN :#esoteric < 1419254644 913161 :callforjudgement!~ais523@unaffiliated/ais523 QUIT : < 1419255970 174635 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :*Main> eval $ parseRC "({x.x}{y.y}z)" < 1419255970 324712 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :(z) < 1419256011 358763 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :neat < 1419256151 916598 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :*Main> eval $ parseRC "({f.{x.{y.((fy)x)}}}{x.{y.x}}ab)" < 1419256152 846959 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :((({x.{y.(a)}})(b))(a)) < 1419256153 869528 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :crap < 1419256156 329427 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :this doesn't look right < 1419256474 350139 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1419256493 363279 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> (\f x y -> (f y) x)(\x y -> x)0 1 < 1419256494 600228 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1419256496 544448 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :see < 1419256499 120614 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :this should produce b < 1419256509 712840 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but something is screewing up big time < 1419256593 98725 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm right < 1419256596 880174 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :bound vs unbound variables < 1419256707 214645 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@let eval=let e s@(_:'\\':v:'.':l)=let(x,')':t)=e$d l in(take 4 s++x++")",t);e('(':s)=let(x,t)=e s;(y,')':u)=e$d t in(a x y,u);e s=splitAt 1$d s;d=snd.span(==' ');a(_:'\\':v:_:l)s=let f x|x==v=s|1>0=[x]in fst.e$init l>>=f;a f x='(':f++" "++x++")" in fst.e < 1419256708 446108 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1419256719 318563 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> eval "(((\\x. x)(\\y. y)) z)" < 1419256720 662794 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "z" < 1419256774 171710 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :*Main> eval $ parseRC "({f.{x.{y.((fy)x)}}}{x.{y.x}}ab)" < 1419256775 40423 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :b < 1419256793 76587 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :much better. < 1419256890 903263 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> eval "((((\\f. (\\x. (\\y. ((f y) x)))) (\\c. (\\d. c))) a) b)" < 1419256892 353560 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "b" < 1419256956 352284 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> eval "((((\\f. (\\x. (\\y. ((f y) x)))) (\\x. (\\y. x))) a) b)" < 1419256957 805827 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "a" < 1419256961 43834 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::) < 1419256993 89163 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :this doesn't check either that it must not replace the x in the second term < 1419257193 527883 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder how many strokes is needed to implement that < 1419257272 10871 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 QUIT :Quit: bbl < 1419258725 672240 :tromp_!~tromp@rtc35-167.rentec.com JOIN :#esoteric < 1419259085 757424 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :well < 1419259092 120518 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :at least now I have my own lambda calculus interpreter < 1419259996 48406 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1419261208 882051 :MDream!~fyrc@67.235.2.71 NICK :MDude < 1419261475 560816 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1419261551 763189 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://www.wired.com/2014/12/mathematicians-make-major-discovery-prime-numbers/ < 1419261634 992641 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Prime Numbers, which have previously only been hypothesized to exist were finally discovered in the wild. < 1419261726 392026 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :J_Arcane, there is way too much text in this, what result are they talking about? < 1419261740 525892 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1419261751 20272 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Disconnected by services < 1419261756 393245 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1419261872 551506 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :vanila: as best I could understand, it seems they've found a new proof for the gap between prime numbers. < 1419261901 26824 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric ::S < 1419261913 91799 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :maybe his blog will explain it better < 1419261928 1710 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Kevin Ford, Ben Green, Sergei Konyagin, James Maynard, and I have just uploaded to the arXiv our paper “Long gaps between primes“. < 1419261931 420566 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://terrytao.wordpress.com/2014/12/16/long-gaps-between-primes/ < 1419262024 586482 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :so they are using graph theory ideas in sieving theory to get really good results on prime gaps < 1419262413 47914 :drdanmaku!uid17782@gateway/web/irccloud.com/x-behxwolfcugeepwj JOIN :#esoteric < 1419264278 290194 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1419265526 509828 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe NICK :KingBot < 1419265546 605915 :KingBot!~KingOfKar@unaffiliated/kingofkarlsruhe NICK :KingOfKarlsruhe < 1419265901 730898 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 JOIN :#esoteric < 1419266080 967806 :S1!~S1@p4FF92023.dip0.t-ipconnect.de JOIN :#esoteric < 1419266280 302603 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1419266667 114413 :shikhin!~shikhin@120.57.228.66 JOIN :#esoteric < 1419266714 498171 :shikhin!~shikhin@120.57.228.66 NICK :Guest5017 < 1419266842 423489 :Guest5017!~shikhin@120.57.228.66 NICK :shikhout < 1419266845 49432 :shikhout!~shikhin@120.57.228.66 QUIT :Changing host < 1419266845 93208 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1419267623 490631 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Remote host closed the connection < 1419267820 439452 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1419267884 226285 :jix_!~jix@jixco.de QUIT :Quit: Lost terminal < 1419267921 269945 :jix!~jix@jixco.de JOIN :#esoteric < 1419267943 220320 :Lorenzo64!~lorenzo@adsl-ull-224-25.42-151.net24.it JOIN :#esoteric < 1419268627 708677 :oren!~oren@nrba4-34.onlink.net JOIN :#esoteric < 1419268662 691658 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i am now north of north bay. < 1419269540 285384 :shikhout_!~shikhin@59.177.197.78 JOIN :#esoteric < 1419269717 129502 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1419269821 859904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh wow, what's up with the C# entries for http://golf.shinh.org/p.rb?Base+37 ... < 1419269917 901488 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The whole output is just 659 bytes.) < 1419270301 152430 :mihow!~mihow@108.30.58.169 QUIT :Read error: Connection reset by peer < 1419270361 247602 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419270386 926184 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1419270476 616595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1419270546 272724 :mihow!~mihow@108.30.58.169 QUIT :Client Quit < 1419271128 823181 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: it was actually a whole bunch of results http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes < 1419271172 946699 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's kind of amazing to see the comment threads, all these mathematicians just blasting through better and better bounds < 1419271211 141420 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://michaelnielsen.org/polymath1/index.php?title=Timeline_of_prime_gap_bounds < 1419271275 632859 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oooh < 1419271431 290815 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's like in the movies where they get all the scientists to work together non-stop on finding a solution except it's pure mathematics :p < 1419271485 75511 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1419271526 391200 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :it's number theory golfing < 1419273236 867504 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :this kind of math is intimidatingly difficult < 1419273497 960271 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The "admissible sets" part (from k_0 to H) is actually fairly easy to understand. http://michaelnielsen.org/polymath1/index.php?title=Finding_narrow_admissible_tuples < 1419273545 871631 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But the analytic number theory (which produces bounds on k_0) is very scary. < 1419273553 489396 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I feel sad that im not studying math < 1419273925 584583 :Solace!uid52684@gateway/web/irccloud.com/x-qvcbqwvyufgggnzf JOIN :#esoteric < 1419274222 97105 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :vanila: what are you majoring in? < 1419274234 487349 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :im not < 1419274259 21050 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :oh, yeah that;s right, you're still young! < 1419274288 865226 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i did math in the past < 1419274292 287591 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :whereas i'm apparently old compared to everyone except oerjan < 1419274411 621516 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oren: is that deduction because before you're majoring, you're a minor < 1419274414 983760 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION hides < 1419274455 613921 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i never thought of it that way but yeah lololol < 1419274471 253046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(not exactly accurate but) < 1419274581 452495 :Deewiant!~deewiant@deewiant.iki.fi QUIT :Quit: Viivan loppu. < 1419274603 846310 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://www.reddit.com/r/math/comments/2m5gk3/terence_tao_is_going_to_be_on_colbert_report/ apparently tao has discovered a new prime < 1419274681 920940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :following on the footsteps of grothendieck < 1419274684 502549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*in < 1419274714 788329 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's really cute when mathematicians know nothing about the elements of the sets they like < 1419274766 539384 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i was like "are twin primes the ones two numbers apart?" < 1419274819 665915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they're the ones born at the same time < 1419274872 603862 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Sexy_prime I forgot this name =_= < 1419274933 407554 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :Dang, i took a course in number theory and they didn't mention that? what a waste. < 1419274969 898089 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :"sexyprime triplets" < 1419275035 408983 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :knowing that there are such thing would be worth taking a course all on its own < 1419275229 161634 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Quit: Terminated < 1419275499 637460 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :what does idris-bot do? < 1419275555 961852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :evaluates idris < 1419275720 388449 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1419275879 680927 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1419275984 561683 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1419276056 81990 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Quit: Viivan loppu. < 1419276076 260991 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1419276123 461967 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Client Quit < 1419276165 280846 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1419276169 670364 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net JOIN :#esoteric < 1419276879 804959 :Lorenzo64!~lorenzo@adsl-ull-224-25.42-151.net24.it QUIT :Read error: Connection reset by peer < 1419277383 108340 :Lorenzo64!~lorenzo@adsl-ull-224-25.42-151.net24.it JOIN :#esoteric < 1419277451 339144 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :elliott, has it come to a conclusion of how much idris is worth yet? < 1419277481 558675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that joke is too bad to bother replying to, sorry < 1419277522 178286 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i realise the timing may also have been a little off < 1419277534 703580 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This is the general advice channel, right? What's a good standard included-in-Debian duplicate-file-detector thingie? < 1419277575 632272 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I ran across 'fdupes', but possibly I'm missing something that didn't have the good sense to put "dup" in the package name.) < 1419278397 244289 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1419278617 245643 :kcm1700_!~kcm1700@175.117.8.72 QUIT :Ping timeout: 265 seconds < 1419278666 192503 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1419278683 665736 :S1!~S1@p4FF92023.dip0.t-ipconnect.de QUIT :Quit: S1 < 1419278688 22599 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1419278785 117451 :kcm1700!~kcm1700@175.117.8.72 JOIN :#esoteric < 1419278812 342572 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1419278828 39956 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :what about diff -s * < 1419278940 318598 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :no that doesn't work < 1419279811 395171 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :well you can use cmp and a loop: for i in * ; do for j in * ; do if cmp -s -- "$i" "$j" ; then echo "$i $j" ; fi; done ; done < 1419279831 447865 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that will output each pair twice tho < 1419279832 680685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think that'd be particularly efficient for, say, a terabyte of files. < 1419279843 415148 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :That RNA language is soo tedious to make an interpreter for D: < 1419279853 40443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I'll try to go with this fdupes thing. < 1419279904 142366 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :actually my loop is buggy anyway < 1419279907 321557 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 258 seconds < 1419280054 227931 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1419280269 960749 :Lorenzo64!~lorenzo@adsl-ull-224-25.42-151.net24.it QUIT :Quit: Leaving < 1419280311 488279 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :;~; I'm 1/4th the way done typing the amino acids as a hash in ruby < 1419280355 821938 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :And it's taken like 5 minutes now D: < 1419280400 894787 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :Because 5 minutes is a long time that I should definitely be worried about. < 1419280419 762195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: "fdupes" is fun to say. < 1419280430 79203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fdupes. fdupes. faaadupes! < 1419280434 461711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hadoops. < 1419280894 345041 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :man the c standard library sucks < 1419280930 87182 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i forgot, again, that strrev is one of those functions i keep copying the code of from one project to another. < 1419280965 627754 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :If you want a good stdlib why not just use C++? < 1419281116 252833 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :C++ strings don't have reverse either actually < 1419281209 689944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oren: you'd be better off avoiding nul-terminated strings entirely, really < 1419281228 955607 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :Just encode them as arrays of integers < 1419281235 267419 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :It's probably a better alternative < 1419281238 796001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um... < 1419281244 379637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how is that different from using pointer to char? < 1419281250 489824 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or do you mean a fixed-size char array < 1419281279 299283 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :By the way oren: http://en.cppreference.com/w/cpp/algorithm/reverse < 1419281305 555441 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :elliott: It's really not, I'm just joking around < 1419281317 6839 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :strings should really just be opaque blobs < 1419281336 960543 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :that oughta do it actually... < 1419281384 722994 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i'm just writing some single-use glue code to get these files to have better names < 1419281393 238551 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1419281415 547225 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :why in C/C++ because i'm an idiot i guess < 1419281489 222358 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :never mind this will never work < 1419281637 408529 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :any time you want to iterate or index into a string you should ask yourself "is this going to work with unicode?" < 1419281645 466596 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :99% of the time the answer is going to be no < 1419281672 515388 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :not in rust! < 1419281679 448221 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :Would it work with your opaque blob idea? < 1419281718 259019 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :you'd probably want to disallow those operations outright < 1419281757 915102 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :well, not iterating i guess < 1419281768 562181 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :i dont know < 1419281774 627478 :nycs!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :i havent thought too much about this < 1419282153 180626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nycs: depends what you're iterating over < 1419282161 581961 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :codepoints, graphemes, characters are all reasonable possibilities < 1419282242 312662 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :99% of the time I want to iterate or index into a string I want it to treat the string as single-bytes encoding anyways, so it will work. < 1419282302 691329 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(And if it does contain Unicode characters, it often works fine to just treat the individual bytes as characters anyways) < 1419282572 313230 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :https://gist.github.com/CrazyM4n/9a85ded307dcde3ece5b it's... finally... done... < 1419283333 7261 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i have some copypasta somewhere that converts utf-8 to an array of coedepoints as ints. < 1419283407 326607 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i wrote it because some crap i wrote wasn't working with unicode < 1419283450 12629 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :CrazyM4n: conglaturation! < 1419283458 477503 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :woo < 1419283545 302303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int isn't necessarily big enough to store unicode codepoints :P < 1419283792 813007 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :elliott: yeah, yeah, yeah... anyway assuming an unsigned is big enough, this is the code: https://gist.github.com/orenwatson/b071c93b287604684e6a < 1419283805 621064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you know uint32_t exists, right? :p < 1419283808 989548 :Solace!uid52684@gateway/web/irccloud.com/x-qvcbqwvyufgggnzf QUIT :Quit: Connection closed for inactivity < 1419283811 239766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> (length "uint32_t", length "unsigned") < 1419283812 440190 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (8,8) < 1419283830 151279 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :as someone who doesn't do C or low level stuff < 1419283834 891358 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :I just vomited a little < 1419283835 972254 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yeah, i wrote this about 4 years a go tho < 1419283858 411642 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :and it has been copypasted into various things < 1419283859 903438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, this is comparable to the original plan 9 utf-8 implementation < 1419283865 881378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with its Rune type < 1419283871 483172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(it lives today on in Go) < 1419284203 621595 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :technically this code doesn't convert to an array of ints, it returns one int at a time < 1419284256 776613 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yay for inconsistent ad-hoc apis < 1419284385 196686 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Quit: Terminated < 1419285043 287352 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1419285107 150001 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :hmm, could the lempel-ziv-welch compressor be turned into a programming language if some codewords instead altered the dictionary? < 1419285158 170991 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :good question!! < 1419285179 449517 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :i have a shitty implementation of it just lying around.. < 1419285265 634521 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :like, maybe if we had a way to swap two existing codewords' definitions? < 1419285287 634505 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what about conditionals? < 1419285293 229898 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and loops < 1419285361 323103 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :hm... loops could be done by having a codeword to move N codewords back, but onditionals... < 1419285460 787477 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :actually for maximum crappiness, let's have it be N bits instead of N codewords < 1419285943 984308 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net QUIT :Quit: so that's how you do quit messages < 1419286186 255281 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 258 seconds < 1419286909 280951 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1419287121 138324 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1419287153 791 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Nysnamovois 5* 10New user account < 1419287172 982600 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Nysnamovois sounds like a spammer < 1419287624 148789 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :as he hasn't psoted any spam yet < 1419287632 848168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sounds like nys < 1419287756 741216 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Spite14]]4 N10 02http://esolangs.org/w/index.php?oldid=41526 5* 03Nysnamovois 5* (+426) 10create < 1419287773 296493 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Nysnamovois14]]4 N10 02http://esolangs.org/w/index.php?oldid=41527 5* 03Nysnamovois 5* (+5) 10Created page with "hello" < 1419287774 80139 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric : Iwas wrong! < 1419287782 995799 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :hello < 1419287786 535484 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hi! < 1419287790 335735 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you created a cool esolang < 1419287794 144844 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :is it cool < 1419287851 591430 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :if anyone wants me to uh explain anything < 1419287884 216703 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :oh right <<> is like cdaar < 1419287930 935398 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :i'm kinda spooked by the prospect of writing a curried function in it < 1419288007 59867 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :oh shoot i forgot to add the minus symbol to the parser hold on < 1419288062 281052 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1419288098 619707 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Spite14]]4 M10 02http://esolangs.org/w/index.php?diff=41528&oldid=41526 5* 03Nysnamovois 5* (+0) 10 < 1419288102 783588 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :ok there < 1419288229 576031 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :ok so as i understand it $ is the start symbol? < 1419288294 272881 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :ohh, it means "apply"? < 1419288346 737313 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :yes :D < 1419288563 853081 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :^ is like "on" from Data.Function < 1419288574 652511 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :(which i discovered by looking up its type) < 1419288580 455755 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :er, `, not ^ < 1419288588 315353 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :^ is composition < 1419288621 358184 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :but i think of them as "computed application" and "literal application" < 1419289200 525928 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1419289277 575199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :arjanb: this channel is not big enough for both of us < 1419289332 64284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(my search for my nick/name in the logs hits you as well) < 1419289434 949980 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Then use a better search < 1419289520 378621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IE supports no beter ones < 1419289524 81743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afaik < 1419289526 893622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+t < 1419289618 703610 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :use a better browser hth < 1419289631 503699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i'll just ban you all instead hth < 1419289717 672290 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :use maxthon that is what i use on windows < 1419289725 159567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1419289763 976059 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :maxthon cloud browser. b/c i'm soooo original and clever < 1419289833 419247 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :it -is- pretty awesome to < 1419289835 860076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't maxthon that like < 1419289838 320989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :chinese IE shell < 1419289842 176855 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :yup < 1419289875 429333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nys: this language looks cute < 1419289880 650654 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :but unlike IE they didn't ruin it on win8 < 1419289977 492899 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 PRIVMSG #esoteric :ACTION waves at almost namesake < 1419289978 56025 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did ie even change in win8 < 1419289982 582739 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :thanks elliot :D < 1419289988 923901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh I guess there's the metro one but there's still the desktop version... (but why would you use IE) < 1419290014 60388 :oren!~oren@nrba4-34.onlink.net PRIVMSG #esoteric :because windows comes with IE. < 1419290059 136469 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Ping timeout: 264 seconds < 1419290121 29339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't want to change browser. i want the universe to stop continuously inventing new ways to annoy me while keeping most of the old ones. < 1419290241 858547 :boily!~alexandre@96.127.201.149 QUIT :Read error: Connection reset by peer < 1419290267 55268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AND NOW IT'S DEPRIVING ME OF MY CHICKENS, THIS WILL NOT DO < 1419290279 536158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well, boily's chickens) < 1419290362 411703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :arjanb: hm do you come from #haskell? i recognize a similar nick from when i've read links from there < 1419290392 34046 :arjanb!8259ab67@gateway/web/freenode/ip.130.89.171.103 PRIVMSG #esoteric :yep < 1419290421 992090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: IT'S UNSTOPPABLE *MWAHAHAHA* HTH < 1419290445 783657 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :WINSLOW CHICKEN?! < 1419290460 590830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1419290465 348180 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, evil peer. < 1419290466 131710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gg -> < 1419290480 622959 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1419290482 410549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...not updated < 1419290498 327979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: HOW DARE YOU RAISE MY HOPES < 1419290499 559954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not paying attention, and I'm reading scrollback backwards, which does wonders to my perception of the context. < 1419290509 989003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1419290537 375155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah unstoppable chicken, very winslow < 1419290587 457777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least xkcd has updated < 1419290798 362633 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yes, it did. Hope the next one will be better. < 1419290832 82764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's better with less oxygen hth < 1419290940 759609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is slightly confused by people like ee who submit golf answers that are nowhere near competitive < 1419290953 450886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess as long as they're having fun. < 1419291076 813343 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes, strange. < 1419291116 626111 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I wante to sove combinator puzzles like "find a fixed point" < 1419291116 948028 :shikhout_!~shikhin@59.177.197.78 QUIT :Read error: Connection reset by peer < 1419291124 555667 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or given Lxy = (xy)y < 1419291131 64401 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :find a term which applies to itself gives itself back < 1419291147 236275 :shikhout!~shikhin@120.59.96.230 JOIN :#esoteric < 1419291154 96469 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what would be the best way to program a search like that? < 1419291158 840507 :tromp_!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :I I = I < 1419291170 627425 :shikhout!~shikhin@120.59.96.230 NICK :Guest86681 < 1419291171 627342 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :tromp_, but try to do it onl out of L terms < 1419291200 954415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: hm i had a combinatory logic question once, that i've never got answered: do the fixpoints of a value determine it? if not always, is there a model in which they do? < 1419291229 68637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :preferably a model generated by S and K < 1419291230 165589 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I was thinking of converting from combinators to de bruijin and using some kind of algorithm to quickly test if they are equal (I know this is undecidable in general but I need to approximate it) < 1419291269 813453 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :like to test if m n equals m n' i ony need to test if n = n'? not sure if thats even true :/ < 1419291289 664551 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i suppose i could test n = n' as well as doing beta reduction to test m n = m n' in parallel < 1419291301 319478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is, per leibniz, but maybe you mean something subtler than the obvious reading? < 1419291326 213852 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, I can't really understand your question I think - doesnt' that there's multiple fixed point combinators mean you can't use fixed points to tell things apart? < 1419291347 27489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan means, do the values x such that f x = x determine f < 1419291362 599461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: what do you mean by "fixed points of a value"? What are the fixed points of K and K K? < 1419291375 2458 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in, does {x | f x = x} uniquely determine f < 1419291375 226298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the fixed point of K K is K, of course < 1419291388 724181 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah. < 1419291405 607637 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :aren't the fixed points of Y and Theta the same? < 1419291413 567000 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :where Y and Theta are two different fixed point combinators < 1419291442 913383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, you'd consider indistinguishable fixed point combinators equal < 1419291443 323520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for K you have V (unlambda notation), i think all others are equivalent böhm tree-wise? < 1419291443 791774 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: but neither K nor S have any fixed points. < 1419291447 246854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :by functional extensionality, presumably < 1419291452 344600 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ok < 1419291455 192268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, bohm tree < 1419291467 451169 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: um every combinator f has a fixed point, namely Yf < 1419291484 651541 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :meh. < 1419291496 577720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course you want beta-equivalence, probably eta. < 1419291502 202793 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :tthis is a really interesting question but does anyone know how to do what i wanted to do :[ < 1419291508 717050 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YS sounds scary < 1419291523 272035 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i mean what algormth should i use to quickly test if combinator/lambda terms are probably equal < 1419291544 592959 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:BCompton14]]4 N10 02http://esolangs.org/w/index.php?oldid=41529 5* 03BCompton 5* (+1031) 10Created page with "==Languages I Created== *[[StaPLe]] ==Languages I've implemented== *[[Brainfuck]] - Python *[[Befunge]] - Python *[[Whitespace]] - Python *[[Tag]] - Python *My Unreliable P..." < 1419291545 101702 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :reduce to normal form, hoping there is one. < 1419291564 118401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hm, YKx is y = Kyx = _|_, so YK = _|_ and I guess YK is the only fixed point of K? < 1419291565 796640 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:BCompton14]]4 10 02http://esolangs.org/w/index.php?diff=41530&oldid=41529 5* 03BCompton 5* (+3) 10D'oh! < 1419291568 979273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ergo K = _|_? < 1419291588 857090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: sorry, I have no idea :( < 1419291590 713190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: LLL might count as a solution dependent on your semantics, since it never halts < 1419291592 907582 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :so just reduce a limit of a million times? < 1419291616 248435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: YK is not _|_ < 1419291621 461209 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :The Lenstra–Lenstra–Lovász (LLL) lattice basis reduction algorithm ? < 1419291670 988090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: what is it? :( < 1419291673 784919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: LLL where L is the function you defined above < 1419291679 680770 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: Apparently there is a so called Gross-Knuth strategy for beta-reduction that is cofinal. < 1419291680 798411 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh < 1419291688 915506 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :the answer was ((L(LL))(L(LL)))((L(LL))(L(LL))) < 1419291691 717997 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haha I thought LLL was some fancy equivalence-checking algorithm too < 1419291700 750706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: YKx = K(YK)x = YK < 1419291715 85129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as i said, V from unlambda < 1419291720 768847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: how can you distinguish that from _|_, purely < 1419291742 952140 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can't < 1419291787 260174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a reason to consider it any different to any other variation of "function that returns itself when given any argument" (_|_, YK, etc.) < 1419291804 436172 :bb010g!uid21050@gateway/web/irccloud.com/x-pnxgbwsqjscrnvxv JOIN :#esoteric < 1419291806 966286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems like you're staying YK isn't _|_ because it returns YK, not _|_ :p < 1419291819 197363 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: Depends on your model. In a term model, clearly those are not equivalent. < 1419291833 967909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are they equivalent with the usual denotational semantics? < 1419291867 258085 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :A strategy F is cofinal if whenever M->>N there is an n with N->>F^n(M). < 1419291892 88444 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I don't really understand this < 1419291904 698998 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i mean how does this apply to the equality test problem? < 1419292036 473621 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm. True that's not enough to make F^n(N) and F^m(M) have commone elements if N and M are equivalent. < 1419292115 155353 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i know the problem is undecidable but i just want to be able to quickly verify claims like (KBB(SSS))SBS satisfies xL = xx or whatevr < 1419292125 18097 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or return 'i dont know' < 1419292139 254337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i suppose it's consistent for YK and _|_ to be equal. < 1419292166 495573 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and i would implement it in C maybe, so it's efficient < 1419292179 726310 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or ocaml < 1419292180 563389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: to be fair it's consistent for everything to be _|_ < 1419292190 30346 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1419292200 455530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well modulo S /= K < 1419292215 758304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: no, S = K = _|_ < 1419292216 912223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is a minimal distinction < 1419292242 99225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i mean, if S = K then everything is _|_, so if you want something nontrivial just assume S /= K < 1419292248 615831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right. < 1419292254 584960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fair enough < 1419292293 4431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course there are other similar pairs. < 1419292302 872548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but YK vs. _|_ may not be one. < 1419292352 654367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean I feel like to distinguish two terms you need to show some application of them that differs in some way other than one having x and one having y < 1419292353 661125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess i mean consistent in a way similar to logic's "not everything is equivalent" < 1419292356 599463 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1419292373 529547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :though even that rule isn't enough for me, since you can make a series F_0, F_1, ... s.t. F_n x = F_(n+1) I think < 1419292377 407320 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(it just grows forever) < 1419292386 938590 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :elliott, so to show that f =/= g, you need to show that f x =/= g x ? < 1419292402 803180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: for some x, yes, that would be my criteria < 1419292418 764892 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and appealing to f =/= g for the f x =/= g x case doesn't seem very convincing to me, personally < 1419292421 51490 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but to show that f x =/= g x dont I have to show that f x y =/= g x y? < 1419292436 37780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: you know that S =/= K < 1419292438 584253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you can go from there < 1419292442 501959 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ah okay < 1419292447 829081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(like oerjan said) < 1419292677 39052 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: you can do so quite brutally: let f n x = f (n+1) in f 0, so Y (\f n x -> f (n+1)) 0, with church numerals, and abstraction elimination < 1419292720 358925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SII =/= I because SIIK = IK(IK) = K(IK) and IK = K, and K(IK)I = IK = K but KI = KI, and KI = KI but KII I'm not geting anywhere near < 1419292723 397231 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*anywhere here < 1419292729 136211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where's my degree < 1419292733 62825 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let's just assume it's true < 1419292740 388712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Y K = K (Y K) = \x -> Y K which is a weak head normal form but not a head normal form i think... < 1419292760 559641 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there's this thing used in lisp programming sometimes called SXHASH < 1419292762 957327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it has no head normal form, so if you go by requiring that... < 1419292779 771912 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I wonder if there's something similar, a nontrivial hash of de brjuin terms which doesn't change when you perform a beta reduction