00:15:28 You can simulate a Turing machine with a bounded tape with length-preserving rules and a polynomial time reduction allows you to pad that tape to a desired polynomial length. 00:43:47 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 00:44:06 -!- Lord_of_Life has joined. 00:50:18 [[Pairpointing]] https://esolangs.org/w/index.php?diff=117026&oldid=116998 * Fazaazafg * (-8) 04:49:23 [[Special:Log/newusers]] create * Dent * New user account 04:56:07 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=117027&oldid=116946 * Dent * (+255) introduced myself 05:23:45 -!- arseniiv has joined. 05:31:05 [[Pairpointing]] https://esolangs.org/w/index.php?diff=117028&oldid=117026 * Fazaazafg * (-10) /* If statements */ 05:32:51 [[Pairpointing]] https://esolangs.org/w/index.php?diff=117029&oldid=117028 * Fazaazafg * (-27) /* If statements */ 06:11:40 -!- tromp has joined. 06:19:14 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=117030&oldid=117027 * Jaip * (+120) /* Introductions */ 07:36:54 -!- b_jonas has quit (Quit: leaving). 07:47:37 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 07:57:49 -!- tromp has joined. 08:01:24 -!- Sgeo has quit (Read error: Connection reset by peer). 08:30:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:30:27 [[Rhokell]] M https://esolangs.org/w/index.php?diff=117031&oldid=116062 * Pro465 * (-6) /* Kolakoski sequence */ 09:47:07 -!- tromp has joined. 09:49:12 -!- cpressey has joined. 09:55:40 [[Listack]] M https://esolangs.org/w/index.php?diff=117032&oldid=112359 * McChuck * (-2) /* Listack: A symmetric, flat, stack-based, concatenative language */ 10:32:27 [[NONE]] N https://esolangs.org/w/index.php?oldid=117033 * Jaip * (+97) Created page with "NONE is an esoteric programming language that can output letters, numbers and special characters." 10:35:54 [[NONE]] https://esolangs.org/w/index.php?diff=117034&oldid=117033 * Jaip * (+65) 10:38:04 [[I fuck, you fuck]] https://esolangs.org/w/index.php?diff=117035&oldid=117020 * None1 * (+97) 10:41:47 [[NONE]] https://esolangs.org/w/index.php?diff=117036&oldid=117034 * Jaip * (+94) 10:42:32 [[NONE]] https://esolangs.org/w/index.php?diff=117037&oldid=117036 * Jaip * (+4) 10:52:22 [[Language list]] https://esolangs.org/w/index.php?diff=117038&oldid=116735 * None1 * (+23) /* I */ 10:53:54 [[I fuck, you fuck]] M https://esolangs.org/w/index.php?diff=117039&oldid=117035 * None1 * (+2) /* Project Euler */ 10:57:50 [[I fuck, you fuck]] M https://esolangs.org/w/index.php?diff=117040&oldid=117039 * None1 * (+67) /* 20 */ 10:58:29 [[I fuck, you fuck]] M https://esolangs.org/w/index.php?diff=117041&oldid=117040 * None1 * (+68) /* 16 */ 10:59:37 [[Project Euler/16]] https://esolangs.org/w/index.php?diff=117042&oldid=116546 * None1 * (+354) /* Implementations */ 11:00:15 [[Project Euler/20]] https://esolangs.org/w/index.php?diff=117043&oldid=116478 * None1 * (+356) /* Implementations */ 11:02:01 [[Hello world program in esoteric languages (nonalphabetic and A-M)]] https://esolangs.org/w/index.php?diff=117044&oldid=116561 * None1 * (+55) /* ifunge */ 11:03:02 [[I fuck, you fuck]] M https://esolangs.org/w/index.php?diff=117045&oldid=117041 * None1 * (+6) /* Cat Program */ 11:06:29 [[User:None1]] https://esolangs.org/w/index.php?diff=117046&oldid=116969 * None1 * (+87) /* My Esolangs */ 11:07:01 [[User:None1/ToDo]] M https://esolangs.org/w/index.php?diff=117047&oldid=117010 * None1 * (-2) /* Content */ 11:07:14 [[User:None1/ToDo]] M https://esolangs.org/w/index.php?diff=117048&oldid=117047 * None1 * (+7) /* Content */ 11:07:50 -!- tromp has quit (Read error: Connection reset by peer). 11:10:50 [[Goldfuck]] https://esolangs.org/w/index.php?diff=117049&oldid=115021 * None1 * (+2033) Added Python interpreter and implemented category tag 11:12:02 [[User:None1/ToDo]] https://esolangs.org/w/index.php?diff=117050&oldid=117048 * None1 * (+68) /* Content */ 11:28:09 [[Brainfuck]] https://esolangs.org/w/index.php?diff=117051&oldid=115618 * None1 * (+274) /* Hello, World! */ 11:30:02 [[NONE]] https://esolangs.org/w/index.php?diff=117052&oldid=117037 * Jaip * (+249) 11:30:46 [[NONE]] https://esolangs.org/w/index.php?diff=117053&oldid=117052 * Jaip * (-62) 11:31:40 [[NONE]] https://esolangs.org/w/index.php?diff=117054&oldid=117053 * Jaip * (+62) 11:54:52 [[NONE]] https://esolangs.org/w/index.php?diff=117055&oldid=117054 * Jaip * (+104) 12:01:03 -!- __monty__ has joined. 12:07:02 [[4 esolang + Python polyglot]] N https://esolangs.org/w/index.php?oldid=117056 * None1 * (+995) Created page with "The following is a [[polyglot]] created by [[User:None1]], it outputs Hello, World in [[Befunge]], [[brainfuck]], [[Deadfish~]], [[oOo CODE]] and the non-esoteric language [[Python]]. 
 #>                                  vwh print(""" 
