Do you know how to repeat the action of hitting the big car by the family? Is the ability to write about the lack of desire in everyo
> 1732092351 464060 PRIVMSG #esolangs :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=145886&oldid=145855 5* 03Iddi01 5* (+595) 10Separate the unicode by lines to be clearer
> 1732092631 816370 PRIVMSG #esolangs :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=145887&oldid=145886 5* 03Iddi01 5* (-549) 10Wait, redirect messed up transclusion
< 1732093097 205841 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1732093461 20392 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1732094216 137939 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1732094568 80440 PRIVMSG #esolangs :14[[07Talk:Translated ORK/Mihai Again1814]]4 N10 02https://esolangs.org/w/index.php?oldid=145888 5* 03Iddi01 5* (+515) 10Created page with "I suggest merging all these into one single page ([[Translated ORK]]) and the other sequence into [[Translated ZhongWen]] because they aren't essentially different and aren't actually languages, and so don't deserve individual pages, especially w
< 1732095966 128656 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
> 1732096423 204824 PRIVMSG #esolangs :14[[07Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=145889&oldid=8535 5* 03Win7HE 5* (+30) 10Removed redirect to [[Esoteric programming language]]
> 1732096470 493901 PRIVMSG #esolangs :14[[07Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=145890&oldid=145889 5* 03Win7HE 5* (-9) 10
> 1732096480 956730 PRIVMSG #esolangs :14[[07Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=145891&oldid=145890 5* 03Win7HE 5* (+1) 10Redirected page to [[Esoteric programming language]]
> 1732096533 62919 PRIVMSG #esolangs :14[[07Eso14]]4 10 02https://esolangs.org/w/index.php?diff=145892&oldid=145849 5* 03Win7HE 5* (+22) 10
> 1732096543 601842 PRIVMSG #esolangs :14[[07Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=145893&oldid=145891 5* 03Win7HE 5* (-22) 10
< 1732098237 561468 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1732098865 17992 PRIVMSG #esolangs :14[[07TW'sLE!!!14]]4 M10 02https://esolangs.org/w/index.php?diff=145894&oldid=142044 5* 03Iddi01 5* (+1240) 10The code is not working on latest versions, add a weak one that do to compensate
< 1732100072 176155 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1732100126 677158 PRIVMSG #esolangs :14[[07Snakel14]]4 10 02https://esolangs.org/w/index.php?diff=145895&oldid=145831 5* 03Ractangle 5* (+2) 10/* Syntax */
> 1732100902 679647 PRIVMSG #esolangs :14[[07EchoLang (None1)14]]4 N10 02https://esolangs.org/w/index.php?oldid=145896 5* 03None1 5* (+1797) 10Created page with "'''EchoLang''' is an esolang prompted by [[User:None1]] and invented by Cursor AI: ==Commands== + : Increment the current memory cell. - : Decrement the current memory cell. > : Move the memory pointer to the right. < : Move the memory pointer to the left. . : Ou
> 1732101845 309485 PRIVMSG #esolangs :14[[07User talk:ZCX islptng14]]4 10 02https://esolangs.org/w/index.php?diff=145897&oldid=145678 5* 03ColorfulGalaxy's CA discoveries 5* (+229) 10/* Pronunciation */ new section) (----
> 1732102100 779884 PRIVMSG #esolangs :14[[07User talk:ZCX islptng14]]4 10 02https://esolangs.org/w/index.php?diff=145898&oldid=145897 5* 03ColorfulGalaxy's CA discoveries 5* (+127) 10/* Pronunciation */
> 1732102841 180752 PRIVMSG #esolangs :14[[07Talk:Empty Program14]]4 N10 02https://esolangs.org/w/index.php?oldid=145899 5* 03None1 5* (+38) 10Created page with "This is the same as [[NOP]], isn't it."
> 1732102972 979390 PRIVMSG #esolangs :14[[07Talk:Empty Program14]]4 10 02https://esolangs.org/w/index.php?diff=145900&oldid=145899 5* 03None1 5* (+235) 10
< 1732104143 581510 :Guest65!~Guest55@2.109.102.68 JOIN #esolangs * :[https://web.libera.chat] Guest55
< 1732104148 830713 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :hello'
< 1732104162 926063 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :(yes this is wWwwW wutever)'
< 1732104314 314005 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer
< 1732104404 79728 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :wadda thibnj of tis?: https://esolangs.org/wiki/%C3%89%C5%A1%C5%93%C5%82%C3%A3%C3%B1g
< 1732104546 667161 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's unclear what the program does, or what the program even is
< 1732104567 450526 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :??'
< 1732104572 918528 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :e.g. are the rules always the same or are they specified by the program? and if they're specified by the program, how?
< 1732104589 240243 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :im very confused
< 1732104599 501185 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :(also i forgot to specify syntax lol)'
< 1732104645 355685 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, yes, that might be the confusion – it isn't clear from the article what influence the program has on the execution of the language, explaining the syntax might help with that
< 1732104662 439231 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :ok
< 1732104672 27453 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :well
< 1732104686 761138 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :the program defines what chars have computation applied
< 1732104730 539111 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :does that make sense?
< 1732104802 510971 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it doesn't have enough detail
< 1732104824 481693 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :yea it sint syntax but like
< 1732104827 536918 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :ok
< 1732104857 906836 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :x:y creates a rule where x is the char and y is the number. then on those cycles that are specified x changes based on that
< 1732105026 666705 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, I think I understand now, although it isn't explained that well
< 1732105048 970417 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :YEA  im bad at that''
< 1732105053 741339 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :srry for caps
< 1732105065 13840 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it is sub-TC because it's a sort of neighbour-independent substitution system, which can't usefully store arbitrary amounts of data (they can expand memory infinitely but not make use of that when reading it)
< 1732105103 899077 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :? it can make use of what its readin with the prime number rule i think
< 1732105105 474507 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :right?
< 1732105149 809485 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :cuz it reads the data and stores that data in itself
< 1732105278 371129 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the problem is you're making lots of copies of the base string, but those can't interact with each other in any awy
< 1732105305 483755 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :OH yea
< 1732105307 778158 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :well'
< 1732105311 646568 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :actually theres a change
< 1732105319 523845 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :if its not a single char but  string
< 1732105329 572005 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :cuz then it isnt independent anymore
< 1732105346 928677 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, that seems like an easy fix
< 1732105370 178721 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :you could have both on same page
< 1732105376 730551 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :like on 2C
> 1732105386 866495 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=145901&oldid=145812 5* 03Ractangle 5* (-18) 10/* A */
< 1732105492 98642 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :well when i get home ill do that'
< 1732105504 284616 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :do you think that becomes TC?
< 1732105514 172860 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :(and no you cant just say that its just /// now)
< 1732105525 915613 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm not sure, but if it does it's probably in a boring way that avoids most of the functionality of the language
< 1732105555 816495 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :yea
< 1732105560 32834 :Guest65!~Guest55@2.109.102.68 PRIVMSG #esolangs :but thats for most langs
< 1732105565 216965 :Guest65!~Guest55@2.109.102.68 QUIT :Quit: Client closed
> 1732107110 997487 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move_redir10 02 5* 03Ractangle 5*  10moved [[02Dumbfuck10]] to [[Dumbf*ck]] over redirect
> 1732107111 23101 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move_redir10 02 5* 03Ractangle 5*  10moved [[02Talk:Dumbfuck10]] to [[Talk:Dumbf*ck]] over redirect
> 1732107111 35477 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete_redir10 02 5* 03Ractangle 5*  10Ractangle deleted redirect [[02Dumbf*ck10]] by overwriting: Deleted to make way for move from "[[Dumbfuck]]"
> 1732107111 47132 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete_redir10 02 5* 03Ractangle 5*  10Ractangle deleted redirect [[02Talk:Dumbf*ck10]] by overwriting: Deleted to make way for move from "[[Talk:Dumbfuck]]"
> 1732107384 910421 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145906&oldid=145857 5* 03Yayimhere 5* (+486) 10/* semantics */
> 1732107477 913597 PRIVMSG #esolangs :14[[07ACCUMULATOR14]]4 10 02https://esolangs.org/w/index.php?diff=145907&oldid=129490 5* 03UndoneStudios 5* (+117) 10
> 1732107500 388297 PRIVMSG #esolangs :14[[07ACCUMULATOR14]]4 10 02https://esolangs.org/w/index.php?diff=145908&oldid=145907 5* 03UndoneStudios 5* (+29) 10
< 1732107528 347536 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW
< 1732107538 770690 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hey ais i changed it
< 1732108326 993178 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*ais523
< 1732108413 753296 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, it's a language now – I'm not sure it'll inspire anyone to actually use it, the rules are somewhat arbitrary
< 1732108421 366626 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1732108429 740206 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it *is* just a keyboard lol
< 1732108599 581487 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :sadly im to stupid to proov it TC
< 1732108606 649775 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :unless i. make 10 esolangs to proove it
< 1732108704 66469 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or maybe even there i cant
< 1732108709 752892 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im already stuck lol
< 1732108898 650366 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think that most of my languages aim to be TC in unusual ways – this is in many cases a side effect of being designed to be powerful for proving things TC
< 1732108912 390959 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :this does too
< 1732109123 141320 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
< 1732109156 670393 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed
> 1732110471 549859 PRIVMSG #esolangs :14[[07Translated ORK/PSTF Again-Viginte14]]4 N10 02https://esolangs.org/w/index.php?oldid=145909 5* 03PrySigneToFry 5* (+2323) 10Created page with "Translated ORK/Mihai Again18|HFE D  H$0H? H? H'E D  H$0H? H? HE D  H?{?  H? tH?r?  tH?p?  tHu H?Q?  H?Q?  H?Q?  H?Q?  H?8 H(?, 8H?? HtAH?? HtH?? /G H?  H? L? E3?? G H?X7 H8+ ..."
> 1732110594 11792 PRIVMSG #esolangs :14[[07Translated ORK/Mihai Again1814]]4 10 02https://esolangs.org/w/index.php?diff=145910&oldid=145885 5* 03PrySigneToFry 5* (+144) 10
> 1732110654 236424 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=145911&oldid=145882 5* 03PrySigneToFry 5* (+125) 10
< 1732112753 348725 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW
> 1732112802 450424 PRIVMSG #esolangs :14[[07User talk:ColorfulGalaxy's CA discoveries14]]4 10 02https://esolangs.org/w/index.php?diff=145912&oldid=145744 5* 03ZCX islptng 5* (+109) 10
< 1732113809 349376 :wWwwW!~wWwwW@94.147.203.75 QUIT :Ping timeout: 256 seconds
< 1732114380 348241 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW
< 1732116312 366663 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1732116946 915676 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1732116950 570927 :ais523!~ais523@user/ais523 QUIT :Killed (NickServ (GHOST command used by callforjudgement))
< 1732116959 420187 :callforjudgement!~ais523@user/ais523 NICK :ais523
< 1732117010 275218 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hey ais523 i wanted to proove TC and i wanted to know if you had any esolangs that i could try to use?
< 1732117040 258379 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :wWwwW: what do you mean by "use" here – are you looking for languages to prove TCness of, or languages to prove TCness with?
< 1732117076 654943 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :with
< 1732117083 680342 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :frick i need to be better at words lol
< 1732117109 611592 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :normally I use The Waterfall Model for anything that's capable of representing enough unbounded counters
< 1732117122 939154 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ooh yea
< 1732117127 907808 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :that makes sense to use
< 1732117129 179666 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or tag variants (e.g. Echo Tag or Genera Tag) for anything that has a queue
< 1732117137 353427 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1732117172 953995 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are some more special-purpose TC-proving languages, like Delta Relay for languages which are bad at "resetting" their control flow, but they aren't useful as often
< 1732117188 796225 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1732117430 826522 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :what would you reccomnd me tho?
< 1732117437 9353 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :(other than waterfall)
< 1732117538 781107 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :cyclic tag, minsky machines
< 1732117550 244442 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1732117582 90970 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I've made many "slightly easier to implement than cyclic tag" languages, but most languages are able to implement the original, it's only when that doesn't work that you need to reach for a more powerful option
< 1732117715 217762 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also can you help me. im pretty bad at TC'ness prooving
< 1732117769 677875 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i know how to ignore the odd rule
< 1732117890 708260 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :normally it is easier to compile than interpret – think about how you would compile from the TC-proving language to the language you're trying to prove
< 1732117901 69675 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1732117904 522554 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if there isn't an obvious way to do it, move onto a different TC-proving language
< 1732117911 279916 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1732117931 129121 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :cant compile also mean like translate?
< 1732117931 634254 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :like
< 1732117944 307723 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :underload was translated into umm
< 1732117951 445505 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :unlambda
< 1732118018 526934 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a simple translation is a sort of compiler
< 1732118026 606499 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1732118029 761229 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thank god
< 1732118055 450083 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, well, it's a correspondence between languages which can trivially be used as the basis of a compiler
< 1732118065 302240 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
> 1732118245 994459 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145913&oldid=145906 5* 03Yayimhere 5* (-80) 10/* semantics(g Normal) */
> 1732118460 206384 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145914&oldid=145913 5* 03Yayimhere 5* (+87) 10/* semantics(g Normal) */
> 1732118544 151000 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145915&oldid=145914 5* 03Yayimhere 5* (-1) 10/* Compl class */
> 1732118622 636990 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145916&oldid=145915 5* 03Yayimhere 5* (+36) 10/* g bd */
> 1732118700 945737 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145917&oldid=145916 5* 03Yayimhere 5* (-20) 10/* syntax */
< 1732118745 321390 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well ill do some research then
< 1732118865 470520 :ski!~ski@remote11.chalmers.se JOIN #esolangs ski :Stefan Ljungstrand
> 1732119042 27612 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145918&oldid=144472 5* 03Yayimhere 5* (-5367) 10/* golfing lang */
> 1732119058 801158 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145919&oldid=145918 5* 03Yayimhere 5* (-502) 10/* APL x BASIC x MM */
> 1732121046 66638 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145920&oldid=145917 5* 03Yayimhere 5* (+89) 10/* syntax */
> 1732121262 582570 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145921&oldid=145919 5* 03Yayimhere 5* (+122) 10/* research */
< 1732121337 820421 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1732121568 290556 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145922&oldid=145921 5* 03Yayimhere 5* (+23) 10/* research */
< 1732121611 33356 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hey ais523 how many counters does waterfall need
< 1732121622 976284 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :7
< 1732121631 616056 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, well, maybe it can do with less, but 7's the minimum we've proven
< 1732121635 54694 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :frickin dmammit
< 1732121661 442521 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although if you're going down to that few counters, the numbers get very large
< 1732121678 585096 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this is partly because the waterfall model uses counters both as control flow and as data
< 1732121698 843234 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if you have separate control flow, you have a counter machine, and those work with only two counters
< 1732121718 265905 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im already so stuck
> 1732121764 154025 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145923&oldid=145922 5* 03Yayimhere 5* (+103) 10/* research */
< 1732121939 363273 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :help meeee plz
< 1732121980 963225 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the way the string keeps expanding makes TCness proofs difficult
< 1732121990 947304 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1732122001 939046 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are at least two old languages like that which are still unsolved, although people gave up trying fairly quickly
< 1732122019 106518 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :https://esolangs.org/wiki/Xigxag is fun, it was widely suspected not to be TC but that's hard to prove
< 1732122021 752429 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well i wont
< 1732122029 323654 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i hve read xigxag!
< 1732122191 513891 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i wil NEVER GIVE UP
< 1732122568 743479 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ok
< 1732122573 265603 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so if we have these counters
< 1732122610 422142 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :every prim iteration the counters nothhing happens
> 1732122719 779405 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145924&oldid=145920 5* 03Yayimhere 5* (+140) 10/* syntax */
> 1732122914 278628 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145925&oldid=145923 5* 03Yayimhere 5* (+165) 10/* research */
< 1732123088 154367 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well
< 1732123109 326958 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :know i know how to ignore different rules and how to make counters trhat jump to some value n whenever they hit 1
< 1732123392 458760 :FreeFull!~freefull@46.205.206.114.nat.ftth.dynamic.t-mobile.pl QUIT :Ping timeout: 252 seconds
< 1732123512 140501 :FreeFull!~freefull@46.205.205.240.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull
> 1732123525 437510 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=145926&oldid=145925 5* 03Yayimhere 5* (+1) 10/* research */
< 1732123550 943315 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hey ais523(if i need to stop pinging me just tell me) have i actually made progres?^^
< 1732123628 231507 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm too tired to tell, I should go to bed (but I'm not sure if I'll be able to tell even when more awake)
< 1732123690 167503 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1732123696 24085 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :go to bed then
< 1732123726 568741 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1732124218 953250 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Ping timeout (120 seconds)
> 1732124237 872098 PRIVMSG #esolangs :14[[07g14]]4 10 02https://esolangs.org/w/index.php?diff=145927&oldid=145924 5* 03Yayimhere 5* (+21) 10/* syntax */
> 1732124531 399539 PRIVMSG #esolangs :14[[07Eso14]]4 10 02https://esolangs.org/w/index.php?diff=145928&oldid=145892 5* 03Ractangle 5* (-22) 10
< 1732124670 347724 :wWwwW!~wWwwW@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] wWwwW
< 1732124820 433815 :wWwwW!~wWwwW@94.147.203.75 QUIT :Client Quit
< 1732125361 688585 :Everything!~Everythin@94.153.8.251 JOIN #esolangs Everything :Everything
< 1732128737 460531 :craigo!~craigo@user/craigo QUIT :Quit: Leaving
< 1732132360 483408 :X-Scale!~X-Scale@89.214.116.238 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
< 1732134949 951801 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that reminds me, we'll still have to try to work out if we can get a turing-completness proof for Imprecision
< 1732135198 420128 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :fungot, is clothespin really a synonym for clothes peg, the fastner used to fix clothes onto a drying line? because that sounds rather silly
< 1732135198 709205 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: a breadtangle!! i wanta tell you you're a carrier! to generate html
> 1732136709 68187 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5*  10moved [[022.210*10]] to [[Xtrod]]
> 1732137057 609794 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145931&oldid=145929 5* 03Ractangle 5* (+333) 10
< 1732138354 332624 :sprocket!~sprock@user/sprock QUIT :Quit: brb
< 1732138688 447211 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
< 1732139169 262361 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam
< 1732139299 993619 :Everything!~Everythin@94.153.8.251 QUIT :Ping timeout: 260 seconds
< 1732139409 599715 :Everything!~Everythin@46.211.136.70 JOIN #esolangs Everything :Everything
< 1732139889 290377 :sprout!~sprout@2a02-a448-3a80-0-c61c-b515-5509-58e7.fixed6.kpn.net QUIT :Quit: leaving
> 1732140380 387047 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145932&oldid=145931 5* 03Ractangle 5* (-76) 10
< 1732140718 115379 :APic!apic@apic.name PRIVMSG #esolangs :Good Night.
> 1732140774 180207 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145933&oldid=145932 5* 03Ractangle 5* (+395) 10/* Instruction minimise */
> 1732140815 363885 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145934&oldid=145933 5* 03Ractangle 5* (+13) 10/* Instruction minimise */
> 1732140939 635706 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145935&oldid=145934 5* 03Ractangle 5* (+74) 10/* See also */
> 1732140990 251458 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=145936&oldid=145935 5* 03Ractangle 5* (+60) 10/* Instruction minimise */
< 1732141670 776181 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
> 1732141752 883120 PRIVMSG #esolangs :14[[07BF instruction minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=145937&oldid=129803 5* 03Ractangle 5* (+535) 10/* Step 4: Finished */
< 1732141934 271947 :X-Scale!~X-Scale@89.214.116.238 QUIT :Quit: Client closed
< 1732142006 776325 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I don't know if I linked it here, but I wrote a guest post for the PyPy/RPython blog last week: https://pypy.org/posts/2024/11/guest-post-final-encoding-in-rpython.html
< 1732142057 142074 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You had mentioned being surprised at the BF monoid, so I figured you'd appreciate the punchline: the monoid makes it possible to optimize a final encoding with nice algebraic reasoning.
< 1732142111 596080 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :
ACTION déjà vu

> 1732142863 932501 PRIVMSG #esolangs :14[[07BF instruction minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=145938&oldid=145937 5* 03Ractangle 5* (+49) 10/* Step 2:Merge the input and output */
< 1732145103 432687 :X-Scale!~X-Scale@89.214.116.238 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
> 1732146433 296942 PRIVMSG #esolangs :14[[07Talk:Nythop14]]4 10 02https://esolangs.org/w/index.php?diff=145939&oldid=145429 5* 03Luxedo 5* (+825) 10Response about copyright