00:06:59 -!- Sgeo has joined.
00:08:25 -!- Everything has quit (Quit: leaving).
00:19:50 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
00:20:38 -!- Lord_of_Life has joined.
00:34:39 <esolangs> [[User:Kevidryon2]] https://esolangs.org/w/index.php?diff=145867&oldid=110339 * Kevidryon2 * (+105)
01:34:34 -!- Hooloovoo has quit (Ping timeout: 272 seconds).
02:20:09 -!- Hooloovoo has joined.
02:23:22 <esolangs> [[Amo gus]] https://esolangs.org/w/index.php?diff=145868&oldid=135843 * Qawtykit * (+61) added DUP implementation
02:30:31 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
02:37:21 -!- sam__ has joined.
02:37:44 -!- sam__ has changed nick to Guest139.
04:11:59 -!- Guest139 has quit (Quit: leaving).
04:43:55 <esolangs> [[User:CreeperBomb/Idea]] N https://esolangs.org/w/index.php?oldid=145869 * CreeperBomb * (+7359) Created page with "== Description == All operators have a default arity, which can be changed with placing a number of dots before it - one dot per extra input. Multiple dots can be shortened to ".#" for a numeric digit "#" (note: 0 means 10 dots, 1 means 11, and 2 means
04:48:21 <esolangs> [[Amo gus]] https://esolangs.org/w/index.php?diff=145870&oldid=145868 * MihaiEso * (+129)
04:49:33 <esolangs> [[Amo gus]] https://esolangs.org/w/index.php?diff=145871&oldid=145870 * MihaiEso * (+0)
05:37:14 <esolangs> [[User:CreeperBomb/Idea]] M https://esolangs.org/w/index.php?diff=145872&oldid=145869 * CreeperBomb * (+587)
05:54:21 <esolangs> [[User:CreeperBomb/Idea]] M https://esolangs.org/w/index.php?diff=145873&oldid=145872 * CreeperBomb * (+324) /* Example programs */
05:56:44 <esolangs> [[User:CreeperBomb/Idea]] M https://esolangs.org/w/index.php?diff=145874&oldid=145873 * CreeperBomb * (+106) /* Print null */
06:30:04 -!- Sgeo has quit (Read error: Connection reset by peer).
06:31:58 <int-e> . o O ( progress bar, n. -- a device that bars you from progressing )
07:39:14 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=145875&oldid=145853 * Ractangle * (-56) /* Snakel */
07:40:04 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=145876&oldid=145875 * Ractangle * (-93) /* Snakel */
07:58:21 -!- tromp has joined.
08:02:16 -!- craigo has joined.
08:18:51 <esolangs> [[User:MihaiEso]] https://esolangs.org/w/index.php?diff=145877&oldid=145232 * MihaiEso * (+62) /* Others */
08:22:47 <esolangs> [[Translated ORK/Mihai Again16]] https://esolangs.org/w/index.php?diff=145878&oldid=144114 * MihaiEso * (+41)
08:22:59 <esolangs> [[Translated ORK/None1 again9]] https://esolangs.org/w/index.php?diff=145879&oldid=144197 * MihaiEso * (+42)
08:23:08 <esolangs> [[Translated ORK/None1 again9]] https://esolangs.org/w/index.php?diff=145880&oldid=145879 * MihaiEso * (+1)
08:24:41 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=145881&oldid=145318 * MihaiEso * (+92) /* Horribly translated variants */
08:24:54 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=145882&oldid=145881 * MihaiEso * (+48) /* Horribly translated variants */
08:25:22 <esolangs> [[Translated ORK/Mihai Again17]] https://esolangs.org/w/index.php?diff=145883&oldid=144282 * MihaiEso * (+42)
08:25:31 <esolangs> [[Translated ORK/Mihai Again17]] https://esolangs.org/w/index.php?diff=145884&oldid=145883 * MihaiEso * (+1)
08:28:10 <esolangs> [[Translated ORK/Mihai Again18]] N https://esolangs.org/w/index.php?oldid=145885 * MihaiEso * (+2389) Created page with "Future comes by, waiting for worse results! ~~~~ 1. Take that [[Translated ORK/Mihai Again17|shitty sh*t]] <pre> 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
08:45:51 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=145886&oldid=145855 * Iddi01 * (+595) Separate the unicode by lines to be clearer
08:50:31 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=145887&oldid=145886 * Iddi01 * (-549) Wait, redirect messed up transclusion
08:58:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:04:21 -!- ais523 has quit (Quit: quit).
09:16:56 -!- tromp has joined.
09:22:48 <esolangs> [[Talk:Translated ORK/Mihai Again18]] N https://esolangs.org/w/index.php?oldid=145888 * Iddi01 * (+515) Created 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
09:46:06 -!- __monty__ has joined.
09:53:43 <esolangs> [[Esolang]] https://esolangs.org/w/index.php?diff=145889&oldid=8535 * Win7HE * (+30) Removed redirect to [[Esoteric programming language]]
09:54:30 <esolangs> [[Esolang]] https://esolangs.org/w/index.php?diff=145890&oldid=145889 * Win7HE * (-9)
09:54:40 <esolangs> [[Esolang]] https://esolangs.org/w/index.php?diff=145891&oldid=145890 * Win7HE * (+1) Redirected page to [[Esoteric programming language]]
09:55:33 <esolangs> [[Eso]] https://esolangs.org/w/index.php?diff=145892&oldid=145849 * Win7HE * (+22)
09:55:43 <esolangs> [[Esolang]] https://esolangs.org/w/index.php?diff=145893&oldid=145891 * Win7HE * (-22)
10:34:25 <esolangs> [[TW'sLE!!!]] M https://esolangs.org/w/index.php?diff=145894&oldid=142044 * Iddi01 * (+1240) The code is not working on latest versions, add a weak one that do to compensate
10:54:32 -!- ais523 has joined.
10:55:26 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=145895&oldid=145831 * Ractangle * (+2) /* Syntax */
11:08:22 <esolangs> [[EchoLang (None1)]] N https://esolangs.org/w/index.php?oldid=145896 * None1 * (+1797) Created 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
11:24:05 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=145897&oldid=145678 * ColorfulGalaxy's CA discoveries * (+229) /* Pronunciation */ new section) (----
11:28:20 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=145898&oldid=145897 * ColorfulGalaxy's CA discoveries * (+127) /* Pronunciation */
11:40:41 <esolangs> [[Talk:Empty Program]] N https://esolangs.org/w/index.php?oldid=145899 * None1 * (+38) Created page with "This is the same as [[NOP]], isn't it."
11:42:52 <esolangs> [[Talk:Empty Program]] https://esolangs.org/w/index.php?diff=145900&oldid=145899 * None1 * (+235)
12:02:23 -!- Guest65 has joined.
12:02:42 <Guest65> (yes this is wWwwW wutever)'
12:05:14 -!- tromp has quit (Read error: Connection reset by peer).
12:06:44 <Guest65> wadda thibnj of tis?: https://esolangs.org/wiki/%C3%89%C5%A1%C5%93%C5%82%C3%A3%C3%B1g
12:09:06 <ais523> it's unclear what the program does, or what the program even is
12:09:32 <ais523> e.g. are the rules always the same or are they specified by the program? and if they're specified by the program, how?
12:09:59 <Guest65> (also i forgot to specify syntax lol)'
12:10:45 <ais523> 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
12:11:26 <Guest65> the program defines what chars have computation applied
12:13:22 <ais523> it doesn't have enough detail
12:13:44 <Guest65> yea it sint syntax but like
12:14:17 <Guest65> 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
12:17:06 <ais523> OK, I think I understand now, although it isn't explained that well
12:17:45 <ais523> 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)
12:18:23 <Guest65> ? it can make use of what its readin with the prime number rule i think
12:19:09 <Guest65> cuz it reads the data and stores that data in itself
12:21:18 <ais523> 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
12:21:59 <Guest65> if its not a single char but string
12:22:09 <Guest65> cuz then it isnt independent anymore
12:22:26 <ais523> right, that seems like an easy fix
12:22:50 <Guest65> you could have both on same page
12:23:06 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=145901&oldid=145812 * Ractangle * (-18) /* A */
12:24:52 <Guest65> well when i get home ill do that'
12:25:04 <Guest65> do you think that becomes TC?
12:25:14 <Guest65> (and no you cant just say that its just /// now)
12:25:25 <ais523> I'm not sure, but if it does it's probably in a boring way that avoids most of the functionality of the language
12:26:05 -!- Guest65 has quit (Quit: Client closed).
12:51:50 <esolangs> [[Special:Log/move]] move_redir * Ractangle * moved [[Dumbfuck]] to [[Dumbf*ck]] over redirect
12:51:51 <esolangs> [[Special:Log/move]] move_redir * Ractangle * moved [[Talk:Dumbfuck]] to [[Talk:Dumbf*ck]] over redirect
12:51:51 <esolangs> [[Special:Log/delete]] delete_redir * Ractangle * Ractangle deleted redirect [[Dumbf*ck]] by overwriting: Deleted to make way for move from "[[Dumbfuck]]"
12:51:51 <esolangs> [[Special:Log/delete]] delete_redir * Ractangle * Ractangle deleted redirect [[Talk:Dumbf*ck]] by overwriting: Deleted to make way for move from "[[Talk:Dumbfuck]]"
12:56:24 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145906&oldid=145857 * Yayimhere * (+486) /* semantics */
12:57:57 <esolangs> [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=145907&oldid=129490 * UndoneStudios * (+117)
12:58:20 <esolangs> [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=145908&oldid=145907 * UndoneStudios * (+29)
12:58:48 -!- wWwwW has joined.
12:58:58 <wWwwW> hey ais i changed it
13:13:33 <ais523> well, it's a language now – I'm not sure it'll inspire anyone to actually use it, the rules are somewhat arbitrary
13:13:49 <wWwwW> it *is* just a keyboard lol
13:16:39 <wWwwW> sadly im to stupid to proov it TC
13:16:46 <wWwwW> unless i. make 10 esolangs to proove it
13:18:24 <wWwwW> or maybe even there i cant
13:18:29 <wWwwW> im already stuck lol
13:21:38 <ais523> 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
13:25:23 -!- amby has joined.
13:25:56 -!- wWwwW has quit (Quit: Client closed).
13:47:51 <esolangs> [[Translated ORK/PSTF Again-Viginte]] N https://esolangs.org/w/index.php?oldid=145909 * PrySigneToFry * (+2323) Created page with "Translated ORK/Mihai Again18|<span style="font-family:Unifont;">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+ ..."
13:49:54 <esolangs> [[Translated ORK/Mihai Again18]] https://esolangs.org/w/index.php?diff=145910&oldid=145885 * PrySigneToFry * (+144)
13:50:54 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=145911&oldid=145882 * PrySigneToFry * (+125)
14:25:53 -!- wWwwW has joined.
14:26:42 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=145912&oldid=145744 * ZCX islptng * (+109)
14:43:29 -!- wWwwW has quit (Ping timeout: 256 seconds).
14:53:00 -!- wWwwW has joined.
15:25:12 -!- wib_jonas has joined.
15:35:46 -!- callforjudgement has joined.
15:35:50 -!- ais523 has quit (Killed (NickServ (GHOST command used by callforjudgement))).
15:35:59 -!- callforjudgement has changed nick to ais523.
15:36:50 <wWwwW> hey ais523 i wanted to proove TC and i wanted to know if you had any esolangs that i could try to use?
15:37:20 <ais523> wWwwW: what do you mean by "use" here – are you looking for languages to prove TCness of, or languages to prove TCness with?
15:38:03 <wWwwW> frick i need to be better at words lol
15:38:29 <ais523> normally I use The Waterfall Model for anything that's capable of representing enough unbounded counters
15:38:47 <wWwwW> that makes sense to use
15:38:49 <ais523> or tag variants (e.g. Echo Tag or Genera Tag) for anything that has a queue
15:39:32 <ais523> 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
15:43:50 <wWwwW> what would you reccomnd me tho?
15:43:57 <wWwwW> (other than waterfall)
15:45:38 <ais523> cyclic tag, minsky machines
15:46:22 <ais523> 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
15:48:35 <wWwwW> also can you help me. im pretty bad at TC'ness prooving
15:49:29 <wWwwW> i know how to ignore the odd rule
15:51:30 <ais523> 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
15:51:44 <ais523> if there isn't an obvious way to do it, move onto a different TC-proving language
15:52:11 <wWwwW> cant compile also mean like translate?
15:52:24 <wWwwW> underload was translated into umm
15:53:38 <ais523> a simple translation is a sort of compiler
15:54:15 <ais523> or, well, it's a correspondence between languages which can trivially be used as the basis of a compiler
15:57:25 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145913&oldid=145906 * Yayimhere * (-80) /* semantics(g Normal) */
16:01:00 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145914&oldid=145913 * Yayimhere * (+87) /* semantics(g Normal) */
16:02:24 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145915&oldid=145914 * Yayimhere * (-1) /* Compl class */
16:03:42 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145916&oldid=145915 * Yayimhere * (+36) /* g bd */
16:05:00 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145917&oldid=145916 * Yayimhere * (-20) /* syntax */
16:05:45 <wWwwW> well ill do some research then
16:07:45 -!- ski has joined.
16:10:42 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145918&oldid=144472 * Yayimhere * (-5367) /* golfing lang */
16:10:58 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145919&oldid=145918 * Yayimhere * (-502) /* APL x BASIC x MM */
16:44:06 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145920&oldid=145917 * Yayimhere * (+89) /* syntax */
16:47:42 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145921&oldid=145919 * Yayimhere * (+122) /* research */
16:48:57 -!- wib_jonas has quit (Quit: Client closed).
16:52:48 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145922&oldid=145921 * Yayimhere * (+23) /* research */
16:53:31 <wWwwW> hey ais523 how many counters does waterfall need
16:53:51 <ais523> or, well, maybe it can do with less, but 7's the minimum we've proven
16:54:21 <ais523> although if you're going down to that few counters, the numbers get very large
16:54:38 <ais523> this is partly because the waterfall model uses counters both as control flow and as data
16:54:58 <ais523> if you have separate control flow, you have a counter machine, and those work with only two counters
16:55:18 <wWwwW> im already so stuck
16:56:04 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145923&oldid=145922 * Yayimhere * (+103) /* research */
16:59:40 <ais523> the way the string keeps expanding makes TCness proofs difficult
17:00:01 <ais523> there are at least two old languages like that which are still unsolved, although people gave up trying fairly quickly
17:00:19 <ais523> https://esolangs.org/wiki/Xigxag is fun, it was widely suspected not to be TC but that's hard to prove
17:00:29 <wWwwW> i hve read xigxag!
17:03:11 <wWwwW> i wil NEVER GIVE UP
17:09:33 <wWwwW> so if we have these counters
17:10:10 <wWwwW> every prim iteration the counters nothhing happens
17:11:59 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145924&oldid=145920 * Yayimhere * (+140) /* syntax */
17:15:14 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145925&oldid=145923 * Yayimhere * (+165) /* research */
17:18:29 <wWwwW> know i know how to ignore different rules and how to make counters trhat jump to some value n whenever they hit 1
17:23:12 -!- FreeFull has quit (Ping timeout: 252 seconds).
17:25:12 -!- FreeFull has joined.
17:25:25 <esolangs> [[User:Yayimhere/Sandbox]] https://esolangs.org/w/index.php?diff=145926&oldid=145925 * Yayimhere * (+1) /* research */
17:25:50 <wWwwW> hey ais523(if i need to stop pinging me just tell me) have i actually made progres?^^
17:27:08 <ais523> 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)
17:28:46 -!- ais523 has quit (Quit: quit).
17:36:58 -!- wWwwW has quit (Quit: Ping timeout (120 seconds)).
17:37:17 <esolangs> [[g]] https://esolangs.org/w/index.php?diff=145927&oldid=145924 * Yayimhere * (+21) /* syntax */
17:42:11 <esolangs> [[Eso]] https://esolangs.org/w/index.php?diff=145928&oldid=145892 * Ractangle * (-22)
17:44:30 -!- wWwwW has joined.
17:47:00 -!- wWwwW has quit (Client Quit).
17:56:01 -!- Everything has joined.
18:52:17 -!- craigo has quit (Quit: Leaving).
19:52:40 -!- X-Scale has joined.
20:35:49 <b_jonas> that reminds me, we'll still have to try to work out if we can get a turing-completness proof for Imprecision
20:39:58 <b_jonas> fungot, is clothespin really a synonym for clothes peg, the fastner used to fix clothes onto a drying line? because that sounds rather silly
20:39:58 <fungot> b_jonas: a breadtangle!! i wanta tell you you're a carrier! to generate html
21:05:09 <esolangs> [[Special:Log/move]] move * Ractangle * moved [[2.210*]] to [[Xtrod]]
21:10:57 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145931&oldid=145929 * Ractangle * (+333)
21:32:34 -!- sprocket has quit (Quit: brb).
21:38:08 -!- sprock has joined.
21:46:09 -!- SGautam has joined.
21:48:19 -!- Everything has quit (Ping timeout: 260 seconds).
21:50:09 -!- Everything has joined.
21:58:09 -!- sprout has quit (Quit: leaving).
22:06:20 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145932&oldid=145931 * Ractangle * (-76)
22:12:54 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145933&oldid=145932 * Ractangle * (+395) /* Instruction minimise */
22:13:35 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145934&oldid=145933 * Ractangle * (+13) /* Instruction minimise */
22:15:39 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145935&oldid=145934 * Ractangle * (+74) /* See also */
22:16:30 <esolangs> [[Xtrod]] https://esolangs.org/w/index.php?diff=145936&oldid=145935 * Ractangle * (+60) /* Instruction minimise */
22:27:50 -!- __monty__ has quit (Quit: leaving).
22:29:12 <esolangs> [[BF instruction minimalization]] https://esolangs.org/w/index.php?diff=145937&oldid=129803 * Ractangle * (+535) /* Step 4: Finished */
22:32:14 -!- X-Scale has quit (Quit: Client closed).
22:33:26 <korvo> 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
22:34:17 <korvo> 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.
22:47:43 <esolangs> [[BF instruction minimalization]] https://esolangs.org/w/index.php?diff=145938&oldid=145937 * Ractangle * (+49) /* Step 2:Merge the input and output */
23:25:03 -!- X-Scale has joined.
23:47:13 <esolangs> [[Talk:Nythop]] https://esolangs.org/w/index.php?diff=145939&oldid=145429 * Luxedo * (+825) Response about copyright