12:09:02  [[Polyglot]]  https://esolangs.org/w/index.php?diff=117057&oldid=59204 * None1 * (+141) /* External resources */
12:09:42  [[User:None1]]  https://esolangs.org/w/index.php?diff=117058&oldid=117046 * None1 * (+34) /* My Articles */
12:10:13  [[User:None1]]  https://esolangs.org/w/index.php?diff=117059&oldid=117058 * None1 * (+98) /* Challenges that I tried */
12:11:06  [[User:None1/ToDo]]  https://esolangs.org/w/index.php?diff=117060&oldid=117050 * None1 * (+1) /* Content */
12:11:33  [[4 esolang + Python polyglot]] M https://esolangs.org/w/index.php?diff=117061&oldid=117056 * None1 * (+1) 
12:21:21 -!- FreeFull has joined.
12:21:28  [[4 esolang + Python polyglot]] M https://esolangs.org/w/index.php?diff=117062&oldid=117061 * None1 * (+656) Highlight the program in different language parts
12:25:03  [[4 esolang + Python polyglot]] M https://esolangs.org/w/index.php?diff=117063&oldid=117062 * None1 * (+0) Change Befunge part to a light green color so it won't mix up with Python part
12:29:45  [[4 esolang + Python polyglot]] M https://esolangs.org/w/index.php?diff=117064&oldid=117063 * None1 * (+14) /* Program */  Python part shouldn't print a line feed
12:31:12  [[4 esolang + Python polyglot]] M https://esolangs.org/w/index.php?diff=117065&oldid=117064 * None1 * (+58) /* Program */
12:31:32  [[NONE]]  https://esolangs.org/w/index.php?diff=117066&oldid=117055 * Jaip * (-10) 
12:32:00  [[NONE]]  https://esolangs.org/w/index.php?diff=117067&oldid=117066 * Jaip * (+0) 
12:35:11  [[4 esolang + Python polyglot]]  https://esolangs.org/w/index.php?diff=117068&oldid=117065 * None1 * (+3086) 
12:36:12  [[4 esolang + Python polyglot]]  https://esolangs.org/w/index.php?diff=117069&oldid=117068 * None1 * (+75) /* Language parts */
12:46:10 -!- __monty__ has quit (Ping timeout: 244 seconds).
12:48:45 -!- __monty__ has joined.
13:25:48  [[Revapp]]  https://esolangs.org/w/index.php?diff=117070&oldid=116400 * Abo-Junghichi * (+1) /* revapp-interpreter */ update minimal size of the interpreter
13:38:02  [[4 esolang + Python polyglot]]  https://esolangs.org/w/index.php?diff=117071&oldid=117069 * None1 * (+1173) /* External Resources */
13:39:29  [[4 esolang + Python polyglot]]  https://esolangs.org/w/index.php?diff=117072&oldid=117071 * None1 * (+1175) /* External Resources */
13:43:28  [[4 esolang + Python polyglot]]  https://esolangs.org/w/index.php?diff=117073&oldid=117072 * None1 * (+1172) /* External Resources */
13:46:02  [[Deadfish~]] M https://esolangs.org/w/index.php?diff=117074&oldid=116902 * None1 * (+19) /* Sample Program */  Since its loops are bounded, it is definitely total
13:51:29  [[Deadfish~]]  https://esolangs.org/w/index.php?diff=117075&oldid=117074 * None1 * (+99) /* Sample Program */
13:56:46  [[Twocoman]]  https://esolangs.org/w/index.php?diff=117076&oldid=110493 * Kaveh Yousefi * (+323) Added a hyperlink to my implementation of the Twocoman programming language on GitHub and added the category tag Implemented.
14:00:07  [[Twocoman]]  https://esolangs.org/w/index.php?diff=117077&oldid=117076 * Kaveh Yousefi * (+1005) Rectified the truth-machine example, introduced a Hello, World! program, and supplemented for all three extant specimens the mode sequence equivalents.
14:02:24  [[Twocoman]] M https://esolangs.org/w/index.php?diff=117078&oldid=117077 * Kaveh Yousefi * (+95) Restored the original author's entertaining apostil anenst the cat program's augmented nimiety in relation to the truth-machine's program size.
14:05:26  [[Twocoman]]  https://esolangs.org/w/index.php?diff=117079&oldid=117078 * None1 * (+134) /* Interpreter */
14:06:03  [[Twocoman]] M https://esolangs.org/w/index.php?diff=117080&oldid=117079 * None1 * (+10) /* See also */
14:06:14  [[Twocoman]] M https://esolangs.org/w/index.php?diff=117081&oldid=117080 * None1 * (+1) /* See also */
14:09:17  [[Twocoman]] M https://esolangs.org/w/index.php?diff=117082&oldid=117081 * None1 * (+10) /* See also */
14:11:07 -!- cpressey has quit (Quit: Client closed).
14:18:22  [[BFInfinity]]  https://esolangs.org/w/index.php?diff=117083&oldid=117023 * None1 * (+528) 
14:19:05  [[BFInfinity]] M https://esolangs.org/w/index.php?diff=117084&oldid=117083 * None1 * (+25) /* See also */
14:21:37  [[BFInfinity]] M https://esolangs.org/w/index.php?diff=117085&oldid=117084 * None1 * (+21) /* Commands */  now that it is 2D
14:58:24 -!- cpressey has joined.
14:59:21  [[Genera Tag]] N https://esolangs.org/w/index.php?oldid=117086 * Ais523 * (+13700) new language
15:00:27  [[An Odd Rewriting System]]  https://esolangs.org/w/index.php?diff=117087&oldid=109639 * Ais523 * (+34) +see also [[Genera Tag]]
15:04:16  [[Language list]]  https://esolangs.org/w/index.php?diff=117088&oldid=117038 * Jaip * (+11) /* N */
15:05:58 -!- cpressey has quit (Quit: Client closed).
15:06:50  [[User:Jaip]] N https://esolangs.org/w/index.php?oldid=117089 * Jaip * (+111) Created page with "Hi, Im Jaip! Im making programming languages.  My languages: * [[NONE]], an esoteric programming language"
15:17:55  [[BIX Queue]] N https://esolangs.org/w/index.php?oldid=117090 * Ais523 * (+30) Redirected page to [[BIX Queue Subset]]
15:21:21 -!- CAT_S has quit (Read error: Connection reset by peer).
15:27:28  [[NONE]]  https://esolangs.org/w/index.php?diff=117091&oldid=117067 * Jaip * (+872) 
15:28:27  [[NONE]]  https://esolangs.org/w/index.php?diff=117092&oldid=117091 * Jaip * (+0) 
15:34:32  [[NONE]]  https://esolangs.org/w/index.php?diff=117093&oldid=117092 * Jaip * (+251) 
15:41:30 -!- CAT_S has joined.
15:41:35  [[NONE]]  https://esolangs.org/w/index.php?diff=117094&oldid=117093 * Jaip * (+230) 
15:42:13  [[NONE]]  https://esolangs.org/w/index.php?diff=117095&oldid=117094 * Jaip * (+13) /* Clear */
15:50:09  [[NONE]]  https://esolangs.org/w/index.php?diff=117096&oldid=117095 * Jaip * (+191) 
15:59:54 -!- cpressey has joined.
16:01:31  PSPACE was on my mind a few months ago because I was working on a grammar formalism for context-sensitive languages.  I started wondering just how much you could express in it.  Quite a lot, it turns out, but as usual we're not sure where it ends exactly.
16:02:30 -!- CAT_S has quit (Ping timeout: 244 seconds).
16:02:34  [[NONE]] M https://esolangs.org/w/index.php?diff=117097&oldid=117096 * PythonshellDebugwindow * (+108) Categories
16:02:46 -!- cpressey30 has joined.
16:03:17 -!- cpressey30 has quit (Client Quit).
16:03:37 -!- tromp has joined.
16:03:59  [[NONE]]  https://esolangs.org/w/index.php?diff=117098&oldid=117097 * Jaip * (+379) 
16:05:36  [[NONE]]  https://esolangs.org/w/index.php?diff=117099&oldid=117098 * Jaip * (+26) /* Numbers */
16:06:11  [[NONE]] M https://esolangs.org/w/index.php?diff=117100&oldid=117099 * Jaip * (+13) /* Capitalized letters */
16:06:48 -!- cpressey has quit (Ping timeout: 245 seconds).
16:07:32 -!- cpressey has joined.
16:07:55 -!- CAT_S has joined.
16:08:17  Evaluating a primitive recursive expression is in NEXPTIME, and while we know PSPACE is contained in NEXPTIME, we don't know if the containment is strict.
16:09:19  So it's theoretically possible that there's a context-sensitive grammar that evaluates primitive recursive functions (or rather, recognizes when they've been correctly evaluated).
16:09:39  [[NONE]]  https://esolangs.org/w/index.php?diff=117101&oldid=117100 * Jaip * (+151) /* Special characters */
16:10:34  In my head, that seems *slightly* more plausible than P = NP.  But I'm not sure how much more plausible.  I think, not a lot.
16:10:46  [[NONE]]  https://esolangs.org/w/index.php?diff=117102&oldid=117101 * Jaip * (+39) /* Syntax */
16:15:11  [[NONE]]  https://esolangs.org/w/index.php?diff=117103&oldid=117102 * Jaip * (+509) /* Syntax */
16:15:58  How would you do it?  Could you parse nothing ("consume" the empty string) at each recursion step, but also add to the context to represent accumulating context on the stack?  It seems like there is an outside chance it's possible.
16:20:29  [[NONE]]  https://esolangs.org/w/index.php?diff=117104&oldid=117103 * Jaip * (+174) /* Examples */
16:21:59  [[NONE]]  https://esolangs.org/w/index.php?diff=117105&oldid=117104 * Jaip * (+121) /* Examples */
16:34:29  [[Grill Tag]] N https://esolangs.org/w/index.php?oldid=117106 * Ais523 * (+11963) new language!
16:35:34  [[User:Ais523]]  https://esolangs.org/w/index.php?diff=117107&oldid=115681 * Ais523 * (+31) add two
16:36:38  [[Grill Tag]]  https://esolangs.org/w/index.php?diff=117108&oldid=117106 * Ais523 * (+17) add year  I think 2019 is correct because I did make a passing mention of this one (on the [[BIX Queue Subset]] page) and it hasn't changed since; the main reason to create the page now is the TCness proof
16:39:50  [[BIX Queue Subset]]  https://esolangs.org/w/index.php?diff=117109&oldid=98275 * Ais523 * (-110) /* a vd vt */ discussion now that this has been promoted to a page on its own
16:40:18  [[Brainfuckn't]]  https://esolangs.org/w/index.php?diff=117110&oldid=89433 * 4gboframram * (+460) /* Brief Specification - Made it make sense and added clarifications*/
16:40:48 -!- cpressey has quit (Quit: Client closed).
16:41:30  [[Brainfuckn't]]  https://esolangs.org/w/index.php?diff=117111&oldid=117110 * 4gboframram * (+15) /* External Resources */
16:41:47  [[BIX Queue Subset]]  https://esolangs.org/w/index.php?diff=117112&oldid=117109 * Ais523 * (+5) /* Computational class */ now a Core subset known to be TC
16:42:57  [[Language list]]  https://esolangs.org/w/index.php?diff=117113&oldid=117088 * Ais523 * (+33) /* G */ +[[Grill Tag]], [[Genera Tag]] (it's fortunate for editing ease that these both happen to start with the same letter)
16:44:21 -!- ais523 has joined.
16:49:24 -!- lifthrasiir has quit (Ping timeout: 258 seconds).
16:49:41 -!- lifthrasiir has joined.
16:53:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:03:31 -!- cpressey has joined.
17:12:11 -!- tromp has joined.
17:16:57 -!- cpressey has quit (Quit: Client closed).
17:22:09  [[Talk:Genera Tag]] N https://esolangs.org/w/index.php?oldid=117114 * Pro465 * (+273) Created page with "I hate that this line is grammatically correct:  "Append the string that that symbol's production map maps the position to to the output string;"  soo infuriating >:(   ''nice esolang btw'' --~~~~"
17:33:06  [[Talk:Genera Tag]]  https://esolangs.org/w/index.php?diff=117115&oldid=117114 * Ais523 * (+497) I also hate the way that sentence turned out
17:41:51  [[Talk:Genera Tag]]  https://esolangs.org/w/index.php?diff=117116&oldid=117115 * Pro465 * (+234) 
17:50:12 -!- b_jonas has joined.
17:50:27  do we know the connection between https://esolangs.org/wiki/NONE and https://esolangs.org/wiki/User:None1 ?
18:00:09  [[User talk:Cinnamony]] M https://esolangs.org/w/index.php?diff=117117&oldid=115940 * Pro465 * (+1) /* Possibly inapropriate image */ i got nothing else to do
18:23:28 -!- cpressey has joined.
18:37:46 -!- ais523 has quit (Remote host closed the connection).
18:38:59 -!- ais523 has joined.
19:11:02  cpressey: wow
19:31:15 -!- cpressey has quit (Quit: Client closed).
20:23:33 -!- arseniiv has quit (Quit: gone too far).
20:48:23  [[Grill Tag]]  https://esolangs.org/w/index.php?diff=117118&oldid=117108 * Ais523 * (+1338) implementation of (an encoding of) Grill Tag on a 2-state 14-symbol Turing machine
20:48:48  whew, it has been a busy day
20:49:05  I have finally proven universal a 2-state 14-symbol Turing machine I constructed back in 2019
20:49:22  …and have now written it up here and on CGCC
20:51:05  [[User:Ais523]]  https://esolangs.org/w/index.php?diff=117119&oldid=117107 * Ais523 * (+217) link the 2-state 14-symbol Turing machine on my userpage, too
21:06:18  nice
21:09:18 -!- __monty__ has quit (Quit: leaving).
21:13:04  I think I got the split between Esolang and CGCC correct
21:13:13  finding small universal Turing machines is really just code golf :-)
21:16:36  [[Language list]]  https://esolangs.org/w/index.php?diff=117120&oldid=117113 * Ais523 * (+31) /* F */ +[[Flooding Waterfall Model]]
21:25:24 -!- cpressey has joined.
21:26:02  it's a bit anticlimactic, posting esolangs you worked on for almost four years
21:26:11  (not continuously, fortunately)
21:26:29  turns out the trick to proving Grill Tag Turing-complete was "get better at proving things Turing-complete"
21:26:52  the proof isn't even very complicated
22:07:22 -!- FreeFull has quit.
22:11:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:14:21 -!- cpressey has quit (Quit: Client closed).
22:22:20 -!- Sgeo has joined.
22:49:43  [[BFInfinity]]  https://esolangs.org/w/index.php?diff=117121&oldid=117085 * Lemonz * (+249) 
22:59:30  [[BFInfinity]]  https://esolangs.org/w/index.php?diff=117122&oldid=117121 * None1 * (+121) /* Commands */
22:59:46  [[BFInfinity]] M https://esolangs.org/w/index.php?diff=117123&oldid=117122 * None1 * (+5) /* Commands */
23:00:34  [[BFInfinity]]  https://esolangs.org/w/index.php?diff=117124&oldid=117123 * None1 * (+26) /* Examples */
23:15:54  When writing a computer program or operating system or file format or whatever else it might be, what will you call it? I had ideas relating to operating system designs too but I did not call it anything (yet).
23:37:00  (A few esolangs I had made up, also do not currently have any name, although one of them, someone else added a name. If you know the name then you could move the page in the wiki, I suppose)
23:37:46  I'll never come up with a name as good as Real Fast Nora's Hair Salon 3: Shear Disaster Download
23:37:49  So why bother?
23:38:26  A name should be needed so that you should know what you mean by it, isn't it?
23:48:11  Sometimes.