00:03:17 <esolangs> [[Feed the Chaos]]  https://esolangs.org/w/index.php?diff=148151&oldid=148150 * Ais523 * (+118) /* Computational class */ fix a fallacy in the proof, because it didn't consider negative numbers
00:04:05 -!- mtm has quit (Ping timeout: 248 seconds).
00:06:09 -!- mtm has joined.
01:08:13 -!- phantom_ has joined.
01:14:54 <esolangs> [[User talk:Ais523]]  https://esolangs.org/w/index.php?diff=148152&oldid=148149 * ZCX islptng * (+526) /* Please ban User:ColorfulGalaxy's CA discoveries. */
01:24:03 <esolangs> [[User:ZCX islptng/Sandbox]]  https://esolangs.org/w/index.php?diff=148153&oldid=148132 * ZCX islptng * (-6) 
01:27:47 <esolangs> [[User:ZCX islptng/Sandbox]]  https://esolangs.org/w/index.php?diff=148154&oldid=148153 * ZCX islptng * (+226) /* Arithmetic & Logical */
01:28:10 <esolangs> [[User:ZCX islptng/Sandbox]]  https://esolangs.org/w/index.php?diff=148155&oldid=148154 * ZCX islptng * (+0) /* Arithmetic & Logical */
01:43:52 -!- amby has quit (Remote host closed the connection).
01:44:08 -!- phantom_ has quit (Quit: WeeChat 3.5).
01:44:54 <esolangs> [[User talk:Ais523]]  https://esolangs.org/w/index.php?diff=148156&oldid=148152 * Ais523 * (+223) /* Please ban User:ColorfulGalaxy's CA discoveries. */ it's only applied to a few users
02:46:58 -!- fria has joined.
03:19:32 <esolangs> [[Talk:Picofuck]]  https://esolangs.org/w/index.php?diff=148157&oldid=121513 * L4.m2 * (+323) /* Non-existence Proof 4 */ new section
03:23:55 <esolangs> [[Talk:Picofuck]]  https://esolangs.org/w/index.php?diff=148158&oldid=148157 * L4.m2 * (+4) 
04:11:37 <korvo> ais523: It's important to me that the types be documented, and in this case, that the types offer the most meaningful constraint on behavior.
04:12:12 <korvo> I agree that the monoid-of-endomorphism nature is the best way to understand what's going on, since it leads directly into exponentiation by squaring, which I think is a very important insight.
04:12:23 <korvo> I think I was trying very hard to not say "endomorphism" though.
04:15:44 <ais523> hmm, offhand I'm not sure I can even think of any esolangs which have forall X. (X → X) → (X → X) as a type
04:16:01 <ais523> functional esolangs tend to be untyped, non-functional esolangs don't have types that complex
04:17:07 <korvo> Cammy does! Cammy has "ends", which are the category-theoretic way of expressing polymorphic types. They aren't reified, but it's possible to write functions with fully-polymorphic signatures.
04:17:22 <korvo> This is because I want expressions like `id` to have type `forall X. X → X`.
04:56:38 -!- fria has quit (Quit: Connection closed for inactivity).
05:04:29 <esolangs> [[true]]  https://esolangs.org/w/index.php?diff=148159&oldid=148139 * Ractangle * (-7) the cat program halts
05:07:20 <esolangs> [[Queue-based esolang]]  https://esolangs.org/w/index.php?diff=148160&oldid=148134 * Ractangle * (-5) /* Hello, world! */
05:26:25 <korvo> Oh, I forgot to follow through, sorry. This Cammy expression: (comp dup (curry (comp (comp (pair (comp fst fst) (pair (comp fst snd) snd)) (pair fst (comp snd (uncurry id)))) (uncurry id))))
05:27:00 <korvo> Has inferred type: [X, X] → [X, X]. (for all X, of course~)
05:27:30 <korvo> This is the Church numeral 2. 0 and 1 are also expressible but the type-checker infers less restrictive signatures for them.
05:28:51 <korvo> The reason I like the typing is that this is *the* Church numeral, up to isomorphism, by the standard pile of abstract nonsense: there's only one possible composition. If I added this type as an attitude, I could recognize exactly the Church numerals.
05:29:11 <korvo> Er, *the* Church numeral 2, of course.
05:29:46 <ais523> ah right – in a way I'm a little surprised that there are no things of Church numeral type except the Church numerals
05:30:22 <ais523> but it does make sense, if all you have is an X → X and you don't know what X is, all you can do is compose it some nonnegative integer number of times
05:32:01 -!- craigo has joined.
05:35:04 <korvo> Yep. The deep explanation uses discrete dynamical systems (DDSs) and explores the mysteries of the diagram with a single object and a single arrow.
05:37:01 <korvo> This is also how category theorists think of natural numbers. A natural-numbers object (NNO) is some object N s.t. for any element 1 → X and endomorphism X → X, there's a unique N → X which starts at the given element and applies the endomorphism repeatedly.
05:37:32 <ais523> I grew up with impure languages without capabilities, which make it hard to do this sort of reasoning because I'm used to worrying about the possibility of hidden global side effects
05:37:35 <korvo> Hence Cammy's (pr @0 @1) : N → X, given @0 : 1 → X, @1 : X → X
05:38:15 <korvo> Sure, me too. It took a long time, but now I see Algol descendants as operating in an implicit monad, and languages like Haskell really do offer the "programmable semicolon" by making those monads explicit.
05:38:31 <korvo> Can't say whether it was a good choice. As you can see, I'm not really great at relating to peers.
05:39:37 <ais523> I do think "impure, but with capabilities" is an interesting middle-ground, and it probably can be automatically transformed to the pure version by, e.g., putting the capability objects into a state monad
05:42:28 <korvo> Yep. E and Monte can be seen as having a monad which allows for sending messages (but not receiving them), maintaining private mutables, and accessing certain system services safely, particularly system timers and cryptography.
05:43:01 <korvo> E didn't actually have that formalism, but I put in most of the work for Monte at the theoretical level. The subset of Monte whose objects are all transitively immutable ("DeepFrozen") form a category.
05:44:49 <ais523> a while ago I was considering "treat functions with side effects on memory as pure functions which take the state of memory as an input and output the new state of memory in addition to their return value" as a compiler IR for practical use, to help the compiler understand what optimisations were allowed and what program equivalence was
05:45:07 <ais523> although, it'd only work in a single-threaded setting because it abstracts over the details of what the function is doing internally
05:46:20 <korvo> That's basically what my BF interpreter does. Each compiled action is a map (Position × Tape) → Position which impurely mutates the tape but state-monads the position.
05:46:57 <korvo> That ended up being the best shape for the JIT to trace. The JIT lifts the entire tape out and treats it as a mutable global, and the position disappears into local registers.
05:47:56 <korvo> Oh, the state of *memory*, sorry, I misread. I haven't done that personally, but e.g. Haskell's Array subsystem works this way. If one "mutates" an Array, they are usually building up a pile of mutations which will all be applied in a single atomic update.
06:24:18 -!- craigo has quit (Ping timeout: 248 seconds).
07:01:28 -!- tromp has joined.
07:03:42 <esolangs> [[Talk:Comment]]  https://esolangs.org/w/index.php?diff=148161&oldid=138195 * Ractangle * (+178) /* New */
07:05:05 <esolangs> [[CLFCE]]  https://esolangs.org/w/index.php?diff=148162&oldid=143786 * Ractangle * (+2) /* Hello World */
07:06:48 <esolangs> [[CLFCE]]  https://esolangs.org/w/index.php?diff=148163&oldid=148162 * Ractangle * (+2) /* Fixed Repeating Output */
07:07:52 <esolangs> [[G Sharp]]  https://esolangs.org/w/index.php?diff=148164&oldid=148067 * Ractangle * (-1) /* Empty Program */
07:08:11 <esolangs> [[Empty Program]]  https://esolangs.org/w/index.php?diff=148165&oldid=148063 * Ractangle * (-1) /* G# */
07:12:58 <esolangs> [[Simple translation]]  https://esolangs.org/w/index.php?diff=148166&oldid=127266 * Corbin * (+776) /* Formal definition */ Use category theory to quickly formalize the idea that semantics are preserved by STs.
07:15:15 <esolangs> [[Empty Program]]  https://esolangs.org/w/index.php?diff=148167&oldid=148165 * Ractangle * (-21) /* Pascal */
07:15:37 <esolangs> [[Empty Program]]  https://esolangs.org/w/index.php?diff=148168&oldid=148167 * Ractangle * (-1) /* PHP */
07:20:20 -!- Sgeo has quit (Read error: Connection reset by peer).
07:36:21 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:40:55 -!- tromp has joined.
07:56:25 <korvo> esolangs: What is a concatenative programming language?
07:57:59 <esolangs> korvo: A concatenative programming language is a type of language where programs are composed by juxtaposing syntax, meaning the order of code elements determines the final program's behavior. This is achieved by combining smaller expressions into larger ones, similar to how strings are concatenated. Concatenative languages are often based on the...
07:57:59 <esolangs> principle of composition, where complex programs are built from simpler ones. They are characterized by the ability to combine multiple programs into a single program through the juxtaposition of their syntax.
07:58:43 <ais523> that's confused enough that I can't even definitively say that it's wrong, although it did miss the key point
07:59:13 <korvo> Yeah, I'm hoping that it'll reveal to me how to give a better intro to [[concatenative language]].
07:59:36 <b_jonas> korvo: there's a #concatenative channel on libera, ask them, maybe they have a better intro
08:03:43 <esolangs> [[Simple translation]]  https://esolangs.org/w/index.php?diff=148169&oldid=148166 * Corbin * (+986) /* Thinking in terms of monoids */ Bluelink locally, grammar, rephrasing, ensuring that the proofs read cleanly.
08:05:34 <korvo> b_jonas: I'm a regular there. The community generally agrees that there isn't a universal definition. The categorical definition, using monoids, is nice and powerful and convenient but makes folks upset for some reason, even though it can account for e.g. the syntax of Forth and Factor.
08:06:45 <korvo> esolangs: What is a concatenative esoteric programming language?
08:08:17 <esolangs> korvo: A concatenative esoteric programming language is a language where programs are composed by juxtaposing syntax, like strings, to create a single program. This composition is based on the idea of building larger programs from smaller ones, similar to how software engineering works. These languages often use a monoid structure, where operations like...
08:08:17 <esolangs> concatenation and substitution are defined, and the meaning of a program is derived from the composition of its syntactic elements.
08:08:33 <korvo> Worse. Hm.
08:09:20 <korvo> Meh, it's not important. It's past midnight locally, I'm still recovering from food poisoning, and my feet are tired.
08:09:26 <b_jonas> yeah, nobody can agree what a functional programming language or a declarative programming language is either
08:13:52 <int-e> Hehe. My biggest disappointment on that front will always be Prolog. It's declared to be declarative, and it has a declarative core somewhere. But in practice you're just controlling backtracking all the time. (cut is not declarative)
08:16:18 <ais523> int-e: more modern Prologs often have a constraint solver, which acts in a rather more declarative way than the base language
08:16:20 <int-e> (I haven't used Prolog for non-toy examples as a result. Built-in unification is nice I guess but I prefer having better control over the flow of execution.)
08:16:42 <int-e> ais523: But is that still Prolog then :)
08:17:05 <int-e> And wouldn't I rather use an SMT solver from a different language...
08:17:21 <ais523> I don't see why not; it isn't unextended ISO Prolog but languages often have a broad range of implementations with different features and libraries
08:17:25 <b_jonas> ais523: yes, and that is a significant addition to the prolog core, but I still don't think it changes what int-e is complaingin about
08:17:29 <int-e> But yeah there's Prolog offsprings that look interesting from afar.
08:18:33 <int-e> Anyway, as usual with opinions ymmv :)
08:19:53 <ais523> a while back I worked out the semantics for a Prolog-inspired declarative esolang. it was similar to Prolog but tried to evaluate paths in parallel rather than with backtracking, and didn't have cuts
08:27:49 <korvo> The typical miniKanren is built on µKanren, a specific short recipe which combines a logic monad with an immutable constraint store. They never backtrack or cut; instead, the logic monad tries many branches, and all succeeding branches move forward.
08:27:59 <korvo> It could be parallelized, maybe, with effort.
08:28:25 <ais523> so the interesting part is trying to come up with an efficient evaluation order
08:28:43 <int-e> korvo: so... bfs instead of dfa at the search tree level?
08:28:49 <int-e> *dfs
08:29:26 <ais523> which seems like it would be one of those problems which is impossible in theory but possible in most practical cases, but there is a nice theoretical solution that shows that it's possible (just try all the evaluation orders in parallel, one of them will be fastest and you can discard the others once it reaches the solution)
08:29:43 <int-e> Anyway, I think constraint solving has value as a paradigm and my complaint is specifically about prolog's core.
08:30:36 <korvo> int-e: Yes, but the visitor can choose whether to actually perform the visit. The constraint store is merely designed to never allow an inconsistent set of constraints.
08:31:03 <korvo> When you put it like that, DFS would be a fun modification. The logic monad's usually written as fair BFS. Too bad Dijkstra's not feasible.
08:31:46 <ais523> Prolog is basically a DFS in that sort of environment, with the order specified precisely enough to allow cuts to work
08:32:12 <ais523> and because it is searching an infinite tree, a DFS can miss a solution by taking an infinitely long time to reach the branch where the solution exists
08:32:52 <int-e> " The constraint store is merely designed to never allow an inconsistent set of constraints." -- start extracting unsatisfiable cores and you almost have an SMT solver
08:33:43 <ais523> but Prolog's evaluation order is undeclarative enough to basically make it an esolang, when you start exploiting the way that Prolog differs from being purely a description of the solution you want
08:33:48 <int-e> ("unsatisfiable core" is jargon for (a practically feasible approximation of) a minimal set of constraints that are contradictory)
08:41:08 <b_jonas> ais523: yes, and also prolog has side effects, some that survive backtracking and some that are retracted on backtracking, and both the prolog core and the side effects are designed in a somewhat inconvenient way where if you try to translate a traditional imperative fortran program it always comes out ugly
08:41:24 <b_jonas> so that makes it even more of an esolang
08:42:01 <ais523> b_jonas: wow, that description reminds me so much of CLC-INTERCAL
08:42:24 <ais523> which is/was full of features which are very reminiscent of, e.g., standard OO programming concepts, but if you try to use them the same way then things start to go subtly wrong
08:44:38 <b_jonas> also there are multiple dialects of prolog with the same core language but lots of incompatible extensions in their libraries
08:55:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:04:24 -!- chiselfuse has quit (Ping timeout: 264 seconds).
09:30:22 -!- ais523 has quit (Quit: quit).
09:50:39 -!- tromp has joined.
09:57:36 <esolangs> [[G Sharp]]  https://esolangs.org/w/index.php?diff=148170&oldid=148164 * Ractangle * (-35) /* Commands */
10:09:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:14:22 <esolangs> [[Comment]]  https://esolangs.org/w/index.php?diff=148171&oldid=148072 * Ractangle * (-9) /* AREA/Hum */
10:52:38 <esolangs> [[WhatLang]]  https://esolangs.org/w/index.php?diff=148172&oldid=142095 * DGCK81LNN * (+180) /* Instructions */ rephrase description of ! instruction
11:08:18 -!- __monty__ has joined.
11:51:38 <esolangs> [[User talk:None1]]  https://esolangs.org/w/index.php?diff=148173&oldid=147857 * PrySigneToFry * (+843) /* I really don't add more page to that scary, gibberish and offtopic things */ new section
11:51:49 <esolangs> [[Special:Log/newusers]] create  * PGThe3G *  New user account
11:57:23 <esolangs> [[Recs]]  https://esolangs.org/w/index.php?diff=148174&oldid=148103 * Jan jelo * (-3) /* C */
11:59:43 -!- __monty_1 has joined.
12:00:54 -!- __monty__ has quit (Killed (NickServ (GHOST command used by __monty_1))).
12:00:59 -!- __monty_1 has changed nick to __monty__.
12:01:27 -!- tromp has joined.
12:01:59 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=148175&oldid=147996 * PGThe3G * (+202) /* Introductions */
12:02:16 -!- mtm has quit (Ping timeout: 252 seconds).
12:06:10 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=148176 * PrySigneToFry * (+1496) Created page with "'''''' is an Esolang(semi-serious and quarter-joking and quarter-memorial) designed by PSTF( maybe with ISLPTNG).  == Syntax == It is simply edited from [[Nine-hundred-eleven]].  === Command === <pre>                                                     Brainfuck >       
12:06:14 -!- mtm has joined.
12:08:00 <esolangs> [[Semi-serious language list]] M https://esolangs.org/w/index.php?diff=148177&oldid=147357 * PrySigneToFry * (+19) 
12:16:37 <esolangs> [[Tahled]]  https://esolangs.org/w/index.php?diff=148178&oldid=147608 * PrySigneToFry * (+117) Undo revision [[Special:Diff/147608|147608]] by [[Special:Contributions/Ractangle|Ractangle]] ([[User talk:Ractangle|talk]]) because Serif Font is more ontopic of this programming language
12:17:11 <esolangs> [[ bits, 0 Bytes]]  https://esolangs.org/w/index.php?diff=148179&oldid=142408 * PrySigneToFry * (+282) 
12:35:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:46:17 -!- tromp has joined.
12:47:53 -!- amby has joined.
13:46:57 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]] N https://esolangs.org/w/index.php?oldid=148180 * Jan jelo * (+3805) Created page with "This article comes from my article in Zhihu. == define == zero function  <pre> (Z x1 x2 x3...) = 0 </pre> successor function <pre> (S x) = x+1 </pre> projection <pre> ((P m n) x1 x2...xn...xm) = xn </pre> function compose <p
13:47:02 <esolangs> [[Talk:Wizzcake]]  https://esolangs.org/w/index.php?diff=148181&oldid=124563 * WoodyFan3412 * (+91) /* Unique Idea */ new section
13:49:21 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=148182&oldid=148076 * RainbowDash * (+103) 
13:50:50 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]]  https://esolangs.org/w/index.php?diff=148183&oldid=148180 * Jan jelo * (+4) /* proof */
13:52:42 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=148184&oldid=148182 * RainbowDash * (+1) /* Implementation details */
13:54:57 -!- lynndotpy has quit (Quit: bye bye).
13:55:24 <esolangs> [[User:Jan jelo]]  https://esolangs.org/w/index.php?diff=148185&oldid=148092 * Jan jelo * (+143) 
13:57:16 -!- lynndotpy has joined.
14:01:26 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]]  https://esolangs.org/w/index.php?diff=148186&oldid=148183 * Jan jelo * (+169) /* proof */
14:02:39 <esolangs> [[]]  https://esolangs.org/w/index.php?diff=148187&oldid=148176 * None1 * (+1672) /* Category */
14:03:06 <esolangs> [[]]  https://esolangs.org/w/index.php?diff=148188&oldid=148187 * None1 * (+206) /* Examples */
14:03:55 <esolangs> [[]]  https://esolangs.org/w/index.php?diff=148189&oldid=148188 * None1 * (-27) change category
14:04:52 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]]  https://esolangs.org/w/index.php?diff=148190&oldid=148186 * Jan jelo * (+4) /* proof */
14:05:17 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=148191&oldid=148096 * None1 * (+19) /* Non-alphabetic */  Practical enough to be a non-joke language
14:05:56 <esolangs> [[User:Jan jelo]]  https://esolangs.org/w/index.php?diff=148192&oldid=148185 * Jan jelo * (-2) /* Proof */
14:07:34 <esolangs> [[Windmill]]  https://esolangs.org/w/index.php?diff=148193&oldid=148184 * RainbowDash * (+572) Halting
14:08:10 <esolangs> [[User:Jan jelo]]  https://esolangs.org/w/index.php?diff=148194&oldid=148192 * Jan jelo * (+2) /* Proof */
14:08:38 <esolangs> [[Windmill]] M https://esolangs.org/w/index.php?diff=148195&oldid=148193 * RainbowDash * (+18) /* Halting */
14:14:02 <esolangs> [[Recs]]  https://esolangs.org/w/index.php?diff=148196&oldid=148174 * Jan jelo * (+1) /* Reduce */
14:25:35 <esolangs> [[]]  https://esolangs.org/w/index.php?diff=148197&oldid=148189 * PrySigneToFry * (+172) 
15:06:27 <esolangs> [[User:Qawtykit]]  https://esolangs.org/w/index.php?diff=148198&oldid=147885 * Qawtykit * (+310) Changed organization of looping counter collection and added LOLCODE looping counter
15:26:01 <esolangs> [[]]  https://esolangs.org/w/index.php?diff=148199&oldid=148197 * ZCX islptng * (+1322) 
15:26:56 <esolangs> [[Hyperinotoidion]]  https://esolangs.org/w/index.php?diff=148200&oldid=147895 * Win7HE * (-1315) 
15:45:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:46:46 <esolangs> [[GotoLang]] N https://esolangs.org/w/index.php?oldid=148201 * ZCX islptng * (+715) Created page with "This is an esolang created by islptng.  In this esolang, the only command is Goto(with a few add-ons). == Syntax == Only one command:  label:goto Self-explanatory.  However, general "match" (just "add-ons") is supported. It can match any integer in <code>[]</code>.<
15:57:58 <esolangs> [[User:Qawtykit]]  https://esolangs.org/w/index.php?diff=148202&oldid=148198 * Qawtykit * (+116) added Set looping counter
16:07:49 <esolangs> [[Hyperinotoidion]]  https://esolangs.org/w/index.php?diff=148203&oldid=148200 * Win7HE * (+117) 
16:12:58 -!- tromp has joined.
16:16:09 <esolangs> [[Hyperinotoidion]] M https://esolangs.org/w/index.php?diff=148204&oldid=148203 * Aadenboy * (-35) well use the stub template then
16:16:47 -!- Sgeo has joined.
16:25:10 <esolangs> [[Talk:Around and around, sleeping sound]]  https://esolangs.org/w/index.php?diff=148205&oldid=143214 * 5anz * (+121) 
16:53:34 <esolangs> [[User:Yayimhere/Sandbox]]  https://esolangs.org/w/index.php?diff=148206&oldid=146686 * Xff * (+1) 
17:24:33 <esolangs> [[Special:Log/newusers]] create  * Theonetruenerd *  New user account
17:27:16 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=148207&oldid=148175 * Theonetruenerd * (+244) /* Introductions */
17:39:09 -!- zenmov has quit (Ping timeout: 252 seconds).
17:43:42 -!- zenmov has joined.
18:06:15 <esolangs> [[Brainrot]] N https://esolangs.org/w/index.php?oldid=148208 * Theonetruenerd * (+2481) Created page with "Ever wanted to use your brainrot and slang to code? No? Well now you can anyway. Inspired by many screenshots that went around various social media sites.  == Overview ==   The syntax of brainrot is relatively simple, the only real quirks (besides the horrid bra
18:08:05 <esolangs> [[Brainrot]]  https://esolangs.org/w/index.php?diff=148209&oldid=148208 * Theonetruenerd * (-7) 
18:09:24 <esolangs> [[Brainrot]]  https://esolangs.org/w/index.php?diff=148210&oldid=148209 * Theonetruenerd * (+42) 
18:10:54 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=148211&oldid=148191 * Theonetruenerd * (+15) /* B */
18:13:42 -!- Lord_of_Life_ has joined.
18:14:46 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
18:15:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:40:42 -!- zenmov_ has joined.
18:40:45 -!- zenmov has quit (Ping timeout: 252 seconds).
19:18:44 <esolangs> [[Special:Log/newusers]] create  * Metazale *  New user account
19:21:03 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=148212&oldid=148207 * Metazale * (+292) Add introduction for Metazale
19:21:26 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=148213&oldid=148212 * Metazale * (+87) Add signature, oops
19:23:45 <esolangs> [[ELVM]] M https://esolangs.org/w/index.php?diff=148214&oldid=112416 * Metazale * (+1) Fix some typos
20:09:33 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:18:40 -!- tromp has joined.
20:36:18 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:46:21 -!- tromp has joined.
21:03:54 <esolangs> [[BrainXXXXXXXXXXx]] N https://esolangs.org/w/index.php?oldid=148215 * 5anz * (+3253) Created page with "brainXXXXXXXXXXx is a family of Esolangs inspired by [[BrainfXX]], to be exact, this is 18,446,744,073,709,551,616 different Esolangs. I'm [[User:5anz]], and these are my 4th, 5th, 6th, ... and 18,446,744,073,709,551,619th Esolangs I've made. Fine, we'll just say 
21:12:01 <esolangs> [[User:5anz]]  https://esolangs.org/w/index.php?diff=148216&oldid=147692 * 5anz * (+181) /* Esolangs I made */
21:14:22 <esolangs> [[Print("Hello, World!")]]  https://esolangs.org/w/index.php?diff=148217&oldid=147695 * 5anz * (+0) 
21:22:56 <esolangs> [[Guh]]  https://esolangs.org/w/index.php?diff=148218&oldid=147847 * Ractangle * (+1) /* tab */
21:25:43 <esolangs> [[Xtrod]]  https://esolangs.org/w/index.php?diff=148219&oldid=145964 * Ractangle * (+16) /* See also */
21:29:47 <esolangs> [[Special:Log/delete]] delete  * Ais523 *  deleted "[[File:Emojic wheel result.png]]": offtopic (connectiont to esolangs is too tenuous and doesn't need a screenshot to establish) and possibly also a copyright violation
21:30:24 -!- ais523 has joined.
21:39:07 <esolangs> [[User:Tommyaweosme/Emojic collab with yayimhere and ractangle]]  https://esolangs.org/w/index.php?diff=148220&oldid=147591 * Ractangle * (-22) 
22:04:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:18:53 -!- tromp has joined.
22:24:37 <esolangs> [[Print("Hello, World!")]] M https://esolangs.org/w/index.php?diff=148221&oldid=148217 * Aadenboy * (-88) lowercase
22:30:22 <esolangs> [[Talk:Print("Hello, World!")]] N https://esolangs.org/w/index.php?oldid=148222 * Aadenboy * (+711) Created page with "{{lowercase}}  <blockquote>[...] Esolang doesn't know that I typed a lowercase p for some reason.</blockquote>  page titles are required to start with a capital, this is a restriction set by MediaWiki (which powers Esolangs). you can use the <code>{{
22:40:30 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:49:28 -!- chiselfuse has joined.
22:59:30 -!- tromp has joined.
23:17:53 <esolangs> [[The Genetic Computer]] N https://esolangs.org/w/index.php?oldid=148223 * Theonetruenerd * (+1915) Language Created
23:18:30 <esolangs> [[The Genetic Computer]]  https://esolangs.org/w/index.php?diff=148224&oldid=148223 * Theonetruenerd * (+24) 
23:19:52 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=148225&oldid=148211 * Theonetruenerd * (+27) /* T */
23:41:01 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).