> 1586045502 259298 PRIVMSG #esoteric :14[[07Az14]]4 M10 02https://esolangs.org/w/index.php?diff=70629&oldid=40982 5* 03LegionMammal978 5* (+14) 10fixed title
< 1586045953 728986 :iczero!iczero@hellomouse/dev/iczero NICK :mooooooooooooooo
< 1586046016 218563 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1586046538 899460 PRIVMSG #esoteric :14[[07Minimal operation language14]]4 10 02https://esolangs.org/w/index.php?diff=70630&oldid=70622 5* 03Hakerh400 5* (+128) 10Add interpreter
> 1586046552 398890 PRIVMSG #esoteric :14[[07Talk:Minimal operation language14]]4 N10 02https://esolangs.org/w/index.php?oldid=70631 5* 03Hakerh400 5* (+320) 10/* Implementation */
< 1586047372 744603 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1586047836 730775 :ski!~ski@remote11.chalmers.se JOIN :#esoteric
> 1586048619 403815 PRIVMSG #esoteric :14[[07BugSophia14]]4 10 02https://esolangs.org/w/index.php?diff=70632&oldid=30922 5* 03IFcoltransG 5* (+23) 10Languages category
< 1586048713 850072 :divergence!~div@38.95.110.68 QUIT :Read error: Connection reset by peer
< 1586048995 808748 :diverger!~div@185.246.211.104 JOIN :#esoteric
< 1586049192 130405 :mooooooooooooooo!iczero@hellomouse/dev/iczero NICK :inb4
< 1586052357 212874 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Ping timeout: 260 seconds
< 1586052437 786277 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1586052783 803673 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
> 1586056939 399295 PRIVMSG #esoteric :14[[07BDAMD14]]4 M10 02https://esolangs.org/w/index.php?diff=70633&oldid=30443 5* 03LegionMammal978 5* (+25) 10/* External resources */ fixed link
< 1586060854 742032 :xkapastel!uid17782@gateway/web/irccloud.com/x-jbumsiampmrcryxz QUIT :Quit: Connection closed for inactivity
< 1586061986 789996 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 256 seconds
< 1586062296 834278 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1586062893 894715 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Actually ais523's card game design already has one thing that can be called a flag, which is the "General" flag. However, I have ideas of a few other flags, such as one flag that allows you to play other manoeuvres (except ones with the tactics track as source) before giving your opponent the chance to play, after playing to the tactics track.
< 1586063087 263771 :inb4!iczero@hellomouse/dev/iczero NICK :iczero
< 1586064951 730911 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn The password of the month is starving for attention.
< 1586064954 215394 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is starving for attention.
< 1586070855 403828 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 258 seconds
< 1586074667 179101 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Do you have any of Bohm's brainfuck programs?
< 1586074774 880546 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds
< 1586078318 794177 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1586079020 325446 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1586079034 20189 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds
< 1586079101 888949 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
> 1586080017 867845 PRIVMSG #esoteric :14[[07Babalang14]]4 10 02https://esolangs.org/w/index.php?diff=70634&oldid=70582 5* 03RocketRace 5* (+2517) 10Detail the statement syntax.
> 1586081419 216192 PRIVMSG #esoteric :14[[07Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=70635&oldid=70634 5* 03RocketRace 5* (+49) 10Fix formatting
> 1586081524 224096 PRIVMSG #esoteric :14[[07Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=70636&oldid=70635 5* 03RocketRace 5* (+21) 10Further fix formatting
> 1586081584 776651 PRIVMSG #esoteric :14[[07Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=70637&oldid=70636 5* 03RocketRace 5* (+47) 10Wording
< 1586082426 340225 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1586082876 79021 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1586083696 9224 :xkapastel!uid17782@gateway/web/irccloud.com/x-zxqxkcmqyabbgtrn JOIN :#esoteric
< 1586084190 375189 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1586084856 977915 :tromp!~tromp@2a02:a210:ca3:2800:d936:ceb9:7e8:f6dd QUIT :Remote host closed the connection
< 1586085704 916462 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric
> 1586086343 525800 PRIVMSG #esoteric :14[[07Preposterous Programming14]]4 10 02https://esolangs.org/w/index.php?diff=70638&oldid=21367 5* 03IFcoltransG 5* (+22) 10Added concepts category
< 1586087421 70410 :arseniiv!~arseniiv@136.169.239.247 JOIN :#esoteric
> 1586087982 862827 PRIVMSG #esoteric :14[[07Preposterous Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=70639&oldid=35673 5* 03IFcoltransG 5* (+342) 10Wording rewrite and categories
> 1586088023 375106 PRIVMSG #esoteric :14[[07Preposterous Programming14]]4 M10 02https://esolangs.org/w/index.php?diff=70640&oldid=70638 5* 03IFcoltransG 5* (+34) 10Added Computational Models category
> 1586088054 553182 PRIVMSG #esoteric :14[[07Preposterous Programming14]]4 M10 02https://esolangs.org/w/index.php?diff=70641&oldid=70640 5* 03IFcoltransG 5* (+0) 10Sheepishly fix category capitalisation
> 1586088279 742126 PRIVMSG #esoteric :14[[07SimPL14]]4 M10 02https://esolangs.org/w/index.php?diff=70642&oldid=70570 5* 03IFcoltransG 5* (+0) 10Fixed TC category
> 1586093106 408023 PRIVMSG #esoteric :14[[07Minimal operation language14]]4 M10 02https://esolangs.org/w/index.php?diff=70643&oldid=70630 5* 03PythonshellDebugwindow 5* (+35) 10
< 1586094541 461998 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1586097787 860615 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
> 1586101769 972431 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Manna5 5*  10New user account
< 1586103017 988078 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
< 1586104008 40849 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1586104743 81923 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :int-e: many of the TODOs in 32 and 33 follow a pattern similar to the one for 29
< 1586104847 202613 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :the most general pattern that captures them is T = \x. K^j x^k (\y. y (x y ...))
< 1586104896 318690 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :oops, I should add some parentheses as in T = \x. K^j (x^k (\y. y (x y ...)))
< 1586104926 982264 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :where K is const function; I could also write \_ ... \_ instead of K^j
< 1586104950 291015 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :and k >= 1 of course, making T strict
< 1586105071 632270 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :If we then set T_0 = T, and T_{i+1} = \y. y (T_i y ...), then we can show by induction that T T_i reduces to a tern with T T_{i+1} in head position
< 1586105079 80089 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :thus proving divergence
< 1586105174 565027 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :so we can try to define this pattern with a function isW2, and then replace isW a && isW b  by isW a && (isW b || isW2 b)
< 1586105182 388382 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :which should eliminate a lot of TODOs
< 1586106650 802815 :arseniiv_!~arseniiv@136.169.239.231 JOIN :#esoteric
< 1586106706 8041 :arseniiv!~arseniiv@136.169.239.247 QUIT :Ping timeout: 265 seconds
< 1586106945 751030 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PART :#esoteric
< 1586107192 294880 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1586113124 626258 :ositoblanco!~osito@45.77.207.121 JOIN :#esoteric
> 1586113731 509538 PRIVMSG #esoteric :14[[07BAM12814]]4 10 02https://esolangs.org/w/index.php?diff=70644&oldid=32357 5* 03LegionMammal978 5* (+42) 10/* External resources */ fixed link, added categories
< 1586114142 895041 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Do you know how to convert Fermat's Last Theorem into a Magic: the Gathering puzzle?
> 1586114384 52534 PRIVMSG #esoteric :14[[07Duck Duck Goose14]]4 M10 02https://esolangs.org/w/index.php?diff=70645&oldid=70594 5* 03LegionMammal978 5* (-19) 10updated link
> 1586114395 212441 PRIVMSG #esoteric :14[[07Cheers14]]4 M10 02https://esolangs.org/w/index.php?diff=70646&oldid=70557 5* 03LegionMammal978 5* (-10) 10updated link
> 1586114406 694709 PRIVMSG #esoteric :14[[07Noodle Soup14]]4 M10 02https://esolangs.org/w/index.php?diff=70647&oldid=70536 5* 03LegionMammal978 5* (-15) 10updated link
> 1586114417 616921 PRIVMSG #esoteric :14[[07And14]]4 10 02https://esolangs.org/w/index.php?diff=70648&oldid=70535 5* 03LegionMammal978 5* (-11) 10updated link
< 1586114916 332654 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :not sure!
< 1586114920 271012 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1586115723 439867 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1586116021 824388 :arseniiv_!~arseniiv@136.169.239.231 QUIT :Ping timeout: 264 seconds
> 1586120634 121884 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zerojl 5*  10New user account
> 1586120770 41735 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70649&oldid=70625 5* 03Zerojl 5* (+58) 10
> 1586120907 113994 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70650&oldid=70649 5* 03Zerojl 5* (+54) 10
< 1586122190 36368 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1586122339 327513 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds
< 1586122356 605631 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1586123149 7815 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds
> 1586123333 360262 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70651&oldid=70650 5* 03JonoCode9374 5* (+21) 10
> 1586127725 590646 PRIVMSG #esoteric :14[[07Backpackr14]]4 M10 02https://esolangs.org/w/index.php?diff=70652&oldid=54153 5* 03LegionMammal978 5* (+14) 10fixed title
> 1586130512 268195 PRIVMSG #esoteric :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=70653&oldid=69331 5* 03PythonshellDebugwindow 5* (+72) 10/* Cheating Quines */
< 1586131107 364477 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :One of the AI opponents in Pokemon Card GB2 has a "invincible deck", which would be good if the AI was not too stupid to handle it.