< 1743466516 145485 :isabella!izabera@user/meow/izabera NICK :izacat
< 1743466549 430341 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 260 seconds
< 1743466549 501078 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Ping timeout: 260 seconds
< 1743466549 501171 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 260 seconds
> 1743467752 649806 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dhzb 5* 10New user account
> 1743468547 668966 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-S)14]]4 10 02https://esolangs.org/w/index.php?diff=154789&oldid=153862 5* 03BoundedBeans 5* (+132) 10Added Quassaunt
> 1743468644 155551 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-S)14]]4 10 02https://esolangs.org/w/index.php?diff=154790&oldid=154789 5* 03BoundedBeans 5* (+209) 10Added SATire
> 1743469436 740608 PRIVMSG #esolangs :14[[07DotNetOISC14]]4 10 02https://esolangs.org/w/index.php?diff=154791&oldid=129348 5* 03BoundedBeans 5* (+1245) 10Added ]]SET+TERMINATOR function
> 1743469570 447253 PRIVMSG #esolangs :14[[07DotNetOISC14]]4 10 02https://esolangs.org/w/index.php?diff=154792&oldid=154791 5* 03BoundedBeans 5* (+212) 10Added queue detail of ]]SET+TERMINATOR
> 1743469663 292642 PRIVMSG #esolangs :14[[07DotNetOISC14]]4 10 02https://esolangs.org/w/index.php?diff=154793&oldid=154792 5* 03BoundedBeans 5* (-112) 10No need to delete bin/ directory three separate times in truth-machine
> 1743470036 918705 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=154794&oldid=153255 5* 03I am islptng 5* (+1146) 10
> 1743470072 185439 PRIVMSG #esolangs :14[[07DotNetOISC14]]4 10 02https://esolangs.org/w/index.php?diff=154795&oldid=154793 5* 03BoundedBeans 5* (+90) 10Clarified some aspects of gotos/labels
> 1743470131 513748 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154796&oldid=154784 5* 03JHSHernandez-ZBH 5* (-15) 10
> 1743470172 230431 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154797&oldid=154796 5* 03JHSHernandez-ZBH 5* (+12) 10
< 1743470515 716921 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
< 1743471257 266583 :moony!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
< 1743471312 78514 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1743471425 859191 :[iovoid]!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :nonlinearly separable
> 1743472087 829029 PRIVMSG #esolangs :14[[07Template:CURRENTDATE14]]4 N10 02https://esolangs.org/w/index.php?oldid=154798 5* 03JHSHernandez-ZBH 5* (+48) 10Created page with "{{CURRENTYEAR}}-{{CURRENTMONTH}}-{{CURRENTDAY2}}"
< 1743472267 524927 :[iovoid]!iovoid@hellomouse/dev/iovoid NICK :iovoid
> 1743473002 444689 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 N10 02https://esolangs.org/w/index.php?oldid=154799 5* 03Baldibacak 5* (+743) 10creation of this shitty esolang
> 1743473022 643193 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 10 02https://esolangs.org/w/index.php?diff=154800&oldid=154799 5* 03Baldibacak 5* (+6) 10
> 1743473231 667619 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 10 02https://esolangs.org/w/index.php?diff=154801&oldid=154800 5* 03Baldibacak 5* (+38) 10
> 1743473288 902035 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 10 02https://esolangs.org/w/index.php?diff=154802&oldid=154801 5* 03Baldibacak 5* (+127) 10/* Commands */
> 1743473296 332101 PRIVMSG #esolangs :14[[07Template:April14]]4 N10 02https://esolangs.org/w/index.php?oldid=154803 5* 03JHSHernandez-ZBH 5* (+105) 10Created page with "{{#ifeq: {{#time: m-d}} | 04-01 | {{{2|}}}
| {{#ifeq: {{{1|y}}} | n | {{{3|}}}
| }}"
> 1743473304 915869 PRIVMSG #esolangs :14[[07Talk:ONE WAY14]]4 N10 02https://esolangs.org/w/index.php?oldid=154804 5* 03DigitalDetective47 5* (+404) 10/* Computational Class */ new section
> 1743473507 75057 PRIVMSG #esolangs :14[[07Template:April14]]4 M10 02https://esolangs.org/w/index.php?diff=154805&oldid=154803 5* 03JHSHernandez-ZBH 5* (+2) 10
> 1743473966 244535 PRIVMSG #esolangs :14[[07Piet14]]4 M10 02https://esolangs.org/w/index.php?diff=154806&oldid=151367 5* 03JHSHernandez-ZBH 5* (+20) 10/* Commands */
> 1743474640 466250 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154807&oldid=154747 5* 03JHSHernandez-ZBH 5* (+26) 10/* T */
> 1743475067 838840 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=154808&oldid=154807 5* 03Ais523 5* (-26) 10Undo revision [[Special:Diff/154807|154807]] by [[Special:Contributions/JHSHernandez-ZBH|JHSHernandez-ZBH]] ([[User talk:JHSHernandez-ZBH|talk]]) it doesn't make sense to have a language that is on the language list only on April 1, that isn't how lists work
> 1743475073 994420 PRIVMSG #esolangs :14[[07Brit14]]4 N10 02https://esolangs.org/w/index.php?oldid=154809 5* 03Dmiz 5* (+2358) 10Created page with "Brit is are an esolang created to be cool looking
Brit are stack based and suport variables
you write brit code using tildas(~) and lines to separate commands, you need the bar (|) at the beginning of each sentence, which tells the interpreter to execute the line, i
> 1743475534 659649 PRIVMSG #esolangs :14[[07HQ9+14]]4 M10 02https://esolangs.org/w/index.php?diff=154810&oldid=153159 5* 03JHSHernandez-ZBH 5* (-22) 10
> 1743476927 648830 PRIVMSG #esolangs :14[[07Tables14]]4 M10 02https://esolangs.org/w/index.php?diff=154811&oldid=65726 5* 03JHSHernandez-ZBH 5* (-9) 10
> 1743477629 446230 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=154812&oldid=154746 5* 03JHSHernandez-ZBH 5* (+0) 10
> 1743477673 888111 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=154813&oldid=154812 5* 03JHSHernandez-ZBH 5* (+2) 10
> 1743477710 380951 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=154814&oldid=154813 5* 03JHSHernandez-ZBH 5* (+2) 10/* Syntactic elements */
> 1743477757 11404 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=154815&oldid=154814 5* 03JHSHernandez-ZBH 5* (+4) 10/* NAND and the splitter */
> 1743477964 648516 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=154816&oldid=154815 5* 03JHSHernandez-ZBH 5* (+62) 10/* NAND and the splitter */
> 1743478113 472196 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154817&oldid=152087 5* 03JHSHernandez-ZBH 5* (+110) 10
> 1743478155 849037 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154818&oldid=154817 5* 03JHSHernandez-ZBH 5* (+47) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478170 52198 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154819&oldid=154818 5* 03JHSHernandez-ZBH 5* (+4) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478270 735453 PRIVMSG #esolangs :14[[07Template:April14]]4 M10 02https://esolangs.org/w/index.php?diff=154820&oldid=154805 5* 03JHSHernandez-ZBH 5* (+80) 10
> 1743478295 316340 PRIVMSG #esolangs :14[[07Template:April14]]4 M10 02https://esolangs.org/w/index.php?diff=154821&oldid=154820 5* 03JHSHernandez-ZBH 5* (+13) 10
> 1743478312 801967 PRIVMSG #esolangs :14[[07Template:April14]]4 M10 02https://esolangs.org/w/index.php?diff=154822&oldid=154821 5* 03JHSHernandez-ZBH 5* (-13) 10
> 1743478414 587217 PRIVMSG #esolangs :14[[07Template:April14]]4 M10 02https://esolangs.org/w/index.php?diff=154823&oldid=154822 5* 03JHSHernandez-ZBH 5* (+27) 10
> 1743478448 791116 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154824&oldid=154819 5* 03JHSHernandez-ZBH 5* (+81) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478493 649737 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154825&oldid=154824 5* 03JHSHernandez-ZBH 5* (-11) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478504 935883 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154826&oldid=154825 5* 03JHSHernandez-ZBH 5* (-1) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478539 825106 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=154827&oldid=154826 5* 03JHSHernandez-ZBH 5* (+3) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478740 87823 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154828&oldid=154827 5* 03JHSHernandez-ZBH 5* (+138) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743478786 785872 PRIVMSG #esolangs :14[[07Thue14]]4 M10 02https://esolangs.org/w/index.php?diff=154829&oldid=150366 5* 03JHSHernandez-ZBH 5* (+10) 10/* See also */
> 1743478818 444999 PRIVMSG #esolangs :14[[07Thue14]]4 M10 02https://esolangs.org/w/index.php?diff=154830&oldid=154829 5* 03JHSHernandez-ZBH 5* (+8) 10/* See also */
< 1743478908 477900 :FreeFull!~freefull@79.186.195.25.ipv4.supernova.orange.pl QUIT :
> 1743479691 238409 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 M10 02https://esolangs.org/w/index.php?diff=154831&oldid=154218 5* 03JHSHernandez-ZBH 5* (+34) 10
> 1743479820 962384 PRIVMSG #esolangs :14[[07AREA14]]4 M10 02https://esolangs.org/w/index.php?diff=154832&oldid=144230 5* 03JHSHernandez-ZBH 5* (+0) 10Changed redirect target from [[JAGL]] to [[Just]]
> 1743480045 396371 PRIVMSG #esolangs :14[[07Works in progress14]]4 M10 02https://esolangs.org/w/index.php?diff=154833&oldid=154201 5* 03JHSHernandez-ZBH 5* (+26) 10
> 1743481770 826101 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154834&oldid=154828 5* 03JHSHernandez-ZBH 5* (+18) 10/* {{april|y|april fools|I made a template for april fools}} */
> 1743482001 600178 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154835&oldid=154797 5* 03JHSHernandez-ZBH 5* (+10) 10
> 1743482019 56127 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154836&oldid=154835 5* 03JHSHernandez-ZBH 5* (+7) 10
> 1743482037 593756 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154837&oldid=154836 5* 03JHSHernandez-ZBH 5* (+2) 10
> 1743482047 34919 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154838&oldid=154837 5* 03JHSHernandez-ZBH 5* (+0) 10
> 1743482060 731672 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154839&oldid=154838 5* 03JHSHernandez-ZBH 5* (+0) 10
> 1743482078 431119 PRIVMSG #esolangs :14[[07Twasm14]]4 M10 02https://esolangs.org/w/index.php?diff=154840&oldid=154839 5* 03JHSHernandez-ZBH 5* (-13) 10
> 1743482912 229191 PRIVMSG #esolangs :14[[07Works in progress14]]4 10 02https://esolangs.org/w/index.php?diff=154841&oldid=154833 5* 03Ais523 5* (-26) 10Undo revision [[Special:Diff/154833|154833]] by [[Special:Contributions/JHSHernandez-ZBH|JHSHernandez-ZBH]] ([[User talk:JHSHernandez-ZBH|talk]]) again, it doesn't make sense for a page to appear on a list only on April Fool's Day
> 1743483038 285522 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=154842&oldid=154834 5* 03Ais523 5* (+592) 10/* I made a template for april fools */ this doesn't seem useful
> 1743484764 461175 PRIVMSG #esolangs :14[[07User:Zzo38/Game rules14]]4 10 02https://esolangs.org/w/index.php?diff=154843&oldid=134089 5* 03Zzo38 5* (+59) 10The HTTP server is currently disabled due to botnets but there is an alternative resource.
< 1743484822 596838 :gAy_Dragon!A_D@libera/staff/dragon NICK :AI_Dragon
> 1743485759 17403 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 N10 02https://esolangs.org/w/index.php?oldid=154844 5* 03JHSHernandez-ZBH 5* (+379) 10Created page with "A language is '''Ifle-complete''' if it satisfies the following requirements: # It must be [[plushie-complete]]. # It must be able to do all functions available in [[TM]]. # It must be able to do all functions available in [[HQ9+]]. # It must be able to do
> 1743485849 678031 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154845&oldid=154844 5* 03JHSHernandez-ZBH 5* (-73) 10
> 1743485966 549200 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154846&oldid=154845 5* 03JHSHernandez-ZBH 5* (+23) 10
> 1743486073 295325 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154847&oldid=154846 5* 03JHSHernandez-ZBH 5* (-3) 10
> 1743486398 100476 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154848&oldid=154847 5* 03JHSHernandez-ZBH 5* (-11) 10
< 1743487298 920931 :craigo_!~craigo@180-150-37-38.b49625.bne.nbn.aussiebb.net QUIT :Ping timeout: 245 seconds
< 1743490483 374826 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 JOIN #esolangs * :Textual User
< 1743491798 475261 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1743491799 489083 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds
< 1743491869 40190 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`learn The password of the month is outside the scope of this wisdom entry.
< 1743491873 114768 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Relearned 'password': The password of the month is outside the scope of this wisdom entry.
< 1743491874 46551 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`? password
< 1743491876 318738 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The password of the month is outside the scope of this wisdom entry.
< 1743491881 964023 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1743493209 141306 PRIVMSG #esolangs :14[[07Non-Plushie-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154849&oldid=154424 5* 03JIT 5* (+35) 10
< 1743493772 615837 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1743494133 774332 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Okay, I got the arrows the right way around: https://gist.github.com/MostAwesomeDude/f31eff9e483a9e0223f14fb629c55755
< 1743494201 157872 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :When I was ranting the other night, I was holding the symmetries inside-out and thus upside-down; I was looking at {4} and {1, 1, 1, 1} and saying that their cardinalities were 4 and 1 instead of 1 and 4.
< 1743494244 898019 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But the principles still apply. The idea about compilers seems to make sense, although I'm a little sleep-deprived and maybe it's gibberish.
< 1743494460 906600 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm gonna sleep on it, but I'm thinking about surjectivity. Last time, we talked about the BF fragments [>+<-] and [->+<] which perform the same copy/move operation and witness a commuting series of memory accesses. More directly, [-] and [+] perform the same memory operation up to get/put semantics; they both put 0 to the pointed cell.
< 1743494536 187257 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This is a sense in which compiling to a Brand A system *requires* symmetry breaking, even if one wants to argue that [>+<-] and [->+<] are technically subtly different in their micro-op ordering.
> 1743494623 609809 PRIVMSG #esolangs :14[[07TEIJFOP14]]4 M10 02https://esolangs.org/w/index.php?diff=154850&oldid=154225 5* 03JIT 5* (-29) 10
< 1743495783 52932 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
< 1743496814 640057 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm, now I'm thinking about Brainpocalypse II – as far as I can tell, the only symmetry of the numerical version is in which number you give to which cell – and the minimized version doesn't straightforwardly have even that symmetry
< 1743496873 49090 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the BF-like <>+- version contains more symmetries, as you can add and remove <> and >< pairs as long as you don't go to the left of the starting location
< 1743496912 319122 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there's a point at which removing symmetries from an algorithm makes a program, but I'm not sure which of those points it is
< 1743496932 774922 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1743498534 380352 PRIVMSG #esolangs :14[[07PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154851&oldid=154407 5* 03I am islptng 5* (+1469) 10
> 1743498934 985571 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=154852&oldid=154686 5* 03Dhzb 5* (+144) 10
> 1743499400 238111 PRIVMSG #esolangs :14[[07User:Dhzb14]]4 N10 02https://esolangs.org/w/index.php?oldid=154853 5* 03Dhzb 5* (+26) 10Created page with "# [[Rura|rura]] # [[Moed]]"
> 1743499412 134855 PRIVMSG #esolangs :14[[07PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154854&oldid=154851 5* 03I am islptng 5* (+76) 10
> 1743499596 871018 PRIVMSG #esolangs :14[[07PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154855&oldid=154854 5* 03I am islptng 5* (-196) 10/* Examples */
< 1743501420 952448 :izacat!izabera@user/meow/izabera NICK :citizen
< 1743501646 62934 :citizen!izabera@user/meow/izabera NICK :izabera
< 1743501650 925353 :izabera!izabera@user/meow/izabera NICK :isabella
< 1743501651 490178 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 276 seconds
< 1743502359 392551 :isabella!izabera@user/meow/izabera NICK :izatest1
< 1743502391 855029 :izatest1!izabera@user/meow/izabera NICK :izatest2
< 1743502393 301354 :izatest2!izabera@user/meow/izabera NICK :izatest3
< 1743502395 410658 :izatest3!izabera@user/meow/izabera NICK :izatest4
< 1743502397 328692 :izatest4!izabera@user/meow/izabera NICK :izatest5
< 1743502399 286500 :izatest5!izabera@user/meow/izabera NICK :izatest6
< 1743502436 890894 :izatest6!izabera@user/meow/izabera NICK :izabera
< 1743502824 894222 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k
> 1743503766 785478 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154856&oldid=154848 5* 03JHSHernandez-ZBH 5* (+30) 10
> 1743503892 697114 PRIVMSG #esolangs :14[[07Islp-complete14]]4 N10 02https://esolangs.org/w/index.php?oldid=154857 5* 03JHSHernandez-ZBH 5* (+45) 10Redirected page to [[User:I am islptng/Islp-complete]]
> 1743503917 741434 PRIVMSG #esolangs :14[[07Islp-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154858&oldid=154857 5* 03JHSHernandez-ZBH 5* (+0) 10Changed redirect target from [[User:I am islptng/Islp-complete]] to [[User:I am islptng/Islp-Complete]]
< 1743504137 878560 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Quit: Connection closed for inactivity
> 1743504407 702955 PRIVMSG #esolangs :14[[07514]]4 M10 02https://esolangs.org/w/index.php?diff=154859&oldid=145654 5* 03JHSHernandez-ZBH 5* (+89) 10count: 5, 2, 3, 4, 1, 6, 7, 8, 9
> 1743504531 237762 PRIVMSG #esolangs :14[[07514]]4 M10 02https://esolangs.org/w/index.php?diff=154860&oldid=154859 5* 03JHSHernandez-ZBH 5* (+48) 10
> 1743504544 739379 PRIVMSG #esolangs :14[[07514]]4 M10 02https://esolangs.org/w/index.php?diff=154861&oldid=154860 5* 03JHSHernandez-ZBH 5* (+1) 10
> 1743504566 92223 PRIVMSG #esolangs :14[[07514]]4 10 02https://esolangs.org/w/index.php?diff=154862&oldid=154861 5* 03JHSHernandez-ZBH 5* (+0) 10/* Cell-based instructions */
> 1743504603 493736 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=154863&oldid=154583 5* 03RocketRace 5* (+147) 10/* Unstack */
> 1743504842 721551 PRIVMSG #esolangs :14[[07MetaInterpreter14]]4 N10 02https://esolangs.org/w/index.php?oldid=154864 5* 03JIT 5* (+13153) 10Created page with "MetaInterpreter (or TIN PET (for short)) is an esolang by [[User:JIT]], 2025, April fools (or the april foolsth of 2025) ''"What if the esolang had an interpreter (that was also an esolang) and the esolang had an interpreter (that was also an eso
> 1743504882 481696 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=154865&oldid=154808 5* 03JIT 5* (+22) 10
> 1743504900 419516 PRIVMSG #esolangs :14[[07TIN PET14]]4 N10 02https://esolangs.org/w/index.php?oldid=154866 5* 03JIT 5* (+29) 10Redirected page to [[MetaInterpreter]]
> 1743504985 481372 PRIVMSG #esolangs :14[[07Ifle-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=154867&oldid=154856 5* 03JHSHernandez-ZBH 5* (+72) 10
> 1743505690 35639 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 M10 02https://esolangs.org/w/index.php?diff=154868&oldid=154842 5* 03JHSHernandez-ZBH 5* (-52) 10/* I made a template for april fools */
> 1743505855 445770 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=154869&oldid=154868 5* 03JHSHernandez-ZBH 5* (+236) 10/* I made a template for april fools */
> 1743505867 119431 PRIVMSG #esolangs :14[[07Esolang talk:Community portal14]]4 10 02https://esolangs.org/w/index.php?diff=154870&oldid=154869 5* 03JHSHernandez-ZBH 5* (+4) 10/* I made a template for april fools */
> 1743505949 96479 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03JHSHernandez-ZBH 5* 10moved [[02Template:April10]] to [[User:JHSHernandez-ZBH/templates/April]]: unusable
< 1743506108 561149 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1743506201 431670 PRIVMSG #esolangs :14[[07Introduction to esolang design14]]4 M10 02https://esolangs.org/w/index.php?diff=154873&oldid=76470 5* 03JHSHernandez-ZBH 5* (-6) 10/* Other Sentence Type Languages */
< 1743507339 443969 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 JOIN #esolangs * :Textual User
< 1743507973 352497 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1743509119 717293 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1743509221 275479 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=154874&oldid=152091 5* 03447xpro 5* (+325) 10/* Notable implementations */ Added docker runtime
> 1743509282 652182 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=154875&oldid=154874 5* 03447xpro 5* (-2) 10/* Docker runtime */ link format
> 1743509366 803494 PRIVMSG #esolangs :14[[07Brainfuck implementations14]]4 10 02https://esolangs.org/w/index.php?diff=154876&oldid=151073 5* 03447xpro 5* (+256) 10/* Normal implementations */ Added docker implementation
> 1743509436 896851 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=154877&oldid=154875 5* 03447xpro 5* (-43) 10/* Docker runtime */ nicer link
> 1743512600 618830 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154878&oldid=154809 5* 03Dmiz 5* (+6) 10
> 1743512801 922908 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154879&oldid=154878 5* 03Dmiz 5* (+1) 10
< 1743513297 601218 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 JOIN #esolangs * :Textual User
> 1743514622 127465 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154880&oldid=154879 5* 03Dmiz 5* (+276) 10
> 1743515014 973093 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154881&oldid=154880 5* 03Dmiz 5* (-95) 10
> 1743515694 994282 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 10 02https://esolangs.org/w/index.php?diff=154882&oldid=154802 5* 03Baldibacak 5* (-17) 10
> 1743515838 521711 PRIVMSG #esolangs :14[[07Braindeadcpu14]]4 10 02https://esolangs.org/w/index.php?diff=154883&oldid=154882 5* 03Baldibacak 5* (+43) 10
> 1743516278 435011 PRIVMSG #esolangs :14[[07Talk:PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154884&oldid=154254 5* 03Cycwin 5* (+588) 10/* S I M T S */ new section
> 1743516498 955596 PRIVMSG #esolangs :14[[07Talk:PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154885&oldid=154884 5* 03Cycwin 5* (+29) 10/* S I M T S */
> 1743516801 253684 PRIVMSG #esolangs :14[[07Talk:PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154886&oldid=154885 5* 03Cycwin 5* (+84) 10/* S I M T S */
> 1743517850 607268 PRIVMSG #esolangs :14[[07User:I am islptng/Silicon dioxide in a polypropylene box14]]4 10 02https://esolangs.org/w/index.php?diff=154887&oldid=154788 5* 03PrySigneToFry 5* (+41) 10
> 1743518065 591394 PRIVMSG #esolangs :14[[07User:I am islptng/Silicon dioxide in a polypropylene box14]]4 M10 02https://esolangs.org/w/index.php?diff=154888&oldid=154887 5* 03PrySigneToFry 5* (-1) 10
> 1743518307 87052 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154889&oldid=154881 5* 03Dmiz 5* (-60) 10
> 1743518365 228720 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154890&oldid=154889 5* 03Dmiz 5* (+86) 10
> 1743518567 648700 PRIVMSG #esolangs :14[[07Moed14]]4 N10 02https://esolangs.org/w/index.php?oldid=154891 5* 03Dhzb 5* (+1118) 10Created page with "{{WIP}} Moed (pronounced /mid/) is an [[esoteric programming language]] by [[User:Dhzb]]. == Whitespace == Whitespace is ''sometimes'' significant. === Newlines === Newlines can be scoped inside of {...} curly braces which can be targeted by newline-imperae.
> 1743518730 816512 PRIVMSG #esolangs :14[[07User:Dhzb14]]4 M10 02https://esolangs.org/w/index.php?diff=154892&oldid=154853 5* 03Dhzb 5* (+33) 10
> 1743518905 768384 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154893&oldid=154890 5* 03Dmiz 5* (+45) 10
> 1743518948 47015 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=154894&oldid=154893 5* 03Dmiz 5* (-49) 10
> 1743520438 665725 PRIVMSG #esolangs :14[[072DSPC14]]4 N10 02https://esolangs.org/w/index.php?oldid=154895 5* 03Esdraslov 5* (+2292) 10Created page with "[[2DSPC]] is a 2D esolang by [[User:Esdraslov]] == commands == Whatever something is pushed to the stack, it's pushed to the start of it, so the stack functions as a queue. {| class="wikitable" !command !action |- |style="text-align:center"|< |Changes th
> 1743520564 778855 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=154896&oldid=154328 5* 03Hotcrystal0 5* (-243) 10
> 1743520687 390802 PRIVMSG #esolangs :14[[07User talk:Gilbert18914]]4 10 02https://esolangs.org/w/index.php?diff=154897&oldid=153763 5* 03Hotcrystal0 5* (+187) 10/* TBG-based additions to UserEdited */ new section
> 1743521065 927629 PRIVMSG #esolangs :14[[07!!!!!!!!!!!!!!!14]]4 N10 02https://esolangs.org/w/index.php?oldid=154898 5* 03Esdraslov 5* (+286) 10Created page with "!!!!!111!!!!11111!!!!!!!11!!!111 == Commands == ! does nothing ! prints!!!!!!!!!!!!111! ! is [[brainfuck]] [ and ] 1111 1, just 1 == Examples == === !1111 !11111 === !1111 !11111 (1st April joke) [[
> 1743521093 768967 PRIVMSG #esolangs :14[[07Moed14]]4 M10 02https://esolangs.org/w/index.php?diff=154899&oldid=154891 5* 03Dhzb 5* (+22) 10
< 1743521320 957598 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1743521541 862738 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1743521638 716654 PRIVMSG #esolangs :14[[07Moed14]]4 M10 02https://esolangs.org/w/index.php?diff=154900&oldid=154899 5* 03Dhzb 5* (+47) 10
> 1743521903 835277 PRIVMSG #esolangs :14[[07Talk:Cellular automaton14]]4 N10 02https://esolangs.org/w/index.php?oldid=154901 5* 03Hotcrystal0 5* (+278) 10Created page with "==Do cellular automata '''really''' count as esolangs?== For example, is [[CGoL]] really an esolang? Theres not really any output, unless you consider the next generation to be. ~~~~"
> 1743521911 581862 PRIVMSG #esolangs :14[[07Talk:Cellular automaton14]]4 10 02https://esolangs.org/w/index.php?diff=154902&oldid=154901 5* 03Hotcrystal0 5* (-2) 10
> 1743522037 849934 PRIVMSG #esolangs :14[[07Scratcholang14]]4 10 02https://esolangs.org/w/index.php?diff=154903&oldid=147650 5* 03Hotcrystal0 5* (+5) 10word fix, also its intended to be linked to on Scratch so used a clean name for brainf
> 1743522071 973817 PRIVMSG #esolangs :14[[07Scratch14]]4 10 02https://esolangs.org/w/index.php?diff=154904&oldid=151657 5* 03Hotcrystal0 5* (+2) 10
< 1743522514 349945 :ally_ok!~ally_ok@2600:4040:5cfb:5100:b94f:5c38:573:d034 QUIT :Ping timeout: 260 seconds
< 1743522767 675404 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 JOIN #esolangs * :Textual User
> 1743522783 574537 PRIVMSG #esolangs :14[[07Talk:Cellular automaton14]]4 10 02https://esolangs.org/w/index.php?diff=154905&oldid=154902 5* 03Corbin 5* (+482) 10/* Do cellular automata really count as esolangs? */ Yes.
< 1743524036 773548 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1743524146 360892 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :nonlinearly separable
> 1743524600 547371 PRIVMSG #esolangs :14[[07Cellular automaton14]]4 10 02https://esolangs.org/w/index.php?diff=154906&oldid=146197 5* 03Corbin 5* (+600) 10Reframe popularity for the world outside GoL wiki: the most important CAs are in biology and physics.
< 1743524644 150960 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Maybe it's just me, but I don't give a fuck that Wolfram put a number on a particular automaton. I care a lot more about the fact that some particular sea snail happens to biologically implement that automaton.
> 1743524793 741085 PRIVMSG #esolangs :14[[07Moed14]]4 10 02https://esolangs.org/w/index.php?diff=154907&oldid=154900 5* 03Dhzb 5* (+1466) 10
< 1743526056 74378 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1743526108 917047 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: so the "any quiescent configuration should be equally valid" in the cellular automaton article is wrong – it would allow you to use a quiescent configuration that, e.g., encodes a halting oracle and use that to prove the cellular automaton uncomputable
< 1743526150 227589 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Which article, CA or GoL? The GoL article's freshly researched but the CA one was already like that when I got here.
< 1743526158 341962 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the CA article
< 1743526182 176493 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you were editing near it at the time – I'm not holding you responsible for it but thought you might have ideas on how to fix it
< 1743526195 731112 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ah, okay. I'm afraid I don't know why it claims that, and it seems obviously wrong given that a Penrose tiling can carry a unary stream of (low-complexity) bits in its initial configuration.
< 1743526251 787358 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hm, so how *should* it be fixed? Should we define the concept of agar?
< 1743526330 928531 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so this is awkward because a) it's impossible for the all-blank configuration to ever be TC if the CA is based on a regular tiling, b) for some CAs, periodic conditions may be more powerful than finitely initialised configurations
< 1743526374 39594 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the equivalent problem for Turing machines (defining which initializations logically "should" be allowed) is one that I tried to solve for many years and eventually gave up on
< 1743526408 522501 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, and (c) a TC CA doesn't necessarily have universal construction in the sense of being able to instantiate an arbitrary pattern. I documented this for GoL and I'm still chewing through what it means for our definitions.
< 1743526463 170496 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think that if you're treating a CA as though it were a programming language, there's no real conceptual issue with starting from a garden of eden or other nonconstructible state
< 1743526474 935006 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :For TMs there's an easy convention that you may have seen before: point the set of tape symbols and set the starting tape to be constantly that point. Basically give it a natural zero value.
< 1743526525 982916 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Then the complexity of stashing a predefined tape into the input program is precisely the Kolmogorov complexity of that tape over TMs. (For TMs of a given state/symbol count, I think?)
< 1743526587 577089 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: yes; that's the "blank tape" starting state for TMs
< 1743526623 737107 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but, a TM that uses that starting state can't be fully Turing-complete because it can only run one program
< 1743526627 678579 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Yeah. I was hoping that phrasing would somehow unlock an analogy for CAs, but I'm not quite seeing it.
< 1743526670 14909 :craigo_!~craigo@2403:5815:da48:0:a1aa:83b:a8a5:bab4 JOIN #esolangs * :realname
< 1743526682 589308 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so normally TM proofs use either "finitely initialized" (i.e. only finitely many cells are not the blank tape element) or "periodically initialized"
< 1743526729 629943 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or even "periodic, then finite, then periodic" (with the periodic elements stretching to infinity)
< 1743526761 434201 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Huh. Can't a UTM just take two arguments on two input tapes, which WLOG can be one input tape? Or is that too fancy?
< 1743526768 858156 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the rule 110 TCness proof uses a periodic-finite-periodic starting state, to implement cyclic tag – but in fact it implements sequential tag and the periodicity is used to create an infinite sequential tag program
< 1743526779 556773 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: sure, but then the tape isn't blank
< 1743526856 200100 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :anyway, this means that maybe the rule 110 TCness proof isn't actually proving the language does everything needed to be TC, as its control flow (the infinite loop around the program) appears to be inherited from the initial state rather than created within the language
< 1743526904 414571 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Wolfram's 2,3 Turing machine did basically the same thing but was much more controversial, because the control flow stolen from the initial condition needs two nested loops (with the outer loop determining how many iterations the inner loop has) and so the starting tape pattern isn't periodic
< 1743526963 189156 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I don't know how to resolve this disconnect, and all my recent TCness-of-Turing-machines work has been using finitely initialised tapes
< 1743526970 152978 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, yeah, because what we're actually saying is that -- up to a Kolmogorov constant -- if the tape starts blank, then the program can finitely initialize it, or it can periodically initialize it with a cap that indicates how to extend it indefinitely later.
< 1743527015 82788 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :We're not allowed to initialize the tape with an arbitrary oracle. It has to be something that can conceptually be encoded into the program itself.
< 1743527031 555697 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: right, but this often happens in the context of trying to find the "simplest universal Turing machine" or "simplest universal cellular automaton" and in that case the Kolmogorov constant really mattesr
< 1743527086 96131 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and there's also the issue that, e.g., at least one Turing-complete TM exists, likewise at least one Turing-complete CA exists, but I don't think that should allow you to start from arbitrary computable tape states
< 1743527344 773469 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, that's always fundamentally going to be a search for convoluted encodings, right? In the sense that a Turing tarpit isn't ever going to cede universality merely because you've prefixed an environment with some fixed bitstring.
< 1743527418 17936 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I think that when we're trying to put inequalities onto an uncomputable function, we're allowed to use computability in our favor. That seems to be where the interesting inequalities come from, at least.
< 1743527479 957478 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, the "convoluted encodings" is the primary problem, especially as what you permit in terms of encoding probably depends on what computational class you're trying to demonstrate
< 1743527509 649636 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :for TCness demonstrations I like "the encoder has to be primitive recursive" – that a) ensures finite output and b) prevents the encoder doing the calculation itself
< 1743527560 9284 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sorry, I might be bleeding a bit; I'm reading a writeup about simulating neurons in agar, and they have the line, "a simulated [neuron] in a simulated [plate of] agar should behave the same way as a real [neuron] in a real [plate of] agar". A computable simulation shouldn't be an obstacle.
< 1743527703 183768 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ah, okay, this might be a genuine philosophical branch. I prefer diagonalization!
< 1743527815 283299 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So that might be why I'm leaning towards a two-tape presentation and flexible inputs; I'm not comfortable with a TM that can't take (two) inputs.
< 1743527917 216194 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I/O isn't needed for Turing-completeness, so the second tape is only really needed for I/O-completeness proofs
< 1743527940 22013 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Now that I'm saying that... The complexity class P is defined via diagonalization. Time Hierarchy is used to expand linear-time to quadratic-time, to cubic-time, all the way up. Then it's used again to define PH. P is self-low and its reductions are also in P.
< 1743528011 567591 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's the Church-Turing thesis that R is kind of like the ceiling of the same sort of hierarchy built on PR. (I call that hierarchy PRF but it doesn't have a common name.) Not self-low, so maybe computable reductions are the wrong choice.
< 1743528032 946850 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But PR reductions are still the base of that hierarchy, and so maybe they're the right choice. Maybe they're the natural choice, even.
< 1743528136 480955 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :PR reductions are closed under composition, so R would be a category in the nice way, like P or NP under poly-time reductions.
< 1743528322 622956 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I think that this suggests that "simplest universal TM/CA" is underspecified, because it's not an isomorphism-invariant concept under this setup: precomposition with a PR reduction will increase Kolmogorov complexity, as you noted.
< 1743528381 617761 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I agree! that doesn't stop people trying to solve the problem, but (due to being underspecified) it does mean they can reasonably come up with different answers
< 1743528415 370562 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Or, as we say in category-theory land, they are doing "evil" maths~
> 1743528447 634601 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Hotcrystal0 5* 10moved [[02Afefoj-Flak10]] to [[o-Flak]]: closer approximation of real title
> 1743528447 654383 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Hotcrystal0 5* 10moved [[02Talk:Afefoj-Flak10]] to [[Talk:o-Flak]]: closer approximation of real title
> 1743528479 270685 PRIVMSG #esolangs :14[[07Rotate-Flak14]]4 10 02https://esolangs.org/w/index.php?diff=154912&oldid=153674 5* 03Hotcrystal0 5* (+5) 10Changed redirect target from [[Afefoj-Flak]] to [[o-Flak]]
< 1743528559 79388 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1743528588 243202 PRIVMSG #esolangs :14[[07Talk:Tautologylang14]]4 N10 02https://esolangs.org/w/index.php?oldid=154913 5* 03Rdococ 5* (+178) 10Created page with "Technically, every language fits the description for Tautologylang. Does that make them all dialects? ~~~~"
< 1743528604 796593 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so I like to work on precisely defined variations of the problem, such as "how many symbols do you need for a finitely initialised 2-state Turing machine to be universal, assuming that the halting behaviour needs to match and the initial state is generated as a computable function of the program to be run"
< 1743528669 96004 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my current record for that is 14, incidentally: https://codegolf.stackexchange.com/a/265539
> 1743528744 356896 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154914&oldid=154636 5* 03Hotcrystal0 5* (+14) 10
> 1743528754 471356 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154915&oldid=154914 5* 03Hotcrystal0 5* (-1) 10
> 1743528764 628592 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154916&oldid=154915 5* 03Hotcrystal0 5* (-6) 10
> 1743528798 185012 PRIVMSG #esolangs :14[[07User:Hotcrystal0/CGoL+14]]4 10 02https://esolangs.org/w/index.php?diff=154917&oldid=154296 5* 03Hotcrystal0 5* (+7) 10
> 1743528890 245860 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154918&oldid=154916 5* 03Hotcrystal0 5* (+59) 10
> 1743528900 698127 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154919&oldid=154918 5* 03Hotcrystal0 5* (+6) 10
< 1743529456 959685 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 JOIN #esolangs * :Textual User
> 1743530688 199444 PRIVMSG #esolangs :14[[07Topple14]]4 10 02https://esolangs.org/w/index.php?diff=154920&oldid=154533 5* 03H33T33 5* (+232) 10
< 1743531118 255934 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :“ for TCness demonstrations I like ‘the encoder has to be primitive recursive’” => ok, but you have to clarify what that means when you're initializing an infinite background pattern.
< 1743531300 736402 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: blank (i.e. all the same symbol) everywhere outside the PR output
< 1743531334 4896 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :periodic seems to give too much power, often by allowing you to implement sequential tag rather than cyclic tag
< 1743531404 13125 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :for one that doesn't sound cheating, there's the Nopfunge thing that fills the quarter-plane periodically, with periodic near the edges too
< 1743531634 983861 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :on a different note, Tom7 has revealed what geometry conjecture he was working on, and I very much understand its nerdsniping potential
< 1743532334 164752 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: I see Nopfunge and its derivatives as more of a demonstration of *why* that should be considered cheating
< 1743532348 409555 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :<^>v logically "shouldn't" be Turing-complete
> 1743532826 722950 PRIVMSG #esolangs :14[[07HQ9+14]]4 10 02https://esolangs.org/w/index.php?diff=154921&oldid=154810 5* 03Ractangle 5* (+22) 10no
> 1743533022 542811 PRIVMSG #esolangs :14[[07514]]4 10 02https://esolangs.org/w/index.php?diff=154922&oldid=154862 5* 03Ractangle 5* (-138) 10!!!!!
> 1743533147 515758 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154923&oldid=154429 5* 03Hotcrystal0 5* (+16) 10testing
> 1743533157 960666 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154924&oldid=154923 5* 03Hotcrystal0 5* (+77) 10
> 1743533220 862369 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154925&oldid=154924 5* 03Hotcrystal0 5* (-93) 10
> 1743537328 234094 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154926&oldid=154865 5* 03Buckets 5* (+61) 10
< 1743537341 890789 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1743537355 288643 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=154927&oldid=154748 5* 03Buckets 5* (+60) 10
> 1743537370 251772 PRIVMSG #esolangs :14[[07EIGHT EGGS14]]4 N10 02https://esolangs.org/w/index.php?oldid=154928 5* 03Buckets 5* (+1412) 10Created page with "{{wrongtitle|title=EIGHT EGGS}} EIGHT EGGS is an Esoteric programming language created by [[User:Buckets]] in 2020. {| class="wikitable" |- ! Commands !! Instructions |- | EGG ,EGG, 1743538540 756910 PRIVMSG #esolangs :ais523: The cellular automaton concept was initially explored by **Stanislav Ulam** and **John von Neumann** in the 1940s, with **Alvy Ray Smith** formalizing it in the 1960s. While Ulam and von Neumann laid the groundwork, Smith's work is credited with establishing the basic principles and results for working with cellular automata.
< 1743538760 757037 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was expecting the answer to be a lot less accurate than that
< 1743538777 792945 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are at least two plausible wrong answers
< 1743539348 905319 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :John Conway because of GoL; Martin Gardner because he popularized all recrational mathematics and people are often confused and think he invented more of it than he did; Gauss because he's always a plausible answer for who invented something in mathematics
< 1743539447 45905 :APic!apic@apic.name PRIVMSG #esolangs :cu
< 1743539660 526588 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Noam Chomskey can also be a suspect because of how he defined context-sensitive grammars
< 1743540106 803527 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :huh, are context-sensitive grammars similar to cellular automata in any way?
< 1743540338 910389 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1743540404 201999 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: store symbols from a finite alphabet per cell and each step modifies symbols locally.
< 1743540430 31362 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the difference is that cellular automata apply rules simultansouly everywhere, while context-sensitive grammar applies one rule somewhere locally at a time
< 1743540481 651063 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :well, this is for one-dimensional cellular-automata, that's what context-sensitive grammars are similar to to be clear
< 1743540498 162347 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(also context-sensitive grammar are allowed to delete cells)
< 1743540511 655387 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this reminds me of how the "check if a context-free grammar is ambiguous" problem is TC – there's a pretty simple construction which emulates what's basically a Turing machine directly (except that instead of a BF-like tape, it has a finite-length tape but one symbol can be expanded into two or more to lengten the tape)
< 1743540571 406528 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the basic idea is that the potentially ambiguous input string (which the ambiguity checker is trying to find – you don't provide it) consist of a history of tapes, with a separator symbol between them, and every second element is written backwards
> 1743540572 982308 PRIVMSG #esolangs :14[[07MetaInterpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=154929&oldid=154864 5* 03Buckets 5* (+204) 10
> 1743540589 957847 PRIVMSG #esolangs :14[[07MetaInterpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=154930&oldid=154929 5* 03Buckets 5* (+1) 10
< 1743540662 596148 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :one possible parse is just a set of rules that treat tape symbols in the first tape like opening brackets and tape symbols in the second tape like closing brackets, with a separator symbol at the innermost point – you just repeat that with separators between them, and handle changes to the TM state and tape by moving a tape-head symbol around (sort-of like how you prove Thue and Thupit)
< 1743540670 715733 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the other possible parse is the same but with the first tape hardcoded
< 1743540717 996141 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so you basically end up with the ambiguity checker running back and forth along the tape, changing the tape around the TM head as appropriate
> 1743541003 798305 PRIVMSG #esolangs :14[[07Talk:PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154931&oldid=154886 5* 03I am islptng 5* (-132) 10
< 1743541159 28506 :FreeFull!~freefull@79.186.195.25.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
> 1743541195 582620 PRIVMSG #esolangs :14[[07PAL14]]4 10 02https://esolangs.org/w/index.php?diff=154932&oldid=154855 5* 03I am islptng 5* (+86) 10
> 1743541357 449144 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=154933&oldid=154927 5* 03Buckets 5* (+131) 10
> 1743543138 505391 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=154934&oldid=154933 5* 03Buckets 5* (+72) 10
< 1743544216 10313 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: The bot had good RAG because I beefed up the CA article and also the timeline/history of esolangs pages.
< 1743544237 159773 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Fairly certain I'm the only on-wiki fan of Alvy Ray. A pixel is *not* a little square!
< 1743544272 615884 :craigo_!~craigo@2403:5815:da48:0:a1aa:83b:a8a5:bab4 QUIT :Quit: Leaving
< 1743544313 912863 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
< 1743544357 891490 :tromp!~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1743544369 934442 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: Who invented the Game of Life cellular automaton?
> 1743544417 636472 PRIVMSG #esolangs :korvo: The Game of Life cellular automaton was invented by **John Horton Conway** sometime between 1968 and 1970.
< 1743544898 743866 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: Who invented the Ant cellular automaton?
< 1743544911 743008 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This might not hit without "Langton" but I'm foolishly optimistic.
< 1743544993 762907 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ah yes, he doesn't fall into the same trap as I just did. there are two mathematicians called John Conway.
> 1743545001 493984 PRIVMSG #esolangs :korvo: The Ant cellular automaton was invented by an anonymous individual.
< 1743545399 336903 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: Who invented the cellular automaton Langton's Ant?
< 1743545471 515042 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also Melvin Conway, who wrote a very important paper around 1967 called "How do Committees Invent?" Famous paper that almost nobody actually reads or understands.
> 1743545503 139037 PRIVMSG #esolangs :korvo: Langton's Ant was invented by Chris Langton in 1986.
< 1743550297 724632 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement
< 1743551160 806294 :sprock!~sprock@user/sprock QUIT :Remote host closed the connection