< 1408061400 913585 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07BrainCursion14]]4 10 02http://esolangs.org/w/index.php?diff=40296&oldid=40290 5* 03212.95.7.162 5* (+740) 10provide sufficient evidence for Turing completeness < 1408062548 852184 :LatinLover!~MexicanLo@189.204.105.10 JOIN :#esoteric < 1408062713 780493 :LatinLover!~MexicanLo@189.204.105.10 QUIT :Quit: Saliendo < 1408064192 595178 :nooodl!~nooodl@2a02:1810:4d0d:7e00:b914:823d:a352:1c9c QUIT :Read error: Connection reset by peer < 1408064222 746448 :nooodl!~nooodl@2a02:1810:4d0d:7e00:b914:823d:a352:1c9c JOIN :#esoteric < 1408065508 369739 :bb010g!uid21050@gateway/web/irccloud.com/x-bhwbpuquxhwanrkw JOIN :#esoteric < 1408065691 831070 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1408065742 918494 :Tritonio!~Thunderbi@athedsl-16411.home.otenet.gr QUIT :Ping timeout: 240 seconds < 1408066143 736099 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Ping timeout: 240 seconds < 1408066945 197044 :MoALTz_!~no@user-46-113-5-57.play-internet.pl JOIN :#esoteric < 1408067103 822575 :MoALTz__!~no@user-46-113-5-57.play-internet.pl QUIT :Ping timeout: 240 seconds < 1408067254 771152 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1408067853 782708 :nooodl!~nooodl@2a02:1810:4d0d:7e00:b914:823d:a352:1c9c QUIT :Ping timeout: 240 seconds < 1408068574 784465 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1408071824 781683 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1408074393 787977 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Remote host closed the connection < 1408074648 709518 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1408074980 599813 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1408075457 794562 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1408076200 88506 :variable!root@freebsd/developer/variable NICK :constant < 1408076394 382314 :newsham_!~chat@udp217044uds.hawaiiantel.net NICK :newsham < 1408077157 966167 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Remote host closed the connection < 1408077541 147006 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1408077920 310905 :MoALTz_!~no@user-46-113-5-57.play-internet.pl QUIT :Quit: Leaving < 1408078487 783333 :nooodl!~nooodl@2a02:1810:4d0d:7e00:b914:823d:a352:1c9c JOIN :#esoteric < 1408078773 709012 :nooodl!~nooodl@2a02:1810:4d0d:7e00:b914:823d:a352:1c9c QUIT :Ping timeout: 240 seconds < 1408081940 249417 :clog!~nef@bespin.org QUIT :Ping timeout: 250 seconds < 1408082987 624532 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1408083073 817330 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :Quit: Konversation terminated! < 1408083728 328185 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1408087832 919677 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck implementations14]]4 10 02http://esolangs.org/w/index.php?diff=40297&oldid=40284 5* 03Rdebath 5* (+209) 10Scanned for deadlinks, not yet for resurrections. < 1408088749 1104 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Phew, 85 hours of testing later it turns out that CCBI is dieharder-clean < 1408089564 825784 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1408089831 633852 :clog!~nef@bespin.org JOIN :#esoteric < 1408090204 315724 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1408090428 133393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Deewiant: so ccbi is your recommended interpreter for hard crypto? < 1408090537 159094 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I don't think diehard/er have anything to do with CSPRNGs < 1408090592 813074 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Certainly a CSPRNG should pass but passing doesn't mean it's any good for crypto < 1408090616 574710 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :So no, not recommended for crypto, just recommended for randomness-heavy apps in general < 1408090630 13182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :DISAPPOINTING < 1408090722 163806 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :It's not like Befunge by itself is good for crypto anyway, you should define a crypto fingerprint < 1408090980 811041 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408091056 889584 :AnotherTest!~turingcom@d51A4C7C9.access.telenet.be JOIN :#esoteric < 1408091210 653771 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1408091243 993592 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408092015 536689 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :NTH_ -- nothing to hide, with a rot13 primitive. < 1408092066 274385 :AnotherTest!~turingcom@d51A4C7C9.access.telenet.be QUIT :Ping timeout: 246 seconds < 1408092190 113379 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :int-e: There's no rule saying they have to be 4 characters < 1408092411 352087 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. according the the ISP there has been a ddos attack against the lambdabot host, that's a first. Not targeted though, I guess. "The rolling DDoS attack continues to impact several IP blocks in our NL location." < 1408092459 383911 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Deewiant: nevertheless that seems to be the convention < 1408092474 596164 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :int-e: I wouldn't add a _ just for that < 1408092497 358767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NTSH hth < 1408092513 935740 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :NOWT < 1408092555 354127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :CIAAC < 1408092583 107741 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Needs > 32-bit interpreter, not that that prevents making it < 1408092612 838112 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Or you map it to the modulo 2^32 value, I guess < 1408092648 50256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't that just dropping a letter < 1408092694 104113 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :It is isn't it < 1408092703 599563 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :So it's IAAC < 1408092749 172584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'s ok the C was sort of unnecessary < 1408094800 251383 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :Ping timeout: 255 seconds < 1408094806 273284 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1408096782 733363 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1408099801 48635 :TieSoul_!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1408100999 45373 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1408101597 48706 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1408102250 755798 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 JOIN :#esoteric < 1408102693 168839 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1408102902 817469 :MoALTz!~no@user-164-127-27-44.play-internet.pl JOIN :#esoteric < 1408103825 285133 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1408103992 652359 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1408104166 627654 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1408104912 457807 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric : \o/ < 1408104912 823788 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 | < 1408104912 960659 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69/| < 1408105186 395583 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowi < 1408105188 909531 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWI 151150Z VRB02KT 9999 -SHRA FEW015 SCT050 BKN060 16/11 Q1015 NOSIG < 1408105552 668405 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408105552 805247 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1408105748 804385 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408105917 612825 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1408106118 994583 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408106119 131507 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1408106919 993926 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1408107513 956176 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1408107634 116000 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AAAAAAAAAAAAAA!!!!14]]4 10 02http://esolangs.org/w/index.php?diff=40298&oldid=39091 5* 03184.7.83.126 5* (+40) 10 < 1408107785 66004 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AAAAAAAAAAAAAA!!!!14]]4 10 02http://esolangs.org/w/index.php?diff=40299&oldid=40298 5* 03184.7.83.126 5* (+2) 10 < 1408108197 668223 :bb010g!uid21050@gateway/web/irccloud.com/x-bhwbpuquxhwanrkw QUIT :Ping timeout: 260 seconds < 1408108237 257814 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten JOIN :#esoteric < 1408108447 968986 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1408108538 721445 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1408108668 48631 :jj2baile_!~jon@corn-syrup.csclub.uwaterloo.ca JOIN :#esoteric < 1408108842 711221 :atehwa_!atehwa@aulis.sange.fi QUIT :*.net *.split < 1408108842 917684 :jj2baile!~jon@corn-syrup.csclub.uwaterloo.ca QUIT :*.net *.split < 1408112922 786665 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1408113699 995572 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1408114172 181914 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :Quit: Konversation terminated! < 1408114449 903053 :J_Arcane!~JArcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1408114582 46826 :conehead!~conehead@unaffiliated/conehead QUIT :Read error: Connection reset by peer < 1408116521 713701 :J_Arcane!~JArcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi QUIT :Quit: (set-jarcane-connect! J_Arcane #f) < 1408116728 786331 :J_Arcane!~jarcane@dsl-trebrasgw2-54f949-238.dhcp.inet.fi JOIN :#esoteric < 1408117447 624561 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@metar KATL < 1408117448 325233 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :KATL 151452Z 31003KT 10SM FEW045 SCT250 27/16 A3007 RMK AO2 SLP170 T02720161 51007 < 1408118402 594793 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1408118953 122794 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1408119598 189199 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SYCPOL14]]4 10 02http://esolangs.org/w/index.php?diff=40300&oldid=40225 5* 03109.240.133.80 5* (+30) 10 < 1408121235 245865 :d45611!~d45611@unaffiliated/d45611 JOIN :#esoteric < 1408121332 250530 :d45611!~d45611@unaffiliated/d45611 QUIT :Client Quit < 1408124266 916077 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1408125413 732446 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1408125600 124477 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1408126180 575462 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 JOIN :#esoteric < 1408126212 590214 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :So today I thought I'd come up with a way to calculate busy beaver numbers using programs shorter than the corresponding busy beaver programs. < 1408126224 864991 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :And I thought, "I've probably made a mistake somewhere." < 1408126243 625204 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Of course, what I really should have been thinking was one letter different. "I've provably made a mistake somewhere." < 1408126260 863548 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Anyway, the program would have been the following. < 1408126312 983860 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :1. Generate all programs of length 1,000. 2. Run all of them simultaneously until N of them halt (where N, hard-coded into the program, is the number of programs of length 1,000 that halt). 3. Output the running time of the longest-running program. < 1408126360 248325 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Of course, there's a problem with this program. And it's not that N is uncomputable. < 1408126393 740848 :Bike!~Glossina@75-175-74-195.ptld.qwest.net PRIVMSG #esoteric :having to compute N beforehand seems like kind of a bummer < 1408126407 131718 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :Oracle machines are expensive < 1408126457 335825 :MoALTz!~no@user-164-127-27-44.play-internet.pl QUIT :Quit: Leaving < 1408126539 927563 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :A bummer, yeah, but the problem here is that N can't be written concisely enough to make the program shorter than the busy beaver. < 1408126567 663486 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :(N is perfectly computable. We just don't know which program to use to compute it.) < 1408127137 345822 :tromp__!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :tswett: this is like the proof that the halting proability is incompressible < 1408127165 152738 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Yeah, that pretty much is this proof. < 1408127196 674642 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Suppose that the halting probability is compressible. Then you can use this construction to write a program busier than any busy beaver. Contradiction. < 1408127572 951950 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1408127777 142618 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> map toLower "TΤТ" < 1408127778 918137 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "t\964\1090" < 1408127832 572738 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Is there a way to get lambdabot to output the actual string? < 1408127880 328228 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Yes. < 1408127897 717598 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I don't know how to do it. But it's really easy. < 1408127932 194239 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :You just say '> [some function] (map toLower "TΤТ")'. < 1408127953 652184 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be JOIN :#esoteric < 1408127967 861333 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var (map toLower "TΤТ") -- Melvar < 1408127969 556139 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : tτт < 1408127982 611657 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Ah. < 1408127997 496604 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric ::t var < 1408127998 625414 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :String -> Expr < 1408128569 830804 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1408128942 298020 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> text (map toLower "TΤТ") -- alternatively < 1408128944 49612 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : tτт < 1408128971 812546 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric ::t text < 1408128973 32534 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :String -> Doc < 1408128992 806193 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Different routes, same destination. < 1408128999 597454 :ion!ion@heh.fi PRIVMSG #esoteric :> text "What's up, Doc?" < 1408129001 53821 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : What's up, Doc? < 1408129167 470675 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1408129431 522053 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> text "blah\nblah" < 1408129433 323099 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : blah < 1408129433 505298 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : blah < 1408129453 214439 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> text "blah\0blah" < 1408129454 811552 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : blahblah < 1408129608 82806 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> let s = " in text $ \"> let s = \" ++ show s ++ s" in text $ "> let s = " ++ show s ++ s < 1408129610 102134 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > let s = " in text $ \"> let s = \" ++ show s ++ s" in text $ "> let s = " ... < 1408129622 895426 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Boo. < 1408129691 106618 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> let s="in text$\">let s=\" ++show s++s"in text$"> let s="++show s++s < 1408129692 881015 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > let s="in text$\">let s=\" ++show s++s"in text$">let s=" ++show s++s < 1408129699 487665 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Uh oh. < 1408129707 238545 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> let s="in text$\">let s=\"++show s++s"in text$"> let s="++show s++s < 1408129709 89015 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > let s="in text$\">let s=\"++show s++s"in text$">let s="++show s++s < 1408129731 759218 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> let s="in text$\"> let s=\"++show s++s"in text$"> let s="++show s++s < 1408129733 914791 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > let s="in text$\"> let s=\"++show s++s"in text$"> let s="++show s++s < 1408129848 146409 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How to do in MediaWiki to tell to start a numbered list at something other than number 1, and/or to use other formats for list numbering? < 1408129895 364507 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: try html tags like
  1. . mediawiki allows most of those. < 1408129930 211734 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can it not be done using the # syntax? < 1408129934 335632 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :alternately make an indented list (preface lines with colon) and just write the numbers by hand < 1408129944 106971 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't think it can be, but I'm not sure < 1408130261 265891 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: see https://en.wikipedia.org/wiki/Help:List < 1408130393 51978 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: in particular, see https://en.wikipedia.org/wiki/Help:List#Specifying_a_starting_value < 1408130911 490422 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :O, so that's how you do it. < 1408130934 22217 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Well, I have already fixed a list on another wiki by using
      already though < 1408131600 206108 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be QUIT :Ping timeout: 260 seconds < 1408133483 981266 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: What are you trying to do? Quine? < 1408133664 322714 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think the last one was "trying" any more. Modulo the unavoidable space. < 1408133776 98074 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> (Devour, "foo") < 1408133778 263458 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ( < 1408133870 493476 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> [Devour, Devour] < 1408133872 332774 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [ < 1408133873 285097 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric ::t Devour < 1408133874 499930 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Devour < 1408133896 662711 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> show Devour < 1408133898 449219 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "" < 1408133912 679903 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> show Devour ++ show 42 < 1408133913 807063 :ion!ion@heh.fi PRIVMSG #esoteric :Hah, i like Devour. < 1408133914 487066 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "42" < 1408133921 649698 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> putStrLn $ show Devour ++ show 42 < 1408133923 472652 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1408133927 706081 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I just defined it with @let just now. < 1408133944 997977 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> text $ show Devour ++ show 42 < 1408133946 172717 :ion!ion@heh.fi PRIVMSG #esoteric :> (showsPrec 5 42 . showsPrec 5 Devour . showsPrec 5 42) [] < 1408133946 779480 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1408133947 709679 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "42" < 1408133962 332956 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :Hmm < 1408134052 50782 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :ion: What’s its canonical name btw? < 1408134136 24962 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Hm. < 1408134145 304645 :ion!ion@heh.fi PRIVMSG #esoteric :What’s whose canonical name? < 1408134155 516855 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric ::t showsPrec 5 Devour < 1408134156 751050 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ShowS < 1408134172 316400 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1408134173 337161 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :@src ShowS < 1408134173 630106 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :ion: That of Devour. < 1408134173 766928 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :type ShowS = String -> String < 1408134179 736075 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric ::) < 1408134189 559057 :ion!ion@heh.fi PRIVMSG #esoteric :Devour has a canonical name? < 1408134201 829741 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :Melvar: Something to do with const ""? < 1408134224 394983 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Well, you said “Hah, i like Devour.” as though you knew it. < 1408134237 431517 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :Hence why show Devour ++ whatever works, but shows composition fails < 1408134244 951444 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :bb010g: instance Show Devour where showsPrec _ _ _ = "" < 1408134270 936698 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :@pl showsPrec _ _ _ = "" < 1408134271 347037 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :showsPrec = const (const (const [])) < 1408134287 887446 :ion!ion@heh.fi PRIVMSG #esoteric :melvar: I had not seen it before. < 1408134329 540036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1408134354 298938 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :And now … < 1408134365 485718 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> ("foo", Devour, "bar") < 1408134366 987058 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ("foo",>°) Om nom nom < 1408134432 390096 :ion!ion@heh.fi PRIVMSG #esoteric :•••ᗤ < 1408134445 148732 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Exactly. < 1408134970 589803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let data Chomp = Chomp; instance Show Chomp where showsPrec n _ s = drop n s < 1408134971 984936 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1408134985 685796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (Chomp, [1..]) < 1408134987 450432 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... < 1408135003 219105 :Mattry!~canaima@190.142.186.33 JOIN :#esoteric < 1408135008 354912 :MoALTz!~no@user-164-127-27-44.play-internet.pl JOIN :#esoteric < 1408135025 142472 :Mattry!~canaima@190.142.186.33 PRIVMSG #esoteric :hola < 1408135037 36302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`bienvenido Mattry < 1408135037 947148 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Mattry: ¡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.) < 1408135067 329299 :Mattry!~canaima@190.142.186.33 PRIVMSG #esoteric :gracias < 1408135092 16904 :Mattry!~canaima@190.142.186.33 PART :#esoteric < 1408135111 791645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn i forgot to ask how they found us < 1408135147 715933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (Just Chomp, [1..]) < 1408135149 664098 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (Just ,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,3... < 1408135300 90041 :ion!ion@heh.fi PRIVMSG #esoteric :> (42, Zalgo, "chaos") < 1408135300 226868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somehow my mind blanks on any data structures shown with intermediate precedence operator constructors < 1408135301 638269 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (42,HE COMES,̫̣̳ͤ͋͛̈̑̌̅"̳̟̱̗̐̋̔̏̆͠c̐̏̂̈̔ͨ͑ẖ̱̰̂ạͫͧ͠ͅö̴͚͇͉̤̣̠̆̒s̭̜̙̩ͨ͡"̅͗͊ͩ... < 1408135389 531226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let data Rev = Rev; instance Show Rev where showsPrec _ _ = reverse < 1408135390 908307 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1408135403 394763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (42, Rev, Zalgo, Chomp) < 1408135404 767032 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Chomp’ < 1408135410 4447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::( < 1408135416 22403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (42, Rev, Zalgo) < 1408135417 742960 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (42,̳̣̫̅̌̑̈͛͋ͤ)SEMOC EH, < 1408135423 332992 :ion!ion@heh.fi PRIVMSG #esoteric :Sorry, i screwed up and had to @undefine once < 1408135460 623017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (42, Rev, Zalgo, Rev, "chaos") < 1408135462 266074 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (42,̳̣̫̅̌̑̈͛͋ͤ,̅ͥ͂͟"͇̭̞ͧͩ͊͗̅c̩̙̜̭ͨ͡h̴̠̣̤͉͇͚̒̆̈ạͧͫ͠ͅô̰̱̱s͑ͨ̔̈̂̏̐"̗̱̟̳̆̏̔̋̐͠... < 1408135491 168740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map ((,) Rev) [1..10] < 1408135493 32863 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(,2),(,4),(,6),(,8),(,10)](,)9,(,)7,(,)5,(,)3,(,)1, < 1408135503 996726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1408135510 487596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map ((,) Rev) "scramble" < 1408135512 202494 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(,'c'),(,'a'),(,'b'),(,'e')](,)'l',(,)'m',(,)'r',(,)'s', < 1408135512 898820 :ion!ion@heh.fi PRIVMSG #esoteric :nice < 1408135546 812666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map (flip (,) Rev) "scramble" < 1408135548 478114 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [('s',),('r',),('m',),('l',)],'e'(,),'b'(,),'a'(,),'c'(,) < 1408135554 43605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^scramble scramble < 1408135554 180577 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :srmlebac < 1408135641 838 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PART #esoteric :"Leaving..." < 1408135715 163967 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :^scramble scramble < 1408135715 300970 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :srmlebac < 1408135745 707447 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :^scramble Does_anyone_wonder_what_the_period_of_this_sentence_is? < 1408135745 844374 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :De_noewne_httepro_fti_etnei?s_censsh_odie_h_awrdo_nyaso < 1408135752 858113 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :^scramble De_noewne_httepro_fti_etnei?s_censsh_odie_h_awrdo_nyaso < 1408135753 32069 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :D_owehtpofieniscns_deharonaosy_dw__iohse_?et_t_ret_nene < 1408135759 72596 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :^scramble D_owehtpofieniscns_deharonaosy_dw__iohse_?et_t_ret_nene < 1408135759 240493 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Doetoinsn_eaoas_w_os_e__e_eenntrtt?ehi_dyonrhdsciefphw_ < 1408135803 626672 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :^scramble abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ012 < 1408135803 763387 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :acegikmoqsuwyACEGIKMOQSUWY021ZXVTRPNLJHFDBzxvtrpnljhfdb < 1408135813 134759 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :> length "Dtdaspen_ds_h_ohtorssofeiiynewear?etc__enoho____enetniw" < 1408135815 559225 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 55 < 1408135821 487465 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :^scramble acegikmoqsuwyACEGIKMOQSUWY021ZXVTRPNLJHFDBzxvtrpnljhfdb < 1408135821 624729 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :aeimquyCGKOSW01XTPLHDzvrnjfbdhlptxBFJNRVZ2YUQMIEAwsokgc < 1408135823 308679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think we discussed the period as a function of length at one time < 1408135848 433982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and possibly found the sequence on OEIS < 1408135871 793534 :ion!ion@heh.fi PRIVMSG #esoteric :^scramble seclrbam < 1408135871 930636 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :scramble < 1408135899 767233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^unscramble scramble < 1408135899 940315 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :seclrbam < 1408135928 221279 :diginet_!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1408135959 603435 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1408135998 265458 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :OEIS surely has the sequence corresponding to the highest period of any element in the group S_n. < 1408136035 299531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but is that the same, we don't get _all_ permutations here < 1408136097 326871 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Probably not the same. < 1408136109 440209 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :@let scramble = concat . (_last %~ reverse) . transpose . chunksOf 2 < 1408136111 318525 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1408136119 288177 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :> scramble "seclrbam" < 1408136121 69691 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "scramble" < 1408136151 940149 :ion!ion@heh.fi PRIVMSG #esoteric :> foldr (\x xs -> x:reverse xs) "seclrbam" < 1408136153 198503 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : <[Char] -> [Char]> < 1408136157 779555 :ion!ion@heh.fi PRIVMSG #esoteric :> foldr (\x xs -> x:reverse xs) [] "seclrbam" < 1408136159 104398 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "scramble" < 1408136180 82493 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 QUIT :Quit: Page closed < 1408136223 490629 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :@let slength = ((\(x:xs) -> 1 + length (takeWhile (/= x) xs)) . iterate scramble) < 1408136225 136966 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1408136237 198523 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :> map slength [[1..n] | n <- [1..]] < 1408136240 736828 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,2,3,3,5,6,4,4,9,6,11,10,9,14,5,5,12,18,12,10,7,12,23,21,8,26,20,9,29,30... < 1408136297 364879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@oeis 1,1,2,3,3,5,6,4,4,9,6,11,10 < 1408136301 51886 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : a(n) = card {cos((2^k)*Pi/(2*n-1)): k in N}.[1,1,2,3,3,5,6,4,4,9,6,11,10,9,1... < 1408136309 530459 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :the first 1 is bogus < 1408136320 102385 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :@oeis 0,1,2,3,3,5,6,4,4,9,6,11,10 < 1408136323 530461 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Least number m such that 2^m == +- 1 (mod 2n + 1).[0,1,2,3,3,5,6,4,4,9,6,11,... < 1408136351 946518 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric :or, hm, i guess not < 1408136363 926299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list oeis < 1408136364 252467 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oeis provides: oeis sequence < 1408136378 327532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@sequence 0,1,2,3,3,5,6,4,4,9,6,11,10 < 1408136382 29468 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Least number m such that 2^m == +- 1 (mod 2n + 1).[0,1,2,3,3,5,6,4,4,9,6,11,... < 1408136387 8589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1408136420 297374 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :@oeis 1,1,2,3,3,5,6,4,4,9,6,11,10,9,14,5,5,12,18,12,10,7,12,23,21,8,26,20,9,29,30 < 1408136422 316671 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : a(n) = card {cos((2^k)*Pi/(2*n-1)): k in N}.[1,1,2,3,3,5,6,4,4,9,6,11,10,9,1... < 1408136425 302306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: there should be a command to get the link page < 1408136474 195091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: that 2^m think does ring a vague bell < 1408136493 600644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in, i may have once understood why that gives the same thing < 1408136507 450480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*thing < 1408136514 12447 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :https://oeis.org/A216066 < 1408136600 985598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the other one is https://oeis.org/A003558 < 1408136619 726671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and is linked from the former with "essentially the same as" < 1408136671 744414 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=40301&oldid=39669 5* 03Rdebath 5* (+7610) 10/* Syntax highlighting. */ new section < 1408136677 627095 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: the old buubot plugin I made did give the link, but buubot is dead < 1408136722 416974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rip < 1408136922 695426 :thisisausername!~djf@72.42.90.72 PART :#esoteric < 1408137507 748690 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, actually < 1408137519 622031 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :its descendant perlbot still has that plugin working < 1408137549 202356 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :try /msg perlbot oeis: 3,20,28 < 1408137565 916334 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or if you want on a channel, try /msg #buubot perlbot oeis: 3,20,28 < 1408137677 742571 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> catalogNums <$> lookupSequence [1,1,2,3,3,5,6,4] < 1408137679 786704 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just ["A072451"] < 1408137692 35446 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :Ooh < 1408137732 679135 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> lookupSequence [1,1,2,3,3,5,6,4] < 1408137734 860951 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just (OEIS {catalogNums = ["A072451"], sequenceData = [1,1,2,3,3,5,6,4,8,9,6... < 1408137757 835592 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric ::t OEIS < 1408137759 142256 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[String] -> SequenceData -> SequenceData -> String -> [String] -> [String] -> [String] -> [String] -> String -> Int -> Int -> [(Language, String)] -> [String] -> [String] -> [Keyword] -> [String] -> OEISSequence < 1408137781 599260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://hackage.haskell.org/package/oeis-0.3.5/docs/Math-OEIS.html#t:OEISSequence < 1408137799 346739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lookupSequence < 1408137800 544729 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :SequenceData -> Maybe OEISSequence < 1408137807 550810 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right... the buubot oeis plugin doesn't provide this detail, you have to follow the web link if you need the details < 1408137829 307716 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's a crazy use of unsafePerformIO ... not sure that it should be trusted.) < 1408137871 764117 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1408137907 740761 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric ::) < 1408137912 537011 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: the buubot plugin isn't written in haskell, does that makeit less crazy? < 1408137926 836508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you could DOS OEIS with it, perhaps? < 1408137962 762997 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: not effectively, I think < 1408137971 996490 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(due to timeouts etc) < 1408138045 721671 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> foldl' getSequenceByID $ repeat "A000042" < 1408138047 359694 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘Data.Maybe.Maybe Math.OEIS.Types.SequenceData’ < 1408138047 589136 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with ‘a -> GHC.Base.String’ < 1408138047 726197 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Base.String -> a -> GHC.Base.String < 1408138047 726328 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: GHC.Base.String < 1408138047 726423 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Data.Maybe.Maybe Math.OEIS.Types.SequenceDataCouldn't matc... < 1408138066 517291 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :derp < 1408138075 293396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: you could try with buubot too < 1408138102 98495 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> getSequenceByID <$> repeat "A000042" < 1408138106 51490 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [Just [1,11,111,1111,11111,111111,1111111,11111111,111111111,1111111111,1111... < 1408138141 726455 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but yeah, not very effectively, because the http queries to oeis will be serialized within one command you give to buubot < 1408138159 325437 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could try to use buubot's web interface to work around the irc rate limiting, but even then < 1408138165 831134 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's probably not very effective < 1408138174 858999 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you want to ddos oeis, there are probably better ways < 1408138181 994614 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :14:27:39 > foldl' (\x->getSequenceByID x`seq`()) $ repeat "A000042" < 1408138182 420443 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, don't do that even if you can < 1408138186 533807 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :please < 1408138208 904596 :bb010g!uid21050@gateway/web/irccloud.com/x-mvwzdbqgzihkdten PRIVMSG #esoteric :> (\x->getSequenceByID x`seq`()) <$> repeat "A000042" < 1408138213 37714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1408138295 727235 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oeis really doesn't deserve that kind of malice. nor does lambdabot, imho < 1408138626 596528 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I like buubot/perlbot, in case you haven't noticed. I helped make its macro system, which is I think more powerful than lambdabot's < 1408139107 331662 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(only it's not very well documented, except by some cryptic single-line descriptions) < 1408139505 289143 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1408139783 38179 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1408139829 651952 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1408139938 93565 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: QUINTHELLOPIAAAAAAAAAAAAAA! < 1408140390 144990 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> scramble "" < 1408140392 68226 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "" < 1408140468 299493 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1408140610 871151 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric ::t chunksOf < 1408140612 971653 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Int -> [e] -> [[e]] < 1408140715 983030 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 PRIVMSG #esoteric ::D that oeis library < 1408140808 74097 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :> scramble "CHICKEN!" < 1408140810 281529 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "CIKN!ECH" < 1408140819 656588 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :> scramble "CIKN!ECH" < 1408140821 359040 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "CK!CHENI" < 1408140829 115269 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :> scramble "CK!CHENI" < 1408140830 619323 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "C!HNIECK" < 1408140837 174163 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :will it ever rechicken? < 1408140887 594530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> map scramble (repeat "CHICKEN!") < 1408140889 447011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH... < 1408140900 346232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> map scramble (repeat "CHICKEN!") < 1408140903 547924 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH","CIKN!ECH... < 1408140911 476745 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> iterate scramble "CHICKEN!" < 1408140913 329292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["CHICKEN!","CIKN!ECH","CK!CHENI","C!HNIECK","CHICKEN!","CIKN!ECH","CK!CHENI... < 1408140970 314261 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I was one scrambled chicken away from the unomeletted form. < 1408141173 749423 :nooodl!~nooodl@2a02:1810:4d0d:7e00:cc4f:ef2c:281d:f6e6 QUIT :Ping timeout: 240 seconds < 1408142625 518735 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> sort "unchecked permit" == sort "permuted chicken" < 1408142627 36358 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1408142697 230988 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :whoooah... deep. < 1408143067 2492 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1408143253 610137 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1408143369 559509 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :are scrabble players good at finding anagrams? (I employ the help of computers for finding them) < 1408143491 627048 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :probably so. < 1408143497 94696 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :meanwhile, images.google.ca is dead :( < 1408143675 579794 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Probably you can be good at playing at Scrabble if you can find anagrams, especially if it is Anagram Scrabble. < 1408143702 830777 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: bon quit < 1408143757 527078 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, for Scrabble you just have to memorize the crazy wordlist, especially of the short words and the words with high scoring letters < 1408143779 289751 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and you have to keep up the list as they rewise the scrabble dictionary < 1408143808 931422 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, maybe they did that only once, but that time they added "QI" which like changes the whole game < 1408143944 247934 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Official_Scrabble_Players_Dictionary says the current English dictionary is the fourth edition, but a fifth edition is planned < 1408144080 834145 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 272 seconds < 1408144281 252462 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1408144757 121665 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Actually just knowing all of the words isn't good enough for Scrabble; it is part of it but there is other strategy involved too. < 1408144913 932170 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, there's some more < 1408144972 18356 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :a move made only because you want to hear your opponent exclaim “oh fungot” is perfectly valid. < 1408144972 417523 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: only in an extremely indirect way you can have more than one < 1408145008 201387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: that's so true < 1408145008 513398 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: argl... do i *have* to eat the donuts, everyone! < 1408145020 903052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: so what do you think really happened to her? < 1408145021 40371 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: a programming language of the future < 1408145039 637827 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :b_jonas: which her? remember, fungot has two girlfriends. < 1408145039 873429 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: maybe rtfm actually stands for rich text format. < 1408145040 25605 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: uh... but how? < 1408145040 162789 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: there was fnord in front of < 1408145050 256265 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1408145393 681412 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :how's the weather down South? < 1408145474 784115 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know? Now I wrote many thing of Super ASCII MZX Town and level20.tex story into the "All The Tropes". See if you like them, or want to complain about them, add more stuff if you have more idea to add, found mistakes and you can fix it, etc? We can make multiple views rather than only my own biased kind of opinions of it. < 1408145495 637079 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Warm < 1408145735 419554 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I miss warm. I was near LEZL last week. < 1408145748 207518 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why < 1408145770 432740 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :family? < 1408145854 111261 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :on vacation with my parents :D < 1408145948 469686 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well, you're more than welcome to vacation again down here. it should be warm for at least another month, and I'll point you to the vacationy places. < 1408145994 622142 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(by warm i mean "at least 26") < 1408146046 201913 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :good enough for me. it's been raining here since I got back, we've had day with 16 °C max... uuuurgh. < 1408146239 684589 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i imagine you're stuck there though, what with work and Responsible Adult Living < 1408146348 173601 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Stuck: check. Adult: check. Living: uhm... I'll go with check, just to be on the safe side. < 1408146650 536025 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i see you are silent on the subject of Responsible < 1408146734 32935 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :♪ LA LA LA I CAN'T HEAR YOU LA LA LA ♪ < 1408146767 904827 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :seriously, I am responsible. it's just a drag. < 1408146991 609305 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :boily: you were in saville, spain? < 1408147018 825430 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1408147054 708645 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :So, I wrote a chunksOf : (n : Nat) -> List a -> (List (Vect (S n) a), BoundedList n a) < 1408147173 745867 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1408147196 428930 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am most amused by the video on wikipedia of an antlion throwing sand at an ant to prevent it escaping its trap. insects are pretty cool.