00:09:04 [[User:I am islptng/List of the users that is also in conwaylife.com]] https://esolangs.org/w/index.php?diff=156245&oldid=156190 * I am islptng * (+0) 00:42:44 [[]] https://esolangs.org/w/index.php?diff=156246&oldid=155023 * PrySigneToFry * (+1415) 01:01:43 [[Brainfuck 2.0]] https://esolangs.org/w/index.php?diff=156247&oldid=154324 * PrySigneToFry * (+34) 01:04:26 [[Brit]] https://esolangs.org/w/index.php?diff=156248&oldid=155751 * Dmiz * (-354) 01:19:50 [[UserEdited]] https://esolangs.org/w/index.php?diff=156249&oldid=155432 * PrySigneToFry * (+1263) 01:21:25 [[UserEdited/Versions]] https://esolangs.org/w/index.php?diff=156250&oldid=155427 * PrySigneToFry * (+122) 01:29:43 [[Chefs Kiss]] https://esolangs.org/w/index.php?diff=156251&oldid=156244 * Kaveh Yousefi * (+3) Rectified a lapsus in an identifier concerning the language name. 02:03:42 [[UserEdited]] https://esolangs.org/w/index.php?diff=156252&oldid=156249 * None1 * (+129) /* Commands */ 02:05:02 -!- op_4 has quit (Remote host closed the connection). 02:05:33 -!- op_4 has joined. 02:07:18 [[UserEdited]] https://esolangs.org/w/index.php?diff=156253&oldid=156252 * None1 * (+55) /* Examples */ 02:09:36 [[UserEdited]] https://esolangs.org/w/index.php?diff=156254&oldid=156253 * None1 * (+26) /* Commands */ 02:28:10 -!- b_jonas has quit (Read error: Connection reset by peer). 02:33:19 -!- b_jonas has joined. 02:39:25 -!- FreeFull has quit. 02:48:06 -!- impomatic has quit (Ping timeout: 240 seconds). 03:03:17 [[SE calculus]] N https://esolangs.org/w/index.php?oldid=156255 * Patcail * (+2808) Created 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 03:03:43 [[User:Patcail]] https://esolangs.org/w/index.php?diff=156256&oldid=156003 * Patcail * (+29) 03:06:17 -!- Sgeo has quit (Read error: Connection reset by peer). 03:08:14 -!- Sgeo has joined. 04:05:51 -!- amadaluzia has joined. 04:20:15 [[Brit]] https://esolangs.org/w/index.php?diff=156257&oldid=156248 * Stkptr * (+52) Certainly TC 04:25:22 [[Funciton]] https://esolangs.org/w/index.php?diff=156258&oldid=156035 * Timwi * (+83) Add (from https://youtu.be/H9fBGYJe3EQ) 04:42:25 -!- ais523 has quit (Quit: quit). 05:00:34 [[List of ideas]] https://esolangs.org/w/index.php?diff=156259&oldid=156161 * Photostar * (+15) 05:08:47 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=156260&oldid=156200 * Hotcrystal0 * (+52) 05:39:24 [[Special:Log/newusers]] create * GGordey * New user account 05:44:41 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156261&oldid=156155 * GGordey * (+249) 06:12:17 -!- tromp has joined. 06:17:07 [[SE calculus]] https://esolangs.org/w/index.php?diff=156262&oldid=156255 * Patcail * (+102) 06:30:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 06:46:10 -!- tromp has joined. 06:51:24 -!- amadaluzia has 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.). 06:51:53 -!- amadaluzia has joined. 07:05:56 [[HOL]] N https://esolangs.org/w/index.php?oldid=156263 * Patcail * (+3952) Created 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 07:07:03 [[User:Patcail]] https://esolangs.org/w/index.php?diff=156264&oldid=156256 * Patcail * (+47) 07:20:41 -!- Lord_of_Life_ has joined. 07:21:19 -!- Lord_of_Life has quit (Ping timeout: 276 seconds). 07:22:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 07:31:00 [[Language list]] M https://esolangs.org/w/index.php?diff=156265&oldid=156120 * JHSHernandez-ZBH * (+153) 07:48:51 [[Dimensional]] https://esolangs.org/w/index.php?diff=156266&oldid=99661 * JHSHernandez-ZBH * (+3) /* Terminology */ 07:49:25 [[Dimensional]] https://esolangs.org/w/index.php?diff=156267&oldid=156266 * JHSHernandez-ZBH * (+3) /* Terminology */ 07:50:23 [[Domino Crisis]] https://esolangs.org/w/index.php?diff=156268&oldid=139337 * JHSHernandez-ZBH * (+8) 08:07:51 [[Foobar and Foobaz and Barbaz, oh my!]] https://esolangs.org/w/index.php?diff=156269&oldid=85714 * JHSHernandez-ZBH * (+6171) 09:00:50 Hi * 09:00:51 Happy Easter 2u411! 10:26:51 -!- Sgeo has quit (Read error: Connection reset by peer). 10:33:00 -!- impomatic has joined. 10:54:53 [[Ralative 1 Bit]] M https://esolangs.org/w/index.php?diff=156270&oldid=156242 * Krolkrol * (+26) 10:55:07 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=156271&oldid=156260 * PrySigneToFry * (+59) 10:56:38 [[User:Krolkrol]] https://esolangs.org/w/index.php?diff=156272&oldid=152071 * Krolkrol * (+35) 10:57:10 [[User:Krolkrol]] https://esolangs.org/w/index.php?diff=156273&oldid=156272 * Krolkrol * (+0) 10:57:39 [[User:Krolkrol]] https://esolangs.org/w/index.php?diff=156274&oldid=156273 * Krolkrol * (+0) 11:16:12 [[Dick]] https://esolangs.org/w/index.php?diff=156275&oldid=155156 * Master5o1 * (+3) 11:16:53 [[LongDick]] https://esolangs.org/w/index.php?diff=156276&oldid=155417 * Master5o1 * (-2) 11:18:06 [[COMP-X]] N https://esolangs.org/w/index.php?oldid=156277 * Tpaefawzen * (+340) Created 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 == * 11:41:41 [[Selter]] M https://esolangs.org/w/index.php?diff=156278&oldid=156097 * TheSpiderNinjas * (+7) idk 11:43:19 [[Selter]] M https://esolangs.org/w/index.php?diff=156279&oldid=156278 * TheSpiderNinjas * (+0) idk again 11:45:23 [[Selter]] https://esolangs.org/w/index.php?diff=156280&oldid=156279 * TheSpiderNinjas * (+2) 11:45:34 I have an idea for a thing 11:46:26 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 11:47:47 Would a turing machine still be TC if you had code attached to each data cell? 11:49:19 You can move the tape in either direction by any amount of cells 11:50:32 And suppose you can have an infinite amount of cells with code 11:51:28 what exactly is that code, how is that code specified, do cells carry data, can any data be carried from one cell to another? 11:52:08 Cells carry data and code 11:52:22 Code is immutable in each cell once the program is started 11:52:49 I don't know how you'd specify the code but suppose that there is a way to do it 11:53:17 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. 11:53:32 😮 11:56:20 What if I only had an infinite loop 11:57:21 And the tape can only advance forward by 1 except at the end where it loops back 11:57:52 Ah it's not infinite I guess 11:58:21 Unless the cells are bignums 12:02:54 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) 12:13:04 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. 12:42:04 [[MicroLang]] N https://esolangs.org/w/index.php?oldid=156281 * TomosCode * (+636) Created 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 12:52:09 -!- FreeFull has joined. 12:58:50 -!- tromp has joined. 13:23:27 [[Domino Crisis]] https://esolangs.org/w/index.php?diff=156282&oldid=156268 * Ractangle * (+4) 13:24:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 13:28:36 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=156283&oldid=156271 * Hotcrystal0 * (+28) 13:42:58 -!- ais523 has joined. 13:43:57 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 13:44:38 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" 14:09:21 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 14:09:51 (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) 14:10:09 I think it's in the Incident-without-the-trivial-loop-detector computational class 14:10:24 which I also think is sub-TC, although it's quite hard to grasp exactly what it can and can't do 14:10:36 it might be lower, though 14:12:00 the main feature of the class is an inability to copy data 14:20:35 -!- tromp has joined. 14:23:16 -!- craigo has joined. 14:48:03 ais523: Interesting. I've studied something called "descriptive complexity theory" and so I don't perceive a difference between the topics. 14:48:53 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. 14:53:55 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 15:00:30 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 15:01:49 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. 15:06:00 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 15:06:25 I do sometimes intentionally design languages with weird classes but I don't think doing so is very popular among esolangers 15:06:30 (I'm quite proud of Feed the Chaos, though) 15:08:36 I think proglang research is too focused on TC-ness. It's not just esolangs. 15:09:25 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. 15:09:34 well, there are a huge number of people who don't even realise that TC and LBA are different 15:10:11 Sure. We don't actually teach computability theory to computer-science students here; it's honestly a massive failing. 15:10:52 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 15:11:49 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 15:12:32 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. 15:12:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 15:13:53 korvo: indeed – an unnamed complexity/computational class came up earlier in this conversation, and I had to improvise a description for it 15:14:15 although I doubt many people have actually tried to program in Incident, so wouldn't have first-hand experience with it 15:16:08 (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 15:16:10 duplicate it) 15:18:07 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 15:18:17 * return some specific value when popped 15:19:49 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 15:21:03 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. 15:22:28 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 15:22:36 (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.) 15:23:53 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. 15:24:47 well, the exploitable thing is in the specification 15:24:56 and is part of the semantics of the language 15:25:14 Only because you blessed it, though? Or maybe I misunderstood. 15:25:43 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" 15:25:59 (the patterns are deterministic and observable – it's not a general-purpose halting oracle) 15:26:16 and you can store information in the internal state of the infinite-loop-detector 15:26:35 while the program stlll continues to run normally 15:26:38 Ah, okay. 15:26:53 and then retrieve the information by writing an infinite loop that breaks at different points depending on what you did to the detector state 15:30:34 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. 15:30:34 that's still Incident, right? not one of the trading card games with a weird infinite loop rule 15:31:02 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. 15:32:10 b_jonas: yes 15:33:33 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 15:44:59 -!- tromp has joined. 15:52:19 [[SpellCast]] N https://esolangs.org/w/index.php?oldid=156284 * AlmostGalactic * (+3925) Created 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 15:55:39 [[SpellCast]] https://esolangs.org/w/index.php?diff=156285&oldid=156284 * AlmostGalactic * (+180) 15:58:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:01:37 -!- tromp has joined. 16:03:54 [[Domino Crisis]] https://esolangs.org/w/index.php?diff=156286&oldid=156282 * Stkptr * (+29) The 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 16:05:14 [[MicroLang]] https://esolangs.org/w/index.php?diff=156287&oldid=156281 * Stkptr * (-28) Turing completeness is not obvious 16:05:26 [[MicroLang]] https://esolangs.org/w/index.php?diff=156288&oldid=156287 * Stkptr * (+23) 16:09:19 [[COMP-X]] https://esolangs.org/w/index.php?diff=156289&oldid=156277 * Stkptr * (+85) 16:11:16 [[LongDick]] https://esolangs.org/w/index.php?diff=156290&oldid=156276 * Stkptr * (+34) 16:14:11 [[SpellCast]] https://esolangs.org/w/index.php?diff=156291&oldid=156285 * Stkptr * (-34) 16:17:02 [[Dimensional]] https://esolangs.org/w/index.php?diff=156292&oldid=156267 * Stkptr * (+16) It is a superset of Brainfuck 16:23:26 [[Definer]] https://esolangs.org/w/index.php?diff=156293&oldid=78666 * Stkptr * (+29) It should be able to model unrestricted grammars, it would be strange to assume not 18:02:22 -!- ais523 has quit (Ping timeout: 272 seconds). 18:21:10 [[/Interpreters]] https://esolangs.org/w/index.php?diff=156294&oldid=153630 * C++DSUCKER * (+460) 18:25:42 -!- chiselfuse has quit (Read error: Connection reset by peer). 18:26:02 -!- chiselfuse has joined. 18:38:46 cu 18:47:42 -!- Sgeo has joined. 19:04:04 -!- amby has joined. 19:22:07 -!- craigo has quit (Quit: Leaving). 19:28:21 [[ArrowFuck]] https://esolangs.org/w/index.php?diff=156295&oldid=92130 * Kaveh Yousefi * (+502) Introduced an examples section comprehending one incipial member in a reverse cat program. 19:29:45 [[ArrowFuck]] https://esolangs.org/w/index.php?diff=156296&oldid=156295 * Kaveh Yousefi * (+9137) Added an interpreter implementation in Common Lisp and supplemented the page category tag Implemented. 20:02:34 [[Brit]] https://esolangs.org/w/index.php?diff=156297&oldid=156257 * Dmiz * (-37) 20:03:55 [[Brit]] https://esolangs.org/w/index.php?diff=156298&oldid=156297 * Dmiz * (-13) 20:51:03 [[Talk:BF busy beaver]] https://esolangs.org/w/index.php?diff=156299&oldid=156099 * C++DSUCKER * (+161) 20:51:59 -!- amadaluzia has quit (Ping timeout: 260 seconds). 20:56:32 -!- amadaluzia has joined. 21:00:02 [[SpellCast]] https://esolangs.org/w/index.php?diff=156300&oldid=156291 * AlmostGalactic * (+60) 21:00:35 [[SpellCast]] M https://esolangs.org/w/index.php?diff=156301&oldid=156300 * AlmostGalactic * (+3) 21:07:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:12:47 -!- tromp has joined. 21:32:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:41:17 [[Talk:BF busy beaver]] https://esolangs.org/w/index.php?diff=156302&oldid=156299 * C++DSUCKER * (+205) 21:57:37 [[SpellCast]] https://esolangs.org/w/index.php?diff=156303&oldid=156301 * AlmostGalactic * (+991) 21:58:19 [[Special:Log/move]] move * Tpaefawzen * moved [[COMP-X]] to [[CAP-X]]: Wanted to explain language not architecture itself 22:12:30 -!- amby has quit (Remote host closed the connection). 22:20:02 [[Pysembly]] https://esolangs.org/w/index.php?diff=156306&oldid=156162 * Photostar * (+335) 22:20:20 [[Pysembly]] https://esolangs.org/w/index.php?diff=156307&oldid=156306 * Photostar * (+5) 22:22:28 [[Pysembly]] https://esolangs.org/w/index.php?diff=156308&oldid=156307 * Photostar * (-68) 22:23:00 [[Pysembly]] https://esolangs.org/w/index.php?diff=156309&oldid=156308 * Photostar * (+2) 22:24:02 [[Pysembly]] https://esolangs.org/w/index.php?diff=156310&oldid=156309 * Photostar * (+6) 22:24:57 [[Pysembly]] https://esolangs.org/w/index.php?diff=156311&oldid=156310 * Photostar * (-14) 22:27:31 [[Pysembly]] https://esolangs.org/w/index.php?diff=156312&oldid=156311 * Photostar * (+278) 23:15:41 [[Nybble]] N https://esolangs.org/w/index.php?oldid=156313 * Helpeesl * (+6123) Created 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 23:17:28 [[AGL]] https://esolangs.org/w/index.php?diff=156314&oldid=156230 * Helpeesl * (-1) 23:18:37 [[User:Helpeesl]] https://esolangs.org/w/index.php?diff=156315&oldid=156231 * Helpeesl * (+12) 23:31:32 -!- impomatic has quit (Quit: Client closed).