A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric."
< 1726405609 524869 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726405609 761053 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`unidecode ꙮ
< 1726405611 443201 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :[U+A66E CYRILLIC LETTER MULTIOCULAR O]
< 1726405631 390927 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :ꙮh
< 1726405650 856147 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's our favorite letter. ;-) (I'm making this up, but it's fair to say that we have a bit of culture around it.)
< 1726405666 982594 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726405671 586245 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :well i like it
< 1726405686 331478 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im making a esolang based on dis disscusion btw
< 1726405724 430439 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds
< 1726405834 554292 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
> 1726405848 59891 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 N10 02https://esolangs.org/w/index.php?oldid=139428 5* 03Yayimhere 5* (+258) 10Created page with "'''FROSTWIRE-666''' is a esolang created by [[User:Yayimhere]]. its some combinators for [[Combinatory logic]] == combinators == FROSTWIRE-666 has these operators: S from SKI R x = B (K) x (S) Q x y = y x x y=S (K x y) G x=x x T x y z=B ( x y) x z"
< 1726405856 248171 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and there it is^^
< 1726405856 748898 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :^
< 1726405919 672925 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1726405938 429 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139429&oldid=139428 5* 03Yayimhere 5* (+13) 10/* combinators */
< 1726405947 434154 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User
< 1726406053 107019 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, would you rather make three dozen esolangs, or one that people actually care about?
< 1726406069 276142 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :idk
< 1726406080 433218 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :what time of the day is it?
< 1726406089 470465 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes
< 1726406114 154210 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :????
> 1726406130 518351 PRIVMSG #esolangs :14[[07Talk:Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=139430&oldid=128898 5* 03Rosenthal 5* (+639) 10Ask about strange bitwise NOT
< 1726406132 466607 :int-e!~noone@int-e.eu PRIVMSG #esolangs :time zones are a thing so I thought this was the best possible answer
< 1726406151 364287 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no
< 1726406153 227666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i said'
< 1726406153 346822 :int-e!~noone@int-e.eu PRIVMSG #esolangs :what's θ?
< 1726406168 35230 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you asked a question with no well-defined answer
< 1726406171 523473 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the answer to your question is dependent on timezone
< 1726406192 320221 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :θ you could see on combinatory page
< 1726406195 788214 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :no
< 1726406200 664935 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :combinatory logic page
< 1726406205 642158 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :more combinators
< 1726406219 362180 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :Non-primitives
< 1726406221 667379 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :spesifically
> 1726406257 640500 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139431&oldid=139429 5* 03Yayimhere 5* (+39) 10
< 1726406282 784754 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`datei
< 1726406284 471599 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2024-09-15 13:18:03.701 +0000 UTC September 15 Sunday 2024-W37-7
< 1726406297 568051 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wow
< 1726406304 974759 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :``` TZ="Europe/Helsinki" datei # if you have a specific timezone in mind
< 1726406307 150654 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2024-09-15 16:18:26.283 +0300 EEST September 15 Sunday 2024-W37-7
< 1726406318 457605 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726406333 731044 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also dateu for guaranteed UTC; datei actually uses the locale-dependent timezone, that just happens to default to UTC on HackEso these days
< 1726406350 33206 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :um, no, technically not *locale*-dependent, but dependent on your environment and the fallback default in /etc
< 1726406366 250344 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :kkk
> 1726406445 586801 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139432&oldid=139431 5* 03Yayimhere 5* (-11) 10
> 1726406524 767416 PRIVMSG #esolangs :14[[07User:Eugene14]]4 10 02https://esolangs.org/w/index.php?diff=139433&oldid=139042 5* 03Eugene 5* (+4) 10
> 1726406579 683901 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kin1009 5* 10New user account
> 1726406666 718152 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139434&oldid=139375 5* 03Yayimhere 5* (+20) 10/* esolangs */
< 1726407116 638451 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: Combinatory logic isn't an esolang. In fact, it's not a language. I'd say that a better way to understand it is as a type or a pattern of constructors that can be put on top of types.
< 1726407142 522133 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: If combinatory logic is not a language, what is it?
< 1726407149 648523 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726407152 426288 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig
< 1726407153 953511 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :combinatory logic is multiple esolangs, if you choose a basis and an evaluation strategy then it's a specific esolang
< 1726407165 672886 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also true
< 1726407169 342439 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Aw, the RAG bot's not working, I guess.
> 1726407246 32144 PRIVMSG #esolangs :korvo: Combinatory logic is a **formal model of computation**. It's a way to describe how programs work, not a programming language itself. Think of it like a blueprint for how to build a computer program. It uses a set of rules and symbols to represent computations, and it's powerful enough to capture the essence of any program, even those written in...
> 1726407246 35264 PRIVMSG #esolangs :other languages.
< 1726407252 802679 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I like {B,C,K,W,I} as the basis and leftmost inner (eager/unlambda) evolution
< 1726407291 449013 :wryl!sid553797@user/meow/Wryl QUIT :Ping timeout: 246 seconds
< 1726407304 447511 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: In particular, the terms we've been using the past few days are the *initial model*. All that means is, for any other model, there's a way to map each term into that other model.
< 1726407323 112509 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ooh
< 1726407334 407112 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but these days I prefer multi-argument instead of single-argument lambdas, which corresonds mostly to the Amicus language instead of traditional Church style combinatory logic
< 1726407349 2786 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, like, suppose I implement S and K in Python. Then I can map any term of S and K into Python using that implementation, and it'll still behave as expected.
< 1726407353 581137 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :well, Amicus without numbers
< 1726407375 696061 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Like int-e says, "as expected" includes quirks of evaluation order. You have to carefully choose which of U, Y, or Z is your fixed-point combinator.)
< 1726407392 744619 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :UYZ?
< 1726407458 286612 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ik about U i think
< 1726407475 263295 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :U, Y, and Z all allow for some sort of recursion. They're very different in appearance, but that's mostly because of evaluation order.
< 1726407488 557337 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726407521 576825 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The main point to understand is that U = \(00) in lambda calculus; it applies something to itself. It's the "Turing bird" we talked about the other day.
< 1726407530 753294 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You can tell it's important because https://esolangs.org/wiki/Combinatory_logic has a (!!!) next to it!
< 1726407546 765090 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726407554 898929 :wryl!sid553797@user/meow/Wryl JOIN #esolangs Wryl :Wryl
< 1726407600 678683 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No, seriously. Like, consider my beloved https://esolangs.org/wiki/Cammy. Here's one thing I said: "the program (comp dup apply), sometimes called the "Turing bird", will be rejected by the toolchain as ill-typed."
< 1726407622 939063 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726407627 846678 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And at the top: "each expression is an S-expression denoting a total function."
< 1726407650 49718 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Because Cammy's total, the toolchain *must* reject the Turing bird.
< 1726407665 301059 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726407673 134526 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If you want to be TC, you *must* have a way to build either U or something with similar powers, like Y or Z.
< 1726407681 559276 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :That's the main point.
< 1726407690 467270 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726407693 95778 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :also sorry
< 1726407697 608980 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i was kinda confused
< 1726407699 759916 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :we above chat
< 1726407707 38800 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :where i made *my* U
< 1726407763 859629 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :No worries. That's one of the dangers of redefining standard names.
< 1726407782 109461 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i just choose a symbol
< 1726407819 101297 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I know. If it helps, that's how most of the combinators got standard names in the first place. I have a rule in my head that's like "C is for composition, no wait, C is for flips and B is for composition"
< 1726407842 832803 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ig you could use lol
< 1726407848 781413 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726407851 617226 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :K is for "konstant" and I is "identity" but I have no idea about the others. Smullyan gives them beautiful bird names which are also hard to remember.
< 1726407873 598938 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, B is for Bluebird. Okay, which is...? Even remembering the stories in the book doesn't really help.
< 1726407887 671221 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :symbol for my U: ɭ
< 1726407924 373301 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(The actual way to remember B is to look at it as a miniature diagram depicting the composition of two arrows.)
< 1726407934 156666 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726408096 264379 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I should document the B-C-K-W-I turing-completeness proof on the wiki at some point. We have https://esolangs.org/wiki/S_and_K_Turing-completeness_proof plus derivations of S and K at https://esolangs.org/wiki/Combinatory_logic#BCKW_calculus which is technically enough for a proof, but there's a direct proof that's somewhat interesting.
< 1726408161 583348 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I should formalize some of the reductions. I know it's not hard to write a casual SKI reduction tool, but I don't think there's like a Metamath or Coq database.
< 1726408176 738937 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, uh, *Rocq now, right?
> 1726408238 276020 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=139435&oldid=133777 5* 03B jonas 5* (-8) 10/* BCKW calculus */
> 1726408283 963250 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139436&oldid=139396 5* 03PrySigneToFry 5* (+47) 10
< 1726408288 363420 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"The rename is currently in preparation"
> 1726408349 58978 PRIVMSG #esolangs :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=139437&oldid=138271 5* 03B jonas 5* (+147) 10/* Todo */
< 1726408879 428106 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de QUIT :Ping timeout: 260 seconds
< 1726409044 114854 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i made this. doesnt this delete Bsckflip's memory limitation?: https://esolangs.org/wiki/FrontFlip
> 1726409049 944113 PRIVMSG #esolangs :14[[07FrontFlip14]]4 10 02https://esolangs.org/w/index.php?diff=139438&oldid=139374 5* 03Yayimhere 5* (+0) 10
< 1726409472 500385 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: SKI reduction tool => David Madore's unlambda writeup http://www.madore.org/~david/programs/unlambda/#impl explains how to do that
< 1726409540 919832 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i still like how from a set perspective BCI can do nothing
< 1726410221 335447 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1726410285 912078 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :hello ais
> 1726410483 478751 PRIVMSG #esolangs :14[[07User talk:HecknTarnation14]]4 N10 02https://esolangs.org/w/index.php?oldid=139439 5* 03Yayimhere 5* (+136) 10Created page with "wanna make a esolang with me maybe idk ?? [:~~~~:]"
< 1726410704 586686 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Okay, so with careful consideration, I think that it should be *theoretically* possible to compile Unlambda to a graph-reduction machine (as efficient as GHC) after first doing a continuation-passing transformation.
< 1726410840 66488 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But it is remarkable how it was an open question just a few decades ago.
> 1726410894 817774 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=139440&oldid=139371 5* 03MihaiEso 5* (+514) 10/* Horribly translated variants */
> 1726410939 920056 PRIVMSG #esolangs :14[[07FROSTWIRE-66614]]4 10 02https://esolangs.org/w/index.php?diff=139441&oldid=139432 5* 03Yayimhere 5* (+27) 10/* combinators */
> 1726411066 10717 PRIVMSG #esolangs :14[[07BubbleLang/Algorithm14]]4 N10 02https://esolangs.org/w/index.php?oldid=139442 5* 03PrySigneToFry 5* (+809) 10Created page with "== Swap two numbers == function swap(x: int*, y: int*): var t: int* = x x = y y = t
Thus makes these things: === Bubble sort === function swap(x: int*, y: int*): var t: int* = x x = y y = t function bubble_so
< 1726411108 331986 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: I'm mostly thinking of the subset without c and d, so basically just ski calculus
< 1726411188 813030 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Ah, sure. There's a fully-worked series of articles on that here: https://crypto.stanford.edu/~blynn/compiler/
> 1726411195 834865 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139443&oldid=139436 5* 03PrySigneToFry 5* (+49) 10
< 1726411240 779329 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : hey ais523 what do you think of my underload minimazation?: https://esolangs.org/wiki/Sorry ← it's not very Underload-like
> 1726411254 50424 PRIVMSG #esolangs :14[[07BubbleLang/Algorithm14]]4 10 02https://esolangs.org/w/index.php?diff=139444&oldid=139442 5* 03PrySigneToFry 5* (+15) 10
< 1726411258 848854 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726411276 952190 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :it was just an atempt to make the minimal command set smaller
< 1726411301 726407 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :what happens if you try to run a command with unmatched brackets?
< 1726411307 723885 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oof
< 1726411312 283802 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i need to specify
< 1726411314 491411 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im so stupid
< 1726411316 556034 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but umm
< 1726411317 605855 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :error
< 1726411336 96471 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there's already a minimization of Underload to two commands here: https://esolangs.org/wiki/Underload#A_two-command_basis_for_a_pure_concatenative_language
< 1726411347 48656 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726411364 270037 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait
< 1726411365 509709 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wut
< 1726411369 178880 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :thats 3 commands
< 1726411372 306005 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: even with the c builtin, r5rs is from 1998 so presumably they knew how to implement all that at the point, and unlambda with c (possibly without d) is trivial to compile to r5rs scheme, it has the full lexical local variables, lamdbas, and full call-with-current-continuation
< 1726411375 364567 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :the copy push and eval command
< 1726411382 711924 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :no, it's just M and ^
> 1726411387 209344 PRIVMSG #esolangs :14[[07Sorry14]]4 10 02https://esolangs.org/w/index.php?diff=139445&oldid=139363 5* 03Yayimhere 5* (+79) 10/* information */
< 1726411398 134695 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
< 1726411400 88815 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :OOOO
< 1726411401 503035 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so it was known for at least 26 years, I suspect longer
< 1726411401 652948 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :fuuuu
< 1726411410 51112 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :where M is equivalent to (~)(:)(^)(a)(*)(!!!!!!) in Underload
< 1726411416 17225 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh yea
< 1726411420 661731 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im sto STUPID
< 1726411421 661851 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726411421 917157 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think it was me who designed that originally
< 1726411424 170606 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*so
< 1726411427 874820 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :whe
< 1726411430 868815 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :wait no
< 1726411437 120409 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :forget that message
< 1726411462 359421 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: There's a question of efficiency when it comes to "sharing" (avoiding copying) in lazy contexts, and I think Scheme isn't likely to ever really solve this. I don't think typical implementations do much sharing besides lambda-lifting.
< 1726411476 73701 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the positions of most of the commands inside don't really matter, but the (~) being at the start and (!!!!!!) at the end (with length that's enough to pop all the things M pushed, plus 1) is key to how it works
< 1726411487 90971 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
< 1726411488 602719 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: sure, scheme and unlambda are non-lazy in the same way
< 1726411490 674470 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But yeah, I see your point. In terms of compiler engineering effort, yes, Unlambda compiles easily to Scheme.
< 1726411506 348655 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i also minimized sorry to srry(on command but very much not underlaod like)
< 1726411518 918802 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I think most interpreters along those lines do the copying lazily and don't have other optimizations
> 1726411562 969770 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139446&oldid=139370 5* 03Yayimhere 5* (+0) 10/* Turing-completeness */
> 1726411593 554497 PRIVMSG #esolangs :14[[07Savage Operator14]]4 10 02https://esolangs.org/w/index.php?diff=139447&oldid=139446 5* 03Yayimhere 5* (+11) 10/* Turing-completeness */
< 1726411618 27593 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: wrt combinatoric logic normal forms, I generally think of them being in normal forms if no reduction rules are even possible to apply to the term you have
< 1726411637 750372 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so SII doesn't have a normal form, the way I think about it – you can keep applying reduction rules indefinitely
< 1726411657 327535 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :whereas something like K(SI) is a normal form because none of the combinators has enough arguments to do anything
< 1726411677 560991 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why is it that so many combinators are named after birds???
< 1726411680 162020 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :turings bird
< 1726411682 445841 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ect.
< 1726411707 772866 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: That'd be the Smullyan book I mentioned earlier: https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird
< 1726411729 646640 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: No reduction rules apply to SII. You're probably confusing SII and SII(SII)
< 1726411730 373480 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :oh
> 1726411734 227558 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139448&oldid=139443 5* 03PrySigneToFry 5* (+53) 10
< 1726411760 967632 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(SII is what you get from \x. x x by abstraction elimination.)
< 1726411771 818215 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: err, yes, I meant SII(SII)
< 1726411780 99277 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yup, the Mockingbird book which tells about a series of possibly enchanted forests which each have a population of birds closed to application
< 1726411783 237399 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :SII is in normal form already, S takes three arguments
< 1726411788 546752 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: and yes, SII(SII) doesn't have a normal form
< 1726411795 965916 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(And SII actually *captures* it, because SIIx -> x(x))
< 1726411802 262928 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so you can apply any bird in a forest to any other, and the result is a bird that's also in the forest
< 1726411805 631376 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas wow. ...why tho?
< 1726411812 930772 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was experimenting a lot with BCKW combinator calculus recently
< 1726411815 134792 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(with standard definitions from (first-order) rewriting)
< 1726411819 731263 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :so the forest has every combinator
< 1726411823 742140 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or whatever you call i
< 1726411825 270169 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*it
< 1726411840 748667 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wWwwW: because if you have a few suitable starting birds, as in S and K, and can distinguish at least two birds, then you get a Turing-complete forest to which you can compile any computation
< 1726411849 115707 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :just like SK combinator calculus is neater using I, BCKW combinator calculus is also neater with a couple of extra combinators
< 1726411860 793130 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so one day we (at least the people in that book) might be able to replace computers with birds
< 1726411869 718331 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726411887 831268 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :one is I, the other is (flip id)
< 1726411905 850273 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You laugh, but some researchers built a https://en.wikipedia.org/wiki/Billiard-ball_computer out of crabs.
< 1726411922 354813 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :...
< 1726411923 398538 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why
< 1726411930 577181 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :just fricking why
< 1726411939 513608 :int-e!~noone@int-e.eu PRIVMSG #esolangs :why not?
< 1726411939 911572 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ppl do some weird stuff sometimes ._.
< 1726411941 41100 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Aren't you pumping out dozens of esolangs?
< 1726411948 607809 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726411957 746752 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but also
< 1726411971 624990 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :me ∈ ppl
< 1726411984 438820 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you need the property that you can distinguish two birds otherwise you can never extract any result from the computation,
< 1726411989 2414 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :or am i?*plays Vsauce theme*
< 1726411992 843962 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :anyway, flip can be defined entirely in terms of (flip id) and (.)
< 1726412002 513816 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my notes say F = A (V V) (A A (A (V A) (A A V))), where F is flip, V is (flip id) and A is (.)
< 1726412021 367071 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas so with a good bird identifier and a lot of birds you have somethign TC
< 1726412022 366754 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412033 433307 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you can also define id (unsurprisingly), it's A (V V) (A A V)
< 1726412041 175285 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and you need a suitable basis of starting birds to exists otherwise you could get a boring trivial forest that has just unlmabda v and i which can only do boolean multiplication, though Smullyan actually discusses a few forests that are limited in a more interesting way than just that
< 1726412049 32617 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726412060 207087 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :wWwwW: Another way to understand what b_jonas is saying is that the final output of a (halted) computer is merely a projection of its internal state.
< 1726412071 183137 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :agian true
< 1726412086 95280 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i got a full lesson about combinator logic today
< 1726412087 97276 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412096 942054 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You don't have to be able to read a combinator from the (finitely) many feathers of a bird, merely a way to describe the bird *in terms of other birds*. Smullyan makes this point.
< 1726412115 152533 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but the really interesting thing is that I think there's enough power to define K like this, too (although I don't have the definition worked out), using a recursive definition of the form K a b c = K (a c) b
< 1726412120 244435 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: the bird forests contain not only halting combinators though, it's really closed to application even if the result of that application is a bird without normal form
< 1726412155 193903 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although that might need some messing around with evaluation order
< 1726412165 272083 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Yeah. In that sense, the birds (and combinatory logic) are actually *generalized* computation. They do more than what our physical computers can actually do.
< 1726412168 123992 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ais423: if so then k a b c = k a
< 1726412171 223163 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :perhaps it should be K a b c = K (A a c) b so that a c doesn't go into an infinte loop
< 1726412181 730332 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412183 63263 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :wait, no
< 1726412186 824892 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I got it right first time
< 1726412208 364299 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i love how v is recursive
< 1726412209 474044 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the point is that K a b = a (by definition), so K a b c = a c = K (a c) b
< 1726412212 811663 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :in unlambda
< 1726412220 365623 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that is why near the end of the book professor Griffin expresses the view that maybe there's a forest that lets you do computations that a Turing-complete computer can't do
< 1726412223 591614 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412235 642341 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :b_jonas whyyyyyyyyy
< 1726412244 915861 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but there's no definite evidence of that forest
< 1726412254 389736 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :why cant we just have TC as being the ,ost powerfull:[
< 1726412256 19366 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :lol
< 1726412258 939076 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :*most
< 1726412425 423900 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also Smullyan is careful enough that the book doesn't say anything about the speed of computation with birds. he says that given two birds in a forest you can find their application in the forest, but no time limit for how quickly you can find it, so it's quite possible that a computation that's slow on a computer is also slow using birds.
< 1726412449 848383 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so there's no reason to think that birds let you do exponentially slow computations quickly.
< 1726412453 782593 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :TC≠fast
< 1726412508 474181 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :right?
< 1726412543 240701 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :specifically to do an application, you first have to sing the name of the argument word to the function bird, it sings back the name of the application result, and then you have to find the bird of that name. any of these steps could take a long time.
> 1726412570 78745 PRIVMSG #esolangs :14[[07BubbleLang/Examples14]]4 N10 02https://esolangs.org/w/index.php?oldid=139449 5* 03PrySigneToFry 5* (+2689) 10Created page with "[[BubbleLang]] == Simple game == from random import randint print("Copyright by Spectre 2012~2024(C)\nAll right reserved.\n") var a = input("Please Input how many life do you have(If you guessing wrong, your life will be leaves 1): ") if a == ""
< 1726412596 507527 :int-e!~noone@int-e.eu PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Church-Turing_thesis encapsulates the idea that there's no "effective method" more powerful than TC. It's necessarily informal.
> 1726412646 592721 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139450&oldid=139448 5* 03PrySigneToFry 5* (+45) 10
< 1726412649 225414 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and, like all important questions, there's a lot of different versions of the Church-Turing thesis that you can choose from
< 1726412650 847420 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The support is basically that people have come up with a handful of different abstract-but-realistic models of computation, and they're all equally powerful.
< 1726412709 661700 :int-e!~noone@int-e.eu PRIVMSG #esolangs :We have more powerful models too, often involving various oracles that transcend computable functions.
< 1726412724 674694 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :true
< 1726412745 12133 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yep, that's why it's called Church-Turing: Church refers to untyped lambda calculus, while Turing refers to finite control with one writable tape Turing machines, these were found to be equivalently powerful
< 1726412760 411725 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yea
< 1726412761 412504 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :ik
< 1726412804 500910 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And then there's whoever is responsible for recursive functions... (Kleene?)
< 1726412859 990775 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Gödel too; he encoded those in PA.)
< 1726412870 164228 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :David Madore has three different educational families of esolangs illustrating Turing-complete computations and computations more powerful than that
< 1726412881 811050 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :Gödel is very good math person
< 1726412933 687738 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But not the greatest survivor.
< 1726412942 357024 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :yes
> 1726412956 414138 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02BubbleLang/Examples10]]": Copyright violation: apparently copy-paste of a copyrighted program written by someone else
< 1726412963 813172 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1726413024 770933 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139451&oldid=138265 5* 03Ais523 5* (+251) 10/* Copyright violations */ second warning
> 1726413089 93630 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139452&oldid=139451 5* 03PrySigneToFry 5* (+633) 10
> 1726413097 757632 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139453&oldid=139450 5* 03Ais523 5* (-46) 10/* More example */ rm link to deleted page
> 1726413230 996305 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139454&oldid=139452 5* 03PrySigneToFry 5* (+119) 10
> 1726413312 276271 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139455&oldid=139454 5* 03PrySigneToFry 5* (+84) 10
> 1726413339 744512 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139456&oldid=139455 5* 03PrySigneToFry 5* (+0) 10
> 1726413383 546106 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139457&oldid=139456 5* 03PrySigneToFry 5* (+0) 10
> 1726413401 123258 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139458&oldid=139457 5* 03Ais523 5* (+416) 10/* Copyright violations */ if it has a copyright notice that's also a reason to reject it
> 1726413500 981008 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139459&oldid=139458 5* 03PrySigneToFry 5* (+629) 10
< 1726413530 432545 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :im bored and i want to make a esolang. any ideas?
> 1726413548 332135 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139460&oldid=139459 5* 03PrySigneToFry 5* (-44) 10Fixed Span Script
< 1726413566 987579 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( go through your pages so far and improve them )
< 1726413577 467108 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :k
> 1726413594 540636 PRIVMSG #esolangs :14[[07Get there14]]4 10 02https://esolangs.org/w/index.php?diff=139461&oldid=126513 5* 03Yayimhere 5* (-18) 10/* extra things and notes */
> 1726413629 645072 PRIVMSG #esolangs :14[[07Category:Multi-dimensional-languages14]]4 10 02https://esolangs.org/w/index.php?diff=139462&oldid=129072 5* 03PrySigneToFry 5* (-84) 10
> 1726413651 220606 PRIVMSG #esolangs :14[[07Get there14]]4 10 02https://esolangs.org/w/index.php?diff=139463&oldid=139461 5* 03Yayimhere 5* (-1913) 10even I cant understand it now
> 1726413681 677317 PRIVMSG #esolangs :14[[07F uck you14]]4 10 02https://esolangs.org/w/index.php?diff=139464&oldid=139086 5* 03Yayimhere 5* (-2147) 10i don like it
> 1726413698 434064 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139465&oldid=139434 5* 03Yayimhere 5* (-31) 10/* esolangs */
> 1726413870 931901 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139466&oldid=139460 5* 03PrySigneToFry 5* (+790) 10
> 1726413888 507327 PRIVMSG #esolangs :14[[07Walls14]]4 10 02https://esolangs.org/w/index.php?diff=139467&oldid=126979 5* 03Yayimhere 5* (-4) 10
> 1726413913 386982 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139468&oldid=126516 5* 03Yayimhere 5* (-2) 10
> 1726413942 648484 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139469&oldid=139468 5* 03Yayimhere 5* (-68) 10
> 1726413949 614254 PRIVMSG #esolangs :14[[07S.B.M.F.B14]]4 10 02https://esolangs.org/w/index.php?diff=139470&oldid=139469 5* 03Yayimhere 5* (-31) 10
> 1726414031 250996 PRIVMSG #esolangs :14[[07Drunkscript14]]4 10 02https://esolangs.org/w/index.php?diff=139471&oldid=127182 5* 03Yayimhere 5* (-1891) 10nonsesical
> 1726414084 193277 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=139472&oldid=139465 5* 03Yayimhere 5* (-18) 10/* esolangs */
> 1726414162 182968 PRIVMSG #esolangs :14[[07NO(t) MORE(than)14]]4 10 02https://esolangs.org/w/index.php?diff=139473&oldid=136020 5* 03Yayimhere 5* (-91) 10/* examples */
> 1726414166 810487 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139474&oldid=139466 5* 03MihaiEso 5* (+216) 10/* Question */ new section
< 1726414463 587987 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1726414504 334172 PRIVMSG #esolangs :14[[07Gate14]]4 10 02https://esolangs.org/w/index.php?diff=139475&oldid=135604 5* 03Yayimhere 5* (+10) 10
> 1726414559 678888 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139476&oldid=139474 5* 03PrySigneToFry 5* (+737) 10
> 1726414622 545944 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139477&oldid=139476 5* 03MihaiEso 5* (+118) 10/* Question */
> 1726414775 835736 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139478&oldid=139477 5* 03PrySigneToFry 5* (+748) 10
< 1726414782 63190 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :i tried
< 1726414785 623055 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :and i became tired
< 1726414791 717777 :wWwwW!~wWwwW@94.147.203.75 PRIVMSG #esolangs :but i got to do something:)
> 1726414860 525460 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139479&oldid=139478 5* 03MihaiEso 5* (+145) 10/* Question */
> 1726415028 517830 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139480&oldid=139479 5* 03PrySigneToFry 5* (+706) 10
> 1726415057 670395 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Category:Multi-dimensional-languages10]]": a) unused/unapproved category; b) there was an attempt to make it a redirect, but redirects in category space don't work properly
< 1726415234 447201 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de JOIN #esolangs Thelie :Thelie
> 1726415440 7286 PRIVMSG #esolangs :14[[07Gift14]]4 10 02https://esolangs.org/w/index.php?diff=139481&oldid=133278 5* 03PrySigneToFry 5* (+119) 10
< 1726415836 602597 :wWwwW!~wWwwW@94.147.203.75 QUIT :Quit: Client closed
> 1726416668 950987 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=139482&oldid=137777 5* 03PrySigneToFry 5* (+771) 10/* Examples for BubbleLang */ new section
> 1726416710 110226 PRIVMSG #esolangs :14[[07248434550814]]4 N10 02https://esolangs.org/w/index.php?oldid=139483 5* 03Tommyaweosme 5* (+1585) 10Created page with "2484345508 is an esolang that is also a rickroll. == commands == Never starts line (unless its []) gonna ever + ever gonna - gonna no +- before <>.,cst xn repeats commands n times give you up > let you down < desert you . make you cry , run around c cl
< 1726418812 332657 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1726419455 321894 :impomatic!~impomatic@host86-155-106-106.range86-155.btcentralplus.com QUIT :Ping timeout: 256 seconds
< 1726421285 540218 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1726421602 14943 PRIVMSG #esolangs :14[[07Gift14]]4 M10 02https://esolangs.org/w/index.php?diff=139484&oldid=139481 5* 03PythonshellDebugwindow 5* (-119) 10Undo revision [[Special:Diff/139481|139481]] by [[Special:Contributions/PrySigneToFry|PrySigneToFry]] ([[User talk:PrySigneToFry|talk]]): It outputs "coal"; please use the talk page for questions
> 1726421744 758266 PRIVMSG #esolangs :14[[07248434550814]]4 M10 02https://esolangs.org/w/index.php?diff=139485&oldid=139483 5* 03PythonshellDebugwindow 5* (+212) 10Categories
< 1726421869 826063 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1726422148 748865 PRIVMSG #esolangs :14[[07FrontFlip14]]4 M10 02https://esolangs.org/w/index.php?diff=139486&oldid=139438 5* 03PythonshellDebugwindow 5* (+272) 10Categories
< 1726423272 463236 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1726423345 66380 PRIVMSG #esolangs :14[[0713ial14]]4 M10 02https://esolangs.org/w/index.php?diff=139487&oldid=139392 5* 03PythonshellDebugwindow 5* (+56) 10Stub, categories
< 1726426108 31511 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1726426324 871853 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1726430688 873920 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1726431158 556541 PRIVMSG #esolangs :14[[0713ial14]]4 10 02https://esolangs.org/w/index.php?diff=139488&oldid=139487 5* 03Ractangle 5* (+123) 10
> 1726431170 370346 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[0213ial10]] to [[8ial]]
> 1726431335 137751 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139491&oldid=139489 5* 03Ractangle 5* (+35) 10/* Syntax */
> 1726431378 123616 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139492&oldid=139491 5* 03Ractangle 5* (+12) 10/* Syntax */
> 1726431469 996521 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139493&oldid=139492 5* 03Ractangle 5* (+46) 10/* Syntax */
> 1726431563 751244 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139494&oldid=139493 5* 03Ractangle 5* (+67) 10/* Syntax */
> 1726431581 712566 PRIVMSG #esolangs :14[[07User:Squidmanescape14]]4 10 02https://esolangs.org/w/index.php?diff=139495&oldid=137828 5* 03Squidmanescape 5* (+154) 10/* I Don't Know How to Implement Them */
> 1726431633 863052 PRIVMSG #esolangs :14[[078ial14]]4 10 02https://esolangs.org/w/index.php?diff=139496&oldid=139494 5* 03Ractangle 5* (+37) 10/* Syntax */
> 1726434481 457144 PRIVMSG #esolangs :14[[07Pathana14]]4 N10 02https://esolangs.org/w/index.php?oldid=139497 5* 03Squidmanescape 5* (+1738) 10Created page with "Pathana is a programming language which is based on [[Malbolge]]. == Name == In the [https://en.wikipedia.org/wiki/Naraka_(Hinduism)#Number_and_names Manu Smriti], there are 21 levels of hell mentioned, the 17th of which is called Pathana. This name is a referen
> 1726434657 104010 PRIVMSG #esolangs :14[[078ial14]]4 M10 02https://esolangs.org/w/index.php?diff=139498&oldid=139496 5* 03PythonshellDebugwindow 5* (+70) 10Categories
> 1726435969 265726 PRIVMSG #esolangs :14[[07StatiC14]]4 10 02https://esolangs.org/w/index.php?diff=139499&oldid=139094 5* 03Squidmanescape 5* (+31) 10
> 1726435987 654673 PRIVMSG #esolangs :14[[07Pathana14]]4 10 02https://esolangs.org/w/index.php?diff=139500&oldid=139497 5* 03Squidmanescape 5* (+27) 10
< 1726436084 417909 :sprock!~sprock@user/sprock QUIT :Ping timeout: 252 seconds
< 1726436273 268765 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1726437398 928706 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
> 1726438101 247952 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zecav 5* 10New user account
> 1726438835 868445 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=139501&oldid=139166 5* 03Zecav 5* (+294) 10/* Introductions */
< 1726440625 555497 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1726442374 403021 :Thelie!~Thelie@214-110-035-185.ip-addr.vsenet.de QUIT :Ping timeout: 260 seconds
> 1726443748 246507 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139502&oldid=139453 5* 03PrySigneToFry 5* (+131) 10
> 1726444100 541891 PRIVMSG #esolangs :14[[07BubbleLang/Examples14]]4 N10 02https://esolangs.org/w/index.php?oldid=139503 5* 03PrySigneToFry 5* (+957) 10I might I need to re-create it, but I'll not to violate the rule.
> 1726444225 550073 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=139504&oldid=139480 5* 03PrySigneToFry 5* (+733) 10
> 1726444308 698835 PRIVMSG #esolangs :14[[07BubbleLang14]]4 10 02https://esolangs.org/w/index.php?diff=139505&oldid=139502 5* 03PrySigneToFry 5* (+80) 10
> 1726444413 983951 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=139506&oldid=139482 5* 03PrySigneToFry 5* (+735) 10/* Is this appropriate? */ new section