> 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]] :' 'This is a [[Esolang:Featured languages|featured langua
> 1792226147 627827 PRIVMSG #esolangs :14[[07User:Win7HE/featlangt14]]4 N10 02https://esolangs.org/w/index.php?oldid=199044 5* 03Win7HE 5* (+40) 10Created page with "textover {{User:Win7HE/featlang}} text"
> 1792226160 701957 PRIVMSG #esolangs :14[[07User:Cleverxia/golfing results14]]4 10 02https://esolangs.org/w/index.php?diff=199045&oldid=199041 5* 03Cleverxia 5* (+317) 10
> 1792226177 580611 PRIVMSG #esolangs :14[[07User:Win7HE/featlang14]]4 10 02https://esolangs.org/w/index.php?diff=199046&oldid=199043 5* 03Win7HE 5* (+11) 10
> 1792226197 491176 PRIVMSG #esolangs :14[[07User:Win7HE/featlang14]]4 10 02https://esolangs.org/w/index.php?diff=199047&oldid=199046 5* 03Win7HE 5* (-9) 10
> 1792226231 52609 PRIVMSG #esolangs :14[[07User:Win7HE/featlangt14]]4 10 02https://esolangs.org/w/index.php?diff=199048&oldid=199044 5* 03Win7HE 5* (+19) 10
> 1792226500 319555 PRIVMSG #esolangs :14[[07User talk:Win7HE/featlang14]]4 N10 02https://esolangs.org/w/index.php?oldid=199049 5* 03Dragoneater67 5* (+745) 10Created page with "shouldnt it be [[File:Esofeatured.png|none|This is a featured language; *click* for more information.|link=https://www.youtube.com/watch?v=dQw4w9WgXcQ]] :''This is a [[Esola
> 1792226947 87467 PRIVMSG #esolangs :14[[07User:Win7HE/featlangt14]]4 10 02https://esolangs.org/w/index.php?diff=199050&oldid=199048 5* 03Win7HE 5* (-25) 10
> 1792228553 503849 PRIVMSG #esolangs :14[[07Talk:Main Page14]]4 10 02https://esolangs.org/w/index.php?diff=199051&oldid=197760 5* 03Dragoneater67 5* (+570) 10/* featured languages MAY be removed in the future */ new section
> 1792228569 140762 PRIVMSG #esolangs :14[[07Talk:Main Page14]]4 M10 02https://esolangs.org/w/index.php?diff=199052&oldid=199051 5* 03Dragoneater67 5* (+0) 10/* featured languages MAY be removed in the future */
> 1792230333 228364 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Gary0 5* 10New user account
< 1792230398 828101 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :de67: do the thing again
< 1792230548 573720 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :port dumb is my favorite port
< 1792230562 691277 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :tape
< 1792231198 128826 :Awoobis!A_D@libera/staff/dragon QUIT :Quit: ZNC - https://znc.in
< 1792231409 994593 :de67!~de67@user/de67 PRIVMSG #esolangs :'nothet n00b...
< 1792232412 66548 :FreeFull!~freefull@user/FreeFull JOIN #esolangs FreeFull :FreeFull
> 1792232734 917980 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=199053&oldid=198666 5* 03ChuckEsoteric08 5* (+31) 10
< 1792232766 159484 :de67!~de67@user/de67 PRIVMSG #esolangs :hi freefull
< 1792232796 533747 :FreeFull!~freefull@user/FreeFull PRIVMSG #esolangs :Hi de67
> 1792233120 368585 PRIVMSG #esolangs :14[[07Crawssembly14]]4 M10 02https://esolangs.org/w/index.php?diff=199054&oldid=198044 5* 03Craw 5* (+38) 10/* See also */
> 1792233140 118156 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199055&oldid=199040 5* 03Win7HE 5* (+24) 10
> 1792233378 836577 PRIVMSG #esolangs :14[[07Talk:Main Page14]]4 10 02https://esolangs.org/w/index.php?diff=199056&oldid=199052 5* 03None1 5* (+341) 10/* featured languages MAY be removed in the future */
> 1792233760 234786 PRIVMSG #esolangs :14[[07Crawssembly14]]4 M10 02https://esolangs.org/w/index.php?diff=199057&oldid=199054 5* 03Craw 5* (+1879) 10/* Implementation */
> 1792234314 232281 PRIVMSG #esolangs :14[[07Befunge Crawssembly interpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=199058&oldid=196837 5* 03Craw 5* (+0) 10/* See also */
> 1792234463 94492 PRIVMSG #esolangs :14[[07Befunge Crawssembly interpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=199059&oldid=199058 5* 03Craw 5* (-18) 10
> 1792234470 789186 PRIVMSG #esolangs :14[[07User:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=199060&oldid=198939 5* 03Raiseafloppafan7741 5* (+56) 10/* my languages */
< 1792234474 23365 :de67!~de67@user/de67 QUIT :Quit: zzz
< 1792234496 60436 :de67!~de67@user/de67 JOIN #esolangs de67 :de67
> 1792235470 826222 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199061&oldid=199055 5* 03Win7HE 5* (+121) 10
> 1792235724 902509 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199062&oldid=199061 5* 03Win7HE 5* (+8) 10
> 1792235746 972134 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199063&oldid=199062 5* 03Win7HE 5* (+13) 10
> 1792235891 445422 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199064&oldid=199063 5* 03Win7HE 5* (-3) 10
> 1792236074 356082 PRIVMSG #esolangs :14[[07Talk:99 bottles of beer14]]4 10 02https://esolangs.org/w/index.php?diff=199065&oldid=152387 5* 03Craw 5* (+3927) 10Crawssembly Implementation Help
< 1792236129 710256 :CometIIWW!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :We should really split that page now
> 1792236129 770727 PRIVMSG #esolangs :14[[07Talk:99 bottles of beer14]]4 M10 02https://esolangs.org/w/index.php?diff=199066&oldid=199065 5* 03Craw 5* (+19) 10/* Add my implementation */
> 1792236134 814405 PRIVMSG #esolangs :14[[07Talk:99 bottles of beer14]]4 M10 02https://esolangs.org/w/index.php?diff=199067&oldid=199066 5* 03Craw 5* (+3) 10/* Add my implementation */
> 1792236157 549517 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199068&oldid=199064 5* 03Win7HE 5* (-8) 10
> 1792236817 836921 PRIVMSG #esolangs :14[[07Talk:99 bottles of beer14]]4 10 02https://esolangs.org/w/index.php?diff=199069&oldid=199067 5* 03Dragoneater67 5* (+303) 10/* Adding my implementation */
> 1792239894 828456 PRIVMSG #esolangs :14[[07EdgeBounce14]]4 N10 02https://esolangs.org/w/index.php?oldid=199070 5* 03ChuckEsoteric08 5* (+2688) 10Added a new language, would add more detailed explanation of tc proof later
> 1792240061 778910 PRIVMSG #esolangs :14[[07EdgeBounce14]]4 10 02https://esolangs.org/w/index.php?diff=199071&oldid=199070 5* 03ChuckEsoteric08 5* (+0) 10
> 1792240278 671724 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=199072&oldid=199053 5* 03ChuckEsoteric08 5* (+17) 10/* 2026 */
> 1792240867 28638 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199073&oldid=198749 5* 03ChuckEsoteric08 5* (-1678) 10Replaced content with "Here i will put sketches for my new esolangs and proofs. ==L1== EdgeBounce with *[ merged into [ Would use similar methods as Etre"
< 1792241048 106346 :amby!~ambylastn@46.162.147.147.dyn.plus.net JOIN #esolangs * :realname
< 1792241303 453853 :Everything!~Everythin@212.90.60.10 JOIN #esolangs Everything :Everything
< 1792242246 660551 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine
< 1792242568 157883 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1792242642 127940 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec JOIN #esolangs * :[https://web.libera.chat] Assembly
< 1792242854 259550 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Client Quit
< 1792242911 143500 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1792243031 919459 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood
> 1792243380 696476 PRIVMSG #esolangs :14[[07User:Win7HE/common.js14]]4 N10 02https://esolangs.org/w/index.php?oldid=199074 5* 03Win7HE 5* (+618) 10Created page with "let kPH=e=>{ let evtobj=window.event?window.event:e; if (evtobj.altKey&&evtobj.keyCode==82) { OkDoStuff(); } } window.addEventListener('keydown', kPH); let OkDoStuff=()=>{ let parser = new DOMParser(); let elements = documen
> 1792243529 750834 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199075&oldid=199068 5* 03Win7HE 5* (+38) 10
> 1792243573 747202 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199076&oldid=199075 5* 03Win7HE 5* (+21) 10
> 1792243966 807437 PRIVMSG #esolangs :14[[07User:Win7HE/common.js14]]4 10 02https://esolangs.org/w/index.php?diff=199077&oldid=199074 5* 03Win7HE 5* (-618) 10Blanked the page
< 1792244217 91787 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1792244233 922237 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03CBX2Jun 5* 10New user account
< 1792244545 388613 :de67!~de67@user/de67 QUIT :Quit: zzz
< 1792244626 264595 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec QUIT :Quit: Client closed
< 1792245072 116768 :de67!~de67@176.64.39.251 JOIN #esolangs * :de67
< 1792245085 256891 :de67!~de67@176.64.39.251 QUIT :Remote host closed the connection
< 1792245136 57034 :de67!~de67@176.64.39.251 JOIN #esolangs * :de67
< 1792245252 197131 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec JOIN #esolangs * :[https://web.libera.chat] Assembly
> 1792245278 903568 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=199078&oldid=199076 5* 03Win7HE 5* (-103) 10
< 1792245731 205787 :APic!apic@apic.name QUIT :Ping timeout: 247 seconds
< 1792245941 653474 :de67!~de67@176.64.39.251 QUIT :Remote host closed the connection
< 1792246011 128304 :de67!~de67@176.64.39.251 JOIN #esolangs * :de67
< 1792246672 353598 :AnovaBot!~AnovaBot@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 JOIN #esolangs * :AnovaBot
< 1792246674 89215 :AnovaBot!~AnovaBot@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 PRIVMSG #esolangs :fungot
< 1792246674 218182 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :AnovaBot: you should read this scheme thingie.
< 1792246676 329814 :AnovaBot!~AnovaBot@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 PRIVMSG #esolangs :no
< 1792246677 705195 :AnovaBot!~AnovaBot@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 QUIT :Client Quit
< 1792247155 422306 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1792247197 794053 :A_Dragon!A_D@libera/staff/dragon NICK :Awoobis
> 1792247333 227634 PRIVMSG #esolangs :14[[07ADDJZ14]]4 N10 02https://esolangs.org/w/index.php?oldid=199079 5* 03VP3NEG 5* (+1178) 10Created page with "== Introuction == ADDJZ is an [[OISC]], that is, a One Instruction Set Computer. Its instruction is pretty simple, and inpspired by the theoretical architecture known as the [[Minsky machine]], which is a type of accumulator-based computational model. == Memory Model == Th
< 1792247705 902821 :Guest67!~Guest67@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 JOIN #esolangs * :Guest67
< 1792247710 476579 :Guest67!~Guest67@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 PRIVMSG #esolangs :fungot help
< 1792247710 650376 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :Guest67: it's cuz it doesn't sound too strange. it works acutally! how does your cgi look like?
> 1792247716 309295 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199080&oldid=199078 5* 03Win7HE 5* (+15) 10
< 1792247719 765507 :Guest67!~Guest67@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 PRIVMSG #esolangs :fungot it says it knows where i live
< 1792247719 889087 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :Guest67: would you care to ask.) have you decided to make
< 1792247735 694273 :Guest67!~Guest67@2001:4450:493b:cb00:505d:b9cc:9af2:1cf2 QUIT :Quit: rip
< 1792247862 683799 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Excess Flood
< 1792247958 546400 :de67!~de67@176.64.39.251 QUIT :Remote host closed the connection
< 1792247975 81002 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :(Mini) Comet If It Was Worse
< 1792248364 200172 :de67!~de67@212.46.56.9 JOIN #esolangs * :de67
< 1792248442 711964 :de67!~de67@212.46.56.9 QUIT :Remote host closed the connection
< 1792248567 50284 :de67!~de67@212.46.56.9 JOIN #esolangs * :de67
< 1792248659 847677 :wisxenia!jan6@tilde.team/user/jan6 QUIT :Quit: WeeChat 4.9.4
< 1792248947 92803 :wisxenia!jan6@tilde.team/user/jan6 JOIN #esolangs wisteria :genThey're Advocatus Diaboli
< 1792249056 29058 :de67!~de67@212.46.56.9 QUIT :Remote host closed the connection
< 1792249148 49847 :de67!~de67@212.46.56.9 JOIN #esolangs * :de67
> 1792249524 842538 PRIVMSG #esolangs :14[[07Fuzzy14]]4 N10 02https://esolangs.org/w/index.php?oldid=199081 5* 03Esterdae 5* (+2619) 10Created page with "Fuzzy is an esolang made by [[User:Esterdae]]! It is inspired by [[Guess]], but the rules are not exactly the same as [[Guess]]. == Rules == There will be a list of commands with a description, but the description will be ''Fuzzy'', it will only lie using ommission, o
> 1792249573 398284 PRIVMSG #esolangs :14[[07User:Esterdae14]]4 10 02https://esolangs.org/w/index.php?diff=199082&oldid=198873 5* 03Esterdae 5* (-64) 10
> 1792249678 683186 PRIVMSG #esolangs :14[[07Combinatory logic/Analysis of combinators14]]4 10 02https://esolangs.org/w/index.php?diff=199083&oldid=197461 5* 03Bobby Jacobs 5* (-60) 10warblers
> 1792249844 633970 PRIVMSG #esolangs :14[[07Fuzzy14]]4 10 02https://esolangs.org/w/index.php?diff=199084&oldid=199081 5* 03Dragoneater67 5* (+401) 10/* The actual esolang */
> 1792249869 839044 PRIVMSG #esolangs :14[[07Fuzzy14]]4 10 02https://esolangs.org/w/index.php?diff=199085&oldid=199084 5* 03Dragoneater67 5* (+34) 10/* The actual esolang */
> 1792249888 125185 PRIVMSG #esolangs :14[[07Fuzzy14]]4 M10 02https://esolangs.org/w/index.php?diff=199086&oldid=199085 5* 03Dragoneater67 5* (+19) 10/* Programs */
> 1792249897 987469 PRIVMSG #esolangs :14[[07Combinatory logic/Analysis of combinators14]]4 10 02https://esolangs.org/w/index.php?diff=199087&oldid=199083 5* 03Bobby Jacobs 5* (-1) 10
< 1792249967 143920 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec QUIT :Quit: Client closed
< 1792250180 58482 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec JOIN #esolangs * :[https://web.libera.chat] Assembly
> 1792250305 917743 PRIVMSG #esolangs :14[[07Fuzzy14]]4 M10 02https://esolangs.org/w/index.php?diff=199088&oldid=199086 5* 03Esterdae 5* (+88) 10I will grade these a bit later!
> 1792250553 186175 PRIVMSG #esolangs :14[[07Fuzzy14]]4 10 02https://esolangs.org/w/index.php?diff=199089&oldid=199088 5* 03Esterdae 5* (+238) 10Graded!
< 1792251026 12084 :de67!~de67@212.46.56.9 QUIT :Remote host closed the connection
< 1792252748 86249 :humanizedBot!~humanized@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec JOIN #esolangs * :[https://web.libera.chat] humanizedBot
< 1792253158 948469 :humanizedBot!~humanized@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec PART :#esolangs
< 1792253161 283211 :Assembly!~Assembly@2804:4b0:134a:b700:24bf:1fe8:a7ff:f4ec PART :#esolangs
> 1792253244 734658 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Jaxcoder 5* 10New user account
< 1792253309 104800 :de67!~de67@212.46.56.9 JOIN #esolangs * :de67
> 1792253530 22923 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=199090&oldid=199031 5* 03Jaxcoder 5* (+139) 10
< 1792253531 680505 :APic!apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149
> 1792253881 380594 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox214]]4 N10 02https://esolangs.org/w/index.php?oldid=199091 5* 03Win7HE 5* (+150) 10Created page with "hi this is the other sandbox"
> 1792253903 928827 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox214]]4 10 02https://esolangs.org/w/index.php?diff=199092&oldid=199091 5* 03Win7HE 5* (+7) 10
> 1792253941 175382 PRIVMSG #esolangs :14[[07User:Jaxcoder14]]4 N10 02https://esolangs.org/w/index.php?oldid=199093 5* 03Jaxcoder 5* (+146) 10my description
< 1792253950 88799 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1792254042 899898 PRIVMSG #esolangs :14[[07User talk:Jaxcoder14]]4 N10 02https://esolangs.org/w/index.php?oldid=199094 5* 03Dragoneater67 5* (+163) 10Created page with "hi! --~~~~"
< 1792254177 278614 :de67!~de67@212.46.56.9 QUIT :Remote host closed the connection
< 1792254244 119359 :de67!~de67@212.46.56.9 JOIN #esolangs * :de67
> 1792254261 782513 PRIVMSG #esolangs :14[[07User talk:Jaxcoder14]]4 M10 02https://esolangs.org/w/index.php?diff=199095&oldid=199094 5* 03Jaxcoder 5* (+100) 10
> 1792254482 340779 PRIVMSG #esolangs :14[[07Talk:Ant Hill14]]4 N10 02https://esolangs.org/w/index.php?oldid=199096 5* 03Jaxcoder 5* (+45) 10Created page with "please make a cell machine clone in brainf***"
> 1792254500 78186 PRIVMSG #esolangs :14[[07Talk:Ant Hill14]]4 M10 02https://esolangs.org/w/index.php?diff=199097&oldid=199096 5* 03Jaxcoder 5* (+89) 10
< 1792254550 824075 :MarkFan8901!~MarkFan89@71.63.252.166 QUIT :Remote host closed the connection
< 1792255130 85484 :de67!~de67@212.46.56.9 QUIT :Ping timeout: 251 seconds
< 1792255157 77915 :de67!~de67@185.229.87.139 JOIN #esolangs * :de67
< 1792255980 115693 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine
> 1792256177 132428 PRIVMSG #esolangs :14[[07Talk:Ant Hill14]]4 10 02https://esolangs.org/w/index.php?diff=199098&oldid=199097 5* 03Dragoneater67 5* (+317) 10
< 1792256963 670271 :de67!~de67@185.229.87.139 QUIT :Remote host closed the connection
< 1792257062 81758 :de67!~de67@185.229.87.139 JOIN #esolangs * :de67
< 1792257085 80656 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1792257517 25859 PRIVMSG #esolangs :14[[07Mesmerizer14]]4 10 02https://esolangs.org/w/index.php?diff=199099&oldid=198979 5* 03A random guy 5* (+1790) 10Made some changes to make it better. Mainly updated Miku.
< 1792258462 198761 :PkmnQ!~PkmnQ@user/PkmnQ QUIT :Quit: Leaving
< 1792258952 785212 :de67!~de67@185.229.87.139 QUIT :Remote host closed the connection
< 1792259135 373575 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Ping timeout: 240 seconds
< 1792259186 237473 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine
< 1792259259 131391 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1792259315 209833 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
> 1792259406 994795 PRIVMSG #esolangs :14[[07User:Win7HE/w7hWidget14]]4 N10 02https://esolangs.org/w/index.php?oldid=199100 5* 03Win7HE 5* (+106) 10Created page with "This is a w7hWidget. It does not work right now."
< 1792259561 227878 :Everything!~Everythin@212.90.60.10 QUIT :Quit: leaving
< 1792259827 32852 :de67!~de67@5.251.76.14.dynamic.telecom.kz JOIN #esolangs * :de67
> 1792260905 232490 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Spira. 5* 10New user account
> 1792261025 634732 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=199101&oldid=199090 5* 03Spira. 5* (+100) 10
> 1792261168 309363 PRIVMSG #esolangs :14[[07S14]]4 M10 02https://esolangs.org/w/index.php?diff=199102&oldid=199014 5* 03Gribnit 5* (+9) 10/* Eight tokens* */ asterisk
< 1792261196 483270 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Remote host closed the connection
> 1792261207 978959 PRIVMSG #esolangs :14[[07S14]]4 M10 02https://esolangs.org/w/index.php?diff=199103&oldid=199102 5* 03Gribnit 5* (-1) 10/* Eight tokens* */ another asterisk
< 1792261409 390930 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Quit: Connection closed for inactivity
> 1792261435 666962 PRIVMSG #esolangs :14[[07S14]]4 M10 02https://esolangs.org/w/index.php?diff=199104&oldid=199103 5* 03Dragoneater67 5* (+4) 10/* Eight tokens* */ decensor
< 1792261802 824414 :FreeFull!~freefull@user/FreeFull QUIT :
> 1792261905 600703 PRIVMSG #esolangs :14[[07Mesmerizer14]]4 10 02https://esolangs.org/w/index.php?diff=199105&oldid=199099 5* 03A random guy 5* (+5946) 10Made a list of errors Mesmerizer can give! And some minor tweaks.
< 1792262005 138712 :FreeFull!~freefull@user/FreeFull JOIN #esolangs FreeFull :FreeFull
> 1792262308 978793 PRIVMSG #esolangs :14[[07User:Win7HE/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=199106&oldid=199080 5* 03Win7HE 5* (+141) 10
> 1792262519 932602 PRIVMSG #esolangs :14[[07Esolang talk:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=199107&oldid=198223 5* 03A random guy 5* (+339) 10/* Category Proposal: Sub-Turing Complete */ new section
> 1792262774 111500 PRIVMSG #esolangs :14[[07Esolang talk:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=199108&oldid=199107 5* 03A random guy 5* (+13) 10
> 1792263081 892466 PRIVMSG #esolangs :14[[07Mesmerizer14]]4 M10 02https://esolangs.org/w/index.php?diff=199109&oldid=199105 5* 03A random guy 5* (+30) 10Updated it to be Nondeterministic as there are indeed circumstances where it could lead to multiple outcomes, this arises specifically from the Hypnosis Meter, but the meter actually can be controlled, which is why it isn't probabilistic.
< 1792263349 887238 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :language where it can do everything that a turing machine except each program consults the oracle to reject it if it is a form of the A+B problem
< 1792263360 307487 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :that a turing machine can, except*
< 1792263610 51033 :de67!~de67@5.251.76.14.dynamic.telecom.kz QUIT :Ping timeout: 240 seconds
> 1792264200 376984 PRIVMSG #esolangs :14[[07Esolang talk:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=199110&oldid=199108 5* 03Dragoneater67 5* (+275) 10/* Category Proposal: Category:Sub-Turing Complete */ no
< 1792264311 100645 :de67!~de67@5.251.76.14.dynamic.telecom.kz JOIN #esolangs * :de67
< 1792264315 274954 :de67!~de67@5.251.76.14.dynamic.telecom.kz PRIVMSG #esolangs :aadenboy: wouldnt it be uncomputable?
< 1792264332 992837 :aadenboy!~kvirc@172.56.106.38 PRIVMSG #esolangs :probably
< 1792264421 988584 :de67!~de67@5.251.76.14.dynamic.telecom.kz QUIT :Remote host closed the connection
> 1792266344 241861 PRIVMSG #esolangs :14[[07Wheelliam14]]4 10 02https://esolangs.org/w/index.php?diff=199111&oldid=198278 5* 03ChuckEsoteric08 5* (+160) 10
< 1792266454 228413 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 254 seconds
< 1792266793 121522 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1792266954 81068 :klea!jmjl@user/klea NICK :klwitch
> 1792267076 986343 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199112&oldid=199073 5* 03ChuckEsoteric08 5* (+155) 10
> 1792267101 408483 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199113&oldid=199112 5* 03ChuckEsoteric08 5* (+12) 10/* L2 */
< 1792267363 245055 :klwitch!jmjl@user/klea NICK :klewitch
> 1792268780 925976 PRIVMSG #esolangs :14[[07Gardener14]]4 N10 02https://esolangs.org/w/index.php?oldid=199114 5* 03Hunterhamster88 5* (+1403) 10Created page with "Gardener is an esolang made by ~~~~. Gardener is heavily inspired by chef and can link together with chef. There are three parts to gardener. The first part is the seeds part this is where you state you seeds. The seeds part has 3 parameters, the first one is t
> 1792269253 379960 PRIVMSG #esolangs :14[[07Fuzzy14]]4 M10 02https://esolangs.org/w/index.php?diff=199115&oldid=199089 5* 03Esterdae 5* (+0) 10
> 1792269591 215540 PRIVMSG #esolangs :14[[07Gardener14]]4 10 02https://esolangs.org/w/index.php?diff=199116&oldid=199114 5* 03Hotcrystal0 5* (-77) 10
> 1792270503 336447 PRIVMSG #esolangs :14[[07Talk:99 bottles of beer14]]4 10 02https://esolangs.org/w/index.php?diff=199117&oldid=199069 5* 03Assembly 5* (+184) 10/* Adding my implementation */
< 1792270741 99733 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :(Mini) Comet If It Was Worse
> 1792271110 502937 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=199118&oldid=199101 5* 03Jeff 5* (+127) 10Introduce myself (Jeff in NYC)
> 1792271117 458744 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=199119&oldid=198983 5* 03Jeff 5* (+233) 10Add Rust
< 1792271378 519780 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Read error: Connection reset by peer
> 1792271807 17140 PRIVMSG #esolangs :14[[07NAND Machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=199120 5* 03Assembly 5* (+474) 10Created page with "'''NAND Machine''' is an [[OISC]] made by [[User:Assembly]] which is supposedly the most simple [[Turing complete]] OISC. == Command == The command takes two inputs: a and b. The command works like this: a nand b == Why NAND? == Because every other log
> 1792271856 979465 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199121&oldid=199120 5* 03Assembly 5* (+3) 10/* Command */
> 1792271941 17374 PRIVMSG #esolangs :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=199122&oldid=193127 5* 03Assembly 5* (+69) 10/* List of OISCs */ NAND Machine
> 1792272020 46040 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199123&oldid=199121 5* 03Assembly 5* (+39) 10
> 1792272323 697578 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199124&oldid=199123 5* 03Assembly 5* (+66) 10
> 1792272465 791700 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199125&oldid=199124 5* 03Assembly 5* (-3) 10
> 1792272551 776424 PRIVMSG #esolangs :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=199126&oldid=199122 5* 03Assembly 5* (+188) 10
> 1792272566 486020 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199127&oldid=199125 5* 03Assembly 5* (+4) 10
> 1792272579 734788 PRIVMSG #esolangs :14[[07NAND Machine14]]4 M10 02https://esolangs.org/w/index.php?diff=199128&oldid=199127 5* 03Assembly 5* (+1) 10
> 1792272581 574177 PRIVMSG #esolangs :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=199129&oldid=199126 5* 03Assembly 5* (+5) 10
> 1792272633 862699 PRIVMSG #esolangs :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=199130&oldid=199129 5* 03Assembly 5* (+6) 10
> 1792272679 832599 PRIVMSG #esolangs :14[[07NAND Machine14]]4 10 02https://esolangs.org/w/index.php?diff=199131&oldid=199128 5* 03Assembly 5* (+20) 10
> 1792272958 196916 PRIVMSG #esolangs :14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=199132&oldid=199130 5* 03Assembly 5* (+0) 10/* List of OISCs */
> 1792273343 968816 PRIVMSG #esolangs :14[[07Mlm14]]4 N10 02https://esolangs.org/w/index.php?oldid=199133 5* 03Spira. 5* (+110) 10Created page with "{{lowercase}} '''mlm''' is esolng by [[user:Spira.]] ==instructions== m:increment l:decrement .:output value"
> 1792273362 282797 PRIVMSG #esolangs :14[[07User:Spira.14]]4 N10 02https://esolangs.org/w/index.php?oldid=199134 5* 03Spira. 5* (+7) 10Created page with "[[mlm]]"
> 1792273480 572791 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199135&oldid=199113 5* 03ChuckEsoteric08 5* (+370) 10
> 1792273496 463812 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199136&oldid=199135 5* 03ChuckEsoteric08 5* (+3) 10/* L3 */
> 1792273519 389508 PRIVMSG #esolangs :14[[07Mlm14]]4 10 02https://esolangs.org/w/index.php?diff=199137&oldid=199133 5* 03Spira. 5* (+28) 10
> 1792273570 813987 PRIVMSG #esolangs :14[[07Mesmerizer14]]4 M10 02https://esolangs.org/w/index.php?diff=199138&oldid=199109 5* 03A random guy 5* (-10) 10
> 1792273709 621412 PRIVMSG #esolangs :14[[07User talk:Hammy14]]4 10 02https://esolangs.org/w/index.php?diff=199139&oldid=178790 5* 03Assembly 5* (+240) 10/* lies in your userpage */ new section
> 1792273728 663596 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199140&oldid=199136 5* 03ChuckEsoteric08 5* (+93) 10
> 1792273989 67472 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199141&oldid=199140 5* 03ChuckEsoteric08 5* (+48) 10/* L4 */
> 1792274464 842384 PRIVMSG #esolangs :14[[07Rust14]]4 N10 02https://esolangs.org/w/index.php?oldid=199142 5* 03Jeff 5* (+1503) 10Add Rust
> 1792275048 497045 PRIVMSG #esolangs :14[[07Rust14]]4 M10 02https://esolangs.org/w/index.php?diff=199143&oldid=199142 5* 03Jeff 5* (-10) 10
> 1792275074 278244 PRIVMSG #esolangs :14[[07Rust14]]4 M10 02https://esolangs.org/w/index.php?diff=199144&oldid=199143 5* 03Jeff 5* (+7) 10
> 1792275134 632158 PRIVMSG #esolangs :14[[07Rust14]]4 M10 02https://esolangs.org/w/index.php?diff=199145&oldid=199144 5* 03Jeff 5* (-4) 10
< 1792276664 38321 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
< 1792276696 204532 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
> 1792277481 53613 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199146&oldid=199141 5* 03ChuckEsoteric08 5* (+59) 10
> 1792278026 464032 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199147&oldid=199146 5* 03ChuckEsoteric08 5* (+42) 10
< 1792278067 89420 :CometIIWW!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :(Mini) Comet If It Was Worse
> 1792278129 109070 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Sketches14]]4 10 02https://esolangs.org/w/index.php?diff=199148&oldid=199147 5* 03ChuckEsoteric08 5* (-42) 10/* L6 */
< 1792280839 622445 :CometIIWW!~raiseaflo@user/raiseafloppafan7 QUIT :Quit: ф
> 1792280964 992621 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=199149&oldid=197044 5* 03DannyBaanks 5* (+742) 10