00:21:50 -!- Lord_of_Life_ has joined.
00:22:05 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
00:23:10 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
01:30:32 -!- amby has quit (Remote host closed the connection).
01:31:21 <esolangs> [[User:ColorfulGalaxy's CA discoveries/One per generation]] https://esolangs.org/w/index.php?diff=146173&oldid=146057 * ColorfulGalaxy's CA discoveries * (+462) I'm posting this one since they didn't ban my hacked account) (----
01:36:02 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=146174&oldid=146072 * ColorfulGalaxy's CA discoveries * (+214)
01:51:01 <ais523> the funny thing, it had me thinking "why don't functions just return the exception and propagate it, it would be so much simpler" and then Rust ended up doing exactly that
02:16:46 <korvo> ais523: A steelman of your position about syntax just popped into my mind. A context-free grammar definitionally can't add any nuance to something like a hardcoded operator, so the assigned semantics must encapsulate the entire concept associated with that operator. (And naturally there should be a category for each assignment, slicing the category of models for the whole syntax.)
02:17:35 <ais523> if the grammar is ambiguous it might cause there to be some contexts where the operator can't be used, because there's no unambiguous way to express it
02:17:37 <korvo> So when e.g. Python says `% 2`, that's one hard-coded concept and also a number. In e.g. Jelly, by contrast, `B` is also one hard-coded concept, but it's a more specific one because it doesn't range over a syntactic number.
02:18:31 <ais523> but yes – golfing languages tend to have a lot of simple combinations like that hardcoded
02:18:39 <int-e> . o O ( it's almost as if there is a separation between syntax and semantics )
02:18:49 <korvo> Oh, of course, I'm assuming that all valid parses are meaningful. The highlight was that `B` refines `%` and the categories of models will reflect that.
02:19:03 <int-e> (that was a totally context-free comment)
02:19:10 <ais523> although, of course, Jelly B and % are both more powerful than the Python equivalents %2 and %
02:19:31 <ais523> because they're overloaded to work on arrays as well as scalars
02:20:28 <ais523> then you get into weirdnesses like × which, if used in a certain way, generates values of a type that doesn't exist in the language as a consequence of an interpreter bug (the interpreter is written in Python, which is sufficiently dynamically typed that this doesn't break anything)
02:20:55 <korvo> There is a model of Python syntax which operates on arrays rather than scalars, I think. We wouldn't ever use it due to the hilarious memory requirements.
02:23:58 <korvo> I suppose I'm thinking too much about native type theory here. There isn't really an on-wiki sense of this facet of languages.
02:24:18 <ais523> so I was designing a golfing language that, if it parsed subexpressions that couldn't possibly be useful (were no-ops or were duplicated by some other command), did something entirely unrelated
02:24:38 <ais523> e.g. multiplying a number by 1 checked whether or not it was prime
02:24:53 <ais523> that seems somewhat related to what we're discussing
02:49:11 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=146175&oldid=146174 * Translated ORK * (+3007)
02:49:28 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=146176&oldid=146175 * Translated ORK * (+1) /* Life viewer bug */
02:51:34 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=146177&oldid=146176 * Translated ORK * (+175) /* Pronunciation */
02:53:09 <esolangs> [[Translated ORK/Mihai Again20]] https://esolangs.org/w/index.php?diff=146178&oldid=145988 * Translated ORK * (+130)
02:53:28 <esolangs> [[Translated ORK/PSTF Again-Duoviginte]] https://esolangs.org/w/index.php?diff=146179&oldid=146059 * Translated ORK * (+130)
03:01:28 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146180&oldid=146074 * Translated ORK * (+155) /* I got hacked again */
03:04:07 <korvo> ais523: Yeah, for sure. Native type theory only allows models which validate the various rewriting rules, which prevents that sort of trickery. You could add it back in with a context-sensitive parser.
03:08:03 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146181&oldid=146180 * Ais523 * (+182) /* I got hacked again */ are you two accounts the same user?
03:09:12 -!- mtm has joined.
03:09:18 <ais523> it has left me wondering whether it's a syntactic or semantic rule (and trying to implement it I went back and forth on where to implement it)
03:09:43 <ais523> it seems to be independent of the syntax in the sense that you could give the language an entirely different syntax and the replacements would still make sense
03:14:41 <korvo> Yeah. I think we need a fancier defnition of "language" in order to clarify the situation.
03:15:32 <korvo> Like, a language L has programs p1, p2, etc. in L. Great! But we also need refinement: maybe p1 can be refined to p2, and in that case, we should expect maps out of L to preserve refinement.
03:15:38 <ais523> but yes, it's also independent of the semantics in the sense that it can do things like change the type an expression would apparently have
03:15:54 <ais523> it feels like it might be an extra layer in between?
03:16:02 <ais523> like, some sort of macro
03:16:55 <ais523> actually, C macros are a good comparison – they run after the parse in some senses and before in others (and this is implemented by using two parsers, one for macros, one for the result post-macro-expansion)
03:17:08 <ais523> err, I should say "specified" not "implemented"
03:36:54 <esolangs> [[Special:Log/newusers]] create * Trump -bot- * New user account
03:37:20 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=146182&oldid=145986 * Trump -bot- * (+120)
03:37:26 <int-e> what an auspicious user name :-/
03:38:14 -!- wWwwW has joined.
03:38:47 <ais523> that matches the username pattern of a banned user
03:39:45 <ais523> not sure whether to just immediately ban as they seem to have been here before and are probably the same person, or wait for them to be disruptive first
03:40:16 <ais523> it's been long enough that maybe they have grown up? although I'm not hopeful
03:42:40 <esolangs> [[Wenyan]] https://esolangs.org/w/index.php?diff=146183&oldid=141216 * Trump -bot- * (+50)
03:43:09 <esolangs> [[Wenyan]] M https://esolangs.org/w/index.php?diff=146184&oldid=146183 * Ais523 * (-50) Reverted edit by [[Special:Contributions/Trump -bot-|Trump -bot-]] ([[User talk:Trump -bot-|talk]]) to last revision by [[User:None1|None1]]
03:43:49 <esolangs> [[Special:Log/block]] block * Ais523 * blocked [[User:Trump -bot-]] with an expiration time of 1 week (account creation disabled): apparent return of a previous banned user, continuing to be disruptive
03:44:04 <ais523> well that didn't take long
03:44:31 <wWwwW> (i was very confused cuz IRC has a filter aswell)
03:47:27 <int-e> last time was in 2021? wow
03:47:41 <ais523> I thought it was further back than that
03:47:42 <esolangs> [[I/D machine]] https://esolangs.org/w/index.php?diff=146185&oldid=118932 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+28)
03:48:01 <wWwwW> with the "grown up" based off the username its a bot but idk
03:48:07 <esolangs> [[Esolang talk:Sandbox]] https://esolangs.org/w/index.php?diff=146186&oldid=144555 * Xyzzy * (+149)
03:49:08 <ais523> it's a person with "bot" in most of their usernames
03:49:56 <ais523> I think it's meant to be performance art, but it's both disruptive and somewhat offensive, and doesn't actually help towards the wiki's main purpose at all
03:50:12 <ais523> sometimes esolangs are art, but there's a difference between being a wiki *about* art and a wiki *that is* art
03:50:43 <ais523> the latter doesn't work very well because people differ so much in their opinions about what is good and what is bad to include
03:53:14 <esolangs> [[Esolang talk:Sandbox]] https://esolangs.org/w/index.php?diff=146187&oldid=146186 * Xyzzy * (+73)
03:55:22 <wWwwW> oh god i got such a bad idea
04:02:23 <korvo> ais523: Macros are definitely an instance of what I'm getting at, yes. I wish that this were already an accepted concept with standard terminology; I don't want to ask people to climb up Mt. Category every time.
04:06:36 <korvo> But, like, fundamentally I'm talking about a natural transformation, and those are best thought of as sitting *outside* the parser. It's a transformation on input programs s.t. the resulting parses and evaluations will not be changed.
04:11:11 <ais523> korvo: ah no, I was trying to classify the thing I was talking about
04:11:29 <ais523> there are various nice properties that programming languages can have, and then various ways in which languages can choose not to have them
04:13:18 <korvo> ais523: Oh, that's desirable? It seems like the sort of thing that can be fixed by adding quotation marks so that parameters can be uniformly quoted at the syntactic level. Otherwise you end up with dead spots in the grammar.
04:13:55 <ais523> fizzie: this might be relevant to esolangs the bot: https://libera.chat/news/llm-etiquette
04:14:29 <ais523> korvo: well, in a golfing language you want as far as possible to avoid equivalent programs existing, or at least reduce the number of duplicates that exist
04:15:14 <ais523> and there are various tricks to do that – of course you can't go all the way in terms of preventing duplicates whilst staying computable, but the further you can go in that direction the better the language will be, and it isn't uncomputable to go some of the way
04:17:15 <korvo> ais523: Ah, I see. I'd immediately weaken that to something more tractable: all the equivalents are *long*.
04:17:55 <korvo> In particular, if we have a way to lengthen a program without changing its behavior, then that can be run in reverse to give us a refinement rule which shortens programs; we can turn algebra into optimizations.
04:19:13 <ais523> well, you can have two programs that are equal length but equivalent, say, arithmetically
04:19:23 <ais523> + and Ḥ do the same thing as single-byte programs in Jelly
04:19:29 <ais523> the former adds a number to itself, the latter multiplies it by 2
04:20:59 <korvo> Sometimes multiple monoids have the same unit. I don't think that there's an easy way to work around that without adding syntax to explicitly designate units, which would double the size of those programs.
04:22:34 <ais523> I think the problem is that you are trying to see programming languages as mathematically elegant objects that can be modeled with denotational semantics, whereas in practice there are often special cases which are hard to handle except as special cases
04:23:44 <ais523> and sometimes that's desirable for, e.g., efficiency reasons – some Perl builtins act differently based on whether their result is interpreted as a number or a string, and this was generalised to allow any scalar value in the entire language to look different as a number or a string, which is one of the reasons why Perl uses so much more memory than you might expect
04:23:46 <korvo> Well, as a language designer, yes; languages should have lots of symmetry because every irregularity requires explicit memorization. I don't want to inflict complexity on folks.
04:23:49 <fizzie> Yeah, there was a wallopsy message about it.
04:23:57 <fizzie> As an initial impression leaning towards "no urgent action needed", since there's no training going on (it's entirely self-hosted); it would be nice to make it more clear that there's an LLM in it, but OTOH it's not really useful for anything, so it feels a little too spammy to "advertise" the bot too much either.
04:24:24 <ais523> I guess you could just add [LLM reply] or the like at the start of the replies
04:24:42 <korvo> A golfing language asks its users to be compressors. I'm not saying that that's forbidden, but it's not something I'd do.
04:25:43 <korvo> I only want to see a language as having an identity transformation on programs, along with a partial order of refinement on programs, because that automatically gives us the bare-minimum machinery for talking about preserving structure. Without it, interpreters and compilers don't make sense as concepts.
04:26:17 <ais523> I think a golfing language is more of a toolset that users can compress with, and most good golfing languages do that by providing short ways to express commonly useful concepts – programs in golfing languages don't have to be golfed
04:26:20 <int-e> esolangs: what's this?
04:26:21 <fizzie> Yes, that's probably a reasonable interpretation of "made aware -- as soon as possible", even if it still allows an unknowing person's first message to the bot to be inadvertently seen by an LLM.
04:26:28 <esolangs> int-e: Please provide the question! I need to see the question to answer it about esoteric programming languages. 😊 Once you give me the question, I'll do my best to provide a concise and informative answer.
04:26:44 <korvo> esolangs: Are you a bot? Also are you an LLM?
04:26:52 <esolangs> korvo: I am not a bot in the traditional sense. I am a large language model, trained on a massive dataset of text and code. This allows me to understand and generate human-like text, including responses about esoteric programming languages.
04:27:03 <fizzie> I guess that worked out okay.
04:27:05 <int-e> esolangs: Are you aware?
04:27:27 <ais523> recently I've taken to using Jelly to write interpreters for my esolangs, if they're simple enough, because it generally allows interpreters for simple languages to be constructed very quickly
04:27:31 <int-e> Anyway. It mostly has novelty value.
04:27:53 <int-e> Ah did I hit a rate limit?
04:28:01 <ais523> but they aren't explicitly golfed
04:28:07 <fizzie> No, judging from the delay that particular question just somehow produced a nonzero amount of wiki page hits.
04:28:24 <fizzie> It takes like 2-3 minutes to generate a response when there's a wiki page to feed into it.
04:28:57 <korvo> ais523: That's totally fair. I hope I'm not coming across as snooty. I'm just thinking that e.g. finding uses for spare bit patterns is something an arithmetic coder should be doing, and a human shouldn't have to do it outside of learning or fun.
04:29:12 <fizzie> Since it puts in (IIRC) some 8k tokens worth of wikistuff, plus it may do that a couple of times to ask it to summarize the page first.
04:29:55 <fizzie> I'm also expecting a very bad answer, since that's what usually happens when it's given an article to read.
04:29:59 <esolangs> int-e: Yes, I am aware of Tonoco. It's an esoteric programming language designed by David.werecat, known for its network-based structure and simple operations. It uses boxes connected in a one-way fashion, with 32-bit signed integers as data and a limited set of instructions for control flow. I have access to its documentation and examples, including...
04:29:59 <esolangs> programs like "Cat" and "Greeter."
04:30:06 <esolangs> [[User:Xyzzy]] https://esolangs.org/w/index.php?diff=146188&oldid=144965 * Xyzzy * (+45)
04:30:49 <ais523> korvo: so the issue here is one of context – an arithmetic coder needs to see a lot of data to be able to usefully compress something without prior knowledge, whereas golfing language programs are often just a few bytes long
04:31:00 <ais523> so we can say, e.g., multiplying a number by 1 isn't useful
04:31:02 <int-e> "The next method of control flow is turning on/off execution with depth ***aware***ness."
04:31:11 <korvo> RAG is hit-or-miss because culture is complex. A related question might be "Are you experienced?" which seems like nonsense but is a reference to an old USA meme and should get a reply mentioning Jimi Hendrix.
04:31:45 <ais523> but we need to explicitly teach our compressor all those exceptions, so that it knows it doesn't have to compress programs that use them
04:32:03 <ais523> there is a big advantage to doing the compression manually, though – it makes programs much easier to write by hand
04:32:18 <int-e> . o O ( How much fish would a deadfish fish if a deadfish could fish fish? )
04:33:45 <korvo> ais523: Maybe we should consider a syntax based on opetopes, which are shapes that describe operations; they still have discrete cardinality, but can have high-dimensional inputs and outputs. This would allow us to remove the ability to apply certain operations in degenerate applicative forms.
04:34:12 <fizzie> Yeah. I've got a logfile of what exactly went on; looks like the first prompt (gives the question and asks for a single search keyword) produced the search term "awareness", and the Tonoco page is the only hit if you search the wiki for that. It then fed the entire page into the summarizer, which produced https://0x0.st/X5A7.txt and finally the the third loop around produced that response.
04:34:26 <korvo> That's not exactly matching the rustic by-hand ideal that you've got, though. More like constant fighting with a complex visual editor.
04:35:55 <ais523> I find the easiest way to write golfing language programs is in a sort of pipelined style as a composition of smaller functions, which effectively ends up like a concatenative languages except that it tends to (tacitly) name things based on properties that don't survive concatenation
04:36:38 <ais523> but when the functions you're composing have multiple arguments, there are two ways to compose them, by either hardcoding the left or the right argument, and it has been proven in golfing languages to have concise ways to write both probabilities
04:36:49 <ais523> err, both possibilities
04:37:18 <ais523> *but*, this flexibility is useless when your function is commutative, so it seems like it is sensible to have a syntactic difference between commutative and non-commutative functions
04:38:03 <korvo> Yeah, I've run into this when structuring formal proofs. The problem is that the underlying proof is technically 3D (or higher!) and this always generates a choice of embedding into 2D syntax.
04:39:08 <korvo> Sorry for only bringing up geometric obstacles. I don't know if geometry of syntax is actually relevant or an alluring dead end.
04:39:39 <ais523> I think it's group theory rather than geometry, which is similar
04:40:05 <ais523> what you're trying to do is discover symmetries, so that you can encode only half the symmetry
04:40:20 <ais523> x+y versus y+x is obvious; x+x versus x×2 is less obvious, but still a sort of symmetry
04:42:00 <korvo> Yep. And Cayley's theorem seems like a serious general obstacle, then. Like, pick one of these underlying groups, and then Cayley's theorem immediately gives us a physical object with those same symmetries.
04:43:32 <korvo> ...Meatballs. My train of thought crashed. Something about how the object could be sliced so that it only expresses the generator for the group, but then that creates a problem when embedding the slice?
04:44:25 <ais523> I think these might not compose nicely enough to make group theory usable – group-theoretic symmetries normally apply to the all elements of the group, whereas these don't really
04:44:35 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146189&oldid=146181 * ColorfulGalaxy's CA discoveries * (+252) /* I got hacked again */
04:44:48 <ais523> you'd have to say that they leave cases where the symmetry doesn't apply unchanged, but I'm not sure that's always unambiguous
04:45:01 <ais523> especially taking into account expressions like x × 2 × x
04:45:25 <korvo> Wouldn't it be the case for commutativity, at least?
04:46:07 <ais523> commutativity seems not to fit neatly because we're applying it to subexpression, not the program as a whole
04:46:26 <ais523> (a + b) ÷ (c + d) can swap the a and b, or the c and d, how many symmetries is that?
04:47:13 <ais523> programs can be arbitrarily large, so we can have a program that exhibits arbitrarily many symmetries, but it's unclear what that says about the set of programs as a whole
04:51:10 <korvo> I think that the reasoning still applies. There's four symmetries coming from the two swaps. We'd need a way to break the symmetry somehow.
04:51:49 <korvo> What it says about the set of programs should be structured; a subexpression's symmetries should be a subgroup of whatever it's embedded in.
04:52:58 <ais523> what's bothering me is that group-theoretic symmetries apply to the whole group – whereas here, different programs have different numbers of symmetries
04:54:20 <ais523> so we would need to use a generalisation of a group, which I suspect might just be a category but I am not good at doing category theory at 5am (or, really, even when I'm fully awake)
04:54:46 <korvo> Oh yeah, other side of the pond, quite understandable.
04:55:32 <korvo> I'd imagine the programs as points in a space (top. space, category, locale, whatever) and the groups as stalks of a *sheaf of groups* on that space.
04:57:13 <korvo> So like for programs p1 and p2 and sheaf S, if p1 textually includes p2 then S(p2) is a subgroup of S(p1). And a choice of symmetry is an assignment for that sheaf.
04:57:50 <korvo> Any cases where this rule doesn't work would be obstacles to a global assignment for the sheaf. Not a problem, but something sheaf theory is designed to detect.
04:58:03 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146190&oldid=146189 * Ais523 * (+791) /* I got hacked again */ doing a short ban on a hacked account makes no sense if the account is hacked it generally should be blocked indefinitely, especially as often people claiming to be hacked are trying to cover up mistakes in attempts to abuse multiple accounts
04:58:41 <ais523> oh wow, although I don't have proof, I think it's pretty likely that those two users are a) the same person as each other and b) the same person as trump bot
05:00:08 <ais523> trump bot randomly turning up at that moment, when they hadn't edited for a few years now, and being suspected as the culprit is just too much of a coincidence
05:00:18 <int-e> So "I've been hacked" translates as "I've mixed up my sock puppets"? That would make sense.
05:01:43 <ais523> and they're trying to hide the evidence – the typical reaction to be hacked is not generally to ask for the usernames on the hacker's edits to be hidden
05:01:56 <ais523> I've seen a couple of cases of actual account hacks (normally by correctly guessing the password) at Wikipedia, it looks very different
05:02:24 <ais523> or, well, by "guessing" I mean with help from password leaks at other sites
05:02:45 <int-e> Wikipedia at least has some impact... Who'd hack an esowiki account anyway.
05:03:17 <int-e> My thought reading that section on your talk page earlier was "wtf is this role play?"
05:03:47 <int-e> (that included the allusion to Trump)
05:03:51 <ais523> I feel like esowiki's userbase is probably more likely to want to hack each other's accounts than wikipedia's? although the people who would want to do that generally wouldn't have the skill to
05:05:34 <ais523> I remember an incident over a decade ago, where a group of channel regulars had a common interest in nomic, and had set up a nomic, and someone was vandalising the gamestate tracker
05:06:07 <ais523> and got caught via someone creating a fake link that resembled a UI element, that went to a server they controlled, and finding the IP address from the server logs
05:07:18 <ais523> so it's totally the sort of thing esolang enthusiasts would do, even for no good reason (arguably, doing things for no good reason is a major part of esolanging)
05:07:51 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146191&oldid=146190 * Translated ORK * (+238) /* I got hacked again */
05:08:19 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=146192&oldid=146191 * Translated ORK * (+0) /* I got hacked again */
05:09:27 <int-e> Semirelated t that story, I discovered recently that XSS-as-a-service is a thing. (Got an email with a weird embedded link.)
05:10:07 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=146193&oldid=145985 * Translated ORK * (+99) /* Are you Trump's robot? */ new section
05:11:47 <korvo> How many people are in this group? https://esolangs.org/w/index.php?title=Cellular_automaton&diff=145682&oldid=133470
05:12:03 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=146194&oldid=146177 * Translated ORK * (+232) /* Pronunciation */
05:12:47 <ais523> I suspect iddi01 isn't part of the group and just got confused by it
05:13:19 <esolangs> [[Cellular automaton]] https://esolangs.org/w/index.php?diff=146195&oldid=145682 * Ais523 * (-131) Undo revision [[Special:Diff/145682|145682]] by [[Special:Contributions/Iddi01|Iddi01]] ([[User talk:Iddi01|talk]]) cross-namespace link, and user talk pages can't be "official" in that sense
05:15:39 <int-e> Iddi01 has contributed to https://esolangs.org/w/index.php?title=User_talk:ColorfulGalaxy%27s_CA_discoveries&action=history but I don't know what to make of that.
05:16:59 <ais523> I think some number of people probably got banned from LifeWiki and moved over here?
05:17:43 <ais523> Translated ORK is clearly an alt of someone, and one possibility is much more likely than the others
05:25:40 <esolangs> [[Cellular automaton]] https://esolangs.org/w/index.php?diff=146196&oldid=146195 * Corbin * (+61) /* History */ Completely rework history paragraph. Poor Alvy Ray keeps getting cut out of history!
05:41:40 <esolangs> [[Cellular automaton]] https://esolangs.org/w/index.php?diff=146197&oldid=146196 * Corbin * (-407) Big cleanup: Format examples, red- and bluelink, explicitly mention ZISC, remove duplicated bit from prehistory page. Look more like other computational-model pages.
06:26:31 <esolangs> [[Special:Log/upload]] overwrite * RainbowDash * uploaded a new version of "[[File:Windmill logo.png]]"
06:26:44 <ais523> korvo: I don't think you can allow arbitrary quiescent patterns at the background, you could encode an oracle in them to, e.g., make Life uncomputable
06:27:10 <ais523> in fact, I'm starting to think that even periodic patterns may be cheating to some extent (it's the difference between cyclic tag and sequential tag)
06:27:35 -!- ais523 has quit (Quit: quit).
06:28:42 <korvo> I'll have to sleep on that. I would like a better intro for that page, for sure.
06:39:26 <esolangs> [[Translated ]] N https://esolangs.org/w/index.php?oldid=146199 * PrySigneToFry * (+1719) Created page with "Translated is designed by PSTF. It is [[]] but horribly translated. == Steps == 1. First, take the example program. <pre> ..."
06:39:59 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=146200&oldid=145990 * PrySigneToFry * (+81) /* Horribly translated variants */
06:51:52 -!- X-Scale has joined.
07:13:24 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=146201&oldid=146193 * ColorfulGalaxy's CA discoveries * (+223) /* Are you Trump's robot? */ No.) (----
07:14:42 <esolangs> [[Special:Log/newusers]] create * ColorfulGalaxy's CA Discoveries * New user account
07:16:17 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=146202&oldid=146182 * ColorfulGalaxy's CA Discoveries * (+352)
07:26:07 <esolangs> [[File talk:Windmill logo.png]] N https://esolangs.org/w/index.php?oldid=146203 * Ractangle * (+186) Created page with "the logo goin hard!~~~"
07:28:02 <esolangs> [[VERPNL]] https://esolangs.org/w/index.php?diff=146204&oldid=144548 * Ractangle * (-15) /* Credits */
07:29:43 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=146205&oldid=145895 * Ractangle * (-25)
07:42:57 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146206&oldid=146168 * Ractangle * (+11) /* Commands */
07:43:57 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146207&oldid=146206 * Ractangle * (+4) /* Commands */
07:45:30 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146208&oldid=146207 * Ractangle * (+54) /* Truth Machine */
07:45:42 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146209&oldid=146208 * Ractangle * (+4) /* Commands */
07:46:19 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146210&oldid=146209 * Ractangle * (-2) /* Commands */
07:47:36 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146211&oldid=146210 * Ractangle * (+13) /* by User:Ractangle */
07:48:40 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146212&oldid=146211 * Ractangle * (+2) /* Commands */
07:50:45 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146213&oldid=146212 * Ractangle * (+23) /* Commands */
07:51:05 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146214&oldid=146213 * Ractangle * (+4) /* by User:Ractangle */
07:51:40 <esolangs> [[Br greater than]] https://esolangs.org/w/index.php?diff=146215&oldid=146214 * Ractangle * (+2) /* by User:Ractangle */
07:54:48 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=146216&oldid=146165 * Ractangle * (+21) /* Stuff to continue */
07:59:17 -!- tromp has joined.
08:01:37 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=146217&oldid=146201 * ZCX islptng * (+52) /* WARNING! */ new section
08:02:33 <esolangs> [[User talk:ColorfulGalaxy's CA discoveries]] https://esolangs.org/w/index.php?diff=146218&oldid=146217 * ZCX islptng * (+329) /* Are you Trump's robot? */
08:07:54 <esolangs> [[User talk:Translated ORK]] https://esolangs.org/w/index.php?diff=146219&oldid=146056 * ZCX islptng * (+419)
08:27:48 <esolangs> [[LJAPL]] https://esolangs.org/w/index.php?diff=146220&oldid=144048 * Ractangle * (+133) Removed redirect to [[Array?]]
08:30:59 <esolangs> [[Translated /islptng]] N https://esolangs.org/w/index.php?oldid=146221 * ZCX islptng * (+1266) Created page with " Baidu: Chinese-Arabic-Polish-Romanian Apple: Romanian(Treat as Spanish)-Chinese-Ukrainian-Thai-Chinese What's the result? <pre> spus-o Unde e prul mult Destul ..."
08:32:35 <esolangs> [[Translated ]] https://esolangs.org/w/index.php?diff=146222&oldid=146199 * ZCX islptng * (-12)
08:34:51 -!- X-Scale has quit (Ping timeout: 256 seconds).
08:35:30 <esolangs> [[Translated /islptng]] https://esolangs.org/w/index.php?diff=146223&oldid=146221 * ZCX islptng * (+653)
08:39:03 <esolangs> [[8 bits, 256 bytes]] N https://esolangs.org/w/index.php?oldid=146224 * ChuckEsoteric08 * (+2341) Created page with "'''8 bits, 256 bytes''' is an esolang by [[User:ChuckEsoteric08]] inspired by Chip-8 ==Description== It has 8-bit Program Counter, allowing programs to have 256 bytes at most, it has 16 8-bit internal registers, R0-RF, last one used only as a flag for
08:39:32 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=146225&oldid=145768 * ChuckEsoteric08 * (+23) /* 2024 */
09:43:45 -!- slavfox has quit (Ping timeout: 248 seconds).
09:45:36 -!- slavfox has joined.
09:46:25 <esolangs> [[Wenyan]] https://esolangs.org/w/index.php?diff=146226&oldid=146184 * Ractangle * (-12) /* Brainfuck interpreter */
10:11:25 <esolangs> [[User:ZCX islptng]] https://esolangs.org/w/index.php?diff=146227&oldid=146054 * ZCX islptng * (+121)
10:12:16 -!- X-Scale has joined.
10:29:07 <esolangs> [[User talk:Translated ORK]] https://esolangs.org/w/index.php?diff=146228&oldid=146219 * None1 * (+608)
10:31:20 <esolangs> [[User talk:Translated ORK]] https://esolangs.org/w/index.php?diff=146229&oldid=146228 * None1 * (+9) /* What is 'Basinite' ? */
10:32:47 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=146230&oldid=145993 * None1 * (+23) /* E */
10:33:48 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=146231&oldid=145505 * None1 * (+53) /* My Esolangs */
10:34:05 <esolangs> [[User:None1]] M https://esolangs.org/w/index.php?diff=146232&oldid=146231 * None1 * (+0) /* My Esolangs */
10:34:46 <esolangs> [[EchoLang (None1)]] https://esolangs.org/w/index.php?diff=146233&oldid=145896 * None1 * (+35)
10:48:52 -!- X-Scale has quit (Quit: Client closed).
11:40:05 -!- FreeFull has quit (Ping timeout: 248 seconds).
11:41:23 -!- FreeFull has joined.
11:58:21 -!- Sgeo has quit (Read error: Connection reset by peer).
12:01:13 <esolangs> [[Translated ORK/PSTF Again-Duoviginte]] https://esolangs.org/w/index.php?diff=146234&oldid=146179 * MihaiEso * (+13)
12:02:48 -!- mtm has quit (Ping timeout: 252 seconds).
12:05:05 <esolangs> [[Translated ORK/Mihai Again21]] N https://esolangs.org/w/index.php?oldid=146235 * MihaiEso * (+1340) Created page with "ORK: Translated ORK/PSTF Again-Duoviginte|<span style='font-family:Unifont;'>k|Y.wx=>:?Q7Bs*4Y[78?KN:#L F????T)oZ@5D??4fyk?&rlw4|?wCOE????%??R?!??/f{fq??3H?b@JC? ..."
12:05:45 -!- mtm has joined.
12:07:00 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=146236&oldid=146200 * MihaiEso * (+115) /* Horribly translated variants */
12:11:03 <esolangs> [[Translated /islptng]] https://esolangs.org/w/index.php?diff=146237&oldid=146223 * PrySigneToFry * (+28)
12:12:47 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146238&oldid=146163 * 5anz * (+221) /* Mathematics */
12:15:58 <esolangs> [[EchoLang (None1)]] https://esolangs.org/w/index.php?diff=146239&oldid=146233 * Ractangle * (+29)
12:34:53 <esolangs> [[Translated /islptng]] https://esolangs.org/w/index.php?diff=146240&oldid=146237 * MihaiEso * (+30)
12:39:12 <esolangs> [[Translated /Mihai]] N https://esolangs.org/w/index.php?oldid=146241 * MihaiEso * (+2518) Created page with "1.Take that [[Translated /islptng|shit!!]] <pre> spus-o Unde e prul mult Destul Jolla ireum jolla ireum eun ireum imnida..."
12:39:34 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146242&oldid=146238 * 5anz * (+1051) /* Example Programs */
12:51:19 <esolangs> [[Talk:Qwertyuiopasdfghjklzxcvbnm]] N https://esolangs.org/w/index.php?oldid=146243 * 5anz * (+130) Created page with "Funny how you wrote one command and stopped there. -~~~~5anz"
12:51:56 <esolangs> [[Qwertyuiopasdfghjklzxcvbnm]] https://esolangs.org/w/index.php?diff=146244&oldid=124201 * 5anz * (-8)
12:52:46 <esolangs> [[Talk:Qwertyuiopasdfghjklzxcvbnm]] https://esolangs.org/w/index.php?diff=146245&oldid=146243 * 5anz * (+62)
12:59:26 <esolangs> [[User talk:Tommyaweosme/hjhjhj]] https://esolangs.org/w/index.php?diff=146246&oldid=135513 * 5anz * (+59)
12:59:58 <esolangs> [[User talk:Tommyaweosme/hjhjhj]] https://esolangs.org/w/index.php?diff=146247&oldid=146246 * 5anz * (+80) /* Time Traveling */
13:02:57 <esolangs> [[Special:Log/upload]] overwrite * Ractangle * uploaded a new version of "[[File:My github profile read me.png]]"
13:05:21 -!- amby has joined.
13:06:09 <esolangs> [[LJAPL]] https://esolangs.org/w/index.php?diff=146249&oldid=146220 * Ractangle * (+13)
13:34:21 <esolangs> [[Translated /islptng]] https://esolangs.org/w/index.php?diff=146250&oldid=146240 * ZCX islptng * (-45)
13:43:31 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=146251&oldid=146086 * Ractangle * (-7)
13:43:44 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=146252&oldid=146251 * Ractangle * (+0)
13:44:01 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=146253&oldid=146252 * Ractangle * (+0)
13:44:08 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=146254&oldid=146253 * Ractangle * (+0)
13:44:29 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=146255&oldid=146254 * Ractangle * (-1)
13:53:40 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146256&oldid=146242 * 5anz * (+99) /* Functions */
13:55:30 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=146257&oldid=146216 * Ractangle * (+137)
13:59:38 <esolangs> [[Translated /PSTF Again]] N https://esolangs.org/w/index.php?oldid=146258 * PrySigneToFry * (+2866) Created page with "[[Translated /islptng]] is still not enough, so let's be crazier! 1. Take this s**t(unnecessary linewrap deleted): <pre> spus-o Unde e prul mult Destul Jolla ir..."
13:59:55 -!- wWwwW has quit (Quit: Client closed).
14:02:50 <esolangs> [[Translated /PSTF Again]] https://esolangs.org/w/index.php?diff=146259&oldid=146258 * PrySigneToFry * (-715)
14:03:02 <esolangs> [[Translated /PSTF Again]] https://esolangs.org/w/index.php?diff=146260&oldid=146259 * PrySigneToFry * (+1)
14:03:32 <esolangs> [[Translated /Mihai]] https://esolangs.org/w/index.php?diff=146261&oldid=146241 * PrySigneToFry * (-38)
14:05:49 <esolangs> [[Translated ORK/islptng]] N https://esolangs.org/w/index.php?oldid=146262 * ZCX islptng * (+560) Created page with "(ORK in the hell: Wwwwwwwwwwwwwwwwwwwwwwwwttttttttttttttttffffffffffffffff) 114514114514 Baidu: English-Bulgarian(Treat as Russian)-English <repeat 3 times> Apple: English-Korean-Thai Baidu: Thai-Korean-Chinese Myself: Chinese-English(It won't be a
14:06:38 <esolangs> [[Translated ORK/Mihai Again21]] https://esolangs.org/w/index.php?diff=146263&oldid=146235 * ZCX islptng * (+6)
14:09:58 <esolangs> [[Translated ORK/islptng]] https://esolangs.org/w/index.php?diff=146264&oldid=146262 * ZCX islptng * (+317)
14:10:54 <esolangs> [[Translated ORK/islptng]] https://esolangs.org/w/index.php?diff=146265&oldid=146264 * ZCX islptng * (+33)
14:24:30 -!- Everything has joined.
14:25:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:31:04 -!- tromp has joined.
14:32:59 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146266&oldid=146256 * 5anz * (+788) /* 99 bottles of beer */
14:34:31 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146267&oldid=146266 * 5anz * (+105) /* External Resources */
14:47:05 -!- craigo has joined.
14:49:09 -!- Everything has quit (Ping timeout: 245 seconds).
14:51:31 -!- Everything has joined.
15:09:24 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146268&oldid=146267 * 5anz * (+38) /* Mathematics */
15:50:55 <esolangs> [[My Unreliable Past]] https://esolangs.org/w/index.php?diff=146269&oldid=54804 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+96) /* See also */
15:52:47 <esolangs> [[Huh?]] https://esolangs.org/w/index.php?diff=146270&oldid=125363 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+25) /* Programs */
15:55:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:07:23 -!- tromp has joined.
16:15:49 -!- Everything has quit (Quit: leaving).
16:46:00 <esolangs> [[Finite-state mach... wait, WHAT!?]] https://esolangs.org/w/index.php?diff=146271&oldid=82088 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-10)
16:48:43 -!- ais523 has joined.
16:53:14 <esolangs> [[Whenever]] https://esolangs.org/w/index.php?diff=146272&oldid=144364 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+32) /* External resources */
17:01:13 <korvo> ais523: I want to change the featured language. I don't really care what it is. Got any articles that would be nice to feature but need a little cleanup or polish?
17:08:45 <esolangs> [[ErrorFull]] https://esolangs.org/w/index.php?diff=146273&oldid=133739 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+528)
17:09:23 <esolangs> [[Most ever Brainfuckiest Fuck you Brain fucker Fuck]] M https://esolangs.org/w/index.php?diff=146274&oldid=86607 * Corbin * (+5) Fix category.
17:12:26 <esolangs> [[ErrorFullC++]] https://esolangs.org/w/index.php?diff=146275&oldid=130708 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+164)
17:12:59 <esolangs> [[ErrorFullC++]] https://esolangs.org/w/index.php?diff=146276&oldid=146275 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-164) /* Hello, World! */
17:13:06 <esolangs> [[User talk:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=146277&oldid=85976 * Win7HE * (+38)
17:14:51 <esolangs> [[ErrorFull]] https://esolangs.org/w/index.php?diff=146278&oldid=146273 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+17) /* Hello, World! */
17:15:22 <esolangs> [[ErrorFull]] https://esolangs.org/w/index.php?diff=146279&oldid=146278 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+40) /* FizzBuzz */
17:15:58 <korvo> Oh, also, I slept on the wrong thing, and remembered that this paper exists: https://arxiv.org/abs/1011.0014 "Galois Theory of Algorithms"
17:16:53 <korvo> It doesn't have any answers to your work on golflangs but it does directly address the notion that there's groups of symmetries in a program which are irrelevant to the expressed algorithm.
17:22:20 <esolangs> [[Translated /islptng Again]] N https://esolangs.org/w/index.php?oldid=146280 * ZCX islptng * (+1295) Created page with "1. Take that shit: <pre> kgm ..."
17:26:39 <esolangs> [[8 bits, 256 bytes]] M https://esolangs.org/w/index.php?diff=146281&oldid=146224 * Win7HE * (+37)
17:27:01 <esolangs> [[8 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=146282&oldid=146281 * Win7HE * (+4)
17:29:16 <esolangs> [[Translated /PSTF Again]] https://esolangs.org/w/index.php?diff=146283&oldid=146260 * ZCX islptng * (+649)
17:31:12 <esolangs> [[Deadfish/Implementations (M-Z)]] https://esolangs.org/w/index.php?diff=146284&oldid=144199 * Win7HE * (+239) /* TailDot */
17:31:22 <esolangs> [[Deadfish/Implementations (M-Z)]] https://esolangs.org/w/index.php?diff=146285&oldid=146284 * Win7HE * (+1) /* TailDot */
17:31:33 <esolangs> [[Deadfish/Implementations (M-Z)]] M https://esolangs.org/w/index.php?diff=146286&oldid=146285 * Win7HE * (+1) /* TailDot */
17:36:52 -!- wWwwW has joined.
17:37:05 <esolangs> [[Special:Log/upload]] upload * Win7HE * uploaded "[[File:Hyperinotoidion.webp]]": funny evil orange cube that wants to ruin the world no kia?
17:39:28 <esolangs> [[COBOL]] https://esolangs.org/w/index.php?diff=146288&oldid=75761 * Win7HE * (+59)
17:43:23 <korvo> Could somebody warn Win7HE?
17:47:49 <esolangs> [[COBOL]] M https://esolangs.org/w/index.php?diff=146289&oldid=146288 * Corbin * (-59) Undo revision [[Special:Diff/146288|146288]] by [[Special:Contributions/Win7HE|Win7HE]] ([[User talk:Win7HE|talk]])
17:48:31 <esolangs> [[8 bits, 256 bytes]] M https://esolangs.org/w/index.php?diff=146290&oldid=146282 * Corbin * (-39) Manually revert vandalism by User:Win7HE.
17:49:34 <korvo> I guess that the winter holiday season has started.
18:13:15 <fizzie> I should probably just go ahead and feature Underload, it's got a (on first glance) reasonable writeup, it's on the candidate list, and I'm not personally involved (which I think is the reason why it's not been featured yet).
18:14:11 <fizzie> I'd also _like_ to have Befunge as a featured language, but (from what I recall, didn't check) the article could do with a bit of general polishing, plus it's not actually been officially proposed by anyone.
18:31:13 <korvo> fizzie: Rad, I'll take a look later, thanks.
18:33:51 <esolangs> [[8 bits, 256 bytes]] M https://esolangs.org/w/index.php?diff=146291&oldid=146290 * PythonshellDebugwindow * (+76) Categories
18:36:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:42:20 <b_jonas> fizzie: yes, the Befunge article isn't very good, it doesn't describe enough of the semantics or all the versions
18:42:23 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=146292&oldid=146257 * Ractangle * (+4) /* Stuff to continue */
18:42:48 <b_jonas> fizzie: I had proposed Befunge but retracted that proposal
19:04:40 -!- tromp has joined.
19:50:11 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=146293&oldid=146292 * Ractangle * (+11) /* Stuff to continue */
19:59:53 -!- Sgeo has joined.
20:03:36 -!- Sgeo has quit (Read error: Connection reset by peer).
20:07:04 -!- Sgeo has joined.
20:10:40 -!- Sgeo has quit (Read error: Connection reset by peer).
20:13:00 -!- wWwwW has quit (Quit: Client closed).
20:13:35 -!- Sgeo has joined.
20:47:06 -!- Everything has joined.
21:22:33 -!- Everything has quit (Quit: leaving).
21:26:05 -!- Everything has joined.
22:05:21 <esolangs> [[Windmill]] https://esolangs.org/w/index.php?diff=146294&oldid=146038 * RainbowDash * (+1036) Strings are officially added.
22:19:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:39:04 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=146295&oldid=146294 * RainbowDash * (-6) /* JS implementation */
22:43:35 <esolangs> [[Eror]] https://esolangs.org/w/index.php?diff=146296&oldid=146268 * 5anz * (+206) /* Erors */
22:53:58 <esolangs> [[Windmill]] https://esolangs.org/w/index.php?diff=146297&oldid=146295 * RainbowDash * (+606) /* Example programs */
22:55:24 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=146298&oldid=146297 * RainbowDash * (+14) /* JS implementation */
23:30:02 -!- craigo has quit (Quit: Leaving).
23:43:32 <esolangs> [[Windmill]] https://esolangs.org/w/index.php?diff=146299&oldid=146298 * RainbowDash * (+1942) Added string Concatenation
23:44:00 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=146300&oldid=146299 * RainbowDash * (+6) Broken pre
23:44:56 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=146301&oldid=146300 * RainbowDash * (+86) /* Strings */
23:51:24 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=146302&oldid=146301 * RainbowDash * (+225) Bug involving number[n]
23:51:58 <esolangs> [[Windmill]] https://esolangs.org/w/index.php?diff=146303&oldid=146302 * RainbowDash * (+73) /* Defined operators */