< 1387239081 299537 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387239206 791041 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1387241369 18558 :Slereah_!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1387241386 958111 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387241637 601233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://web.archive.org/web/20031210145310/http://cyberspace.org/~lament/thue.html <-- hm although both original links are dead, wayback has a younger capture of the esolang one. although they're probably identical code anyway. < 1387241648 574524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://thue.stanford.edu/ < 1387241667 252468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://thue.stanford.edu/puzzle.html < 1387241667 759149 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :lol. < 1387241707 332586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: seems like a different one < 1387241724 895790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too bad < 1387241893 372342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION updates to use our handy wayback template
< 1387241944 546886 :impomatic!~digital_w@87.112.7.205 QUIT :Quit: impomatic < 1387241961 896859 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :something about rewrite systems makes me happy. < 1387242016 892255 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :when I was studying the process behind markov algorithms I learned all sorts of cool things you can do using them, even though it is a bit unintuitive at first. < 1387242160 431526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did we point you to /// yet (probably) < 1387242173 167985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is heavily biased, of course
< 1387242186 330775 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :being biased towards /// is sensible < 1387242194 523486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep! < 1387242199 752454 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :I've looked briefly at /// < 1387242205 100727 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :(I assume you're the creator) < 1387242212 908051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it's just asking for a slanted view, really < 1387242214 393471 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :he at least wrote some algorithms < 1387242220 32625 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :shut uppppp < 1387242224 509968 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :hurrrr. < 1387242224 979474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :LinearInterpol: not the creator but the main programmer < 1387242236 849127 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com PRIVMSG #esoteric :interesting. < 1387242242 279458 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I assume someone's made a \\\ already? < 1387242245 409757 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :or ||| < 1387242277 656445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: hm i don't _recall_ so. < 1387242297 814200 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :this might be a good time to mention i'm amazed this channel doesn't have a search-for-esolang function < 1387242313 685531 :Taneb!~Taneb@host-92-23-123-235.as13285.net PRIVMSG #esoteric :Anyone knows how unary minus mixes with list subscripts in Python? < 1387242314 321542 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387242330 716025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/wiki < 1387242332 277301 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :cat: bin/wiki: No such file or directory < 1387242339 981159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: the way you'd expect, of course < 1387242344 302482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HackEgo could have had, i guess < 1387242352 102204 :Taneb!~Taneb@host-92-23-123-235.as13285.net PRIVMSG #esoteric :shachaf, I mean like -i[0] < 1387242362 732803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1387242366 329194 :Taneb!~Taneb@host-92-23-123-235.as13285.net PRIVMSG #esoteric :Which seems to work the way I expect < 1387242373 891069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there you go, then < 1387242397 749794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(i was thinking of negative indexing, which doesn't actually work the way you'd expect) < 1387242410 726641 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :doesn't it count from the end < 1387242449 728714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1387242497 723716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: where's my olist < 1387242507 197092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastlog `olist < 1387242538 540616 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1387242545 93521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1387242551 933099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run ls bin/*log* < 1387242553 639545 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bin/anonlog \ bin/etymology \ bin/log \ bin/logurl \ bin/pastalog \ bin/pastelog \ bin/pastelogs \ bin/pastlog \ bin/randomanonlog \ bin/searchlog < 1387242555 615107 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you people < 1387242566 369803 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :`randomanonlog < 1387242570 949011 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :brainfuck can be compiled to machine code.. that's faster < 1387242576 967905 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :`randomanonlog < 1387242580 988686 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :AFK all < 1387242582 342257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242586 686130 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Saturday shall be red fedora day! < 1387242596 34870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242596 332631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242596 556356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242596 822644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242597 16854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`randomanonlog < 1387242604 305979 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​(recording my gf, don't worry) < 1387242605 236177 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :fizzie: Pls fix with analytical logical skills not zapping < 1387242605 421729 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :yes, there are very few of new concepts there. still interesting to write a shortest hello-world and a quine :) < 1387242605 607862 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :85 <-- gentoo < 1387242605 793609 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :s/,/m/ < 1387242639 144861 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :what a mysterious function. < 1387242652 559495 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: why use skills if you can use zapping? < 1387242653 155694 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: ( define it " want to learn two languages at once, ecraven. internally to t, because fixnums are usually not modified very frequently. < 1387242666 177192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : kmc: "new wood stoves" would be a good name for a ban <-- I'LL TRY TO KEEP THAT IN MIND < 1387242745 296267 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :context: 10:17 I believe SF bans new wood stoves but does not yet require removing existing ones. < 1387242798 60449 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :context :( < 1387242822 137544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you mean it wasn't a typo? freaky. < 1387242849 947383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: sry < 1387242874 70770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: would banning me make you feel better < 1387243013 708786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we're not banning wood stoves in norway yet, but there's some serious environmental pollution control < 1387243027 28384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: doubtful < 1387243061 465563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now the pain killers kicking in otoh... < 1387243132 813536 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1387243169 773565 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :http://www.nytimes.com/2013/12/17/science/earth/outsider-challenges-papers-on-growth-of-dinosaurs.html not all is well in the land of dinos < 1387243180 128832 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :myhrvold sure is an eclectic dude. < 1387243289 961124 :Taneb!~Taneb@host-92-23-123-235.as13285.net QUIT :Quit: Leaving < 1387243434 193725 :Slereah!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1387243461 653713 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387243497 825198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :avant-garde cuisine and patent law should _not_ be mixed hth < 1387243768 423453 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"Don't you just change "assertEquals(x, y)" to "it(x).should().equal(y)" ?" < 1387243845 113460 :carado!~user4539@mar44-5-88-182-30-67.fbx.proxad.net QUIT :Ping timeout: 245 seconds < 1387243896 20065 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :sensible < 1387244240 29707 :nooodl!~nooodl@91.177.119.90 QUIT :Ping timeout: 265 seconds < 1387244492 32739 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: lol now your library is Elegant™ < 1387244515 307713 :muskrat!musk@dyn2-212-50-133-4.psoas.suomi.net JOIN :#esoteric < 1387244673 867587 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(fwiw I just quoted someone replying to PLT_Hulk) < 1387244696 143949 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: the thing about stack pointer reminds me of the (admittedly less extreme) hack where Linux puts a task-specific data structure at the end of the 8 kB aligned kernel stack, so you can get its address by masking the stack pointer < 1387244714 673146 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :huh, sneaky < 1387244722 144322 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so it's like athread local storage type thing with stacks? < 1387244729 679328 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :very useful in exploit code too! :3 < 1387244748 650028 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1387244767 122772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hooray for sneaky things < 1387244780 829234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does HackEgo have a database of sneaky things like lambdabot does < 1387244803 872483 :realz!~pinky@unaffiliated/realazthat QUIT :Ping timeout: 260 seconds < 1387244820 623861 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lol < 1387244822 929005 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's lambdabot's < 1387244828 412859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where sneaky < 1387244828 598660 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :dropFromEnd n xs = zipWith const xs (drop n xs) < 1387244830 112100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where sneaky2 < 1387244830 297689 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] < 1387244833 447128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and so on < 1387244874 32460 :realz!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1387244878 602432 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Sneaky? < 1387244905 844039 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is that dropFromEnd supposed to be broken or just clever? < 1387244920 465612 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> zip [1] [1,2] < 1387244921 837119 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(1,1)] < 1387244980 747932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clever hth < 1387245007 459663 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :> let xs = [1,2,3,4,5] in zipWith const xs (drop 2 xs) < 1387245008 849772 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,3] < 1387245017 983942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in particular, it's O(n) space where n is that variable < 1387245024 959036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think < 1387245028 660578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in particular it works on infinite lists < 1387245040 687444 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :> let xs = [71..] in zipWith const xs (drop 2 xs) < 1387245041 893097 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,... < 1387245113 843621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now someone can explain to me what the point of that lazyReverse is. < 1387245116 353587 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1387245123 980685 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :> let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in lazyReverse [17,2,39] < 1387245124 166611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It works on infinite lists. < 1387245125 495804 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [39,2,17] < 1387245129 557761 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :> let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in lazyReverse [17..] < 1387245134 496203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1387245148 429885 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :great. < 1387245150 981988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It gives you a cons cell in the result as soon as it sees a cons cell in the input. < 1387245161 504130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm well ok, as long as you don't look at the elements < 1387245165 926430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1387245191 212976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in length . take 5 $ lazyReverse [17..] < 1387245192 292534 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5 < 1387245566 748816 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1387245589 950807 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387245698 991814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/` < 1387245700 460492 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :exec bash -c "$1" < 1387245722 782381 :muskrat!musk@dyn2-212-50-133-4.psoas.suomi.net QUIT :Ping timeout: 264 seconds < 1387245744 582920 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :hm, psoas, is that just coincidence < 1387245767 943871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :saføui < 1387245772 751606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also a coincidence < 1387245785 32977 :Bike!~Glossina@71-222-63-213.ptld.qwest.net PRIVMSG #esoteric :dag < 1387245799 19072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :natt < 1387245861 776630 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :Ping timeout: 252 seconds < 1387245997 492279 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1387246483 999652 :realz!~pinky@unaffiliated/realazthat QUIT :Ping timeout: 252 seconds < 1387246527 48398 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1387246547 22279 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387247515 976497 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 260 seconds < 1387247799 862437 :Bike!~Glossina@71-222-63-213.ptld.qwest.net QUIT :Ping timeout: 260 seconds < 1387247853 181563 :ion!ion@heh.fi PRIVMSG #esoteric :Finished watching the Freeman’s Mind episodes released so far. ’Twas funneh. https://www.youtube.com/playlist?list=PL6PNZBb6b9LvDWpI-5CPYUxG1Rnm-vr9V < 1387247906 486488 :Bike!~Glossina@67-5-231-160.ptld.qwest.net JOIN :#esoteric < 1387249082 997775 :ion!ion@heh.fi PRIVMSG #esoteric :Not sure if real life or The Onion http://www.cbc.ca/thisisthat/blog/2013/12/11/man-emerges-from-bunker-14-years-after-y2k-scare/index.html < 1387249093 583445 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :satire < 1387249112 695922 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :that was easy. < 1387249113 433428 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :it's just fantasy < 1387249127 854267 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :`` ` ` ` echo asdf < 1387249129 209446 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file < 1387249134 969073 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hmm. < 1387249145 745394 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :so (reset (cons 1 (shift w (cons 5 (w '()))))) => (5 1) < 1387249165 549669 :ion!ion@heh.fi PRIVMSG #esoteric :Hehe, ok. < 1387249169 213574 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :should (reset (cons 1 (reset (shift k (k (shift w (cons 5 (w '())))))))) return (5 1) or (1 5) < 1387249180 2570 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :i'm afraid < 1387249184 609315 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :(not which does it, but which would you expect) < 1387249243 383631 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :is there some way to do this in cps instead @_@ < 1387249257 527852 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :not without making it worse < 1387249295 377857 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :well it's gibberish so it can't get worse < 1387249300 807333 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :i'm gonna guess (1 5) though < 1387249318 918213 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :any reason? < 1387249321 268079 :Sorella!~quildreen@oftn/member/Sorella QUIT :Remote host closed the connection < 1387249338 667978 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :because i'm imagining that the outer "reset" is totally ignored < 1387249369 926648 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :that is indeed how shift and reset work < 1387249376 325393 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1387249629 266991 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :is the (reset (cons 1 ...)) one like (let ((w (lambda (x) (cons 1 x)))) (cons 5 (w '())) < 1387249739 544956 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :pretty much < 1387249826 926778 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :the various delimiting operator differ in how they treat nesting < 1387249837 38645 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :so the latter one is like (cons 1 (let ((k (lambda (x) x))) (let ((w (lambda (x) (k x)))) (cons 5 (w '())))))? < 1387249900 884392 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :yes < 1387249923 855819 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :hm. < 1387250066 756441 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1387250177 965157 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Ping timeout: 250 seconds < 1387250216 380594 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :if nested shifts referred to nesting resets it would be equivalent to (let ((w (lambda (a) (cons 1 (let ((k (lambda (b) b))) (k a)))))) (cons 5 (w '()))) < 1387250240 764865 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"Facebook is seeking an experienced Software Engineer to help us port the world’s best PHP run-time on servers based on ARM processor" < 1387250526 53256 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I'm not sure which regime is more pleasant to use < 1387250970 166243 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :quantum computation is whack < 1387250980 161926 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :quantum PHP < 1387250984 63261 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :YES < 1387251141 978357 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :and reset and shift are functions right < 1387251244 635333 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I don't know if they are called functions < 1387251295 891628 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :i mean, so you can do stuff like (map reset (list (lambda (f) (f (shift ...))) (lambda () (f (+ 1 (shift ...)))))))))))))))) and /we < 1387251334 677869 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :yes < 1387251342 95457 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I think < 1387251356 966648 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :what a pain in the ass. < 1387251363 473549 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric ::D < 1387251390 118781 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :implementing this sounds annoying. < 1387251404 914670 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I faked it with macros < 1387251418 139085 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :expanding to call/cc? < 1387251437 627090 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :no, just code transformation < 1387251460 879328 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :it doesn't allow me to hide the resets in a function though < 1387251474 423769 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :how do you deal with (reset (list #1=(shift k ...) #1#)) < 1387251491 525795 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :lets find out < 1387251617 231237 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT : < 1387251680 219334 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :just fine < 1387251699 491281 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lol infinitely large programs < 1387251704 369678 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :(reset (list #1=(shift k (list 1 (k 3))) #1#)) -> (1 (1 (3 3))) < 1387251706 433910 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387251753 883943 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :shouldn't hte list be symmetrical? < 1387251795 561169 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :nope, juxtaposition turns into nesting, within a reset < 1387251878 830021 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :so that's what you get from (reset (list (shift a (list 1 (a 3))) (shift b (list 1 (b 3)))))? < 1387251895 833950 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :yes < 1387251919 183616 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I think the reader makes removes the cycle when it reads it < 1387251932 948326 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :s/makes/ < 1387252037 312868 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :yeah i don't get this at all. it depends on evaluation order now? < 1387252080 993719 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :the wikipedia page actually explains this one well < 1387252091 261687 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Delimited_continuation < 1387252131 333537 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :regular continuations expose evaluation order too < 1387252152 175609 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :doesthiswork: where? < 1387252154 92512 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :kmc: they do? < 1387252158 637523 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(let/cc k (+ (k 0) (k 1))) < 1387252167 722323 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :oh well right. < 1387252176 354174 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :i thought delimited continuations didn't, though. < 1387252220 902499 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :props on choosing let/cc < 1387252237 836694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :delimited continuations are even _less_ pure < 1387252258 182757 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :bike start reading at "(reset < 1387252258 516570 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric : (begin < 1387252258 705466 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric : (shift k (cons 1 (k (void)))) ;; (1) < 1387252258 705625 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric : null)) < 1387252262 609223 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :thanks Bike < 1387252276 961149 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :doesthiswork: begin has a particular evaluation order, thugh < 1387252278 810698 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :though* < 1387252286 200678 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :oerjan: but they're more composable! < 1387252294 613863 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: how so? < 1387252308 719332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: you can simulate state with them < 1387252367 542727 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :like using them for yield? < 1387252391 139671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't actually know how it works, i just read you can < 1387252406 2356 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think you can do that with normal continuations too < 1387252423 145769 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :fuck this im goin back to pron < 1387252430 280406 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :goin back to prawns < 1387252432 979221 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can implement coroutines right < 1387252445 446526 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1387252447 611816 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and you can implement a ref cell with a thread and that works even in cooperative threading < 1387252451 100874 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :you need mutable variables to simulated delimited continuations with only undelimited ones < 1387252482 710825 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :bike: list doesn't have an evaluation order? < 1387252529 442118 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :not in scheme? < 1387252552 253102 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I'm in cl < 1387252563 886119 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :well what ever nerd < 1387252577 426496 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :list is a function and so has unspec. eval order in scheme < 1387252618 324165 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :what would be the point of faking delimited continuations in scheme. Someone else has already implemented them < 1387252653 540226 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :because it's a scheme tradition to implement everything a hundred times < 1387252693 901129 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I suppose it is, they sound like forth-ers in that way. < 1387252766 580856 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :the nice thing about faking with macros is I can see the intermediate steps < 1387252962 546893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh i forgot to turn off the quick heating mode again < 1387252981 982565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION cannot even get heating frozen pizza right :P
< 1387253034 848969 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 PRIVMSG #esoteric :
ACTION can cook
< 1387253040 155419 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 PRIVMSG #esoteric :
ACTION is also eating PB&J.
< 1387253288 250388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fortunately it only makes it a bit too charred < 1387253291 174609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but still < 1387253330 294383 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nooooooooooooooooooo < 1387253354 764296 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :wow, you really like pizza < 1387253357 910374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: you really hate charred pizza? < 1387253414 239735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(only on the edge) < 1387253427 950695 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i really hate that i can't solve this stupid problem < 1387253448 267211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is it still the git problem < 1387253510 789978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesthiswork: actually i only eat it once a month or so < 1387253559 6240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just seem to mention it here, every time. < 1387253807 275403 :glogbackup!~glogbacku@192.3.160.190 JOIN :#esoteric < 1387253850 782266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!logs < 1387253948 705892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask Gregor why do you let poor glogbackup outright lie (twice!) in its !logs message < 1387253948 894659 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387253963 225073 :Bike!~Glossina@67-5-231-160.ptld.qwest.net PRIVMSG #esoteric :!logs < 1387254214 881667 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387254311 977856 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 250 seconds < 1387254471 566872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman Navier-Stokes sounds sciency <-- https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness < 1387254471 755930 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387254632 109503 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : huh, i didn't know hamilton tried to make 3ions for path finding <-- do you have some link about this? < 1387254700 129848 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i'm looking for a program that can be proved nonterminating in higher-order logics, but not in ZF/FOL < 1387254729 946600 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :finding one that is terminating and can't be proved so is easy, but the nonterminating one is killing me < 1387254751 758894 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(i say easy because there's a wikipedia article telling how to do it) < 1387254759 446971 :Bike!~Glossina@67-5-231-160.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1387254816 569783 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :biiiiiiiiiike < 1387254850 365588 :oklopol!~oklopol@ALyon-157-1-164-141.w109-213.abo.wanadoo.fr QUIT :Ping timeout: 245 seconds < 1387254873 859804 :Bike!~Glossina@67-5-224-250.ptld.qwest.net JOIN :#esoteric < 1387254951 218566 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :biiiiiiiiiike < 1387254960 176168 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :get a bouncer or a reliable server < 1387254967 442581 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : huh, i didn't know hamilton tried to make 3ions for path finding <-- do you have some link about this? < 1387255010 558082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: searching for an inconsistency in ZF/FOL should do the trick. < 1387255022 286168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(by gödel's second incompleteness theorem) < 1387255038 628765 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe main has the wrong type < 1387255047 764622 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe it should be main :: CompileTimeIO (IO ()) < 1387255065 570393 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :CompileTimeIO being IO enriched with metaprogramming stuff, perhaps < 1387255070 849850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: assuming your higher-order logic proves ZF/FOL consistent, that is. < 1387255100 430990 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: so does that mean searching for a proof that ZF is consistent? < 1387255141 623272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: by checking all proofs to see if they prove it < 1387255174 262828 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :kmc: http://en.wikipedia.org/wiki/Icosian_calculus < 1387255199 901910 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice, thx < 1387255202 798307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: no. searching for a proof it _isn't_. < 1387255242 142254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: or to be precise, enumerating all theorems of ZF/FOL and halting once you find a contradiction. < 1387255267 540171 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :though i think i might have gotten the order backwards. < 1387255296 419968 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: ah. because there are no contradictions, but ZF doesn't know that. got it. < 1387255302 262038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1387255344 386951 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1387255350 908132 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Triangle_group#Hyperbolic_plane pretty < 1387255378 449264 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387255503 79020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: check out this page then https://en.wikipedia.org/wiki/Uniform_tilings_in_hyperbolic_plane < 1387255533 2465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(discussed here previously iirc) < 1387255620 437533 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1387255984 952063 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387256155 139808 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: okay check my latest update on Onoz and make sure i did it right plox kthx < 1387256275 662824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1387256305 235578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am coincidenaltiay on the page < 1387256391 472160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: i don't you can check whether something is a valid godel number of a theorem. < 1387256414 34308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what you need to do is check whether something is a valid godel number of a _proof_. < 1387256435 290687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and whether that proof then ends in a contradiction. < 1387256458 490560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*i don't think < 1387256502 647008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose that's a bit simpler than what i said above < 1387256546 873268 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :more pretty! < 1387256586 578993 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh okay so i could just let S be the program that checks the nth number and whether the result of that proof is that true=false? < 1387256599 406538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah that would be enough < 1387256615 506282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um except hm < 1387256677 250646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the outer loop gives S every number n in order as long as a contradiction isn't found, right? < 1387256721 239147 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1387256745 717549 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the outer loop also prints 1 < 1387256893 483589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i think the idea is sound as written now. < 1387257372 946999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> compare <$> [(0/0),0] <*> [(0/0),0] < 1387257374 263922 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [GT,GT,GT,EQ] < 1387257424 9904 :glogbackup!~glogbacku@192.3.160.190 QUIT :Read error: No route to host < 1387257658 554863 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i feel like we shouldn't have to tag Uncomputable languages as Unimplemented. Uncomputable should be a subcategory of Unimplemented or something. < 1387257669 371845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1387257672 30359 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1387257682 535950 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :that sounds like a challenge < 1387257703 761450 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387257730 647847 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: okay. i'll give you a million dollars for a working implementation of any uncomputable language. :D < 1387257962 765719 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1387258485 22465 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1387258512 956371 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1387258513 442067 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1387258519 380014 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1387259376 423634 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which user was it that put a table of bf interpreter speeds on various problems on their user page? < 1387259420 953809 :oklopol!~oklopol@ALyon-157-1-164-141.w109-213.abo.wanadoo.fr JOIN :#esoteric < 1387259950 574635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://esolangs.org/wiki/User:Rdebath#Performance_Matrix < 1387259958 530884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: ^ < 1387260224 634655 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: i was thinking of david_werecat's bfbench < 1387260236 832888 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :wow, what is that? < 1387260252 74919 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but this one looks more complete < 1387260340 778344 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :what is bcci in the top row? < 1387260386 850692 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :bcci seems to perform extraordinally in some tests and horribly in others < 1387260491 623038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://esolangs.org/wiki/Talk:Brainfuck#Interpreter.2Fcompiler_speed_test < 1387260517 482855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"bcci: written to enforce the very strict portability rules of the BCC (a contest), and compute scores. " < 1387260549 997533 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :http://www.hevanet.com/cristofd/brainfuck/bcci.c got it. < 1387260606 598235 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :urgh, is sprunge still down < 1387260617 140396 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I always wanted to rewrite esotope-bfc for new decades ;) < 1387260643 491529 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :yes. shit. < 1387260644 768884 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(and f*ck the python, python really is not a language for writing PL implementations) < 1387260760 970738 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :quintopia: http://pastebin.com/PEpjaJRv that was fun. < 1387260940 293306 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah. pastie was slightly less annoying ime < 1387261135 960608 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: please demonstrate that this implementation works by using it to decide some uncomputable problem < 1387261158 614334 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :psh, what do you take me for? an engineer? i ain't need no tests. < 1387261210 426417 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :if you really wanted you could try a few programs. anything in brainfuck, for example. < 1387261237 372846 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay i've got one to test < 1387261264 774415 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :please point me to a CLooP interpreter so that i may test it < 1387261307 685374 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :do i gotta do everything < 1387261334 163740 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(also you should post it on the wiki if you haven't already. nice program.) < 1387261359 705865 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i guess i oughta get around to making an account some time < 1387261403 275541 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :... < 1387261407 455872 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :what? < 1387261420 834552 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you just surprised me there < 1387261431 93773 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i figured you had an account < 1387261439 694200 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :nope. i'm a parasite on this channel. < 1387261482 89157 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :@ask ais523 just tested out your account creation question thing. it asked me when Somnypna was created and i said Homfrog and got rejected. < 1387261482 314437 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387261548 494302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1387261687 989109 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :urgh, how do you do code blocks < 1387261778 856771 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1387261806 47527 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :there. < 1387261844 226119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Code::Blocks. < 1387261965 723751 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm. why is it that pforeach(infinity) is uncomputable? it seems like it should be possible to have an unbounded number of threads executing concurrently. indeed, executing the first thread on odd cycles, the second on 2 mod 4 cycles, the third on 4 mod 8 cycles, etc. should ensure that every natural numbered thread gets executed an unbounded number of times... < 1387261989 517151 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or do i misunderstand something < 1387261991 177796 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :it mentions it takes finite time. < 1387262019 799949 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :the language seems maybe 80% baked at best. i just picked the first one in the uncomputable category that looked good. < 1387262023 20875 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387262058 343684 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah but if you picked one that was mislabelled... < 1387262067 463846 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then your implementation is broken < 1387262085 852841 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but i guess the finite time thing < 1387262121 502495 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i shall define DLooP, "like CLooP but works" < 1387262138 825909 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1387262171 512873 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i made a mistake anyway. < 1387262204 872749 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i think the spec is borked. it doesn't say in the description of pforeach it finishes in finite time no matter what. it just says later it inherently does infinite work in finite time < 1387262214 316487 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :yeah. < 1387262217 184900 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i was going off that. < 1387262226 256547 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :seemed to be the intent since they put it under uncomputable. < 1387262232 514921 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well maybe we should just edit the page < 1387262266 405718 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :to indicate that pforeach is guaranteed to take no longer than a constant times any one thread it is executing < 1387262290 520263 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then it will be able to do nondeterminstic computation in hyper mode < 1387262327 125630 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :how about "if the block would halt for any value of the loop variable, the pforeach as a whole will halt." < 1387262334 823311 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :for all values*, rather < 1387262358 561005 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :in the range? probably specify that it just has to be values in the range < 1387262386 722827 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's equivalent to my version, so whatever you like < 1387262399 341272 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i ain't editing it, i already dida ll this work < 1387262413 24407 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :and i'm depressed since this means i have less excuse to sort out my own ideas enough to put them on the wiki < 1387262501 935579 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i think i will have to make it graphical and that means mspaint < 1387262533 302757 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you mean less excuse not to? < 1387262538 15096 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or more excuse to? < 1387262564 917992 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :less excuse not to, yeah < 1387262640 603154 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then you shouldn't be depressed < 1387262644 270287 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you should be excited < 1387262663 266814 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :i'm a bike. i'm incapable of feeling any emotion, let alone excitement. < 1387262685 543733 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you are capable of feeling motion < 1387262691 772278 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fast motion! < 1387262698 766126 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :excitement is not a motion < 1387262699 194725 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are you the town bike? < 1387262725 792853 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :yes, the demographics are very skewed towards sapient colors and dryer sheets in this town < 1387262747 806365 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so you give everyone a ride for free? < 1387262758 438504 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :if they're polite about it and i'm not busy < 1387262775 92529 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow. such kind. < 1387262785 932496 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :damn straight < 1387262796 584701 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :still < 1387262804 198158 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you don't need mspaint < 1387262810 388678 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why do you need graphics < 1387262844 778235 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :because the language i'm thinking of would probably be easiest to hammer out as schematics rather than something text-based. < 1387262856 359533 :oklopol!~oklopol@ALyon-157-1-164-141.w109-213.abo.wanadoo.fr QUIT :Remote host closed the connection < 1387262868 788327 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you could use unicode boxes. i hear that's the cool thing now. < 1387262903 63341 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Quit: Leaving < 1387263051 830925 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm thinking of making a program which is like mspaint but with unicode < 1387263067 680259 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fun, right < 1387263080 515503 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :wlel i don't have mspaint anyway. this is linux. < 1387264434 903288 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh look someone has made something similar already < 1387264437 875686 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :http://www.jave.de/ < 1387264450 633938 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i can just steal their code and port it < 1387265388 305628 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1387265611 496501 :CADD!~CADD@12.227.104.109 QUIT :Read error: Connection reset by peer < 1387265781 213375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah, JavE. Truu ANSI artists do it in ACiDDraw. < 1387265793 21595 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or maybe that's "trü". < 1387266063 539039 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot sp. < 1387266063 764138 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: what have you. you have to < 1387266186 3734 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: agaricales sensu lato < 1387266186 309592 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: does it true? how could a glass be yelling??? fnord < 1387266214 474343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you shouldn't feed fungot those agaricales hth < 1387266214 716976 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: be without brainfuck code running functionality? < 1387266249 652618 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :so, should i take Category:Unimplemented off of Brainhype < 1387266351 524734 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: why not feed fungus to the fungot < 1387266351 812029 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: still a chance work visa won't go through but it's looking like a lot of languages < 1387266427 743239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: because e's high enough already < 1387266449 89366 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you just assume the mushrooms i have are hallucinogenic < 1387266454 480791 :Bike!~Glossina@67-5-224-250.ptld.qwest.net PRIVMSG #esoteric :fungot agaric < 1387266454 667862 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bike: there must be another one? lol < 1387266455 634793 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's like i have a reputation or something < 1387266468 310652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1387266504 431070 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :we planted a bed of wine caps (Stropharia rugosoannulata) in the backyard today < 1387266513 826527 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :might bear fruits in 4 or 5 months < 1387267208 765033 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387267233 197027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure wine bottles don't work that way < 1387267294 626409 :impomatic!~digital_w@87.112.7.205 JOIN :#esoteric < 1387267501 213630 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1387267687 512391 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Read error: Connection reset by peer < 1387268166 341705 :Taneb!~Taneb@host-92-23-123-235.as13285.net JOIN :#esoteric < 1387268393 67495 :ion!ion@heh.fi PRIVMSG #esoteric :Pro tip: don’t force a rubber bottle cap in if it’s difficult to get out. < 1387268423 703121 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387268848 702224 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be JOIN :#esoteric < 1387268874 611348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GOT IT < 1387269483 140769 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1387270571 318008 :atriq!~LordAro@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1387270591 301920 :Taneb!~Taneb@host-92-23-123-235.as13285.net QUIT :Quit: Leaving < 1387270593 280142 :atriq!~LordAro@runciman.default.hacksoc.uk0.bigv.io NICK :Taneb < 1387271144 63936 :doesthiswork!~Adium@98.145.118.186 QUIT :Quit: Leaving. < 1387272172 404210 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387272268 59472 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1387273395 110092 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 QUIT :Ping timeout: 245 seconds < 1387274217 139641 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 JOIN :#esoteric < 1387274248 221100 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Read error: Connection reset by peer < 1387274273 463861 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387274563 960586 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 QUIT :Ping timeout: 243 seconds < 1387274767 310402 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1387274953 28628 :pikhq!~pikhq@2602:100:4751:9692:a60:6eff:fece:493 JOIN :#esoteric < 1387275255 456795 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Ping timeout: 246 seconds < 1387276037 818613 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 248 seconds < 1387278380 6404 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387278458 407130 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 245 seconds < 1387278785 791956 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1387279115 29953 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387279156 96208 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 260 seconds < 1387279494 176715 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1387280644 705409 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387281268 365521 :nooodl!~nooodl@91.177.119.90 JOIN :#esoteric < 1387281905 485252 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Read error: Connection timed out < 1387281971 460009 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387282710 471900 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Ping timeout: 246 seconds < 1387283256 761542 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1387283265 383099 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1387283266 944463 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1387285106 963238 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us JOIN :#esoteric < 1387285442 758362 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1387285476 757548 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1387285504 943864 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good redactyled morning! < 1387286013 149874 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1387286983 719376 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1387287220 477324 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what < 1387287228 88376 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is metasepia up to today < 1387287268 385896 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :eh? < 1387287276 274755 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :metasepia is the same as ever. < 1387287386 373216 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what are you up to today < 1387287402 487417 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :pythoning? < 1387287631 7596 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :pythoning, xmling, javascripting, gitting, teaeing... < 1387287658 945481 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :also, not freezing my fungots off. it's cold outside. < 1387287659 134484 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: although i think exists? and suppose it doesnt use and as operators right? < 1387287659 134645 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar CYUL < 1387287660 228742 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :CYUL 171335Z 02007KT 4SM HZ FEW004 FEW090 SCT240 M20/M23 A3022 RMK SF1AC1CI2 SF TR SLP238 < 1387287690 214720 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i saw the weather reports for your southerly neighbor's frozen northern bits < 1387287693 441060 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it looks awful < 1387287764 87943 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar KBGR < 1387287768 782150 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :KBGR 171253Z 00000KT 10SM CLR M24/M27 A3030 RMK AO2 SLP267 T12441272 < 1387287780 157899 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :eeeek. it's even frozenier in Maine. < 1387287792 972894 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387287895 419790 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :vurrah cold < 1387287917 254420 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar KMHT < 1387287920 256530 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is teae < 1387287927 626302 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :KMHT 171253Z 03005KT 10SM FEW200 FEW250 M18/M22 A3024 RMK AO2 SLP264 T11781217 < 1387287959 645198 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's only tea. I couldn't resist the Appeal of stringing vowels together. < 1387287979 556070 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :teaeaeaeaeaeaing < 1387288023 190323 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :teæ+ing. < 1387288028 476828 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar KBVT < 1387288029 353510 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- Station not found! < 1387288032 171751 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :uh? < 1387288037 796440 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar KBTV < 1387288038 408075 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :KBTV 171254Z 09004KT 10SM FEW120 M22/M24 A3022 RMK AO2 SLP242 T12171244 < 1387288057 285196 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :better < 1387288222 684529 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar EFHK < 1387288226 18799 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EFHK 171320Z 24007KT 9999 FEW014 BKN150 03/01 Q1009 NOSIG < 1387288226 645708 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whereas here... < 1387288256 463277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No snow for this christmas season. < 1387288291 199936 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wow < 1387288329 242554 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :we had a 30 cm snowstorm last Sunday. the City expects it to be shovelled away by next Monday. < 1387288518 142423 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :On average one out of three christmases are snowless in Helsinki. < 1387288524 161761 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Of course this is the south end of Finland. < 1387288535 625890 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar EFRO < 1387288549 53453 :hogeyui_!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 264 seconds < 1387288562 781476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :metasepia: Well be like that then, see if I care! < 1387288567 559778 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EFRO 171350Z AUTO 23011KT CAVOK M04/M04 Q0996 < 1387288582 693322 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Thank you. < 1387288600 285277 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm no better at reading those things < 1387288610 710161 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i guess the KT part is temp < 1387288626 48997 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The M04/M04 part is. < 1387288637 99987 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :min and max? < 1387288642 219266 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Temperature and dew point; with M for a minus sign. < 1387288658 70625 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :23011KT means a wind of 11 knots from direction 230. < 1387288671 951162 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1387288674 82407 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1387288760 850855 :hogeyui_!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1387288831 911420 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the Q/A part is barometric pressure, with Q denoting some sensible metric unit (millibar?) and A something inch-based. < 1387288833 540882 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 25.0.1/20131112160018] < 1387288856 116387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :inHg, maybe. < 1387288972 515590 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Annnn is inHg, with pressure calibrated for airfield altitude. < 1387288973 391661 :muskrat_!musk@dyn2-85-23-163-110.psoas.suomi.net JOIN :#esoteric < 1387288990 747556 :muskrat_!musk@dyn2-85-23-163-110.psoas.suomi.net NICK :muskrat < 1387288991 788277 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Qnnnn is pressure in hPa, with pressure calibrated for mean sea level. < 1387289015 454237 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :SLPnnn is also in hPa, but with the first digit chopped of, and a precision of daPa. < 1387289073 543045 :muskrat!musk@dyn2-85-23-163-110.psoas.suomi.net QUIT :Client Quit < 1387289504 266389 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Snow depth at EFHK at christmas eve: 2009 30 cm, 2010 40 cm, 2011 0 cm, 2012 55 cm, 2013 most likely 0. < 1387289522 703947 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387289620 8749 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 250 seconds < 1387289775 439898 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1387289790 994105 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387289815 594774 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm going to fall asleep in my chair < 1387290134 726831 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION gently mapoles quintopia to keep him awake.
< 1387291275 756575 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1387291737 864695 :mrhmouse!~jordan.br@firewall1.photobooks.com JOIN :#esoteric < 1387292140 338646 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387292246 44093 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 250 seconds < 1387292934 452608 :muskrat!musk@dyn2-85-23-163-110.psoas.suomi.net JOIN :#esoteric < 1387293258 151626 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387293456 643507 :muskrat!musk@dyn2-85-23-163-110.psoas.suomi.net QUIT :Quit: Leaving < 1387294008 444700 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 245 seconds < 1387294136 56789 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us QUIT :Ping timeout: 260 seconds < 1387294291 392191 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i'm gonna get a passport at least < 1387294298 247385 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1387294382 347034 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: oh! will you visit Canada? < 1387294484 349333 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1387294521 926551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : I've only done minimal testing on this, so don't use it to fly airplanes (in fact, please don't use /any/ Sudoku player to fly airplanes) < 1387294548 662629 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@ask Bike were you expecting that to be the correct answer? < 1387294548 868453 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387294871 695494 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de JOIN :#esoteric < 1387295327 543440 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome taylanub < 1387295332 700773 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​09taylanub: 02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06irc.dal.net.) < 1387295389 621638 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :Dark blue text on black background isn't very nice. < 1387295415 329106 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`welcome taylanub < 1387295417 437702 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :taylanub: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1387296079 808922 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :INTERCAL is really great < 1387296125 15647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have a ping set on INTERCAL < 1387296129 996207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, it comes up in here more than in other channels < 1387296136 234936 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but when it comes up elsewhere, I want to be notified < 1387296148 157068 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :But it seems like 90% of esolangs are brainfuck clones. And maybe unlambda. < 1387296160 600869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's sadly a mostly accurate description < 1387296160 806957 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :Are there any actually interesting ones ?.. < 1387296164 521696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, they're just hard to find < 1387296167 670865 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my best is http://esolangs.org/wiki/Underload < 1387296172 221573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is not a brainfuck clone at all < 1387296182 783042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are other interesting languages by other people < 1387296208 766026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can even find interesting brainfuck derivatives if you look hard enough, such as http://esolangs.org/wiki/BF_Joust or http://esolangs.org/wiki/Paintfuck < 1387296215 365998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they're much rarer than the uninteresting ones < 1387296231 999956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's that new language by Keymaker? I really like that one < 1387296249 884012 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1387296268 626837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, Etre < 1387296467 928821 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :ais523: Oh shit .. Underload basically coalesces data and program ? < 1387296478 392371 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :taylanub: yes < 1387296488 889384 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :Neat < 1387296505 805813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the most practical ways of storing data are as program fragments < 1387296812 997933 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us JOIN :#esoteric < 1387297154 604762 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I like the ambiguity in the name "LinearInterpol" < 1387297165 919743 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is it a truncated form of "linear interpolation"? < 1387297182 741769 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or is it a form of international police who have can only use each datum of information they're given exactly once? < 1387297185 322279 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*who can < 1387297222 129483 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us PRIVMSG #esoteric :lol. < 1387297234 401048 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us PRIVMSG #esoteric :ais523: that's the beauty of it! < 1387297246 634977 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, I said I liked it < 1387297270 317923 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've been assuming the latter, FWIW. < 1387297353 987472 :doesthiswork!~Adium@98.145.118.186 JOIN :#esoteric < 1387297363 122605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Perhaps it's some kind of an ad-hoc linguistic interpretation experiment.) < 1387297382 176155 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: but you work in linguistics, so you would assume that < 1387297395 597675 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas I went to a bounded linear logic conference recently < 1387297404 523778 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION gives LinearInterpol a bounded exponential comonad
< 1387297443 36756 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :it's also an anagram of "I, Patroller Nine".. perhaps your police idea has some weight < 1387297526 832059 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 264 seconds < 1387297722 539708 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :less formally, linear interpol may have a one-track mind. < 1387297765 637049 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us PRIVMSG #esoteric :I lack depth. < 1387297829 72566 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1387297843 699451 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387297897 700565 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :hola < 1387298040 718687 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1387298061 26906 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1387298557 205348 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: i'll only come to canada if it's not the french part :D < 1387298602 21658 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us QUIT :Ping timeout: 252 seconds < 1387298642 739934 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@tell CADD http://mroman.ch/VA/ <- the documentation of our emulator thingy < 1387298642 961336 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387298648 227234 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think he was called CADD < 1387298674 974085 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :emulator thingy eh < 1387298825 908949 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :si < 1387298833 778439 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It is called emulathor < 1387298868 684526 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome nanii < 1387298871 89214 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​06nanii: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04irc.dal.net.) < 1387298877 263231 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? welcome.es < 1387298879 117330 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) < 1387298889 911395 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :*------------* < 1387298898 874090 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :@tell lambdabot tell lambdabot tell doesthiswork hi < 1387298899 80451 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Nice try ;) < 1387298908 776915 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: la partie française est la plus mieux meilleure partie du Canada :P < 1387298930 790096 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :hola soy de venezuela *--* < 1387298969 794565 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: if you say so < 1387298976 991247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no hablamos espanol < 1387298979 470199 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ayay < 1387298993 405601 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That leaves the question < 1387298999 332135 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :quien hable espanol < 1387299038 571454 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you need a couple of question marks to ask that < 1387299053 373516 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nanii: hablo un poquito de español. ¿habla usted francés? < 1387299063 183056 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :yo no hablo ingles < 1387299113 426767 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :boily no frances no pero creo que puedo hacer algo < 1387299165 132309 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nanii: ¿ha visitado el wiki? < 1387299165 442100 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah < 1387299176 940195 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You need even some *** up inversed question marks < 1387299178 80714 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :noo :( < 1387299181 196629 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Just to screw with your mind. < 1387299195 431872 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Although I can see how they are useful < 1387299207 963959 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You immediately know that there's a question. < 1387299236 750022 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mroman: not only that, but you can wrap the part of the sentence that is actually a question. same thing with ¡!. < 1387299246 613073 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah < 1387299256 748789 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Then explain why is there no inversed dot? < 1387299263 554825 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :;) < 1387299278 191329 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION twitches... “urge to mapole mroman rising”
< 1387299296 397331 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :coincidally I had an oral spanish exam today < 1387299302 149475 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I barely passed < 1387299304 113691 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I passed < 1387299316 544450 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or is that incidally < 1387299337 420238 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :only if you reverse the direction of the morphism between you and the exam. < 1387299348 426801 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :coincidentally < 1387299423 164297 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily: Which wouldn't matter if they're homomorphisms < 1387299447 560579 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :˙ < 1387299451 878633 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1387299477 573808 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :In English every odd number contains an `e'. < 1387299479 424206 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :cute < 1387299507 955348 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :in English, every x, y s.t. |x - y| = 1, share a letter. < 1387299550 657803 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1387299555 156863 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*isomorphisms < 1387299561 980840 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :boily: :D < 1387299569 666049 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Well most numbers contain an e already < 1387299575 106203 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :There's like < 1387299579 724089 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :six. < 1387299581 688187 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :epaa < 1387299582 664905 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :http://oeis.org/A006933 < 1387299586 389956 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :four, six < 1387299590 670175 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :That's about it < 1387299592 681937 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :That do not < 1387299593 259210 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nooodl: ¿qué es un "epaa"? < 1387299608 232937 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :(thanks oeis. jesus.) < 1387299617 667012 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Slereah_: two. a million. < 1387299626 178329 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Do you mean < 1387299630 289322 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :MEELEEON < 1387299634 89609 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :one million < 1387299636 957715 :nanii!~canaima@186.89.79.187 PRIVMSG #esoteric :pues como un hola :D < 1387299662 801358 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :So it's not *too* surprising that those two things are true < 1387299681 154829 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :I mean, you only have to do three special cases to check them < 1387299744 736240 :ion!ion@heh.fi PRIVMSG #esoteric :kakka rules http://en.wikipedia.org/wiki/Caganer < 1387299745 432292 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :isomorphisms remind me that I should continue with this category theorey book < 1387299757 647954 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :> ord 'F' < 1387299758 790054 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 70 < 1387299773 307086 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nooodl: two million then, still no 'e'. < 1387299781 106025 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1387299786 938781 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://mroman.ch/beweise/cat.pdf <- isomorhpisms is where I got stuck apparentely < 1387299929 992491 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :2.1 < 1387299930 236342 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :3.10 < 1387299961 218268 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably the number IN the book < 1387299989 388622 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300038 80768 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387300045 984584 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300105 130675 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387300113 677575 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300115 3259 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387300126 922913 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300128 438301 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387300131 408534 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300297 204478 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387300310 443672 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1387300381 418791 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :What's that thing which means that defining notNull = not . null isn't worth it? < 1387300389 524689 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Something like the Fairfax constant? < 1387300512 17789 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :common sense? < 1387300529 910461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the second word was "threshold" but I can't recall the name. < 1387300586 823139 :Bike!~Glossina@67-5-224-250.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1387300601 574025 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387300671 776158 :Bike!~Glossina@216-161-93-209.ptld.qwest.net JOIN :#esoteric < 1387300673 968112 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t null < 1387300674 813273 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[a] -> Bool < 1387300691 819406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess that's checking to see if the list is empty? < 1387300701 126597 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1387300705 205685 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :The Threshold of Bel Air < 1387300707 898255 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :https://31.media.tumblr.com/3f8a2af848fd54d90f58d4367eee0b7f/tumblr_mxrzs6RsbT1sgh0voo1_500.png it was absolutely useless. thanks < 1387300722 987315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, if you had a strict language with side effects, it'd be possible to define that over arbitrary functors < 1387300740 272433 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :ais523: yes, because i wasn't sure about capital letters and the space in the real name < 1387300741 703269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :by using fmap with a function with a side effect, then checking to see if that function had run at all < 1387300747 328595 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :star-tut. hmm. < 1387300784 317477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think it generalizes to functors in general if the language is pure or lazy, though < 1387300798 572328 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :134%. good jub. < 1387300856 426090 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: right. Foldable is the right abstraction here, I think. null = fold (\_ _ -> False) True < 1387300859 958768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(if it's lazy, there's nothing implying that it's even possible to force the functors in order to make the functions run; if it's pure, then you need to know about the structure of the functor to have any way to observe the behaviour of your function) < 1387300950 541674 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(where fold is one of foldr or foldl, not the monoid foundational one from the type class) < 1387300991 213991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does it have to be r/l? < 1387300994 867672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about a symmetric fold? < 1387300997 543570 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or binary tree fold? < 1387301015 859365 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fold :: Data.Monoid.Monoid m => t m -> m allows all of those < 1387301048 202619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hola soy de venezuela *--* <-- why is it always venezuela < 1387301108 448133 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :well, it's pretty big. < 1387301141 34189 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric ::t fold < 1387301142 47521 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Foldable t, Monoid m) => t m -> m < 1387301158 673002 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :> fold [3,7,19] < 1387301159 906745 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Monoid.Monoid a0) < 1387301160 113270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `e_13719' < 1387301160 113445 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `a0' is ambiguous < 1387301160 113541 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1387301160 113635 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1387301166 690302 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type (\(Endo g) -> g b) . fold . (map (Endo . f)) < 1387301167 558364 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Show a => [a] -> Expr < 1387301183 826051 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type \f b -> (\(Endo g) -> g b) . fold . (map (Endo . f)) < 1387301184 668344 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> c -> c) -> c -> [a] -> c < 1387301193 646116 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that should be foldr. < 1387301212 934607 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :> fold "Somebody once told me the world is gonna roll me" < 1387301213 976220 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Monoid.Monoid GHC.Types.Char) < 1387301214 182814 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of `Data.Foldable.fold' < 1387301214 182972 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: < 1387301214 183067 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : add an instance declaration for (Data.Monoid.Monoid GHC.Types.Char) < 1387301254 810137 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and foldl is essentially the same with a 'Dual' thrown into the mix) < 1387301284 580835 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fold $ map Sum [1..10] < 1387301285 744757 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sum {getSum = 55} < 1387301298 792632 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fold $ map Product [1..10] < 1387301299 944477 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Product {getProduct = 3628800} < 1387301345 934798 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> getDual . fold . map Dual $ [[1,2],[3,4],[5,6,7,8]] < 1387301347 68264 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [5,6,7,8,3,4,1,2] < 1387301384 524246 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :('fold' on lists of lists is just 'concat') < 1387301449 633171 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..10]] < 1387301450 758484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:52: parse error on input `]' < 1387301451 148735 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..10] < 1387301452 338868 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 55 < 1387301487 275317 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> ($ 0) . appEndo . fold . map (Endo . (-)) $ [1..10] < 1387301488 3414 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -5 < 1387301499 11500 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> ($ 0) . appEndo . getDual . fold . map (Dual . Endo . (-)) $ [1..10] < 1387301500 210439 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5 < 1387301503 147092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: psst there's foldMap < 1387301612 551929 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder why. It saves what, 3 characters? < 1387301632 185616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think it's a method < 1387301642 523824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it might also save efficiency < 1387301671 197936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ideally you would want null defined so that it short circuits no matter what way the data structure is folded. < 1387301694 2794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think this can be done with a valid Monoid instance, although you can easily use a broken one < 1387301702 437048 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> expr . ($ 0) . appEndo . getDual . fold . map (Dual . Endo . (+)) $ [1..6] < 1387301703 926109 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 6 + (5 + (4 + (3 + (2 + (1 + 0))))) < 1387301717 981252 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> expr . ($ 0) . appEndo . getDual . fold . map (Dual . Endo . flip (+)) $ [1..6] < 1387301719 140240 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 + 1 + 2 + 3 + 4 + 5 + 6 < 1387301731 979199 :Bike!~Glossina@216-161-93-209.ptld.qwest.net QUIT :Quit: Reconnecting < 1387301734 242577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> expr . ($ 0) . appEndo . fold . map (Endo (+)) $ [1..6] < 1387301735 436276 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type `a0 < 1387301735 641130 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Data.Monoid.Endo Debug.SimpleReflect.Expr.E... < 1387301735 641294 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type `Data.Monoid.Endo a1' < 1387301741 431105 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> expr . ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..6] < 1387301742 580057 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 + (2 + (3 + (4 + (5 + (6 + 0))))) < 1387301745 926787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :instance Monoid Bool where mempty = True; mappend = const (const False) < 1387301765 204760 :Bike!~Glossina@216.161.93.209 JOIN :#esoteric < 1387301780 721818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :null = foldMap (const False) < 1387301793 59281 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok. so those are foldl and foldr (once you abstract from '0' and '(+)') < 1387301835 694938 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nah. < 1387301865 538754 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :null = getAny . foldMap (const (Any False)) < 1387301882 333045 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1387301902 170587 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :haha. I need getAll / All. That was stupid. < 1387301968 271289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: um Any won't work, the point is mappend should be entirely ignoring its arguments < 1387301991 468167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thus allowing perfect shortcutting regardless of order < 1387301998 142534 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> map (getAll . foldMap (\_ -> All False)) [[],[1]] < 1387301999 111795 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [True,False] < 1387302012 417928 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Bool has no Monoid instance. < 1387302024 679957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you didn't read what i wrote above < 1387302043 170117 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: true. < 1387302084 635619 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In any case, there is a good reason for having the newtype All instead. And the compiler should be smart enough to do the right thing *if* it unfolds the recursive 'foldMap' at all. < 1387302086 834213 :Bike!~Glossina@216.161.93.209 QUIT :Ping timeout: 240 seconds < 1387302091 278114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in any case, you _cannot_ do this with a valid Monoid instance, because it's inconsistent with the Monoid laws to have mappend = const (const x) for x not mempty < 1387302093 388856 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :@type isJust . getFirst . foldMap (First . Just) < 1387302094 212317 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Foldable t => t a -> Bool < 1387302118 839445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: um it should work for _infinite_ structures. < 1387302132 288216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :including Foldable infinite trees. < 1387302133 121687 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> isJust . getFirst . foldMap (First . Just) $ [1..] < 1387302134 208629 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1387302139 584650 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> isJust . getFirst . foldMap (First . Just) $ [ < 1387302140 698763 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:47: < 1387302140 905031 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1387302141 361701 :Bike!~Glossina@216-161-93-209.ptld.qwest.net JOIN :#esoteric < 1387302141 803757 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> isJust . getFirst . foldMap (First . Just) $ [] < 1387302142 762133 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1387302149 879603 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :@type Node < 1387302150 726648 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> Forest a -> Tree a < 1387302153 837757 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> map (getAll . foldMap (\_ -> All False)) [[],[1..]] -- hmm. but I see your point. < 1387302154 930427 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [True,False] < 1387302229 77719 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: but that means it's not a valid 'null' either. You could have something like data Tree a = Node (Tree a) (Tree a) | Hole | Leaf a, and then null (Tree Hole Hole) should presumably be False. < 1387302268 517292 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> isJust . getFirst . foldMap (First . Just) $ unfoldTree (\() -> ((),repeat ()) () < 1387302269 100277 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I imagine that fold (Node l r) = fold l `mappend` fold r) < 1387302269 638393 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:82: < 1387302269 843726 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1387302274 873600 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> isJust . getFirst . foldMap (First . Just) $ unfoldTree (\() -> ((),repeat ())) () < 1387302276 38388 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1387302295 752334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: yes, null (Tree hole hole) would be False with my definition. < 1387302340 759633 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: sorry, but I meant to write that null (Tree Hole Hole) should be True. < 1387302342 494244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose that shows how Foldables don't make sense without a true Monoid, though. < 1387302356 88499 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Hang on, what are we trying to do here? < 1387302358 261546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION isn't good with negations.
< 1387302384 998383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: writing a Foldable null that short circuits for _both_ infinite leftwards and rightwards structures. < 1387302405 371569 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Aaaaah < 1387302443 7351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and even infinite binary ones, although int-e makes a good argument there should be _some_ leaves hit < 1387302491 966212 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://docs.racket-lang.org/unstable/2d.html < 1387302578 840523 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :kmc: that's something. < 1387302594 690697 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah. cute. < 1387302669 199086 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PRIVMSG #esoteric :Hahaha, neat. < 1387302796 426254 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm a-maze-d. < 1387302868 658944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i guess you need a bidirectionally shortcutting (||) for this. (there's some concurrent unsafe implementation of that) < 1387302903 523571 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes, http://hackage.haskell.org/package/unamb ... it's horrible. < 1387302946 941259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh unamb it was, i tried searching for amb < 1387302963 481071 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( a ||| b = (a || b) `unamb` (b || a) ) < 1387303000 195178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it should work nicely for purely left or rightward branching, i think. < 1387303026 747543 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Well, 'nicely' ... it forks too much. < 1387303047 570080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i mean one of them will finish fast < 1387303089 341910 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's a bit of a pity that concurrency is (as far as I can see) the only way to implement such a function. It's so nice in theory. < 1387303093 786659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i suppose what you want to do is ensure each of a and b is only evaluated once. i think there's a ghc function for that. < 1387303119 226368 :Lemuriano!~robbie@c-98-231-50-109.hsd1.fl.comcast.net JOIN :#esoteric < 1387303141 727051 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ghc's runtime almost always ensures that, because thunks are replaced by black holes when entered. There's a small window where computations may get duplicated. < 1387303179 38589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose the problem appears when both a and b take long to finish, hm < 1387303187 392691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which doesn't shortcut much :P < 1387303208 270571 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(In IO there is 'nodup' which fully ensures this, by taking a lock on the closure. It's required to make unsafePerformIO a bit safer.) < 1387303250 196210 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i wrote a bunch of words about that here http://mainisusuallyafunction.blogspot.com/2011/10/thunks-and-lazy-blackholes-introduction.html < 1387303328 43183 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yay, I finally managed to reproduce that bizarre situation that I set up with weboflies a while ago: http://sprunge.us/fLSN < 1387303338 239480 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, ptrace has since been fixed to not override SIGKILL < 1387303350 597664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it doesn't lead to an actually unkillable process < 1387303355 443838 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Death under ptrace < 1387303382 533751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/8502 was my last encounter with the perils of unsafeDupablePerformIO (which is unsafePerformIO without the 'nodup' lock) < 1387303425 357044 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: isn't that pretty much asking for your I/O to happen an unpredictable number of times? < 1387303460 251350 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/MHuW96t.gif < 1387303488 552937 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I might not have guessed "non-integer", though < 1387303528 960628 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: yes. but it wasn't asking for the computation to be silently stopped in the middle, circumventing the 'withMVar' abstraction for exception safety. < 1387303557 371007 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :> 144^2 * 5 < 1387303558 513977 :impomatic!~digital_w@87.112.7.205 QUIT :Ping timeout: 245 seconds < 1387303558 717633 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 103680 < 1387303570 355703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 144**2 * 5 < 1387303571 602392 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 103680.0 < 1387303589 599921 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :ilu exponentiation < 1387303589 888451 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1387303593 400763 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, somehow I didn't imagine Haskell to have two different exponentiation operators < 1387303597 686707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 144 `bitxor` 2 * 5 < 1387303598 689571 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `bitxor' < 1387303602 584129 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 144 `xor` 2 * 5 < 1387303603 718808 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 154 < 1387303607 180279 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: it has three :) < 1387303615 402514 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type ((^),(^^),(**)) < 1387303616 235166 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Floating a2, Fractional a1, Integral b, Integral b1, Num a) => (a -> b -> a, a1 -> b1 -> a1, a2 -> a2 -> a2) < 1387303653 923235 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(^^ allows negative integer exponents) < 1387303694 129175 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval 5 ^^ -1 < 1387303695 430008 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): Precedence parsing error < 1387303695 635127 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : cannot mix `GHC.Real.^^' [infixr 8] and prefix `-' [infixl 6] in the same infix expression < 1387303698 47050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so "b" isn't a "PositiveIntegral" type, then? < 1387303705 717989 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval 5 ^^ (-1) < 1387303706 434790 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :0.2 < 1387303715 620211 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, the only language I can think of where that works is ADA (and VHDL by implication) < 1387303716 95633 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :sounds like *gasp* subtyping < 1387303737 177760 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval 5 ^ (-1) < 1387303737 952673 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): *Exception: Negative exponent < 1387303756 344858 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval 5 ** (-1) < 1387303757 752179 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :0.2 < 1387303792 399937 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval (2 :+ 3) ** (3 :+ 2) < 1387303793 416887 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :4.714143528054687 :+ (-4.569827583124736) < 1387303794 265334 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (-5) ** (-2) -- hmm. < 1387303795 405226 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.0e-2 < 1387303819 741935 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :> 0 ** 0 < 1387303820 799204 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0 < 1387303830 588219 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: 0 ** 0 < 1387303830 790637 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: scheme evaluation order, so it probably isn't). < 1387303846 80390 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :lambdabot: fungot sez that 0 ** 0 isn't 1.0. < 1387303846 283061 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: best would be if it wasn't clear < 1387303862 27900 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: of course it isn't clear, it's 0⁰. < 1387303862 556434 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: my computer's too sleepy. i am always looking at source code by mistake and even more fun than coding". perfect industrial language: enforce a style onto the programmer to give the standard bindings the extended meanings from srfi 1 < 1387304057 416254 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@type ((^), (^^)) < 1387304058 127211 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Fractional a1, Integral b, Integral b1, Num a) => (a -> b -> a, a1 -> b1 -> a1) < 1387304175 705928 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, the type was already there. < 1387304191 189187 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah, reading more than a dozen line backwards is for losers. < 1387304219 596761 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :0 to the power of 0 is or isn't 1 depending on what you're doing < 1387304239 922848 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :thank's < 1387304260 152795 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's never anything other than 1, but it isn't necessarily always 1 either < 1387304277 679971 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Your computer doesn't really have any kind of power management thing going on, I don't see how it's "too sleepy". < 1387304277 883652 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: so, where's your editor? < 1387304285 558837 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :FreeFull: trdnh. < 1387304288 581335 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ais523: tdnhe. < 1387304289 635558 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Is this some kind of trash talk? < 1387304289 841561 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: maybe you need another half a dozen city centers < 1387304306 744219 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, maybe! < 1387304308 611804 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :assuming the fungotputer is just strapped right to mains < 1387304309 165704 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bike: cl definitely defines ' first'. although there is also a director who makes videos for people like smerdyakov climb up and spend their time in irc rooms dedicated to technical computery subjects, have never heard of < 1387304333 11311 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :trdnh? < 1387304348 654388 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :that really did not help. < 1387304366 810519 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The fungotputer goes at 3200 bogomips all the time. < 1387304367 14696 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: don't think so... i haven't been < 1387304378 263145 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 0^0 < 1387304379 256148 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1387304380 309293 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Yeah, well, how'd *you* know? < 1387304380 797153 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: after that i can see the rules of static typing that i've ever known him too well, only 2 hours to find i had like 10k lines of pretty slick c o.o < 1387304384 351650 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 0^^0 < 1387304385 435313 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0 < 1387304428 952077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Truth revealed: fungot not written in Befunge, fungot instead written as 10k lines of "pretty slick" C. < 1387304429 197235 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i am adding that now. i'm gonna install freebsd once i find fnord < 1387304464 777505 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Some day I'll wake up to find a FreeBSD installation.) < 1387304469 763842 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us JOIN :#esoteric < 1387304480 966345 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: find: "fnord": Aucun fichier ou dossier de ce type < 1387304481 209585 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: i am a person with the most recent one? < 1387304482 934953 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Are the 10k lines actually an implementation of befunge? < 1387304487 772977 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: oh. savvy of you. < 1387304488 14383 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: it's about to become negative for the first fnord return value' value doesn't print like that when reading < 1387304520 39107 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder what fungot thinks about 'Qzyzzalroum' < 1387304520 305140 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: so it could be anywhere from 29 bits to 36 with that information. for example, you have 1 message. < 1387304566 146227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: cfunge's written in C, and is approximately somewhere in that ballpark, so maybe that's what it was talking about. (Straight "wc -l" over all *.[ch] says 20039.) < 1387304574 421100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I have this quote on file: What does "Qzyzzalroum" mean in English usage? -- It means you should start the crossword over.) < 1387304618 89551 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck qzyzzalroum < 1387304633 299933 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1387304692 266933 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A rouming duck. < 1387304797 658558 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://users.iafrica.com/p/pf/pfm/quotes.txt - this would fit here, I think: "I feel like if Atlanta had just tried a little harder it could have been a palindrome." < 1387304823 882831 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :atlanalta < 1387304834 65778 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I can see why it's not a palindrome < 1387304835 935787 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It'd contain anal < 1387304852 417952 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :god forbid. < 1387304881 476392 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Now, why isn't palindrome a palindrome? < 1387304888 569726 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :palindromemordnilap < 1387304891 763791 :ion!ion@heh.fi PRIVMSG #esoteric :Super-strong neodymium magnets https://www.youtube.com/playlist?list=PL5Q6sbgSWtxn-CTaTLslOy558OrEwmX7U < 1387304900 866759 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :because it is constructed from usual roots. < 1387304969 260917 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Authentic Atlantan Usual Root, perfect for seasoning your regular meals! < 1387304991 342029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If Eodermdrome had just tried a little harder it could have been a palindrome. < 1387305016 409599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: it couldn't be minimal-length and also a palindrome < 1387305034 813641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, being a palindrome is actively hostile to being nonplanar < 1387305038 537039 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :ion: haha the second one < 1387305044 851356 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because half the characters are wasted < 1387305052 820951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you can't do better than Eodermdromemordmredoe < 1387305095 902860 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Where did the name come from, again? < 1387305284 944714 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :wow they have same day delivery < 1387305289 903013 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :for uh, magnets. emergency magnets? < 1387305353 783220 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i'm pretty sure you could make a good action movie about most situations that would require you have a 300 N neodynium magnet within twenty-four hours < 1387305402 462362 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387305414 222282 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387305415 735094 :nanii!~canaima@186.89.79.187 JOIN :#esoteric < 1387305422 635823 :nanii!~canaima@186.89.79.187 PART :#esoteric < 1387305477 109332 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :if you already have an already strong enough magnet at hand, you could acquire all of the world's magnets just by waving it over your head and ducking. < 1387305561 532656 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :see, there you go. < 1387305601 805465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: I don't think the waving and ducking would matter much < 1387305626 500808 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: a book about wordplay, which mentioned an existing result (from somewhere else) that that pattern of letters was the shortest that lead to a nonplanar graph < 1387305647 276547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the specific letters there are chosen to maximise the pronounceability < 1387305679 168163 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(by the original result, I think) < 1387305721 974298 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :strangely enough, real words tend to be more likely to be nonplanar due to embedding K_3,3 than they are due to embedding K_5 < 1387305756 977277 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1387305861 755012 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us QUIT :Ping timeout: 248 seconds < 1387305884 802690 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us JOIN :#esoteric < 1387306536 684287 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ah. < 1387306853 738247 :Lemuriano!~robbie@c-98-231-50-109.hsd1.fl.comcast.net QUIT :Ping timeout: 248 seconds < 1387307126 877369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, so it seems that the reason that function names in PHP are so inconsistent is that they were chosen to avoid hash collisions in the early versions < 1387307137 322020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the hash function was heavily based on strlen < 1387307145 430615 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what. < 1387307174 514632 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, somehow that manages to fit two awful ideas into one sentence < 1387307189 660129 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :look i've heard that from three different people already and if i refused to acknowledge it from them i'll refuse to acknowledge it from you < 1387307199 250087 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION bleaches himself
< 1387307249 570596 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://dl.dropboxusercontent.com/s/e8k4n2mx1y5vsa4/Zrzut%20ekranu%202013-12-17%2008.37.01.png screenshot of the code in question < 1387307262 534404 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :go find "php-1.99s" if you want to verify < 1387307285 446140 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is a screenshot of code somehow more authentic than the text version? < 1387307304 725616 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :fuuuuuuuucking chrsut < 1387307321 276815 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: i can tell by the pixels < 1387307335 870532 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION then maple syrups himself, for a smooth, perfumed skin and quality hair
< 1387307364 850588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ouch, those keys aren't even in alphabetical order < 1387307371 260061 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :nice, defined as an array cmd_table[22][35] so that the 0 items for length 0 take the space of 35 entries < 1387307376 450874 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(or is that 22?) < 1387307386 427054 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :rasmus lerdorf's excuse that he just made PHP for his own use indicates a shocking lack of self-respect, I would say < 1387307423 703907 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm reminded of the joke claim that "C" is a recursive acronym < 1387307426 441201 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The screenshot doesn't really look like proof of the claim, though. < 1387307433 193342 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i don't want to look into lerdorf's mind < 1387307437 745684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: the comment at the top is illuminating < 1387307465 66470 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: It doesn't say anything about selecting function names in order to optimize the "hash" table, however. < 1387307476 160117 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :C stands for C.C < 1387307477 108061 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ais523: a recursive acronym of? < 1387307495 497679 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :◐.◐ < 1387307504 864288 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: it stands for "C", obviously < 1387307533 345936 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: there's an email from Rasmus Lerdorf going around on Reddit where he/she admits to it < 1387307538 763041 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: No manual entry for chrsut < 1387307551 931409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Well, that's more relevant, certainly. < 1387307601 435775 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't think it's in question that rasmus lerdorf goes by "he" < 1387307617 396391 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also he was born in a town named Qeqertarsuaq < 1387307628 796399 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :greenland? < 1387307636 951649 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Qeqertarsuaq#Notable_current.2Fformer_residents how very sad for them < 1387307637 687349 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387307695 203568 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yes < 1387307793 9726 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I watche that short video by the beeb yesterday that explains how to pronounce Mandela's name, his native village's name and “xhosa”. < 1387307810 917846 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :practicing clicks when you take your morning shower makes for a very strange activity. < 1387307816 362556 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :does english even have the hponeme for 'xhosa' < 1387307822 155483 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i'll take that as a no. < 1387307824 175573 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :*phonemes* < 1387307836 874519 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it doesn't. < 1387307840 383489 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :obviously not < 1387307845 235916 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :and it's tonal too, huh < 1387307849 545754 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :and spirant! < 1387307863 279133 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i'm used to click constants being spelled ! or double dagger < 1387307890 277385 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :∥ĥ < 1387307897 824934 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i'm guessing i can blame dumb brits for this < 1387307904 194821 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :darn. I don't have superscript h readily available. < 1387307912 353273 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :ah, but only two tones, even we have that many tones < 1387307936 517153 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION eyes olsner... “you scandinavian!”
< 1387307963 422302 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :holy crap... it has *18* click consonants < 1387307988 199419 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it does. it is insane. I need a fternooner to collect myself. < 1387308127 904334 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: https://twitter.com/DanaDanger/status/413024939856244736 < 1387308329 966762 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :._. < 1387308349 716515 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :"the ǃXóõ language has 83 click sounds, the largest consonant inventory of any known language" o.O < 1387308424 250598 :impomatic!~digital_w@36.104.208.46.dyn.plus.net JOIN :#esoteric < 1387308425 177921 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :any vowels? < 1387308448 623088 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :int-e: five, I think < 1387308514 952484 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :ah, no, five vowel "qualities" ... so 25-30 something vowels apparently < 1387308537 248166 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impressive < 1387308588 612966 :impomatic!~digital_w@36.104.208.46.dyn.plus.net PRIVMSG #esoteric :Hi :-) Any OMEGA players here? (The tank programming game, not the roguelike) < 1387308686 775307 :LinearInterpol!~RJones@WatchGuard.ellsworth-hs.ellsworth.k12.me.us QUIT :Ping timeout: 264 seconds < 1387309308 556060 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck omega < 1387309322 828676 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1387309326 718665 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :... < 1387309349 381428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :metasepia: it's all greek to you? < 1387309447 70725 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck iota < 1387309448 316701 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :iota definition: the 9th letter of the Greek alphabet. < 1387309461 91436 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot my life. < 1387309461 383838 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: c++ c, remember a bit better for the body in the clause test specifications? < 1387309746 264458 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/MHuW96t.gif < 1387310047 16200 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :“Therefore Moser's number, although incomprehensibly large, is vanishingly small compared to Graham's number” ← my brain hurts. < 1387310128 29982 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1387310166 768230 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :not your fault > is hard to compute on some reprsentations < 1387310502 981280 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1387310963 671157 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh that sounds like fun < 1387311282 856162 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :What programming language should you use in your battles with the judge? Most likely, the language which you know best. The judge currently accepts programs written in C, C++, Pascal, and Java, so your favorite language is probably available. < 1387311287 582838 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric ::( < 1387311303 920136 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :no eodermdrome?? < 1387311321 430706 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No idris? < 1387311328 561467 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :no c+=? < 1387311347 288626 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :four languages? < 1387311369 368303 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a really small set to include everyone's favourite language < 1387311379 21898 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I thought Pascal had mostly fallen out of favour before Java was invented < 1387311401 46401 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :there are only like 2 online coding competition sites that have an actual variety of languages < 1387311405 675413 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :kinda sux < 1387311433 603714 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :C ate Pascal's lunch < 1387311443 955527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :have you seen anarchy golf? < 1387311460 85001 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Anarchy golf is one < 1387311511 942731 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems to accept anything remotely BF-complete that shinh could get to run on the server < 1387311533 117517 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :should finish my anagol language < 1387311547 112029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and some sub-BF-complete languages like m4 < 1387311608 978709 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :that reminds me: hey, what are some well-known but not 100% trivial sequences/sets of integers. i'm thinking like, fibonacci numbers, prime numbers < 1387311619 523190 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thue-morse < 1387311646 663464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a neat one because it needs infinite state to compute < 1387311687 212592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I guess they all do < 1387311727 412742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could also do the zeros of the Riemann zeta function < 1387311733 691978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's probably just -2, -4, -6, -8, etc. < 1387311735 862426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it might not be < 1387311975 984533 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :digits of pi? < 1387311982 194608 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :i think i'm gonna give my golf language some built-ins for "is this number prime/fibonacci/..." and "generate the first n prime/fibonacci/... numbers" < 1387312007 920862 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :AAAAAAAAAAAAAAURGH! < 1387312009 148593 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :stuff like that shows up quite a bit in code golf < 1387312022 232614 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :someone know how to import a TTF file into LaTeX? < 1387312027 732861 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :also i wanna somehow make 2D ascii manipulation easier, but < 1387312054 131332 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Digits of pi are pretty arbitrary < 1387312057 450429 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Except in base pi < 1387312062 851625 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :10 < 1387312064 448193 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :pinary < 1387312317 13457 :Lemuriano!~robbie@c-98-231-50-109.hsd1.fl.comcast.net JOIN :#esoteric < 1387313164 951867 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(meanwhile, it works! local install, no need to pollute the system texmf → http://fachschaft.physik.uni-greifswald.de/~stitch/ttf.html) < 1387313226 924751 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :have there been any efforts to make like a "high-level" wrapper over LaTeX < 1387313245 292800 :nooodl!~nooodl@91.177.119.90 PRIVMSG #esoteric :it feels so crufty... i need LaTeX coffeescript basically < 1387313255 419183 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1387313272 79580 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387313509 760490 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 248 seconds < 1387313518 10271 :Lemuriano!~robbie@c-98-231-50-109.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds < 1387313549 386044 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com JOIN :#esoteric < 1387313605 538542 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :douglass_: do you know of any? < 1387314024 706727 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'm really looking forward to the film of Into the Woods < 1387314105 175226 :douglass_!~iridium@dr-wily.mit.edu PRIVMSG #esoteric :sorry, don't know < 1387314153 353999 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1387314174 71384 :douglass_!~iridium@dr-wily.mit.edu PRIVMSG #esoteric :ask #latex I guess < 1387314198 332365 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nooodl: well I use Markdown for that sometimes, via Pandoc < 1387314215 599239 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and you can still embed LaTeX commands for stuff Markdown doesn't handle (as long as you don't need to render the same markdown to HTML too) < 1387314280 793032 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :bike if we add a shift0 operator that creates a continuation that takes no arguments, then there is a 1 to 1 corrispodence between delimited continuations and lambda calc < 1387314336 964583 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :curried lambda calc < 1387314620 35052 :atriq!~Taneb@host-92-23-123-235.as13285.net JOIN :#esoteric < 1387314789 436213 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1387315033 271279 :atriq!~Taneb@host-92-23-123-235.as13285.net NICK :Ngevd < 1387315071 157711 :Taneb!~LordAro@runciman.default.hacksoc.uk0.bigv.io QUIT :Quit: ZNC - http://znc.in < 1387315366 397524 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1387315387 667348 :Ngevd!~Taneb@host-92-23-123-235.as13285.net QUIT :Quit: Leaving < 1387315400 137408 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think I have a bouncer now < 1387315559 415441 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :♪ dĩng ♪ improved PDF, now with Old Hylian! < 1387315643 597481 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :`? category theory < 1387315645 434475 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :In category theory, category theory is a theory in the category of theories. < 1387315692 337158 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :as opposed to a theory in the category of prizewinning hams? < 1387315700 319684 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Yup < 1387315710 783955 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That'd be Hexham theory < 1387315719 641694 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Is this related to the ham Homer Simpson won for saving the town < 1387315742 131968 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :0xHAM < 1387315843 158873 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :http://www.youtube.com/watch?v=KYjThRj7uoY < 1387315843 998296 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :<3 < 1387315896 865702 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :incidentally, github's syntax highlighting doesn't support \verb!stuff! < 1387315950 632970 :36DABZBGX!~energoprg@91.210.100.14 JOIN :#esoteric < 1387315952 842166 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: you can compute the nth digit of pi in base 16 without computing all the ones before it < 1387315956 210866 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome 36DABZBGX < 1387315958 453973 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​0936DABZBGX: 02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06irc.dal.net.) < 1387315982 157017 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%93Plouffe_formula < 1387315988 101535 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :also, I seem to have lumped lexande and monotone's quotes into the Quotes from Other People section. < 1387315998 987713 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell lexande would you like your quotes to be nicely sectionned? < 1387315999 190860 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1387316011 27476 :polytone!~monotone@room208.org PRIVMSG #esoteric :It's okay, I'm usually an "other people" anyway. < 1387316013 269770 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :polytone: same thing as to lexande ↑ < 1387316018 689992 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh. < 1387316027 113690 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you were quicker than me :P < 1387316053 164211 :polytone!~monotone@room208.org PRIVMSG #esoteric :I forgot that I was even quoted until you mentioned it, haha. < 1387316062 821849 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :kmc: hells yea pslq < 1387316083 526334 :nooodl!~nooodl@91.177.119.90 QUIT :Ping timeout: 245 seconds < 1387316106 445447 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :pslq? < 1387316119 646759 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :"The search procedure consists of choosing a range of parameter values for s, b, and m, evaluating the sums out to many digits, and then using an integer relation finding algorithm (typically Helaman Ferguson's PSLQ algorithm) to find a vector A that adds up those intermediate sums to a well-known constant or perhaps to zero." < 1387316129 527825 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1387316144 334630 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :it's an algorithm where you throw a vector of reals at it and it tries to find an algebraic relation between em < 1387316148 316542 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :neato < 1387316150 794137 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: CHICKEN SUSHI < 1387316153 150984 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1387316164 710926 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :er, without powers specifically < 1387316178 191971 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i mean you can do that by adding to the vector, but < 1387316196 127222 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh LLL is another such algorithm < 1387316209 673063 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i've heard of that one, I guess it's good for attacking groups of related RSA keys? < 1387316285 246571 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i have this paper where they use it to find the 240-degree polynomial the fourth bifurcation point of the logistic map is a root of < 1387316299 487615 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is that useful knowledge < 1387316300 842534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"A notable success of this approach was the use of the PSLQ algorithm to find the integer relation that led to the Bailey-Borwein-Plouffe formula for the value of π." whoa, cool < 1387316326 645370 :36DABZBGX!~energoprg@91.210.100.14 QUIT :K-Lined < 1387316340 405618 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :kmc: well, they didn't even know for sure it was algebraic, so i guess < 1387316377 19899 :muskrat!musk@dyn2-85-23-163-110.psoas.suomi.net JOIN :#esoteric < 1387316389 286940 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :PSLQ is really magic < 1387316399 966814 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"here's a random irrational-looking number, give me a formula for it" < 1387316409 249185 :nooodl!~nooodl@91.177.119.90 JOIN :#esoteric < 1387316412 994007 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :elliott, kmc~ http://crd.lbl.gov/~dhbailey/dhbpapers/tenproblems.pdf‎ < 1387316421 842436 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :http://crd.lbl.gov/~dhbailey/dhbpapers/tenproblems.pdf < 1387316422 725369 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, that paper is amazing < 1387316424 980109 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :mysterious. < 1387316524 956806 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :with guest appearance by khinchin's constant, i might add < 1387316589 386878 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :it's cool how we can't spell russian names consistently. ever. at all. fuck < 1387316610 897690 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Хи́нчин's constant < 1387316615 960908 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cooler name imo < 1387316616 167201 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :analyzing the simpsons for esoteric symbols http://www.youtube.com/watch?v=iLzhuUdycYQ < 1387316643 632353 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :kmc: i think you're right < 1387316666 613853 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :though my favorite value in this paper is the expected value of the distance between two random points on different sides of a square, since it doesn't sound like it should be too strange < 1387316716 440768 :Sorella!~quildreen@201.80.214.167 JOIN :#esoteric < 1387316775 924839 :Sorella!~quildreen@201.80.214.167 QUIT :Changing host < 1387316776 162282 :Sorella!~quildreen@oftn/member/Sorella JOIN :#esoteric < 1387316882 764047 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :there's also the sequence of sinc integrals and a triple integral of the inverse of a sum of cosines somehow involving generalized hyperfactorials, i love it <3 < 1387317254 626408 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Or how e^pi - pi is NOT QUITE 20 < 1387317273 968737 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :i don't think that's actually in the paper, but sure! < 1387317291 625862 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Slereah_: the amazing thing is that 20 is EXACTLY 20 < 1387317312 202573 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :can you prove it, < 1387317354 546738 :taylanub!tub@p4FD92885.dip0.t-ipconnect.de PART #esoteric :"Using Circe, the loveliest of all IRC clients" < 1387317375 191893 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :nah, I've never learned how to prove stuff < 1387317375 921991 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387317508 414093 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 245 seconds < 1387317518 868595 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1387317520 569548 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Have mercy internet < 1387317659 860766 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 260 seconds < 1387317702 868575 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387317764 20490 :muskrat!musk@dyn2-85-23-163-110.psoas.suomi.net QUIT :Ping timeout: 252 seconds < 1387317794 825644 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1387317822 75186 :polytone!~monotone@room208.org PRIVMSG #esoteric :The first problem in experimental mathematics is apparently not overfilling LaTeX boxes... < 1387317936 568984 :Bike!~Glossina@216-161-93-209.ptld.qwest.net PRIVMSG #esoteric :hm? < 1387317984 822681 :Slereah!~jackal@176.222.51.233 QUIT :Read error: Connection reset by peer < 1387318006 43507 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387318053 820503 :polytone!~monotone@room208.org PRIVMSG #esoteric :Oh, the author line runs straight into the right margin. < 1387318125 267331 :Slereah!~jackal@176.222.51.233 QUIT :Client Quit < 1387318574 607055 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :kmc: I bet you can do that in every base, but 16 is the easiest < 1387318615 9835 :kranchik!~kranchik@91.210.102.41 JOIN :#esoteric < 1387318921 998029 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 250 seconds < 1387318983 499512 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be QUIT :Ping timeout: 245 seconds < 1387319227 831336 :kranchik!~kranchik@91.210.102.41 QUIT :K-Lined < 1387319907 171150 :tertu!~tertu@65-128-138-136.mpls.qwest.net QUIT :Ping timeout: 252 seconds < 1387320560 866027 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :base 36 is more fun < 1387321110 744267 :ion!ion@heh.fi PRIVMSG #esoteric :http://youtu.be/YA1J-raGinQ < 1387321521 66796 :mrhmouse!~jordan.br@firewall1.photobooks.com QUIT :Quit: Leaving. < 1387321557 196886 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1387322058 430643 :LinearInterpol!~RJones@cpe-76-179-150-229.maine.res.rr.com QUIT :Ping timeout: 245 seconds < 1387322861 506932 :oklopol!~oklopol@ALyon-157-1-184-18.w109-213.abo.wanadoo.fr JOIN :#esoteric < 1387323214 922184 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1387323504 659260 :oklopol!~oklopol@ALyon-157-1-184-18.w109-213.abo.wanadoo.fr PRIVMSG #esoteric :dod < 1387323508 383165 :Bike!~Glossina@216-161-93-209.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1387323675 762702 :ion!ion@heh.fi PRIVMSG #esoteric :pop < 1387323756 559483 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1387323962 988658 :Bike!~Glossina@174-25-44-91.ptld.qwest.net JOIN :#esoteric < 1387324786 954544 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric