> 1745107744 114404 PRIVMSG #esolangs :14[[07User:I am islptng/List of the users that is also in conwaylife.com14]]4 10 02https://esolangs.org/w/index.php?diff=156245&oldid=156190 5* 03I am islptng 5* (+0) 10
> 1745109764 12724 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=156246&oldid=155023 5* 03PrySigneToFry 5* (+1415) 10
> 1745110903 562295 PRIVMSG #esolangs :14[[07Brainfuck 2.014]]4 10 02https://esolangs.org/w/index.php?diff=156247&oldid=154324 5* 03PrySigneToFry 5* (+34) 10
> 1745111066 677513 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=156248&oldid=155751 5* 03Dmiz 5* (-354) 10
> 1745111990 502643 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=156249&oldid=155432 5* 03PrySigneToFry 5* (+1263) 10
> 1745112085 458159 PRIVMSG #esolangs :14[[07UserEdited/Versions14]]4 10 02https://esolangs.org/w/index.php?diff=156250&oldid=155427 5* 03PrySigneToFry 5* (+122) 10
> 1745112583 488195 PRIVMSG #esolangs :14[[07Chefs Kiss14]]4 10 02https://esolangs.org/w/index.php?diff=156251&oldid=156244 5* 03Kaveh Yousefi 5* (+3) 10Rectified a lapsus in an identifier concerning the language name.
> 1745114622 853837 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=156252&oldid=156249 5* 03None1 5* (+129) 10/* Commands */
< 1745114702 697524 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection
< 1745114733 651904 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4
> 1745114838 201479 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=156253&oldid=156252 5* 03None1 5* (+55) 10/* Examples */
> 1745114976 165811 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=156254&oldid=156253 5* 03None1 5* (+26) 10/* Commands */
< 1745116090 835036 :b_jonas!~x@88.87.242.184 QUIT :Read error: Connection reset by peer
< 1745116399 216630 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas
< 1745116765 838462 :FreeFull!~freefull@79.186.197.82.ipv4.supernova.orange.pl QUIT :
< 1745117286 230209 :impomatic!~impomatic@2a00:23c7:5fc9:5401:6840:dc94:419f:bb7e QUIT :Ping timeout: 240 seconds
> 1745118197 462287 PRIVMSG #esolangs :14[[07SE calculus14]]4 N10 02https://esolangs.org/w/index.php?oldid=156255 5* 03Patcail 5* (+2808) 10Created page with "'''SE Calculus''' is a modification of regular [[SKI combinator calculus|SKI combinator calculus]] to make it much more powerful; as powerful as set theory itself. It removes the K and I combinators and added the new '''E''' combinator.  On the surface, we wish to d
> 1745118223 787960 PRIVMSG #esolangs :14[[07User:Patcail14]]4 10 02https://esolangs.org/w/index.php?diff=156256&oldid=156003 5* 03Patcail 5* (+29) 10
< 1745118377 613666 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1745118494 916614 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1745121951 203895 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :Artur Manuel
> 1745122815 836972 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=156257&oldid=156248 5* 03Stkptr 5* (+52) 10Certainly TC
> 1745123122 639844 PRIVMSG #esolangs :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=156258&oldid=156035 5* 03Timwi 5* (+83) 10Add  (from https://youtu.be/H9fBGYJe3EQ)
< 1745124145 249131 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1745125234 622209 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=156259&oldid=156161 5* 03Photostar 5* (+15) 10
> 1745125727 159589 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=156260&oldid=156200 5* 03Hotcrystal0 5* (+52) 10
> 1745127564 775937 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03GGordey 5*  10New user account
> 1745127881 826672 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=156261&oldid=156155 5* 03GGordey 5* (+249) 10
< 1745129537 127838 :tromp!~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66 JOIN #esolangs * :Textual User
> 1745129827 528734 PRIVMSG #esolangs :14[[07SE calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156262&oldid=156255 5* 03Patcail 5* (+102) 10
< 1745130603 663936 :tromp!~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745131570 548833 :tromp!~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66 JOIN #esolangs * :Textual User
< 1745131884 542116 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.
< 1745131913 366950 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :Artur Manuel
> 1745132756 611700 PRIVMSG #esolangs :14[[07HOL14]]4 N10 02https://esolangs.org/w/index.php?oldid=156263 5* 03Patcail 5* (+3952) 10Created page with "'''HOL''' known as '''Higher Order Lambda''', is a language that combines [https://en.wikipedia.org/wiki/Higher-order_logic higher order logic] with [https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus typed lambda calculus]. The goal is to be extremely powerful mode
> 1745132823 420757 PRIVMSG #esolangs :14[[07User:Patcail14]]4 10 02https://esolangs.org/w/index.php?diff=156264&oldid=156256 5* 03Patcail 5* (+47) 10
< 1745133641 702298 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1745133679 808005 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 276 seconds
< 1745133727 421935 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1745134260 38541 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=156265&oldid=156120 5* 03JHSHernandez-ZBH 5* (+153) 10
> 1745135331 151406 PRIVMSG #esolangs :14[[07Dimensional14]]4 10 02https://esolangs.org/w/index.php?diff=156266&oldid=99661 5* 03JHSHernandez-ZBH 5* (+3) 10/* Terminology */
> 1745135365 734013 PRIVMSG #esolangs :14[[07Dimensional14]]4 10 02https://esolangs.org/w/index.php?diff=156267&oldid=156266 5* 03JHSHernandez-ZBH 5* (+3) 10/* Terminology */
> 1745135423 625128 PRIVMSG #esolangs :14[[07Domino Crisis14]]4 10 02https://esolangs.org/w/index.php?diff=156268&oldid=139337 5* 03JHSHernandez-ZBH 5* (+8) 10
> 1745136471 820096 PRIVMSG #esolangs :14[[07Foobar and Foobaz and Barbaz, oh my!14]]4 10 02https://esolangs.org/w/index.php?diff=156269&oldid=85714 5* 03JHSHernandez-ZBH 5* (+6171) 10
< 1745139650 812743 :APic!apic@apic.name PRIVMSG #esolangs :Hi *
< 1745139651 596449 :APic!apic@apic.name PRIVMSG #esolangs :Happy Easter 2u411!
< 1745144811 941420 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1745145180 229637 :impomatic!~impomatic@2a00:23c7:5fc9:5401:6840:dc94:419f:bb7e JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1745146493 769835 PRIVMSG #esolangs :14[[07Ralative 1 Bit14]]4 M10 02https://esolangs.org/w/index.php?diff=156270&oldid=156242 5* 03Krolkrol 5* (+26) 10
> 1745146507 631712 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=156271&oldid=156260 5* 03PrySigneToFry 5* (+59) 10
> 1745146598 966647 PRIVMSG #esolangs :14[[07User:Krolkrol14]]4 10 02https://esolangs.org/w/index.php?diff=156272&oldid=152071 5* 03Krolkrol 5* (+35) 10
> 1745146630 290111 PRIVMSG #esolangs :14[[07User:Krolkrol14]]4 10 02https://esolangs.org/w/index.php?diff=156273&oldid=156272 5* 03Krolkrol 5* (+0) 10
> 1745146659 946368 PRIVMSG #esolangs :14[[07User:Krolkrol14]]4 10 02https://esolangs.org/w/index.php?diff=156274&oldid=156273 5* 03Krolkrol 5* (+0) 10
> 1745147772 534524 PRIVMSG #esolangs :14[[07Dick14]]4 10 02https://esolangs.org/w/index.php?diff=156275&oldid=155156 5* 03Master5o1 5* (+3) 10
> 1745147813 703066 PRIVMSG #esolangs :14[[07LongDick14]]4 10 02https://esolangs.org/w/index.php?diff=156276&oldid=155417 5* 03Master5o1 5* (-2) 10
> 1745147886 866475 PRIVMSG #esolangs :14[[07COMP-X14]]4 N10 02https://esolangs.org/w/index.php?oldid=156277 5* 03Tpaefawzen 5* (+340) 10Created page with "'''CAP-X''' is an assembly language for the imaginary computer architecture '''COMP-X''' that had been adopted for Japan Information Technology Engineers Examination since the first examination in 1970 until the language got replaced by CASL in 1985.  == See also == * 
> 1745149301 559704 PRIVMSG #esolangs :14[[07Selter14]]4 M10 02https://esolangs.org/w/index.php?diff=156278&oldid=156097 5* 03TheSpiderNinjas 5* (+7) 10idk
> 1745149399 414431 PRIVMSG #esolangs :14[[07Selter14]]4 M10 02https://esolangs.org/w/index.php?diff=156279&oldid=156278 5* 03TheSpiderNinjas 5* (+0) 10idk again
> 1745149523 965366 PRIVMSG #esolangs :14[[07Selter14]]4 10 02https://esolangs.org/w/index.php?diff=156280&oldid=156279 5* 03TheSpiderNinjas 5* (+2) 10
< 1745149534 95178 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :I have an idea for a thing
< 1745149586 389778 :tromp!~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745149667 989634 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :Would a turing machine still be TC if you had code attached to each data cell?
< 1745149759 245139 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :You can move the tape in either direction by any amount of cells
< 1745149832 124809 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :And suppose you can have an infinite amount of cells with code
< 1745149888 999295 :int-e!~noone@int-e.eu PRIVMSG #esolangs :what exactly is that code, how is that code specified, do cells carry data, can any data be carried from one cell to another?
< 1745149928 116706 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :Cells carry data and code
< 1745149942 216036 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :Code is immutable in each cell once the program is started
< 1745149969 454050 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :I don't know how you'd specify the code but suppose that there is a way to do it
< 1745149997 240474 :int-e!~noone@int-e.eu PRIVMSG #esolangs :If you're generous enough with the specification of the code you can use the tape position as the state of a simulated TM; the code specification would be the transition function of that TM.
< 1745150012 367327 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :😮
< 1745150180 394669 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :What if I only had an infinite loop
< 1745150241 316797 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :And the tape can only advance forward by 1 except at the end where it loops back
< 1745150272 997768 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :Ah it's not infinite I guess
< 1745150301 616947 :izabera!izabera@user/meow/izabera PRIVMSG #esolangs :Unless the cells are bignums
< 1745150574 774004 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. People have studied one-state TMs. Which is close to what you describe (note that rather than attaching code to a cell you can use dedicated symbols for the corresponding transitions)
< 1745151184 318198 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No clue what happens if you add leapfrogging to a single-state TM (the ability to move more than one place at a time), and maybe a periodic tail on the tape.
> 1745152924 544565 PRIVMSG #esolangs :14[[07MicroLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=156281 5* 03TomosCode 5* (+636) 10Created page with "MicroLang is my tiny programming language.  == Idea == Inspired by [[Snowflake]], MicroLang operates on a program and an interpreter.  == Instructions == The instructions are simple. They are:  {| class="wikitable sortable" |+ Instructions |- ! Number !! Name !! Oper
< 1745153529 188593 :FreeFull!~freefull@79.186.197.82.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
< 1745153930 747757 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 JOIN #esolangs * :Textual User
> 1745155407 523013 PRIVMSG #esolangs :14[[07Domino Crisis14]]4 10 02https://esolangs.org/w/index.php?diff=156282&oldid=156268 5* 03Ractangle 5* (+4) 10
< 1745155448 519688 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1745155716 702497 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=156283&oldid=156271 5* 03Hotcrystal0 5* (+28) 10
< 1745156578 844762 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1745156637 555632 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :<korvo> ais523: I wonder if it's a transatlantic situation. Over here, it's always "complexity class". ← computational classes and complexity classes are different; complexity classes deal with how fast a program runs, whereas computational classes deal with whether the program runs at all
< 1745156678 918799 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :e.g. there's a difference between "can run any program a Turing machine can" and "can run any program a Turing machine can with no more than a polynomial slowdown"
< 1745158161 358200 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :<int-e> No clue what happens if you add leapfrogging to a single-state TM (the ability to move more than one place at a time), and maybe a periodic tail on the tape. ← I've been trying to work it out, this is annoying
< 1745158191 810217 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(my assumptions are that we have a periodic/fixed/periodic pattern on a TM tape, the TM only has one state, and that it can move an arbitrary hardcoded distance on each transition)
< 1745158209 391478 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think it's in the Incident-without-the-trivial-loop-detector computational class
< 1745158224 57224 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :which I also think is sub-TC, although it's quite hard to grasp exactly what it can and can't do
< 1745158236 649593 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it might be lower, though
< 1745158320 969401 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the main feature of the class is an inability to copy data
< 1745158835 875951 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 JOIN #esolangs * :Textual User
< 1745158996 174202 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
< 1745160483 700240 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Interesting. I've studied something called "descriptive complexity theory" and so I don't perceive a difference between the topics.
< 1745160533 608169 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Descriptive complexity is concerned with whether a problem can be described in a limited fragment of logic. It turns out that some descriptive complexity classes correspond to some classical complexity classes.
< 1745160835 414539 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess that's not very surprising, because logics are very related to languages, so classes that are common for languages are probably common for logics too
< 1745161230 779036 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This would give us a natural explanation for our differences in viewpoint, too. I made a drawing of how the well-known descriptive classes correspond to complexity classes here: https://github.com/brismu/zaha/blob/master/complexity/decision/descriptive.png
< 1745161309 959194 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The tower more-or-less tops out with "HO", which is higher-order intuitionistic logic, and the class ELEMENTARY is much much smaller than R. So if one spends all their time at R or above, caring about Turing degrees, then this descriptive approach is going to seem very weak.
< 1745161560 514704 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think esolang research has been disproportionately focused on Turing-completeness, and the "main" computational classes (LBA, PDA, finite-state) are often what you get when you try to write a TC language and fail
< 1745161585 826401 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I do sometimes intentionally design languages with weird classes but I don't think doing so is very popular among esolangers
< 1745161590 545999 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(I'm quite proud of Feed the Chaos, though)
< 1745161716 757644 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I think proglang research is too focused on TC-ness. It's not just esolangs.
< 1745161765 579072 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I also think that complexity theorists are too focused on P vs NP. The development of quantum complexity is the only interesting branch, and it's 100% applied in service of the "quantum supremacy" movement.
< 1745161774 71085 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, there are a huge number of people who don't even realise that TC and LBA are different
< 1745161811 619791 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. We don't actually teach computability theory to computer-science students here; it's honestly a massive failing.
< 1745161852 413790 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :lots of new esolangers have proposed "test programs for Turing-completeness" (not realising that any program that proves that is, in a sense, an interpreter for a TC language), and almost all of them are implementable on an LBA
< 1745161909 513855 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :at least my standard test program (which someone else called the "looping counter") isn't LBA-implementable, and I didn't intend it as a TCness proof, just as a check for whether one of the most common obstacles to TCness could be overcome by the language
< 1745161952 646160 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I think it's telling that Cammy's complexity class, which should be a well-known isomorphism-invariant object, is not named in the literature at all. Instead the evil object PR is (not) studied.
< 1745161974 152869 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745162033 226321 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: indeed – an unnamed complexity/computational class came up earlier in this conversation, and I had to improvise a description for it
< 1745162055 433392 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although I doubt many people have actually tried to program in Incident, so wouldn't have first-hand experience with it
< 1745162168 598055 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the basic issue is that in Incident, each stack always returns to the same place in the program after you push onto it, regardless of what you pushed, and the instruction pointer and stacks are apparently the only places to store information – so pushing information onto a stack destroys the copy of that information in the instruction pointer, likewise popping a stack moves the information from the stack to the instruction pointer but also doesn't 
< 1745162170 13433 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :duplicate it)
< 1745162287 834295 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if you make an empty stack return some specific value (which Incident doesn't do), it does weird things to the computational class and I'm not sure what the actual outcome there is, but it reminds me a lot of the 1-state Turing machines discussed earlier
< 1745162297 253187 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :* return some specific value when popped
< 1745162389 82899 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Incident itself is TC but that's because there's an exploit (originally unintentional but noticed before release, and left in) that lets you store a small amount of information outside the program counters and stacks, and storing the information there doesn't remove it from the instruction pointer, so you can use it to slowly and awkwardly copy information and that's the only obstacle to running arbitrary computable programs
< 1745162463 950055 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. I can understand that perspective: given an empty table and a box of legos, we can assemble many different machines, and tiny differences in the choice or placement of individiual lego pieces can dramatically change what the whole machine can do.
< 1745162548 2253 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yep – and the "TC via an exploit" is interesting (which is why I submitted it to a competition, which ended up never being judged), but the version without the exploit is possibly even more interesting
< 1745162556 111482 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(To indicate the contrast without endorsing it: spacetime is flowing with computational energy, and when we pinch tiny corridors of it, we can simulate an arbitrary symbolic manipulation which proceeds along the thermodynamic arrow of time.)
< 1745162633 799717 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :In my mind, Incident would not be TC but the weird machine implementing it would be TC. Languages aren't their implementation machines, because it's very hard to have a non-weird implementation.
< 1745162687 954421 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, the exploitable thing is in the specification
< 1745162696 265866 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and is part of the semantics of the language
< 1745162714 740016 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Only because you blessed it, though? Or maybe I misunderstood.
< 1745162743 448351 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :no, the spec basically says "if there's an infinite loop that follows one of these certain patterns, drop out of the loop by skipping the next command"
< 1745162759 574515 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the patterns are deterministic and observable – it's not a general-purpose halting oracle)
< 1745162776 229464 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and you can store information in the internal state of the infinite-loop-detector
< 1745162795 273094 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :while the program stlll continues to run normally
< 1745162798 149419 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ah, okay.
< 1745162813 333471 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and then retrieve the information by writing an infinite loop that breaks at different points depending on what you did to the detector state
< 1745163034 515274 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hm. It's like another kind of weirdness entirely, and one that appears often: writing in the target language by writing in a weird pre-language which (macro-)expands to the desired program.
< 1745163034 905320 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that's still Incident, right? not one of the trading card games with a weird infinite loop rule
< 1745163062 559725 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm not talking about compilers, but tools like bfmacro. We *could* analyze them as languages, but we get a lot more structure by imagining them as a sort of attached structure above the target.
< 1745163130 607238 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: yes
< 1745163213 682220 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Yugioh's the only TC I know with an infinite loop rule that works sort-of like that, but the rule in the rulebook is based on human discretion – however, the official online simulator breaks loops after 16 somethings (we're not sure exactly what it's counting but it appears to be counting 16 of it) and the point at which it breaks can thus depend on how the loop started, even for otherwise identical loops
< 1745163899 29467 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 JOIN #esolangs * :Textual User
> 1745164339 99956 PRIVMSG #esolangs :14[[07SpellCast14]]4 N10 02https://esolangs.org/w/index.php?oldid=156284 5* 03AlmostGalactic 5* (+3925) 10Created page with "'''Spell Cast''' is an esoteric programming language that uses fantasy-themed syntax to perform standard programming operations. It draws inspiration from magical incantations, making code resemble spellcasting rituals.  == Overview ==  In Spell Cast, variables
> 1745164539 282689 PRIVMSG #esolangs :14[[07SpellCast14]]4 10 02https://esolangs.org/w/index.php?diff=156285&oldid=156284 5* 03AlmostGalactic 5* (+180) 10
< 1745164722 657755 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745164897 939567 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 JOIN #esolangs * :Textual User
> 1745165034 12998 PRIVMSG #esolangs :14[[07Domino Crisis14]]4 10 02https://esolangs.org/w/index.php?diff=156286&oldid=156282 5* 03Stkptr 5* (+29) 10The specification demands that while loops always work, so dominoes can be restood, and there are no demands on the maximal size of the sticky notes used for variables
> 1745165114 484658 PRIVMSG #esolangs :14[[07MicroLang14]]4 10 02https://esolangs.org/w/index.php?diff=156287&oldid=156281 5* 03Stkptr 5* (-28) 10Turing completeness is not obvious
> 1745165126 652835 PRIVMSG #esolangs :14[[07MicroLang14]]4 10 02https://esolangs.org/w/index.php?diff=156288&oldid=156287 5* 03Stkptr 5* (+23) 10
> 1745165359 461894 PRIVMSG #esolangs :14[[07COMP-X14]]4 10 02https://esolangs.org/w/index.php?diff=156289&oldid=156277 5* 03Stkptr 5* (+85) 10
> 1745165476 625385 PRIVMSG #esolangs :14[[07LongDick14]]4 10 02https://esolangs.org/w/index.php?diff=156290&oldid=156276 5* 03Stkptr 5* (+34) 10
> 1745165651 668730 PRIVMSG #esolangs :14[[07SpellCast14]]4 10 02https://esolangs.org/w/index.php?diff=156291&oldid=156285 5* 03Stkptr 5* (-34) 10
> 1745165822 841386 PRIVMSG #esolangs :14[[07Dimensional14]]4 10 02https://esolangs.org/w/index.php?diff=156292&oldid=156267 5* 03Stkptr 5* (+16) 10It is a superset of Brainfuck
> 1745166206 293574 PRIVMSG #esolangs :14[[07Definer14]]4 10 02https://esolangs.org/w/index.php?diff=156293&oldid=78666 5* 03Stkptr 5* (+29) 10It should be able to model unrestricted grammars, it would be strange to assume not
< 1745172142 843116 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 272 seconds
> 1745173270 787853 PRIVMSG #esolangs :14[[07/Interpreters14]]4 10 02https://esolangs.org/w/index.php?diff=156294&oldid=153630 5* 03C++DSUCKER 5* (+460) 10
< 1745173542 398351 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Read error: Connection reset by peer
< 1745173562 121730 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1745174326 53450 :APic!apic@apic.name PRIVMSG #esolangs :cu
< 1745174862 353946 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1745175844 692699 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
< 1745176927 452652 :craigo!~craigo@user/craigo QUIT :Quit: Leaving
> 1745177301 714681 PRIVMSG #esolangs :14[[07ArrowFuck14]]4 10 02https://esolangs.org/w/index.php?diff=156295&oldid=92130 5* 03Kaveh Yousefi 5* (+502) 10Introduced an examples section comprehending one incipial member in a reverse cat program.
> 1745177385 620717 PRIVMSG #esolangs :14[[07ArrowFuck14]]4 10 02https://esolangs.org/w/index.php?diff=156296&oldid=156295 5* 03Kaveh Yousefi 5* (+9137) 10Added an interpreter implementation in Common Lisp and supplemented the page category tag Implemented.
> 1745179354 692288 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=156297&oldid=156257 5* 03Dmiz 5* (-37) 10
> 1745179435 834533 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=156298&oldid=156297 5* 03Dmiz 5* (-13) 10
> 1745182263 422665 PRIVMSG #esolangs :14[[07Talk:BF busy beaver14]]4 10 02https://esolangs.org/w/index.php?diff=156299&oldid=156099 5* 03C++DSUCKER 5* (+161) 10
< 1745182319 352210 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Ping timeout: 260 seconds
< 1745182592 892811 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :amadaluzia
> 1745182802 265831 PRIVMSG #esolangs :14[[07SpellCast14]]4 10 02https://esolangs.org/w/index.php?diff=156300&oldid=156291 5* 03AlmostGalactic 5* (+60) 10
> 1745182835 871667 PRIVMSG #esolangs :14[[07SpellCast14]]4 M10 02https://esolangs.org/w/index.php?diff=156301&oldid=156300 5* 03AlmostGalactic 5* (+3) 10
< 1745183245 838434 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745183567 512442 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 JOIN #esolangs * :Textual User
< 1745184774 781804 :tromp!~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1745185277 639657 PRIVMSG #esolangs :14[[07Talk:BF busy beaver14]]4 10 02https://esolangs.org/w/index.php?diff=156302&oldid=156299 5* 03C++DSUCKER 5* (+205) 10
> 1745186257 451840 PRIVMSG #esolangs :14[[07SpellCast14]]4 10 02https://esolangs.org/w/index.php?diff=156303&oldid=156301 5* 03AlmostGalactic 5* (+991) 10
> 1745186299 196753 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Tpaefawzen 5*  10moved [[02COMP-X10]] to [[CAP-X]]: Wanted to explain language not architecture itself
< 1745187150 93963 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
> 1745187602 489960 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156306&oldid=156162 5* 03Photostar 5* (+335) 10
> 1745187620 396634 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156307&oldid=156306 5* 03Photostar 5* (+5) 10
> 1745187748 917475 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156308&oldid=156307 5* 03Photostar 5* (-68) 10
> 1745187780 382297 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156309&oldid=156308 5* 03Photostar 5* (+2) 10
> 1745187842 154435 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156310&oldid=156309 5* 03Photostar 5* (+6) 10
> 1745187897 655424 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156311&oldid=156310 5* 03Photostar 5* (-14) 10
> 1745188051 926118 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=156312&oldid=156311 5* 03Photostar 5* (+278) 10
> 1745190941 268733 PRIVMSG #esolangs :14[[07Nybble14]]4 N10 02https://esolangs.org/w/index.php?oldid=156313 5* 03Helpeesl 5* (+6123) 10Created page with "Nybble is an esolang created by [[user:helpeesl]] on April 20th 2025 and is really complex. == commands ==  === 0 ===  This command is always followed by another 0 and prints each 6 character chunk as Unicode until it hits a new line and stops  === 1 ===  This command i
> 1745191048 419891 PRIVMSG #esolangs :14[[07AGL14]]4 10 02https://esolangs.org/w/index.php?diff=156314&oldid=156230 5* 03Helpeesl 5* (-1) 10
> 1745191117 259210 PRIVMSG #esolangs :14[[07User:Helpeesl14]]4 10 02https://esolangs.org/w/index.php?diff=156315&oldid=156231 5* 03Helpeesl 5* (+12) 10
< 1745191892 500885 :impomatic!~impomatic@2a00:23c7:5fc9:5401:6840:dc94:419f:bb7e QUIT :Quit: Client closed