> 1792196085 856437 PRIVMSG #esolangs :14[[07User:MarkFan8901/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199009&oldid=199004 5* 03MarkFan8901 5* (-4) 10 > 1792196248 659780 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (H-M)14]]4 M10 02https://esolangs.org/w/index.php?diff=199010&oldid=198977 5* 03A random guy 5* (-7) 10Error in Mesmerizer has been fixed. < 1792196601 152573 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1792196662 106993 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1792196682 481888 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1792197548 79974 :sprock!~sprock@user/sprock QUIT :Ping timeout: 261 seconds > 1792197627 513731 PRIVMSG #esolangs :14[[07Pyon14]]4 10 02https://esolangs.org/w/index.php?diff=199011&oldid=199007 5* 03Jan Pilavik 5* (+72) 10 > 1792199132 703798 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=199012&oldid=193293 5* 03Hotcrystal0 5* (+20) 10Title > 1792199198 674665 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=199013&oldid=185939 5* 03Hotcrystal0 5* (-15) 10 < 1792199604 163703 :amby!~ambylastn@147.147.162.46 QUIT :Remote host closed the connection < 1792199617 411443 :FreeFull!~freefull@user/FreeFull QUIT :Ping timeout: 245 seconds > 1792200068 988969 PRIVMSG #esolangs :14[[07S14]]4 10 02https://esolangs.org/w/index.php?diff=199014&oldid=198021 5* 03Gribnit 5* (+3629) 100.6.0 cat tail < 1792200292 43942 :PkmnQ!~PkmnQ@user/PkmnQ JOIN #esolangs PkmnQ :realname > 1792200524 313442 PRIVMSG #esolangs :14[[07School14]]4 M10 02https://esolangs.org/w/index.php?diff=199015&oldid=99271 5* 03JustSomeDude 5* (-4) 10 > 1792203097 346299 PRIVMSG #esolangs :14[[07Belbolesi14]]4 10 02https://esolangs.org/w/index.php?diff=199016&oldid=198912 5* 03MSM COLLABS 5* (+35) 10 < 1792204175 127730 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :hah, I got an edit conflict against myself < 1792204382 973496 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :and I did it again! < 1792204390 147157 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :really trigger-happy with the enter key > 1792205070 589182 PRIVMSG #esolangs :14[[07Polynomix14]]4 10 02https://esolangs.org/w/index.php?diff=199017&oldid=198949 5* 03I am islptng 5* (-9350) 10 > 1792205074 147344 PRIVMSG #esolangs :14[[07User talk:ColorfulGalaxy's CA discoveries/Polynomix programs14]]4 N10 02https://esolangs.org/w/index.php?oldid=199018 5* 03I am islptng 5* (+9350) 10Created page with "=== Number theory tools ===
$$ Basic "Select" function from Mathematica $$ http://reference.wolfram.com/language/ref/Select.html (a f>a\(c>c,*(c f!|<))!=)#\Select  $$ Less $$ h
< 1792206193 941683 :PkmnQ!~PkmnQ@user/PkmnQ QUIT :Quit: Leaving
< 1792206194 271700 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :int-e: Work internal meme-board has lately been using the sorcerer's apprentice Mickey Mouse animated broom scene template with "AI" written on the hat.
< 1792206917 88869 :FreeFull!~freefull@user/FreeFull JOIN #esolangs FreeFull :FreeFull
< 1792209117 54133 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
> 1792209253 146725 PRIVMSG #esolangs :14[[07Simpl14]]4 10 02https://esolangs.org/w/index.php?diff=199019&oldid=198778 5* 03Cordership 5* (+17) 10/* Module 3: Mathplot */
> 1792209391 757841 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=199020 5* 03Win7HE 5* (+80) 10Created page with "https://https://2012r2.nishi.boats/~win7he/script.html?s={{urlencode: {{{1}}} }}"
> 1792209443 484578 PRIVMSG #esolangs :14[[07User:Win7HE/temps14]]4 N10 02https://esolangs.org/w/index.php?oldid=199021 5* 03Win7HE 5* (+80) 10Created page with "https://https://2012r2.nishi.boats/~win7he/script.html?s={{urlencode: {{{1}}} }}"
> 1792209492 239348 PRIVMSG #esolangs :14[[07User:Win7HE/temps14]]4 10 02https://esolangs.org/w/index.php?diff=199022&oldid=199021 5* 03Win7HE 5* (+24) 10
> 1792209545 599364 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199023&oldid=199020 5* 03Win7HE 5* (-30) 10
> 1792209576 279715 PRIVMSG #esolangs :14[[07User:Win7HE/temps14]]4 10 02https://esolangs.org/w/index.php?diff=199024&oldid=199022 5* 03Win7HE 5* (-8) 10
> 1792210023 253728 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199025&oldid=199023 5* 03Win7HE 5* (+33) 10
> 1792210079 684426 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199026&oldid=199025 5* 03Win7HE 5* (+2) 10
< 1792210254 34851 :PkmnQ!~PkmnQ@user/PkmnQ JOIN #esolangs PkmnQ :realname
> 1792211885 373715 PRIVMSG #esolangs :14[[07Simpl14]]4 10 02https://esolangs.org/w/index.php?diff=199027&oldid=199019 5* 03Cordership 5* (+60) 10/* Module 3: Mathplot */
> 1792212887 255829 PRIVMSG #esolangs :14[[07User:PkmnQ/Golf/Code14]]4 M10 02https://esolangs.org/w/index.php?diff=199028&oldid=198118 5* 03PkmnQ 5* (+8) 10just some newlines
> 1792212912 883818 PRIVMSG #esolangs :14[[07User:PkmnQ/Golf/Code14]]4 M10 02https://esolangs.org/w/index.php?diff=199029&oldid=199028 5* 03PkmnQ 5* (-8) 10Undo revision [[Special:Diff/199028|199028]] by [[Special:Contributions/PkmnQ|PkmnQ]] ([[User talk:PkmnQ|talk]])
< 1792214328 19421 :sprock!~sprock@user/sprock QUIT :Ping timeout: 271 seconds
< 1792214393 773963 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :Mini Comet If It Was Worse
< 1792214470 375554 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Remote host closed the connection
< 1792214605 786442 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :Mini Comet If It Was Worse
> 1792216647 251847 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Hunterhamster88 5*  10New user account
> 1792217158 323250 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=199030&oldid=198992 5* 03Hunterhamster88 5* (+150) 10/* Introductions */
> 1792217197 14603 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=199031&oldid=199030 5* 03Hunterhamster88 5* (+107) 10/* Introductions */
< 1792218003 470102 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :*.net *.split
< 1792218003 523461 :FreeFull!~freefull@user/FreeFull QUIT :*.net *.split
< 1792218003 595456 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :*.net *.split
< 1792218003 821161 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split
< 1792218004 47402 :ski!~ski@31-208-29-221.cust.bredband2.com QUIT :*.net *.split
< 1792218010 231965 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :netsplit!
< 1792218039 103938 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :Mini Comet If It Was Worse
< 1792218141 823623 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :truly an amazing experience
< 1792218144 524237 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Client Quit
< 1792218177 76435 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :Mini Comet If It Was Worse
< 1792218284 821563 :Sgeo!~Sgeo@user/sgeo QUIT :*.net *.split
< 1792218285 291665 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :*.net *.split
< 1792218309 109969 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1792218315 70845 :ski!~ski@31-208-29-221.cust.bredband2.com JOIN #esolangs * :Stefan Ljungstrand
< 1792218326 331169 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
< 1792218421 59947 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1792218455 74053 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort
< 1792218532 734469 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :four
< 1792218720 929386 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :that is five but ok
< 1792218973 158372 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :what
< 1792218994 758700 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Oh
< 1792219299 471793 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Six
< 1792219744 267293 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :goodnight
< 1792219904 955096 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :good night
< 1792220104 259007 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :three
< 1792220140 904817 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Ten
> 1792220222 41405 PRIVMSG #esolangs :14[[07The Church14]]4 M10 02https://esolangs.org/w/index.php?diff=199032&oldid=199002 5* 03Blashyrkh 5* (+1) 10/* Bracket abstraction algorithm */ typo: pl.
> 1792220280 799721 PRIVMSG #esolangs :14[[07The Church14]]4 M10 02https://esolangs.org/w/index.php?diff=199033&oldid=199032 5* 03Blashyrkh 5* (+4) 10/* K rule */ brackets
> 1792220396 224140 PRIVMSG #esolangs :14[[07The Church14]]4 M10 02https://esolangs.org/w/index.php?diff=199034&oldid=199033 5* 03Blashyrkh 5* (+54) 10/* Deduplication rule */ more special cases
< 1792220560 623611 :MarkFan8901!~MarkFan89@71.63.252.166 JOIN #esolangs * :MarkFan8901
< 1792220577 258944 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we havent seen ppl really mess with wang tiles for computation that much honestly
< 1792220653 900942 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we also havent seen ppl try and construct 'original' turing-completness proofs, as in proving a system is turing complete without reducing it to another tc system
< 1792220704 84112 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we wanna try making a language which elegantly compiles to wang tiles
< 1792220737 487951 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we feel like itd be some sort of declarative paradigm, since computation with wang tiles happens with trying to find a way to tile them
> 1792220821 149916 PRIVMSG #esolangs :14[[07Boringscript14]]4 M10 02https://esolangs.org/w/index.php?diff=199035&oldid=192546 5* 03JustSomeDude 5* (+9) 10
< 1792220862 62119 :de67!~de67@user/de67 JOIN #esolangs de67 :de67
< 1792220887 806528 :de67!~de67@user/de67 PRIVMSG #esolangs :hi guys
< 1792220889 269497 :de67!~de67@user/de67 PRIVMSG #esolangs :im back
< 1792220930 539340 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :Read the log's.
< 1792221008 161715 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Five
< 1792221014 424076 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Sixteen
< 1792221019 656940 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Eight
< 1792221026 248516 :de67!~de67@user/de67 PRIVMSG #esolangs :5168
< 1792221029 782812 :de67!~de67@user/de67 PRIVMSG #esolangs :5,16,8
< 1792221031 438479 :de67!~de67@user/de67 PRIVMSG #esolangs :hm
< 1792221033 426169 :de67!~de67@user/de67 PRIVMSG #esolangs :whar
< 1792221041 12197 :de67!~de67@user/de67 PRIVMSG #esolangs :so much stuff happen
< 1792221041 636321 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :some sort of collatz function probably
< 1792221051 333949 :de67!~de67@user/de67 PRIVMSG #esolangs :im kinda tired
< 1792221051 364400 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :(5 - 1) ^ 2 = 16
< 1792221053 201515 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :16 / 2 = 0
< 1792221054 931412 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :8*
< 1792221061 376851 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Four
< 1792221067 91944 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :8 / 2 = 4
< 1792221068 845467 :de67!~de67@user/de67 PRIVMSG #esolangs :idk i think i slept well
< 1792221074 106378 :de67!~de67@user/de67 PRIVMSG #esolangs :whatever
< 1792221075 605152 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: how would that work? i've never seen any turing-completeness proof that isn't that
< 1792221083 541293 :de67!~de67@user/de67 PRIVMSG #esolangs :lemme read recent changes and irclogs
< 1792221101 956810 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :PkmnQ: we'd have to read turings original proofs that the tm is universal for that
< 1792221107 345555 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :esolanging wiki to commnity portal
< 1792221112 649986 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :or also churchs proof of the same thing for lambdas
< 1792221117 631599 :de67!~de67@user/de67 PRIVMSG #esolangs :CometIIWW: ?
< 1792221118 615238 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: does one exist?
< 1792221124 524169 :de67!~de67@user/de67 PRIVMSG #esolangs :oh i see
< 1792221129 723180 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :its gotta, right
< 1792221131 739084 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i always heard it was a proof that the turing machine and lambda calculus were equivalent by simulating each other
< 1792221141 757927 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i never heard anything saying they were objectively "universal" in some way
< 1792221145 161043 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :de67: hotcrystal0 said
< 1792221155 512409 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :by universal we mean like, capaple of universal computation
< 1792221156 727146 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :if they should add esolanging wiki to community portal
< 1792221158 483518 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :aka turing completeness
< 1792221207 550723 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: i know, but still, the only proofs i've seen, including the earliest ones, are just stuff being able to simulate other stuff
< 1792221220 986038 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i don't know how you'd get a turing-completeness proof without reducing to a turing-complete system
< 1792221240 28491 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :ye, which is why we think itd be an interesting challenge
< 1792221248 433205 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :actually hm
< 1792221252 231429 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :is self-interpretation tc only?
< 1792221268 792733 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: i've heard counterexamples
< 1792221287 570137 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :wait hold on
< 1792221302 189972 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :it could be that theres (for example) pdas which can be simulated by other pdas, and also pdas which cant
< 1792221307 94269 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :found the one i was thinking of: https://doi.org/10.1145/2837614.2837623
< 1792221323 136063 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i remember seeing it linked in https://esolangs.org/wiki/Category:Total
< 1792221337 622056 :de67!~de67@user/de67 PRIVMSG #esolangs :ok ive caught up on recetn changes
< 1792221375 45424 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :hum
< 1792221403 813446 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :oya total completeness should be recognized more as its own computatoinal class honestly
< 1792221406 801710 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :kind of underrated
< 1792221478 891198 :de67!~de67@user/de67 PRIVMSG #esolangs :ok i think ive caught up on irc logs
< 1792221492 168543 :de67!~de67@user/de67 PRIVMSG #esolangs :i for some reason expected there to be 1 trillion messages that i need to read
< 1792221497 770876 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :yea us too
< 1792221503 836049 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :thankfully there weren't
< 1792221642 989191 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: it's kind of a weird class, i'm fairly sure it's possible to make any Turing-complete language into an uncomputable total language
< 1792221657 619949 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :ooh
< 1792221667 958714 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :the concept of an uncomputable total language
< 1792221707 320813 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i'm thinking stuff like Tableaux and Cornucopia (the latter isn't listed as uncomputable yet, but to me it seems pretty likely)
< 1792221767 264040 :de67!~de67@user/de67 PRIVMSG #esolangs :also UCL
< 1792221773 550917 :de67!~de67@user/de67 PRIVMSG #esolangs :uncomputable constant language
< 1792221825 71446 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :ahhh
< 1792221832 799775 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :in our opinion tableaux is only uncomputable when defined as a total language
< 1792221843 321984 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :actually hold on
< 1792221855 437723 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :maybe you could compile tableaux to wang tiles
< 1792221860 801414 :de67!~de67@user/de67 PRIVMSG #esolangs :MarkFan8901: cuz it would imply infinite computation in finite time?
< 1792221869 826657 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :yes
< 1792221873 752604 :de67!~de67@user/de67 PRIVMSG #esolangs :ok
< 1792221906 864120 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :wait yea maybe you could also implement wang tiles in tableaux
< 1792221916 459815 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :it seems pretty intuitive with the tableau structure
< 1792222774 466118 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: i don't think tableaux into wang tiles is possible, i think tableaux is way higher of a computational class than wang tiles
< 1792222853 776986 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :the connection we see is that theyre both languages where you have to search for something that solves the pieces given
< 1792222881 708036 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :with tableaux its a set of rules a tableaux must have, whereas with wang tiles its a tiling a set of tiles must have
< 1792222930 958370 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :since both of those algorithms are uncomputable (aka theyre both universal turing machines) we think there might be a mapping between them
< 1792222955 658195 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i think tableaux is way above a universal turing machine
< 1792222964 820590 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :how so
< 1792223026 957168 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :to clarify the 'algorithms' we're referring to here are the ones which find the solution for a given program
< 1792223042 869480 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i don't have a proof of it but i think tableaux should at least be able to implement some kind of oracle machine
< 1792223088 219788 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :hm
< 1792223089 205884 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :perchance
< 1792223364 384851 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :wait hold on we reread the page for tableaux
< 1792223370 323138 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we completely misread how it works
< 1792223383 137190 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we thought the solver solved for *a* tableau which obeyed the rules given
< 1792223451 826551 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1792223624 754227 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :hm
< 1792223632 550028 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :what would the computational class of single-tableau tableaux be
< 1792223718 944825 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: as in, just the rules of the program, not the two tableaux rules?
< 1792223810 406144 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :wym
> 1792223950 771438 PRIVMSG #esolangs :14[[07The Church14]]4 M10 02https://esolangs.org/w/index.php?diff=199036&oldid=199034 5* 03Cleverxia 5* (-12) 10/* Truth-machine */ remove parens
< 1792223958 694902 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :it's impossible for one tableau to follow the Arbitrary first column and Prefix-determinism rules, but it can follow the program's rules
< 1792223972 180011 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :ah ye
< 1792223998 770112 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :that being said i think a program can only ever refer to a finite amount of cells, so it might actually be computable
> 1792223999 344532 PRIVMSG #esolangs :14[[07User:Cleverxia/golfing results14]]4 10 02https://esolangs.org/w/index.php?diff=199037&oldid=198825 5* 03Cleverxia 5* (+40) 10
< 1792224040 839747 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :hm
< 1792224059 517407 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :would making rules that can generalize over the whole tableaux make it uncomputable again
> 1792224126 460346 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199038&oldid=199026 5* 03Win7HE 5* (+24) 10
> 1792224155 276064 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199039&oldid=199038 5* 03Win7HE 5* (+5) 10
> 1792224457 436109 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199040&oldid=199039 5* 03Win7HE 5* (+13) 10
< 1792225147 180612 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :we wanna see an esolang (or just language in general) where returning a value doesnt also end the function its in
< 1792225203 18916 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :ie returning variables works more like adding values to a list than just exiting with a value as a side effect
> 1792225237 68559 PRIVMSG #esolangs :14[[07User:Cleverxia/golfing results14]]4 10 02https://esolangs.org/w/index.php?diff=199041&oldid=199037 5* 03Cleverxia 5* (+420) 10more languagees
> 1792225419 869187 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Win7HE 5*  10uploaded "[[02File:Esofeatured.png10]]": Made with Inkscape.
< 1792225792 49794 :de67!~de67@user/de67 PRIVMSG #esolangs :MarkFan8901: isnt your idea just python's yield keyword?
< 1792225803 581469 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :dunno honestly
< 1792225806 775808 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :though that made us think
< 1792225831 275158 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :what if you had an implicit list you could work on across the whole scope of the function
< 1792225840 116492 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :which would then be what was returned after the function ended
< 1792225900 262732 :MarkFan8901!~MarkFan89@71.63.252.166 PRIVMSG #esolangs :perhaps you could make an esolang which does this, except it conceptualizes it as list definition instead of function definition
> 1792226051 38719 PRIVMSG #esolangs :14[[07User:Win7HE/featlang14]]4 N10 02https://esolangs.org/w/index.php?oldid=199043 5* 03Win7HE 5* (+566) 10Created page with "[[File:Esofeatured.png|none|This is a featured language; *click* for more information.|link=https://www.youtube.com/watch?v=dQw4w9WgXcQ]]