> 1734048197 617334 PRIVMSG #esolangs :14[[07Feed the Chaos14]]4 10 02https://esolangs.org/w/index.php?diff=148151&oldid=148150 5* 03Ais523 5* (+118) 10/* Computational class */ fix a fallacy in the proof, because it didn't consider negative numbers
< 1734048245 179339 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 248 seconds
< 1734048369 383475 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1734052093 618934 :phantom_!~phantom@2600:1702:5b51:96e0:30c:262d:b238:fd48 JOIN #esolangs * :phantom
> 1734052494 284098 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148152&oldid=148149 5* 03ZCX islptng 5* (+526) 10/* Please ban User:ColorfulGalaxy's CA discoveries. */
> 1734053043 266951 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148153&oldid=148132 5* 03ZCX islptng 5* (-6) 10
> 1734053267 33313 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148154&oldid=148153 5* 03ZCX islptng 5* (+226) 10/* Arithmetic & Logical */
> 1734053290 200284 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148155&oldid=148154 5* 03ZCX islptng 5* (+0) 10/* Arithmetic & Logical */
< 1734054232 126984 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
< 1734054248 855185 :phantom_!~phantom@2600:1702:5b51:96e0:30c:262d:b238:fd48 QUIT :Quit: WeeChat 3.5
> 1734054294 72701 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=148156&oldid=148152 5* 03Ais523 5* (+223) 10/* Please ban User:ColorfulGalaxy's CA discoveries. */ it's only applied to a few users
< 1734058018 71966 :fria!uid151648@id-151648.ilkley.irccloud.com JOIN #esolangs fria :fria
> 1734059972 477075 PRIVMSG #esolangs :14[[07Talk:Picofuck14]]4 10 02https://esolangs.org/w/index.php?diff=148157&oldid=121513 5* 03L4.m2 5* (+323) 10/* Non-existence Proof 4 */ new section
> 1734060235 415049 PRIVMSG #esolangs :14[[07Talk:Picofuck14]]4 10 02https://esolangs.org/w/index.php?diff=148158&oldid=148157 5* 03L4.m2 5* (+4) 10
< 1734063097 476980 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734063132 200616 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734063143 427604 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I think I was trying very hard to not say "endomorphism" though.
< 1734063344 802123 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm, offhand I'm not sure I can even think of any esolangs which have forall X. (X → X) → (X → X) as a type
< 1734063361 778717 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :functional esolangs tend to be untyped, non-functional esolangs don't have types that complex
< 1734063427 237055 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734063442 868632 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This is because I want expressions like `id` to have type `forall X. X → X`.
< 1734065798 391249 :fria!uid151648@id-151648.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity
> 1734066269 37531 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148159&oldid=148139 5* 03Ractangle 5* (-7) 10the cat program halts
> 1734066440 849865 PRIVMSG #esolangs :14[[07Queue-based esolang14]]4 10 02https://esolangs.org/w/index.php?diff=148160&oldid=148134 5* 03Ractangle 5* (-5) 10/* Hello, world! */
< 1734067585 423065 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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))))
< 1734067620 186337 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Has inferred type: [X, X] → [X, X]. (for all X, of course~)
< 1734067650 130463 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This is the Church numeral 2. 0 and 1 are also expressible but the type-checker infers less restrictive signatures for them.
< 1734067731 535536 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734067751 656789 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Er, *the* Church numeral 2, of course.
< 1734067786 504658 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah right – in a way I'm a little surprised that there are no things of Church numeral type except the Church numerals
< 1734067822 679265 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734067921 79364 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
< 1734068104 37144 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yep. The deep explanation uses discrete dynamical systems (DDSs) and explores the mysteries of the diagram with a single object and a single arrow.
< 1734068221 992697 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068252 728789 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734068255 75461 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hence Cammy's (pr @0 @1) : N → X, given @0 : 1 → X, @1 : X → X
< 1734068295 264958 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068311 114180 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Can't say whether it was a good choice. As you can see, I'm not really great at relating to peers.
< 1734068377 149873 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734068548 887905 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068581 591160 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068689 689509 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734068707 461805 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although, it'd only work in a single-threaded setting because it abstracts over the details of what the function is doing internally
< 1734068780 264028 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068817 260845 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734068876 567770 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734071058 83809 :craigo!~craigo@user/craigo QUIT :Ping timeout: 248 seconds
< 1734073288 694823 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734073422 45731 PRIVMSG #esolangs :14[[07Talk:Comment14]]4 10 02https://esolangs.org/w/index.php?diff=148161&oldid=138195 5* 03Ractangle 5* (+178) 10/* New */
> 1734073505 380938 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=148162&oldid=143786 5* 03Ractangle 5* (+2) 10/* Hello World */
> 1734073608 648596 PRIVMSG #esolangs :14[[07CLFCE14]]4 10 02https://esolangs.org/w/index.php?diff=148163&oldid=148162 5* 03Ractangle 5* (+2) 10/* Fixed Repeating Output */
> 1734073672 306404 PRIVMSG #esolangs :14[[07G Sharp14]]4 10 02https://esolangs.org/w/index.php?diff=148164&oldid=148067 5* 03Ractangle 5* (-1) 10/* Empty Program */
> 1734073691 981263 PRIVMSG #esolangs :14[[07Empty Program14]]4 10 02https://esolangs.org/w/index.php?diff=148165&oldid=148063 5* 03Ractangle 5* (-1) 10/* G# */
> 1734073978 159923 PRIVMSG #esolangs :14[[07Simple translation14]]4 10 02https://esolangs.org/w/index.php?diff=148166&oldid=127266 5* 03Corbin 5* (+776) 10/* Formal definition */ Use category theory to quickly formalize the idea that semantics are preserved by STs.
> 1734074115 20623 PRIVMSG #esolangs :14[[07Empty Program14]]4 10 02https://esolangs.org/w/index.php?diff=148167&oldid=148165 5* 03Ractangle 5* (-21) 10/* Pascal */
> 1734074137 627956 PRIVMSG #esolangs :14[[07Empty Program14]]4 10 02https://esolangs.org/w/index.php?diff=148168&oldid=148167 5* 03Ractangle 5* (-1) 10/* PHP */
< 1734074420 866535 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1734075381 117814 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734075655 161658 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734076585 87325 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: What is a concatenative programming language?
> 1734076679 664804 PRIVMSG #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...
> 1734076679 665314 PRIVMSG #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.
< 1734076723 309223 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that's confused enough that I can't even definitively say that it's wrong, although it did miss the key point
< 1734076753 163323 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, I'm hoping that it'll reveal to me how to give a better intro to [[concatenative language]].
< 1734076776 566107 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: there's a #concatenative channel on libera, ask them, maybe they have a better intro
> 1734077023 610969 PRIVMSG #esolangs :14[[07Simple translation14]]4 10 02https://esolangs.org/w/index.php?diff=148169&oldid=148166 5* 03Corbin 5* (+986) 10/* Thinking in terms of monoids */ Bluelink locally, grammar, rephrasing, ensuring that the proofs read cleanly.
< 1734077134 518939 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734077205 65654 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: What is a concatenative esoteric programming language?
> 1734077297 77045 PRIVMSG #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...
> 1734077297 77398 PRIVMSG #esolangs :concatenation and substitution are defined, and the meaning of a program is derived from the composition of its syntactic elements.
< 1734077313 605025 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Worse. Hm.
< 1734077360 836485 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Meh, it's not important. It's past midnight locally, I'm still recovering from food poisoning, and my feet are tired.
< 1734077366 963162 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yeah, nobody can agree what a functional programming language or a declarative programming language is either
< 1734077632 250742 :int-e!~noone@int-e.eu PRIVMSG #esolangs :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)
< 1734077778 210901 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: more modern Prologs often have a constraint solver, which acts in a rather more declarative way than the base language
< 1734077780 254529 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(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.)
< 1734077802 381113 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: But is that still Prolog then :)
< 1734077825 482098 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And wouldn't I rather use an SMT solver from a different language...
< 1734077841 472796 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734077845 595556 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1734077849 621395 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But yeah there's Prolog offsprings that look interesting from afar.
< 1734077913 707745 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway, as usual with opinions ymmv :)
< 1734077993 401069 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734078469 248241 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734078479 209534 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It could be parallelized, maybe, with effort.
< 1734078505 642984 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the interesting part is trying to come up with an efficient evaluation order
< 1734078523 155175 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: so... bfs instead of dfa at the search tree level?
< 1734078529 217014 :int-e!~noone@int-e.eu PRIVMSG #esolangs :*dfs
< 1734078566 77268 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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)
< 1734078583 506994 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway, I think constraint solving has value as a paradigm and my complaint is specifically about prolog's core.
< 1734078636 932603 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734078663 245334 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1734078706 802777 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Prolog is basically a DFS in that sort of environment, with the order specified precisely enough to allow cuts to work
< 1734078732 349304 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734078772 227422 :int-e!~noone@int-e.eu PRIVMSG #esolangs :" 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
< 1734078823 695050 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734078828 404006 :int-e!~noone@int-e.eu PRIVMSG #esolangs :("unsatisfiable core" is jargon for (a practically feasible approximation of) a minimal set of constraints that are contradictory)
< 1734079268 705237 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1734079284 439733 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so that makes it even more of an esolang
< 1734079321 273136 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: wow, that description reminds me so much of CLC-INTERCAL
< 1734079344 957744 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :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
< 1734079478 667581 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also there are multiple dialects of prolog with the same core language but lots of incompatible extensions in their libraries
< 1734080128 493157 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734080664 138736 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 264 seconds
< 1734082222 282081 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1734083439 859005 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734083856 789752 PRIVMSG #esolangs :14[[07G Sharp14]]4 10 02https://esolangs.org/w/index.php?diff=148170&oldid=148164 5* 03Ractangle 5* (-35) 10/* Commands */
< 1734084579 796925 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1734084862 603073 PRIVMSG #esolangs :14[[07Comment14]]4 10 02https://esolangs.org/w/index.php?diff=148171&oldid=148072 5* 03Ractangle 5* (-9) 10/* AREA/Hum */
> 1734087158 512626 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=148172&oldid=142095 5* 03DGCK81LNN 5* (+180) 10/* Instructions */ rephrase description of ! instruction
< 1734088098 941709 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
> 1734090698 283418 PRIVMSG #esolangs :14[[07User talk:None114]]4 10 02https://esolangs.org/w/index.php?diff=148173&oldid=147857 5* 03PrySigneToFry 5* (+843) 10/* I really don't add more page to that scary, gibberish and offtopic things */ new section
> 1734090709 676407 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03PGThe3G 5*  10New user account
> 1734091043 239527 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148174&oldid=148103 5* 03Jan jelo 5* (-3) 10/* C */
< 1734091183 581814 :__monty_1!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1734091254 743349 :__monty__!~toonn@user/toonn QUIT :Killed (NickServ (GHOST command used by __monty_1))
< 1734091259 725272 :__monty_1!~toonn@user/toonn NICK :__monty__
< 1734091287 61124 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734091319 637509 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=148175&oldid=147996 5* 03PGThe3G 5* (+202) 10/* Introductions */
< 1734091336 493544 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 252 seconds
> 1734091570 783298 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=148176 5* 03PrySigneToFry 5* (+1496) 10Created 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 >       
< 1734091574 392874 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
> 1734091680 940507 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 M10 02https://esolangs.org/w/index.php?diff=148177&oldid=147357 5* 03PrySigneToFry 5* (+19) 10
> 1734092197 164996 PRIVMSG #esolangs :14[[07Tahled14]]4 10 02https://esolangs.org/w/index.php?diff=148178&oldid=147608 5* 03PrySigneToFry 5* (+117) 10Undo revision [[Special:Diff/147608|147608]] by [[Special:Contributions/Ractangle|Ractangle]] ([[User talk:Ractangle|talk]]) because Serif Font is more ontopic of this programming language
> 1734092231 502902 PRIVMSG #esolangs :14[[07 bits, 0 Bytes14]]4 10 02https://esolangs.org/w/index.php?diff=148179&oldid=142408 5* 03PrySigneToFry 5* (+282) 10
< 1734093340 242071 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734093977 128798 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734094073 709542 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1734097617 483836 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 N10 02https://esolangs.org/w/index.php?oldid=148180 5* 03Jan jelo 5* (+3805) 10Created 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
> 1734097622 35172 PRIVMSG #esolangs :14[[07Talk:Wizzcake14]]4 10 02https://esolangs.org/w/index.php?diff=148181&oldid=124563 5* 03WoodyFan3412 5* (+91) 10/* Unique Idea */ new section
> 1734097761 358052 PRIVMSG #esolangs :14[[07Windmill14]]4 M10 02https://esolangs.org/w/index.php?diff=148182&oldid=148076 5* 03RainbowDash 5* (+103) 10
> 1734097850 628325 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148183&oldid=148180 5* 03Jan jelo 5* (+4) 10/* proof */
> 1734097962 811483 PRIVMSG #esolangs :14[[07Windmill14]]4 M10 02https://esolangs.org/w/index.php?diff=148184&oldid=148182 5* 03RainbowDash 5* (+1) 10/* Implementation details */
< 1734098097 663208 :lynndotpy!~rootcanal@134.122.123.70 QUIT :Quit: bye bye
> 1734098124 385101 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=148185&oldid=148092 5* 03Jan jelo 5* (+143) 10
< 1734098236 214365 :lynndotpy!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn
> 1734098486 489315 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148186&oldid=148183 5* 03Jan jelo 5* (+169) 10/* proof */
> 1734098559 195895 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148187&oldid=148176 5* 03None1 5* (+1672) 10/* Category */
> 1734098586 897570 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148188&oldid=148187 5* 03None1 5* (+206) 10/* Examples */
> 1734098635 139245 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148189&oldid=148188 5* 03None1 5* (-27) 10change category
> 1734098692 124971 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148190&oldid=148186 5* 03Jan jelo 5* (+4) 10/* proof */
> 1734098717 483119 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=148191&oldid=148096 5* 03None1 5* (+19) 10/* Non-alphabetic */  Practical enough to be a non-joke language
> 1734098756 791776 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=148192&oldid=148185 5* 03Jan jelo 5* (-2) 10/* Proof */
> 1734098854 204959 PRIVMSG #esolangs :14[[07Windmill14]]4 10 02https://esolangs.org/w/index.php?diff=148193&oldid=148184 5* 03RainbowDash 5* (+572) 10Halting
> 1734098890 641326 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=148194&oldid=148192 5* 03Jan jelo 5* (+2) 10/* Proof */
> 1734098918 57570 PRIVMSG #esolangs :14[[07Windmill14]]4 M10 02https://esolangs.org/w/index.php?diff=148195&oldid=148193 5* 03RainbowDash 5* (+18) 10/* Halting */
> 1734099242 305219 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148196&oldid=148174 5* 03Jan jelo 5* (+1) 10/* Reduce */
> 1734099935 134860 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148197&oldid=148189 5* 03PrySigneToFry 5* (+172) 10
> 1734102387 750040 PRIVMSG #esolangs :14[[07User:Qawtykit14]]4 10 02https://esolangs.org/w/index.php?diff=148198&oldid=147885 5* 03Qawtykit 5* (+310) 10Changed organization of looping counter collection and added LOLCODE looping counter
> 1734103561 326445 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=148199&oldid=148197 5* 03ZCX islptng 5* (+1322) 10
> 1734103616 385627 PRIVMSG #esolangs :14[[07Hyperinotoidion14]]4 10 02https://esolangs.org/w/index.php?diff=148200&oldid=147895 5* 03Win7HE 5* (-1315) 10
< 1734104746 713417 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1734104806 749983 PRIVMSG #esolangs :14[[07GotoLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=148201 5* 03ZCX islptng 5* (+715) 10Created 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>.<
> 1734105478 972614 PRIVMSG #esolangs :14[[07User:Qawtykit14]]4 10 02https://esolangs.org/w/index.php?diff=148202&oldid=148198 5* 03Qawtykit 5* (+116) 10added Set looping counter
> 1734106069 939690 PRIVMSG #esolangs :14[[07Hyperinotoidion14]]4 10 02https://esolangs.org/w/index.php?diff=148203&oldid=148200 5* 03Win7HE 5* (+117) 10
< 1734106378 527470 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734106569 3893 PRIVMSG #esolangs :14[[07Hyperinotoidion14]]4 M10 02https://esolangs.org/w/index.php?diff=148204&oldid=148203 5* 03Aadenboy 5* (-35) 10well use the stub template then
< 1734106607 662488 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1734107110 334626 PRIVMSG #esolangs :14[[07Talk:Around and around, sleeping sound14]]4 10 02https://esolangs.org/w/index.php?diff=148205&oldid=143214 5* 035anz 5* (+121) 10
> 1734108814 668181 PRIVMSG #esolangs :14[[07User:Yayimhere/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148206&oldid=146686 5* 03Xff 5* (+1) 10
> 1734110673 883523 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Theonetruenerd 5*  10New user account
> 1734110836 722268 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=148207&oldid=148175 5* 03Theonetruenerd 5* (+244) 10/* Introductions */
< 1734111549 962480 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 252 seconds
< 1734111822 422132 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov
> 1734113175 125816 PRIVMSG #esolangs :14[[07Brainrot14]]4 N10 02https://esolangs.org/w/index.php?oldid=148208 5* 03Theonetruenerd 5* (+2481) 10Created 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
> 1734113285 634645 PRIVMSG #esolangs :14[[07Brainrot14]]4 10 02https://esolangs.org/w/index.php?diff=148209&oldid=148208 5* 03Theonetruenerd 5* (-7) 10
> 1734113364 278069 PRIVMSG #esolangs :14[[07Brainrot14]]4 10 02https://esolangs.org/w/index.php?diff=148210&oldid=148209 5* 03Theonetruenerd 5* (+42) 10
> 1734113454 210043 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=148211&oldid=148191 5* 03Theonetruenerd 5* (+15) 10/* B */
< 1734113622 652950 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1734113686 887415 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 272 seconds
< 1734113704 787720 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1734115242 139073 :zenmov_!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov
< 1734115245 986816 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 252 seconds
> 1734117524 717617 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Metazale 5*  10New user account
> 1734117663 9156 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=148212&oldid=148207 5* 03Metazale 5* (+292) 10Add introduction for Metazale
> 1734117686 189410 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=148213&oldid=148212 5* 03Metazale 5* (+87) 10Add signature, oops
> 1734117825 608436 PRIVMSG #esolangs :14[[07ELVM14]]4 M10 02https://esolangs.org/w/index.php?diff=148214&oldid=112416 5* 03Metazale 5* (+1) 10Fix some typos
< 1734120573 813398 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734121120 28720 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734122178 954817 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734122781 684806 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734123834 420412 PRIVMSG #esolangs :14[[07BrainXXXXXXXXXXx14]]4 N10 02https://esolangs.org/w/index.php?oldid=148215 5* 035anz 5* (+3253) 10Created 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 
> 1734124321 961160 PRIVMSG #esolangs :14[[07User:5anz14]]4 10 02https://esolangs.org/w/index.php?diff=148216&oldid=147692 5* 035anz 5* (+181) 10/* Esolangs I made */
> 1734124462 795467 PRIVMSG #esolangs :14[[07Print("Hello, World!")14]]4 10 02https://esolangs.org/w/index.php?diff=148217&oldid=147695 5* 035anz 5* (+0) 10
> 1734124976 534360 PRIVMSG #esolangs :14[[07Guh14]]4 10 02https://esolangs.org/w/index.php?diff=148218&oldid=147847 5* 03Ractangle 5* (+1) 10/* tab */
> 1734125143 678170 PRIVMSG #esolangs :14[[07Xtrod14]]4 10 02https://esolangs.org/w/index.php?diff=148219&oldid=145964 5* 03Ractangle 5* (+16) 10/* See also */
> 1734125387 307650 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02File:Emojic wheel result.png10]]": offtopic (connectiont to esolangs is too tenuous and doesn't need a screenshot to establish) and possibly also a copyright violation
< 1734125424 425441 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1734125947 21886 PRIVMSG #esolangs :14[[07User:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148220&oldid=147591 5* 03Ractangle 5* (-22) 10
< 1734127494 73140 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734128333 178274 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734128677 993971 PRIVMSG #esolangs :14[[07Print("Hello, World!")14]]4 M10 02https://esolangs.org/w/index.php?diff=148221&oldid=148217 5* 03Aadenboy 5* (-88) 10lowercase
> 1734129022 221441 PRIVMSG #esolangs :14[[07Talk:Print("Hello, World!")14]]4 N10 02https://esolangs.org/w/index.php?oldid=148222 5* 03Aadenboy 5* (+711) 10Created 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>{{
< 1734129630 119178 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734130168 606377 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1734130770 232931 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734131873 784370 PRIVMSG #esolangs :14[[07The Genetic Computer14]]4 N10 02https://esolangs.org/w/index.php?oldid=148223 5* 03Theonetruenerd 5* (+1915) 10Language Created
> 1734131910 733181 PRIVMSG #esolangs :14[[07The Genetic Computer14]]4 10 02https://esolangs.org/w/index.php?diff=148224&oldid=148223 5* 03Theonetruenerd 5* (+24) 10
> 1734131992 384279 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=148225&oldid=148211 5* 03Theonetruenerd 5* (+27) 10/* T */
< 1734133261 3134 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…