< 1552953824 404601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : stupid stemmer search, "miserable" is not related to "miser" <-- surely they're from the same latin word, "miser". < 1552954343 674752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i think your stasis cupboard may have the flaw that if it fails you get a nuclear sized explosion < 1552954372 30062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :see: various xkcd whatifs < 1552954381 430628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well #1 iirc) < 1552955276 137412 :fmease!fmeasematr@gateway/shell/matrix.org/x-uiwqjcqipmxuagmh QUIT :Remote host closed the connection < 1552955278 926173 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-flueywiblfaggmwa QUIT :Remote host closed the connection < 1552955302 92934 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1552955459 210567 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1552955737 534257 :fmease!fmeasematr@gateway/shell/matrix.org/x-ibhlwkanxxvrfwxf JOIN :#esoteric < 1552956562 252107 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-jagvdpyjxziwfggu JOIN :#esoteric < 1552958789 972159 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1552959231 989461 :xkapastel!uid17782@gateway/web/irccloud.com/x-orukwsliyxhleomz QUIT :Quit: Connection closed for inactivity < 1552959744 770804 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1552963933 173571 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1552966301 945321 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1552966559 943303 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1552969581 977056 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1552969835 968814 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1552972847 131443 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1552976051 998504 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1552976303 940113 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1552978488 950619 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1552978510 600165 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :K-Lined < 1552978803 304631 :arseniiv!~arseniiv@136.169.202.72 JOIN :#esoteric < 1552981765 192462 :xkapastel!uid17782@gateway/web/irccloud.com/x-jawcoqdkwbkrbotk JOIN :#esoteric < 1552982264 256677 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1552984370 234785 :b_jonas!~x@catv-176-63-24-162.catv.broadband.hu QUIT :Quit: leaving < 1552985967 709330 :SoniEx2!~quassel@unaffiliated/soniex2 JOIN :#esoteric < 1552985967 973493 :Soni!~quassel@unaffiliated/soniex2 QUIT :Ping timeout: 264 seconds < 1552986740 363813 :S_Gautam!uid286066@gateway/web/irccloud.com/x-oarjealefuizzryy JOIN :#esoteric < 1552986798 290723 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :ACTION hello! < 1552987885 212059 :SoniEx2!~quassel@unaffiliated/soniex2 NICK :Soni < 1552990907 892298 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1552992962 765905 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1552995179 794806 :aloril!~aloril@mobile-access-5d6a1c-218.dhcp.inet.fi QUIT :Remote host closed the connection < 1552995407 280587 :aloril!~aloril@mobile-access-5d6a1c-218.dhcp.inet.fi JOIN :#esoteric < 1552995950 972985 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1552997492 323169 :S_Gautam!uid286066@gateway/web/irccloud.com/x-oarjealefuizzryy QUIT :Quit: Connection closed for inactivity < 1552998184 772947 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1552998523 703244 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1552998571 259230 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1552998590 66456 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1552999302 738875 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 250 seconds < 1552999901 327219 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1553000310 158312 :xkapastel!uid17782@gateway/web/irccloud.com/x-jawcoqdkwbkrbotk QUIT :Quit: Connection closed for inactivity < 1553001338 53228 :zemhill_______!bfjoust@selene.zem.fi PRIVMSG #esoteric :david_werecat.slag: points 16.83, score 42.00, rank 3/47 < 1553001971 697981 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be JOIN :#esoteric < 1553002311 831673 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric ::O < 1553002472 103151 :AnotherTest_!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1553002472 704489 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be QUIT :Ping timeout: 272 seconds < 1553002472 768926 :AnotherTest_!~turingcom@d51A4B8E1.access.telenet.be NICK :AnotherTest > 1553003417 928441 PRIVMSG #esoteric :14[[07User:David.werecat14]]4 M10 02https://esolangs.org/w/index.php?diff=60534&oldid=50855 5* 03David.werecat 5* (+14716) 10Updated BFJoust competitors < 1553003505 666623 :xkapastel!uid17782@gateway/web/irccloud.com/x-vfepxcheqsuneyme JOIN :#esoteric < 1553003574 68316 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Idea: BF Joust variant where scores are divided by some function of the program's length < 1553003802 208066 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca JOIN :#esoteric < 1553004089 124510 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :not sure why. in theory, aren't you already at a disadvantage through longer time to cycle throughyour program? < 1553004481 474658 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Most large competitors have many branches and thus may not be significantly slower than smaller competitors. < 1553005190 127683 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553005495 246528 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1553005568 223450 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :On a completely different note, can I regard Set as the full subcategory of Cat restricted to discrete (small) categories? < 1553005640 956364 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553005665 170894 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Excess Flood < 1553005684 425244 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1553005692 979885 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1553006506 68807 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 258 seconds < 1553007137 337718 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be JOIN :#esoteric < 1553007520 392113 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be QUIT :Ping timeout: 244 seconds < 1553010174 982854 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :As a note: the following is a list of BFJoust competitors and their sizes: < 1553010176 789334 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Place Name Score Points Size < 1553010176 958851 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :1 david_werecat.mist 52.05 12.36 67 < 1553010176 958916 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :2 Lymia.nyuroki2 50.56 19.9 9299 < 1553010176 958928 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :3 david_werecat.slag 42 16.83 173 < 1553010177 860092 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :4 quintopia.space_hotel 35.96 12.05 334244 < 1553010179 852431 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :5 ais523.growth2 34.49 11.9 185931 < 1553010181 867958 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :6 ais523.margins3 33.56 6.52 12028 < 1553010183 801478 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :7 david_werecat.MV 32.59 12.14 14135 < 1553010185 783834 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :8 ais523.omnipotence 32.3 11.83 21695 < 1553010187 797008 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :9 david_werecat.jackal2 29.45 9.38 69 < 1553010189 801537 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :10 quintopia.space_elevator 28.03 7.71 19635 < 1553010191 793720 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :11 ais523.preparation 27 7.29 34356 < 1553010193 795403 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :12 david_werecat.antigen 24.53 5.48 205 < 1553010195 797310 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :13 ais523.monolith 23.81 4.33 195 < 1553010197 876765 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :14 Oj742.quicklock 22.44 3.64 14117 < 1553010199 429949 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :15 mroman.cupnoodles 22.4 3.21 92 < 1553010201 460102 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :16 mroman_.cupnoodles 22.4 3.21 92 < 1553010203 488063 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :17 StackOverflow.Sp3000_ParanoidBot 21.02 3.19 18637 < 1553010205 495596 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :18 david_werecat.atom 20.93 0.38 28 < 1553010209 544234 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :19 david_werecat.neutrino 20.19 0 96 < 1553010211 503136 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :20 Lymia.finnel 19.69 -0.17 55 < 1553010213 508427 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :21 david_werecat.xurtle 19.32 -0.24 62 < 1553010215 510237 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :22 ais523.hippo_ballerina 17.82 -2.76 1651 < 1553010217 512658 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :23 ais523.optimism 17.7 -2.26 78 < 1553010219 516535 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :24 ais523.stealth2 17.38 -3.81 954 < 1553010221 518721 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :25 david_werecat.pheonix 17.21 -2.4 115 < 1553010223 521490 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :26 david_werecat.leviathan 17.19 -2.74 146 < 1553010225 524846 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :27 ais523.margins 16.39 -2.4 618 < 1553010227 544243 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :28 david_werecat.dreadnought 15.64 -3.88 5148 < 1553010229 540823 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :29 ais523.slowpoke 15.61 -3.86 7100 < 1553010231 535943 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :30 ais523.anticipation2 15.55 -2.74 188182 < 1553010233 539575 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :31 SuperJedi224.Hyper 15.23 -5.45 100 < 1553010235 558759 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :32 ais523.death_to_defence 15.12 -6.17 827 < 1553010239 563115 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :33 Oj742.smartlock 15.09 -5.86 343489 < 1553010241 553243 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :34 web.TellsToBeat 14.81 -6.6 195 < 1553010243 571311 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :35 david_werecat.behemoth 14.79 -5.88 199 < 1553010245 559466 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :36 mroman_.funky 14.41 -7.02 157 < 1553010247 563353 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :37 Gregor.furry_furry_strapon_pegging_girls 14.22 -4.79 114923 < 1553010249 577149 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :38 quintopia.brachiation 13.98 -6.24 342 < 1553010251 591600 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :39 mroman_.athena 13.96 -7.67 61 < 1553010253 574389 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :40 mroman_.snail 13.76 -7.71 54 < 1553010255 577519 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :41 ais523.sometimes 13.69 -6.19 23 < 1553010257 580316 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :42 kerbal.Checkers 13.64 -7 144 < 1553010259 597849 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :43 AndoDaan.BeatYouMate 13.61 -8.38 194 < 1553010261 587315 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :44 mroman_.strapon_fuck_machine 12.99 -8.71 75 < 1553010263 589212 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :45 oerjan.pathetic 11.84 -9.83 18 < 1553010264 205559 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fuck you < 1553010265 592456 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :46 oerjan.lame_horse 11.84 -9.83 22 < 1553010269 620050 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :47 web.very_suicidal 11.82 -10.79 30 < 1553010515 530788 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :wtf is that lock loop in mist < 1553010563 877455 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :I'm surprised that Nyuroki's anti-defense loop doesn't clear it < 1553010672 238108 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :It was originally (+-++)*-1, but I found (+-++-+++)*-1 later via brute-force < 1553010685 484825 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :It works unusually well < 1553010724 156672 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :(not just at locking programs, but at forcing them off the end of the tape) < 1553010765 276271 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :Nyuroki assumes its anti-defense loop will clear shudder locks. < 1553010810 121884 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :But I guess that loop specifically avoids it. < 1553010840 509649 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :I have a billion copies of the anti-defense loop, so. I wonder if I can make it effectively choose randomly < 1553010858 342409 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :That'd prevent a specifically chosen defense loop from doing this. < 1553010865 663047 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :Since it'd have to be effective against every defense loop. < 1553010872 107516 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :anti-defense* < 1553011009 310409 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :True; at the very least the anti-defense loop could be different for each branch. Given that different tape sizes will typically yield different branches, it could work most of the time. < 1553011110 208214 :xkapastel!uid17782@gateway/web/irccloud.com/x-vfepxcheqsuneyme QUIT :Quit: Connection closed for inactivity < 1553011202 35332 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Actually, maybe not in Nyuroki. It appears that most of the branching is due to the checks on the decoy setup. < 1553011456 943123 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :(and to break out of clear loops) < 1553012033 372938 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Still, I'm surprised that mist made it to first place; it started as a joke. I didn't think that a strategy like that would do well. < 1553012439 957356 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :As for the random anti-defense, that would be far easier to do in LuaJoust (adjust the seed each cycle and do additional modifications on any conditional operator) < 1553012773 636000 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :Synchronization seems to have been the key here. < 1553012782 915525 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :It turns 10% wins into 100% wins. < 1553012803 669562 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :And given that, you can brute force a defense loop that works very well against the current hill more than likely < 1553013059 826238 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Yes. In fact, just that part of the strategy alone made it up to 16th place. I tried more sophisticated synchronization strategies but didn't find one of hand-editable size that worked well. < 1553013108 864270 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :The other half of the strategy is the weird attack loop (which is tuned against the defense programs on the current hill). < 1553013143 217105 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :Really, mist only does well because it's optimized against the current "meta". < 1553013269 381362 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :In fact, running an amalgamation of the current hill, the Codu hill, and the StackOverflow hill yields scores where mist doesn't do nearly as well. < 1553013344 577663 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca PRIVMSG #esoteric :(IIRC, I ran the test on my home computer and don't have the logs with me right now) < 1553014394 204047 :kmc!~beehive@li521-214.members.linode.com JOIN :#esoteric < 1553014802 437931 :LKoen!~LKoen@2a01cb0407597a00746c9e41fcccab9f.ipv6.abo.wanadoo.fr JOIN :#esoteric < 1553015218 917960 :LKoen!~LKoen@2a01cb0407597a00746c9e41fcccab9f.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection < 1553015457 423773 :LKoen!~LKoen@2a01cb0407597a002c724dfa99d1a17e.ipv6.abo.wanadoo.fr JOIN :#esoteric < 1553016013 559449 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1553016884 44404 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1553017290 71905 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu JOIN :#esoteric < 1553018982 658210 :LKoen!~LKoen@2a01cb0407597a002c724dfa99d1a17e.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection < 1553020389 396019 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net JOIN :#esoteric < 1553020389 476899 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net QUIT :Changing host < 1553020389 476937 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1553022022 537191 :LKoen!~LKoen@2a01cb0407597a0051f164ed538a01cb.ipv6.abo.wanadoo.fr JOIN :#esoteric < 1553022564 907257 :LKoen!~LKoen@2a01cb0407597a0051f164ed538a01cb.ipv6.abo.wanadoo.fr QUIT :Remote host closed the connection < 1553022581 546006 :LKoen!~LKoen@2a01cb0407597a0051f164ed538a01cb.ipv6.abo.wanadoo.fr JOIN :#esoteric < 1553025294 669176 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl JOIN :#esoteric < 1553026056 244043 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :`? dog < 1553026057 734874 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :dog? ¯\(°​_o)/¯ < 1553027184 979741 :david_werecat!~david_wer@kntaon1614w-grc-07-174-92-68-147.dsl.bell.ca QUIT :Quit: Leaving < 1553027713 136148 :dub!4a57eec3@gateway/web/freenode/ip.74.87.238.195 JOIN :#esoteric < 1553027793 618742 :dub!4a57eec3@gateway/web/freenode/ip.74.87.238.195 QUIT :Client Quit < 1553027879 100905 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1553029157 533669 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :> (\x. x x) (\x. x x) < 1553029159 443934 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:4: error: parse error on input ‘.’ < 1553029166 268203 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :> (\x -> x x) (\x -> x x) < 1553029168 194650 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1553029168 194690 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Occurs check: cannot construct the infinite type: t0 ~ t0 -> t < 1553029168 194699 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Expected type: t0 -> t < 1553029287 921799 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :lol < 1553029312 607553 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you need to define names to type it, right? < 1553029446 308702 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I'm not sure you can < 1553029855 938870 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hmm < 1553029874 511293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i know you can circumvent the type problems that break the Y combinator < 1553029905 606152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1553029950 264204 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :apparently? https://stackoverflow.com/questions/33546004/is-it-possible-to-define-omega-combinator-%CE%BBx-xx-in-modern-haskell < 1553029982 458572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, you can define Y and this thing with negative recursion. < 1553030039 604267 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :prove it < 1553030055 165037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you prove it < 1553030057 67240 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :Phantom_Hoover: you can put a data type between it < 1553030066 478549 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :one with a constructor, not a synonym < 1553030072 222335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The type error tells you what to do. < 1553030078 944573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cannot construct infinite type t0 ~ t0 -> t < 1553030091 119815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So define a type T0 where T0 ~ T0 -> T < 1553030173 888905 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :I think I already mentioned the olvashato program http://math.bme.hu/~ambrus/pu/olvashato/t2n.olv which does something like this < 1553030194 854148 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :it's not quite the Y combinator, but it still does recursion without using the built-in named recursion calls, with just lambdas and named types < 1553030251 405278 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :you could write the Y combinator that way too < 1553030273 494714 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :you don't really need to, because the language allows you to just call named functions recursively, but still < 1553030276 961551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let newtype Rec a = Rec { runRec :: Rec a -> a } < 1553030277 966443 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:166:31: error: < 1553030278 42876 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Ambiguous occurrence ‘Rec’ < 1553030278 42929 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : It could refer to either ‘Lambdabot.Plugin.Haskell.Eval.Trusted.Rec’, < 1553030309 792232 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :what? < 1553030314 184912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let newtype Curry a = Curry { runCurry :: Curry a -> a } < 1553030315 555527 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1553030365 904338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :newtype Rec a = InR { outR :: Rec a -> a } < 1553030370 685080 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::P < 1553030374 840687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let why :: (a -> a) -> a; why f = (\x -> runCurry x x) (Curry (\x -> f (runCurry x x))) < 1553030376 192528 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ghc: panic! (the 'impossible' happened) < 1553030376 232051 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (GHC version 8.2.2 for x86_64-unknown-linux): < 1553030376 271555 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Simplifier ticks exhausted < 1553030384 169098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Oh, InR/outR < 1553030414 255143 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I have no clue why it's there instead of L.hs though. < 1553030431 708181 :int-e!~noone@int-e.eu PRIVMSG #esoteric :historical accident. < 1553030435 516721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, this is the same deal as Curry's paradox. < 1553030442 874495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"if this sentence is true, then a" < 1553030472 212446 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I see it's still a good way to exhaust ghc's simplifier. I was wondering about that. < 1553030640 564951 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :uh < 1553032172 413259 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :do we love Turing tar-pits here, right? < 1553032192 416064 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :how I'm going to add two numbers on this? https://en.wikipedia.org/wiki/Iota_and_Jot < 1553032879 72147 :int-e!~noone@int-e.eu PRIVMSG #esoteric :do it in combinatory logic and then replace S, K and I by the corresponding iota terms? < 1553033094 48306 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1553033155 3836 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Combinatory_logic < 1553033169 708893 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :reading this is as painful as reading arbitrary RFC < 1553033354 178340 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://esolangs.org/wiki/Combinatory_logic is perhaps less overwhelming < 1553033680 149827 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :https://esolangs.org/wiki/Combinatory_logic doesn't really talk about numbers or algebraic types IIRC < 1553033746 425129 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :what's the name for that technique where you translate algebraic data types (like products and distinguished sums) into combinatory logic? < 1553033755 674232 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :IIRC it was named of someone < 1553033780 915684 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :TheWild: there's of course always http://www.madore.org/~david/programs/unlambda/ < 1553034362 381219 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :reading unlambda... I mean, not reading, it's impossible ;) < 1553034406 786484 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :I didn't get it how functions fighting functions using functions could produce a single bit. < 1553034587 308195 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :TheWild: well, you eventually need some sort of I/O primitives, either Haskell style or with side effects < 1553034923 216617 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and there's tromp's Binary Lambda Calculus (which basically follows the main :: [Char] -> [Char] model) < 1553035005 227477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm https://esolangs.org/wiki/Lambda_calculus gives a glimpse at Church numerals < 1553035150 216184 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So basically that's what you do in pure lambda calculus: represent data as special kinds of functions. It takes a while to get used to, but it can be fun. It's not terribly useful though. < 1553035183 426143 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :I think of it as first representing the data as algebraic data types, untyped, and then encoding that as functions < 1553035184 182466 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I wonder whether wikipedia has an articule on Church encodings... < 1553035189 202137 :b_jonas!~x@catv-176-63-24-16.catv.broadband.hu PRIVMSG #esoteric :even though that's not, strictly speaking, necessary < 1553035249 456362 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1553035273 95700 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? articule < 1553035273 931576 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :articule? ¯\(°​_o)/¯ < 1553035298 492623 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I must have been feeling particularly articulate there. < 1553035687 285481 :heroux!sandroco@gateway/shell/insomnia247/x-dohdopctydtqzzoe QUIT :Ping timeout: 240 seconds < 1553035725 684146 :heroux!sandroco@gateway/shell/insomnia247/x-utidlobdczmxljhu JOIN :#esoteric < 1553036262 172307 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :what sane language you know? < 1553036449 869569 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl PRIVMSG #esoteric :okay, let it be JavaScript. Did I get iota right? https://kopy.io/DFPdI < 1553036453 832334 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1553036683 958305 :LKoen!~LKoen@2a01cb0407597a0051f164ed538a01cb.ipv6.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1553037207 940997 :TheWild!~Thunderbi@apn-95-40-93-115.dynamic.gprs.plus.pl QUIT :Quit: TheWild < 1553039413 896179 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1553039484 673964 :zemhill_______!bfjoust@selene.zem.fi PRIVMSG #esoteric :web.silly-pi: points -33.19, score 3.14, rank 47/47 < 1553039511 732228 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh.