< 1582589342 71580 :tromp!~tromp@2a02:a210:ca3:2800:c01a:1e24:7427:6ac9 QUIT :Remote host closed the connection > 1582590577 255244 PRIVMSG #esoteric :14[[07User:Vulture00114]]4 10 02https://esolangs.org/w/index.php?diff=70038&oldid=66389 5* 03Vulture001 5* (+56) 10 > 1582590588 212580 PRIVMSG #esoteric :14[[07User:Vulture00114]]4 10 02https://esolangs.org/w/index.php?diff=70039&oldid=70038 5* 03Vulture001 5* (+4) 10 > 1582590595 737267 PRIVMSG #esoteric :14[[07User:Vulture00114]]4 10 02https://esolangs.org/w/index.php?diff=70040&oldid=70039 5* 03Vulture001 5* (+4) 10 > 1582590918 80249 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Vulture001 5* 10uploaded "[[02File:No logo.png10]]": Public domain > 1582591077 843168 PRIVMSG #esoteric :14[[07No14]]4 N10 02https://esolangs.org/w/index.php?oldid=70042 5* 03Vulture001 5* (+630) 10Created > 1582591121 634590 PRIVMSG #esoteric :14[[07User:Vulture00114]]4 10 02https://esolangs.org/w/index.php?diff=70043&oldid=70040 5* 03Vulture001 5* (+46) 10 > 1582591127 883365 PRIVMSG #esoteric :14[[07User:Vulture00114]]4 10 02https://esolangs.org/w/index.php?diff=70044&oldid=70043 5* 03Vulture001 5* (+4) 10 < 1582591419 972325 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1582591685 942302 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Ping timeout: 252 seconds > 1582592020 299831 PRIVMSG #esoteric :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=70045&oldid=69275 5* 03Vulture001 5* (+53) 10 < 1582594710 307406 :tromp!~tromp@2a02:a210:ca3:2800:c01a:1e24:7427:6ac9 JOIN :#esoteric < 1582595003 277122 :tromp!~tromp@2a02:a210:ca3:2800:c01a:1e24:7427:6ac9 QUIT :Ping timeout: 272 seconds < 1582595436 942673 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1582597033 727401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ennesby, meet grippy < 1582597070 646553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : < 1582598233 306314 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1582598561 397342 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru JOIN :#esoteric < 1582598682 881237 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1582598690 415837 :moonythehammer!moony@hellomouse/dev/moony QUIT :Quit: Bye! < 1582598690 980690 :iczero!iczero@hellomouse/dev/iczero QUIT :Quit: rip < 1582598843 176813 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582598959 504452 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened < 1582599267 345928 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1582599276 52928 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1582599282 286996 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1582599366 299212 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric > 1582600187 42157 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=70046&oldid=67527 5* 03Vulture001 5* (+34) 10/* Looks Like */ > 1582600667 588773 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Vulture001 5* 10uploaded "[[02File:SC logo.png10]]" > 1582600670 544657 PRIVMSG #esoteric :14[[07SovietCode14]]4 N10 02https://esolangs.org/w/index.php?oldid=70048 5* 03Vulture001 5* (+758) 10Created page with "[[File:SC logo.png|130px|border|thumb|Logo|right]]'''SovietCode''' is a Python-interpreted, joke programming language created by [[User:Vulture001|Vulture001]]. The sole purpo..." > 1582601027 843458 PRIVMSG #esoteric :14[[07Talk:Beatnik14]]4 10 02https://esolangs.org/w/index.php?diff=70049&oldid=46212 5* 03Quadril-Is 5* (+46) 10 > 1582601039 684178 PRIVMSG #esoteric :14[[07Talk:Beatnik14]]4 10 02https://esolangs.org/w/index.php?diff=70050&oldid=70049 5* 03Quadril-Is 5* (+95) 10 < 1582601183 942773 :tromp!~tromp@2a02:a210:ca3:2800:c01a:1e24:7427:6ac9 JOIN :#esoteric < 1582601453 951838 :tromp!~tromp@2a02:a210:ca3:2800:c01a:1e24:7427:6ac9 QUIT :Ping timeout: 252 seconds < 1582601642 179893 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1582601974 101205 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1582602570 339374 :tromp!~tromp@2a02:a210:ca3:2800:1429:3792:539b:51aa JOIN :#esoteric < 1582602707 165203 :BWBellairs[NNRF]!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric < 1582602723 861982 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Ping timeout: 260 seconds < 1582602751 553722 :aloril!~aloril@mobile-access-b0486e-15.dhcp.inet.fi QUIT :Ping timeout: 260 seconds < 1582602751 750741 :ineiros_!ineiros@kapsi.fi QUIT :Ping timeout: 260 seconds < 1582602751 776000 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 260 seconds < 1582602751 828621 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :Ping timeout: 260 seconds < 1582602751 927882 :aji!~alex@unaffiliated/aji QUIT :Ping timeout: 260 seconds < 1582602763 125793 :BWBellairs[NNRF]!~bwbellair@hellomouse/dev/bwbellairs NICK :BWBellairs < 1582602779 530544 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Ping timeout: 260 seconds < 1582602806 851950 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1582602845 112659 :aloril!~aloril@mobile-access-b0486e-15.dhcp.inet.fi JOIN :#esoteric < 1582602869 340901 :tromp!~tromp@2a02:a210:ca3:2800:1429:3792:539b:51aa QUIT :Ping timeout: 272 seconds < 1582602888 981344 :Cale!~cale@2607:fea8:9960:35:b998:6501:8471:8cfa JOIN :#esoteric < 1582602915 347688 :aji!~alex@unaffiliated/aji JOIN :#esoteric < 1582602962 542534 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1582603287 142874 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1582603311 374874 :aji!~alex@unaffiliated/aji QUIT :Ping timeout: 260 seconds < 1582603628 401238 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru QUIT :Ping timeout: 258 seconds < 1582604066 374115 :aji!~alex@unaffiliated/aji JOIN :#esoteric < 1582605942 362832 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582607071 967059 :tromp!~tromp@2a02:a210:ca3:2800:55c3:bede:ab23:5a95 JOIN :#esoteric < 1582607327 941565 :tromp!~tromp@2a02:a210:ca3:2800:55c3:bede:ab23:5a95 QUIT :Ping timeout: 252 seconds < 1582612398 53105 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1582612414 279490 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582612747 316807 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1582612795 157597 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582613351 90487 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582613365 247840 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582613562 280375 :tromp!~tromp@2a02:a210:ca3:2800:55c3:bede:ab23:5a95 JOIN :#esoteric < 1582613723 47637 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582613851 277517 :tromp!~tromp@2a02:a210:ca3:2800:55c3:bede:ab23:5a95 QUIT :Ping timeout: 272 seconds < 1582613938 663952 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582614202 276586 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582614283 99615 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582614388 38150 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582614392 761102 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582614468 214029 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582614544 733381 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582615295 361158 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net JOIN :#esoteric < 1582615339 412212 :cpressey!~cpressey@79-65-251-7.host.pobb.as13285.net QUIT :Client Quit < 1582616020 149023 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582616139 204886 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1582616139 529746 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582616595 275415 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 JOIN :#esoteric < 1582616891 289400 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 QUIT :Ping timeout: 272 seconds < 1582618095 363749 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 258 seconds < 1582618701 977886 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 JOIN :#esoteric < 1582619591 151893 :Banana51!~user@unaffiliated/banana51 JOIN :#esoteric < 1582619610 584252 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :Hey. Anyone here experienced with the npiet interpreter and decoding npiet? < 1582619710 370362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is npiet something other than piet? < 1582619761 222489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i see. < 1582619774 804930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know some here have done piet, at least. < 1582620001 612682 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :Its the same < 1582620030 296805 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :I have a challenge I have to solve, and it asks for a password. I have to reverse engineer it. It is a piet file. < 1582620046 285622 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :I have tried to "visual trace" it, but I cannot find any compare instructions that compares to my input. < 1582620197 813083 :b_jonas!~x@catv-176-63-14-122.catv.broadband.hu PRIVMSG #esoteric :put printfs in the interpreter? < 1582620217 923155 :b_jonas!~x@catv-176-63-14-122.catv.broadband.hu PRIVMSG #esoteric :it might not be enough since there could be multiple execution paths with conditionals, but it's a start < 1582620254 450930 :int-e!~noone@int-e.eu PRIVMSG #esoteric :npiet has a non-visual trace already < 1582620307 217621 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :put printfs in the interpreter? I have a .ppm file that I run with ./npiet -t, and it prints the actions (instructions). < 1582620308 539043 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But no, I have not used it for anything, not recently anyway.) < 1582620324 425101 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :Yeah, that would be the -t I think < 1582620361 746143 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :I know approximately where it compares, but there are no cc or compare instructions, which makes me a bit confused. < 1582620382 490130 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :But yes, there seems to be multiple execution paths < 1582620505 225129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe give it two different passwords and see where execution starts to differ < 1582620525 214500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then find out why < 1582620562 794217 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :ill give it a shot, thanks. < 1582620640 302066 :int-e!~noone@int-e.eu PRIVMSG #esoteric :As for comparison it could be obfuscated in various ways, but it may also simply be a 'not', which does a comparison with 0. < 1582621058 689408 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: Clippy got a face-lift :) < 1582621151 194801 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 QUIT :Remote host closed the connection < 1582621320 464729 :b_jonas!~x@catv-176-63-14-122.catv.broadband.hu PRIVMSG #esoteric :how large is the piet program? is it large enough to do a strong cryptographic checksum of the password, to make it hard to decode it? < 1582621324 946677 :b_jonas!~x@catv-176-63-14-122.catv.broadband.hu QUIT :Quit: leaving < 1582621371 209853 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :I wouldnt say it is that large < 1582621385 785099 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :I think I just found a way to do it, by reading all the stack values and converting decimal -> ascii < 1582622133 265780 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1582622230 429643 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I just noticed that this channel is the international center for esoteric programming library design. < 1582622281 822451 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It happens. < 1582622297 679642 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though I had not realized we were branching out into architecture. < 1582622473 981463 :Banana51!~user@unaffiliated/banana51 PRIVMSG #esoteric :Seems like that was a dead end... Did not find anything useful... < 1582622602 450392 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1582623088 684707 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582624144 251735 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1582625367 152784 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1582625565 421789 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1582625738 869643 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1582627503 344102 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1582628601 469634 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582629026 178539 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`pbflist https://pbfcomics.com/comics/rubbed/ < 1582629028 618458 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :pbflist https://pbfcomics.com/comics/rubbed/: shachaf Sgeo quintopia ion b_jonas Cale kmc < 1582629688 660800 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :https://mathoverflow.net/questions/353514/whatt-the-smallest-lambda-calculus-term-which-is-not-known-to-have-a-normal-for < 1582629725 190576 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I like that question < 1582629754 584796 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I had wanted to work on it but I didn't do it < 1582630040 364482 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: you need to specify a reduction strategy for that. < 1582630066 73596 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: At least for the quantitative version (the busy beaver function) < 1582630097 370614 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I feel like it would be very interesting to approach this problem using automated theorem proving < 1582630579 638610 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i specified normal order < 1582631731 639566 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :ps: fixed subject which moved it to https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form < 1582632151 736036 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Oh so you did, sorry. I was looking for something more verbose (leftmost outermost) < 1582632179 255873 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i went with the Wikipedia nomenclature < 1582632266 6430 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Lambda_calculus#Reduction_strategies < 1582632316 292924 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i also thought it sounded less arbitrary:-) < 1582632447 604996 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It does. < 1582632785 901704 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i expect all terms under 50 bits should be manually decidable < 1582632838 170760 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :but things should get interesting under 100 bits < 1582633080 856271 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :one may be able to look for odd perfect number in under 200 bits < 1582633152 559906 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :computing divisors by indexing cyclic lists < 1582636169 850394 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru JOIN :#esoteric < 1582637468 533792 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Oh I found your https://oeis.org/A114852 < 1582637711 658168 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though I wanted < 1582637719 946306 :int-e!~noone@int-e.eu PRIVMSG #esoteric :this for sizes up to 100 :) < 1582637732 692349 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: follow the references < 1582637738 184249 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Terms with size up to 50: 145448015544; size up to 100: 14186608955706026703799033 < 1582637765 953806 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :too many to check exaustively then < 1582637768 663730 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: Well, the way I found the sequence is that I wrote code to compute it :P So I basically was already at my goal. < 1582637837 202406 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :145448015544 is around 2**38, 14186608955706026703799033 is around 2**84, for those who don't like counting digits because it's a computer's chore < 1582638025 830870 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can prune quite a bit (e.g., any terms with a non-duplicating beta-redex, possibly using some extended beta-reduction (what I have in mind is reducing (\x\y\z.M[x,y,z]) r s t to (\x\y.M[x,y,t]) r s). < 1582638059 991414 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But the space will still be large after that. < 1582638876 968651 :xkapastel!uid17782@gateway/web/irccloud.com/x-mgwtrdetmqecywfz JOIN :#esoteric < 1582640655 985047 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1582642776 240465 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1582644328 242261 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lol < 1582644376 841599 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? lol < 1582644379 415759 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :lol? ¯\(°​_o)/¯ < 1582644478 535364 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kmc: What are you laughing about? < 1582644811 137904 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :pbf < 1582644872 491183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. < 1582646328 358535 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1582646523 954622 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :https://www.smbc-comics.com/comic/villainy-theory another one about modern supervillain strategy, so soon after https://www.smbc-comics.com/comic/supervillainy < 1582646534 77720 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582647587 10276 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :well, you can also prune a term t if it ever reduces to some term smaller than t < 1582647621 45722 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :(generalizing your existence of non-duplicating beta-redex) < 1582648590 228289 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1582649037 659587 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1582651606 48799 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1582651623 162140 :xkapastel!uid17782@gateway/web/irccloud.com/x-mgwtrdetmqecywfz QUIT :Quit: Connection closed for inactivity < 1582652029 61397 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1582652091 386133 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582654022 133641 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1582654061 422789 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582654427 773580 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1582654927 531173 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1582654931 323275 :b_jonas!~x@catv-176-63-14-29.catv.broadband.hu JOIN :#esoteric < 1582655070 388117 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582655497 272337 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 JOIN :#esoteric < 1582656017 302985 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de JOIN :#esoteric > 1582657143 578575 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=70051&oldid=69883 5* 03Apollyon094 5* (+22) 10 < 1582658569 69065 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1582658877 68456 PRIVMSG #esoteric :14[[07Talk:BitBitJump14]]4 10 02https://esolangs.org/w/index.php?diff=70052&oldid=30074 5* 03Apollyon094 5* (+225) 10 > 1582658910 706093 PRIVMSG #esoteric :14[[07Talk:BitBitJump14]]4 10 02https://esolangs.org/w/index.php?diff=70053&oldid=70052 5* 03Apollyon094 5* (+1) 10 < 1582659209 182960 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1582659413 392645 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1582659418 446677 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1582660328 85999 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582662929 758745 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582662996 267478 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1582663483 808043 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1582663552 891384 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582664066 850846 :arseniiv!~arseniiv@95.105.14.199.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1582665422 52359 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1582666150 633102 :TheLie!~TheLie@ip5b428f85.dynamic.kabel-deutschland.de QUIT :Remote host closed the connection < 1582667107 389076 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1582670826 955494 :LKoen!~LKoen@81.255.219.130 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.” < 1582673605 179145 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1582674257 23944 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 PRIVMSG #esoteric :i changed the lambda busy beaver definition to use normal form size rather than number of normal order reduction steps < 1582674302 501892 :tromp!~tromp@2a02:a210:ca3:2800:e571:85:fa78:c170 PRIVMSG #esoteric :see https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form