< 1695773728 314097 :int-e!~noone@int-e.eu PRIVMSG #esolangs :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.
< 1695775427 837303 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 258 seconds
< 1695775446 755896 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1695775818 919975 PRIVMSG #esolangs :14[[07Pairpointing14]]4 10 02https://esolangs.org/w/index.php?diff=117026&oldid=116998 5* 03Fazaazafg 5* (-8) 10
> 1695790163 880166 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dent 5* 10New user account
> 1695790567 778217 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=117027&oldid=116946 5* 03Dent 5* (+255) 10introduced myself
< 1695792225 508600 :arseniiv!~arseniiv@188.64.15.98 JOIN #esolangs arseniiv :the chaotic arseniiv
> 1695792665 782938 PRIVMSG #esolangs :14[[07Pairpointing14]]4 10 02https://esolangs.org/w/index.php?diff=117028&oldid=117026 5* 03Fazaazafg 5* (-10) 10/* If statements */
> 1695792771 247835 PRIVMSG #esolangs :14[[07Pairpointing14]]4 10 02https://esolangs.org/w/index.php?diff=117029&oldid=117028 5* 03Fazaazafg 5* (-27) 10/* If statements */
< 1695795100 30266 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1695795554 381181 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=117030&oldid=117027 5* 03Jaip 5* (+120) 10/* Introductions */
< 1695800214 324770 :b_jonas!~x@89.134.29.45 QUIT :Quit: leaving
< 1695800857 519249 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1695801469 422498 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1695801684 899953 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1695803456 895944 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1695807027 886717 PRIVMSG #esolangs :14[[07Rhokell14]]4 M10 02https://esolangs.org/w/index.php?diff=117031&oldid=116062 5* 03Pro465 5* (-6) 10/* Kolakoski sequence */
< 1695808027 998373 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1695808152 614775 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
> 1695808540 250452 PRIVMSG #esolangs :14[[07Listack14]]4 M10 02https://esolangs.org/w/index.php?diff=117032&oldid=112359 5* 03McChuck 5* (-2) 10/* Listack: A symmetric, flat, stack-based, concatenative language */
> 1695810747 928729 PRIVMSG #esolangs :14[[07NONE14]]4 N10 02https://esolangs.org/w/index.php?oldid=117033 5* 03Jaip 5* (+97) 10Created page with "NONE is an esoteric programming language that can output letters, numbers and special characters."
> 1695810954 933867 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117034&oldid=117033 5* 03Jaip 5* (+65) 10
> 1695811084 990180 PRIVMSG #esolangs :14[[07I fuck, you fuck14]]4 10 02https://esolangs.org/w/index.php?diff=117035&oldid=117020 5* 03None1 5* (+97) 10
> 1695811307 953501 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117036&oldid=117034 5* 03Jaip 5* (+94) 10
> 1695811352 61261 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117037&oldid=117036 5* 03Jaip 5* (+4) 10
> 1695811942 646214 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117038&oldid=116735 5* 03None1 5* (+23) 10/* I */
> 1695812034 181196 PRIVMSG #esolangs :14[[07I fuck, you fuck14]]4 M10 02https://esolangs.org/w/index.php?diff=117039&oldid=117035 5* 03None1 5* (+2) 10/* Project Euler */
> 1695812270 691148 PRIVMSG #esolangs :14[[07I fuck, you fuck14]]4 M10 02https://esolangs.org/w/index.php?diff=117040&oldid=117039 5* 03None1 5* (+67) 10/* 20 */
> 1695812309 885506 PRIVMSG #esolangs :14[[07I fuck, you fuck14]]4 M10 02https://esolangs.org/w/index.php?diff=117041&oldid=117040 5* 03None1 5* (+68) 10/* 16 */
> 1695812377 633786 PRIVMSG #esolangs :14[[07Project Euler/1614]]4 10 02https://esolangs.org/w/index.php?diff=117042&oldid=116546 5* 03None1 5* (+354) 10/* Implementations */
> 1695812415 656047 PRIVMSG #esolangs :14[[07Project Euler/2014]]4 10 02https://esolangs.org/w/index.php?diff=117043&oldid=116478 5* 03None1 5* (+356) 10/* Implementations */
> 1695812521 147967 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (nonalphabetic and A-M)14]]4 10 02https://esolangs.org/w/index.php?diff=117044&oldid=116561 5* 03None1 5* (+55) 10/* ifunge */
> 1695812582 610553 PRIVMSG #esolangs :14[[07I fuck, you fuck14]]4 M10 02https://esolangs.org/w/index.php?diff=117045&oldid=117041 5* 03None1 5* (+6) 10/* Cat Program */
> 1695812789 533740 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=117046&oldid=116969 5* 03None1 5* (+87) 10/* My Esolangs */
> 1695812821 798091 PRIVMSG #esolangs :14[[07User:None1/ToDo14]]4 M10 02https://esolangs.org/w/index.php?diff=117047&oldid=117010 5* 03None1 5* (-2) 10/* Content */
> 1695812834 557502 PRIVMSG #esolangs :14[[07User:None1/ToDo14]]4 M10 02https://esolangs.org/w/index.php?diff=117048&oldid=117047 5* 03None1 5* (+7) 10/* Content */
< 1695812870 358472 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer
> 1695813050 559486 PRIVMSG #esolangs :14[[07Goldfuck14]]4 10 02https://esolangs.org/w/index.php?diff=117049&oldid=115021 5* 03None1 5* (+2033) 10Added Python interpreter and implemented category tag
> 1695813122 722132 PRIVMSG #esolangs :14[[07User:None1/ToDo14]]4 10 02https://esolangs.org/w/index.php?diff=117050&oldid=117048 5* 03None1 5* (+68) 10/* Content */
> 1695814089 718073 PRIVMSG #esolangs :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=117051&oldid=115618 5* 03None1 5* (+274) 10/* Hello, World! */
> 1695814202 548171 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117052&oldid=117037 5* 03Jaip 5* (+249) 10
> 1695814246 351044 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117053&oldid=117052 5* 03Jaip 5* (-62) 10
> 1695814300 196362 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117054&oldid=117053 5* 03Jaip 5* (+62) 10
> 1695815692 779864 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117055&oldid=117054 5* 03Jaip 5* (+104) 10
< 1695816063 805172 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
> 1695816422 432281 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 N10 02https://esolangs.org/w/index.php?oldid=117056 5* 03None1 5* (+995) 10Created 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("""
> 1695816542 588244 PRIVMSG #esolangs :14[[07Polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117057&oldid=59204 5* 03None1 5* (+141) 10/* External resources */
> 1695816582 232580 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=117058&oldid=117046 5* 03None1 5* (+34) 10/* My Articles */
> 1695816613 417783 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=117059&oldid=117058 5* 03None1 5* (+98) 10/* Challenges that I tried */
> 1695816666 526484 PRIVMSG #esolangs :14[[07User:None1/ToDo14]]4 10 02https://esolangs.org/w/index.php?diff=117060&oldid=117050 5* 03None1 5* (+1) 10/* Content */
> 1695816693 423281 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 M10 02https://esolangs.org/w/index.php?diff=117061&oldid=117056 5* 03None1 5* (+1) 10
< 1695817281 16218 :FreeFull!~freefull@46.205.214.226.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull
> 1695817288 364475 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 M10 02https://esolangs.org/w/index.php?diff=117062&oldid=117061 5* 03None1 5* (+656) 10Highlight the program in different language parts
> 1695817503 329154 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 M10 02https://esolangs.org/w/index.php?diff=117063&oldid=117062 5* 03None1 5* (+0) 10Change Befunge part to a light green color so it won't mix up with Python part
> 1695817785 741046 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 M10 02https://esolangs.org/w/index.php?diff=117064&oldid=117063 5* 03None1 5* (+14) 10/* Program */ Python part shouldn't print a line feed
> 1695817872 43446 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 M10 02https://esolangs.org/w/index.php?diff=117065&oldid=117064 5* 03None1 5* (+58) 10/* Program */
> 1695817892 277137 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117066&oldid=117055 5* 03Jaip 5* (-10) 10
> 1695817920 264437 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117067&oldid=117066 5* 03Jaip 5* (+0) 10
> 1695818111 570470 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117068&oldid=117065 5* 03None1 5* (+3086) 10
> 1695818172 546673 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117069&oldid=117068 5* 03None1 5* (+75) 10/* Language parts */
< 1695818770 786557 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 244 seconds
< 1695818925 587552 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
> 1695821148 954067 PRIVMSG #esolangs :14[[07Revapp14]]4 10 02https://esolangs.org/w/index.php?diff=117070&oldid=116400 5* 03Abo-Junghichi 5* (+1) 10/* revapp-interpreter */ update minimal size of the interpreter
> 1695821882 437943 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117071&oldid=117069 5* 03None1 5* (+1173) 10/* External Resources */
> 1695821969 512205 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117072&oldid=117071 5* 03None1 5* (+1175) 10/* External Resources */
> 1695822208 17240 PRIVMSG #esolangs :14[[074 esolang + Python polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=117073&oldid=117072 5* 03None1 5* (+1172) 10/* External Resources */
> 1695822362 381395 PRIVMSG #esolangs :14[[07Deadfish~14]]4 M10 02https://esolangs.org/w/index.php?diff=117074&oldid=116902 5* 03None1 5* (+19) 10/* Sample Program */ Since its loops are bounded, it is definitely total
> 1695822689 748264 PRIVMSG #esolangs :14[[07Deadfish~14]]4 10 02https://esolangs.org/w/index.php?diff=117075&oldid=117074 5* 03None1 5* (+99) 10/* Sample Program */
> 1695823006 21195 PRIVMSG #esolangs :14[[07Twocoman14]]4 10 02https://esolangs.org/w/index.php?diff=117076&oldid=110493 5* 03Kaveh Yousefi 5* (+323) 10Added a hyperlink to my implementation of the Twocoman programming language on GitHub and added the category tag Implemented.
> 1695823207 54712 PRIVMSG #esolangs :14[[07Twocoman14]]4 10 02https://esolangs.org/w/index.php?diff=117077&oldid=117076 5* 03Kaveh Yousefi 5* (+1005) 10Rectified the truth-machine example, introduced a Hello, World! program, and supplemented for all three extant specimens the mode sequence equivalents.
> 1695823344 974577 PRIVMSG #esolangs :14[[07Twocoman14]]4 M10 02https://esolangs.org/w/index.php?diff=117078&oldid=117077 5* 03Kaveh Yousefi 5* (+95) 10Restored the original author's entertaining apostil anenst the cat program's augmented nimiety in relation to the truth-machine's program size.
> 1695823526 468077 PRIVMSG #esolangs :14[[07Twocoman14]]4 10 02https://esolangs.org/w/index.php?diff=117079&oldid=117078 5* 03None1 5* (+134) 10/* Interpreter */
> 1695823563 634857 PRIVMSG #esolangs :14[[07Twocoman14]]4 M10 02https://esolangs.org/w/index.php?diff=117080&oldid=117079 5* 03None1 5* (+10) 10/* See also */
> 1695823574 235975 PRIVMSG #esolangs :14[[07Twocoman14]]4 M10 02https://esolangs.org/w/index.php?diff=117081&oldid=117080 5* 03None1 5* (+1) 10/* See also */
> 1695823757 945918 PRIVMSG #esolangs :14[[07Twocoman14]]4 M10 02https://esolangs.org/w/index.php?diff=117082&oldid=117081 5* 03None1 5* (+10) 10/* See also */
< 1695823867 67922 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
> 1695824302 187881 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=117083&oldid=117023 5* 03None1 5* (+528) 10
> 1695824345 167096 PRIVMSG #esolangs :14[[07BFInfinity14]]4 M10 02https://esolangs.org/w/index.php?diff=117084&oldid=117083 5* 03None1 5* (+25) 10/* See also */
> 1695824497 846162 PRIVMSG #esolangs :14[[07BFInfinity14]]4 M10 02https://esolangs.org/w/index.php?diff=117085&oldid=117084 5* 03None1 5* (+21) 10/* Commands */ now that it is 2D
< 1695826704 613094 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
> 1695826761 327800 PRIVMSG #esolangs :14[[07Genera Tag14]]4 N10 02https://esolangs.org/w/index.php?oldid=117086 5* 03Ais523 5* (+13700) 10new language
> 1695826827 870982 PRIVMSG #esolangs :14[[07An Odd Rewriting System14]]4 10 02https://esolangs.org/w/index.php?diff=117087&oldid=109639 5* 03Ais523 5* (+34) 10+see also [[Genera Tag]]
> 1695827056 973196 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117088&oldid=117038 5* 03Jaip 5* (+11) 10/* N */
< 1695827158 801901 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
> 1695827210 617895 PRIVMSG #esolangs :14[[07User:Jaip14]]4 N10 02https://esolangs.org/w/index.php?oldid=117089 5* 03Jaip 5* (+111) 10Created page with "Hi, Im Jaip! Im making programming languages. My languages: * [[NONE]], an esoteric programming language"
> 1695827875 722663 PRIVMSG #esolangs :14[[07BIX Queue14]]4 N10 02https://esolangs.org/w/index.php?oldid=117090 5* 03Ais523 5* (+30) 10Redirected page to [[BIX Queue Subset]]
< 1695828081 62786 :CAT_S!apic@brezn3.muc.ccc.de QUIT :Read error: Connection reset by peer
> 1695828448 187356 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117091&oldid=117067 5* 03Jaip 5* (+872) 10
> 1695828507 332124 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117092&oldid=117091 5* 03Jaip 5* (+0) 10
> 1695828872 622211 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117093&oldid=117092 5* 03Jaip 5* (+251) 10
< 1695829290 883067 :CAT_S!apic@brezn3.muc.ccc.de JOIN #esolangs CAT_S :A. Pic. - my name since YOLD 3149
> 1695829295 748392 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117094&oldid=117093 5* 03Jaip 5* (+230) 10
> 1695829333 21 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117095&oldid=117094 5* 03Jaip 5* (+13) 10/* Clear */
> 1695829809 281661 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117096&oldid=117095 5* 03Jaip 5* (+191) 10
< 1695830394 612628 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695830491 58889 :cpressey!~cpressey@host-92-10-148-184.as13285.net PRIVMSG #esolangs :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.
< 1695830550 821515 :CAT_S!apic@brezn3.muc.ccc.de QUIT :Ping timeout: 244 seconds
> 1695830554 216034 PRIVMSG #esolangs :14[[07NONE14]]4 M10 02https://esolangs.org/w/index.php?diff=117097&oldid=117096 5* 03PythonshellDebugwindow 5* (+108) 10Categories
< 1695830566 612469 :cpressey30!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695830597 324218 :cpressey30!~cpressey@host-92-10-148-184.as13285.net QUIT :Client Quit
< 1695830617 471561 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1695830639 776972 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117098&oldid=117097 5* 03Jaip 5* (+379) 10
> 1695830736 251214 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117099&oldid=117098 5* 03Jaip 5* (+26) 10/* Numbers */
> 1695830771 529188 PRIVMSG #esolangs :14[[07NONE14]]4 M10 02https://esolangs.org/w/index.php?diff=117100&oldid=117099 5* 03Jaip 5* (+13) 10/* Capitalized letters */
< 1695830808 613656 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Ping timeout: 245 seconds
< 1695830852 620142 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695830875 390265 :CAT_S!apic@brezn3.muc.ccc.de JOIN #esolangs CAT_S :A. Pic. - my name since YOLD 3149
< 1695830897 559235 :cpressey!~cpressey@host-92-10-148-184.as13285.net PRIVMSG #esolangs :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.
< 1695830959 383601 :cpressey!~cpressey@host-92-10-148-184.as13285.net PRIVMSG #esolangs :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).
> 1695830979 624763 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117101&oldid=117100 5* 03Jaip 5* (+151) 10/* Special characters */
< 1695831034 320495 :cpressey!~cpressey@host-92-10-148-184.as13285.net PRIVMSG #esolangs :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.
> 1695831046 893154 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117102&oldid=117101 5* 03Jaip 5* (+39) 10/* Syntax */
> 1695831311 666553 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117103&oldid=117102 5* 03Jaip 5* (+509) 10/* Syntax */
< 1695831358 940706 :cpressey!~cpressey@host-92-10-148-184.as13285.net PRIVMSG #esolangs :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.
> 1695831629 130674 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117104&oldid=117103 5* 03Jaip 5* (+174) 10/* Examples */
> 1695831719 192895 PRIVMSG #esolangs :14[[07NONE14]]4 10 02https://esolangs.org/w/index.php?diff=117105&oldid=117104 5* 03Jaip 5* (+121) 10/* Examples */
> 1695832469 427202 PRIVMSG #esolangs :14[[07Grill Tag14]]4 N10 02https://esolangs.org/w/index.php?oldid=117106 5* 03Ais523 5* (+11963) 10new language!
> 1695832534 789762 PRIVMSG #esolangs :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=117107&oldid=115681 5* 03Ais523 5* (+31) 10add two
> 1695832598 971353 PRIVMSG #esolangs :14[[07Grill Tag14]]4 10 02https://esolangs.org/w/index.php?diff=117108&oldid=117106 5* 03Ais523 5* (+17) 10add 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
> 1695832790 113595 PRIVMSG #esolangs :14[[07BIX Queue Subset14]]4 10 02https://esolangs.org/w/index.php?diff=117109&oldid=98275 5* 03Ais523 5* (-110) 10/* a vd vt */ discussion now that this has been promoted to a page on its own
> 1695832818 370372 PRIVMSG #esolangs :14[[07Brainfuckn't14]]4 10 02https://esolangs.org/w/index.php?diff=117110&oldid=89433 5* 034gboframram 5* (+460) 10/* Brief Specification - Made it make sense and added clarifications*/
< 1695832848 767467 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
> 1695832890 701326 PRIVMSG #esolangs :14[[07Brainfuckn't14]]4 10 02https://esolangs.org/w/index.php?diff=117111&oldid=117110 5* 034gboframram 5* (+15) 10/* External Resources */
> 1695832907 663965 PRIVMSG #esolangs :14[[07BIX Queue Subset14]]4 10 02https://esolangs.org/w/index.php?diff=117112&oldid=117109 5* 03Ais523 5* (+5) 10/* Computational class */ now a Core subset known to be TC
> 1695832977 916078 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117113&oldid=117088 5* 03Ais523 5* (+33) 10/* G */ +[[Grill Tag]], [[Genera Tag]] (it's fortunate for editing ease that these both happen to start with the same letter)
< 1695833061 366797 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1695833364 593647 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Ping timeout: 258 seconds
< 1695833381 366614 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN #esolangs lifthrasiir :Kang Seonghoon
< 1695833588 818858 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1695834211 620825 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695834731 738786 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1695835017 811737 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
> 1695835329 554026 PRIVMSG #esolangs :14[[07Talk:Genera Tag14]]4 N10 02https://esolangs.org/w/index.php?oldid=117114 5* 03Pro465 5* (+273) 10Created 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'' --~~~~"
> 1695835986 974480 PRIVMSG #esolangs :14[[07Talk:Genera Tag14]]4 10 02https://esolangs.org/w/index.php?diff=117115&oldid=117114 5* 03Ais523 5* (+497) 10I also hate the way that sentence turned out
> 1695836511 628265 PRIVMSG #esolangs :14[[07Talk:Genera Tag14]]4 10 02https://esolangs.org/w/index.php?diff=117116&oldid=117115 5* 03Pro465 5* (+234) 10
< 1695837012 303146 :b_jonas!~x@89.134.29.167 JOIN #esolangs b_jonas :b_jonas
< 1695837027 963064 :b_jonas!~x@89.134.29.167 PRIVMSG #esolangs :do we know the connection between https://esolangs.org/wiki/NONE and https://esolangs.org/wiki/User:None1 ?
> 1695837609 649197 PRIVMSG #esolangs :14[[07User talk:Cinnamony14]]4 M10 02https://esolangs.org/w/index.php?diff=117117&oldid=115940 5* 03Pro465 5* (+1) 10/* Possibly inapropriate image */ i got nothing else to do
< 1695839008 630582 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695839866 167901 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection
< 1695839939 270694 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1695841862 905511 :arseniiv!~arseniiv@188.64.15.98 PRIVMSG #esolangs :cpressey: wow
< 1695843075 603931 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
< 1695846213 109119 :arseniiv!~arseniiv@188.64.15.98 QUIT :Quit: gone too far
> 1695847703 573526 PRIVMSG #esolangs :14[[07Grill Tag14]]4 10 02https://esolangs.org/w/index.php?diff=117118&oldid=117108 5* 03Ais523 5* (+1338) 10implementation of (an encoding of) Grill Tag on a 2-state 14-symbol Turing machine
< 1695847728 227047 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :whew, it has been a busy day
< 1695847745 914521 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I have finally proven universal a 2-state 14-symbol Turing machine I constructed back in 2019
< 1695847762 794053 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…and have now written it up here and on CGCC
> 1695847865 351850 PRIVMSG #esolangs :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=117119&oldid=117107 5* 03Ais523 5* (+217) 10link the 2-state 14-symbol Turing machine on my userpage, too
< 1695848778 36604 :b_jonas!~x@89.134.29.167 PRIVMSG #esolangs :nice
< 1695848958 419281 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1695849184 789728 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think I got the split between Esolang and CGCC correct
< 1695849193 392274 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :finding small universal Turing machines is really just code golf :-)
> 1695849396 931263 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117120&oldid=117113 5* 03Ais523 5* (+31) 10/* F */ +[[Flooding Waterfall Model]]
< 1695849924 612944 :cpressey!~cpressey@host-92-10-148-184.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey
< 1695849962 609481 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's a bit anticlimactic, posting esolangs you worked on for almost four years
< 1695849971 492049 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(not continuously, fortunately)
< 1695849989 402324 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :turns out the trick to proving Grill Tag Turing-complete was "get better at proving things Turing-complete"
< 1695850012 649370 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the proof isn't even very complicated
< 1695852442 49130 :FreeFull!~freefull@46.205.214.226.nat.ftth.dynamic.t-mobile.pl QUIT :
< 1695852696 420608 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1695852861 438339 :cpressey!~cpressey@host-92-10-148-184.as13285.net QUIT :Quit: Client closed
< 1695853340 106365 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1695854983 779264 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=117121&oldid=117085 5* 03Lemonz 5* (+249) 10
> 1695855570 656490 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=117122&oldid=117121 5* 03None1 5* (+121) 10/* Commands */
> 1695855586 159395 PRIVMSG #esolangs :14[[07BFInfinity14]]4 M10 02https://esolangs.org/w/index.php?diff=117123&oldid=117122 5* 03None1 5* (+5) 10/* Commands */
> 1695855634 896120 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=117124&oldid=117123 5* 03None1 5* (+26) 10/* Examples */
< 1695856554 602289 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :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).
< 1695857820 117468 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(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)
< 1695857866 10645 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I'll never come up with a name as good as Real Fast Nora's Hair Salon 3: Shear Disaster Download
< 1695857869 557741 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So why bother?
< 1695857906 145433 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :A name should be needed so that you should know what you mean by it, isn't it?
< 1695858491 887419 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Sometimes.