> 1620000161 783546 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82572&oldid=82564 5* 03Monika-Trenholme 5* (+366) 10/* Introductions */
> 1620000213 489971 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82573&oldid=82572 5* 03Monika-Trenholme 5* (-120) 10/* Introductions */
> 1620000665 68759 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03RXVT100 5*  10New user account
> 1620000701 518461 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82574&oldid=82573 5* 03RXVT100 5* (+3) 10/* Introductions */
> 1620000818 805281 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=82575&oldid=82574 5* 03RXVT100 5* (+78) 10/* Introductions */
> 1620000942 548255 PRIVMSG #esoteric :14[[07User:RXVT10014]]4 N10 02https://esolangs.org/w/index.php?oldid=82576 5* 03RXVT100 5* (+77) 10Created page with "~~~~"
> 1620001032 739593 PRIVMSG #esoteric :14[[07User:RXVT10014]]4 10 02https://esolangs.org/w/index.php?diff=82577&oldid=82576 5* 03RXVT100 5* (+316) 10
< 1620002495 797172 :Sgeo_!~Sgeo@ool-18b9875e.dyn.optonline.net JOIN :#esoteric
< 1620002553 16298 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net QUIT :Ping timeout: 240 seconds
< 1620007176 413067 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :why do the BCKW combinators carry an extra `x` parameter around? for convenience?
< 1620007267 894949 :RXVT100!~affdd@209.58.142.134 JOIN :#esoteric
< 1620007315 621925 :RXVT100!~affdd@209.58.142.134 QUIT :Client Quit
< 1620007448 892387 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Hmmm
> 1620008462 577495 PRIVMSG #esoteric :14[[07User:Zzo38/Programming languages with unusual features14]]4 10 02https://esolangs.org/w/index.php?diff=82578&oldid=82570 5* 03Zzo38 5* (+1551) 10
< 1620011186 857116 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't know why, but maybe it is needed I don't know
< 1620013816 42520 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :seems like a lot of the reasoning behind the different combinators comes down to "requirements", but deducing these requirements and the intuition behind them is something to be reverse engineered.
< 1620015614 342438 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, maybe it is (unless it is documented already).
< 1620015701 735571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which ones have an extra parameter?
< 1620015722 501082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems necessary to me in all four cases.
< 1620015742 456707 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :why? if you omit `x`, it's still a valid combinator set. B denotes application but the rest just denote adjacency.
< 1620015770 737662 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, I also thought probably it is, although I have not proved it at this time either way (I have not tried, though).
< 1620015774 23669 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://doisinkidney.com/posts/2020-10-17-ski.html literally the only article I have found on a BCKW formulation without that first parameter.
< 1620015839 130918 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are you suggesting for the non-x versions?
< 1620015852 567397 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :just omitting the `x` like the article.
< 1620015863 493085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I see, you were actually thinking of using M instead of W.
< 1620015865 273883 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :though I don't know why `Axy -> y`.
< 1620015888 56398 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :maybe I'm missing something but the equivalent should be, what, `Axy -> x`?
< 1620015897 516223 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :
ACTION shrugs.

< 1620015910 11662 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :or maybe just... `Ax -> `
< 1620015922 707866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what that latter one means.
< 1620015928 406540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, I think of these functions as trying to accomplish a specific goal, I guess.
< 1620015946 553167 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the latter one is "A applied to some x deletes x."
< 1620015950 428982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Corresponding to things you can do in logic.
< 1620015959 103440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But is A a function here, or what?
< 1620015964 74603 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :duplication, argument reordering (swapping, in this case), deletion, and composition.
< 1620015967 143399 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :A is a combinator.
< 1620015991 694480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is a combinator in this context? Not a thing you can write as a lambda term?
< 1620015995 619175 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :as shown in the article. don't know why it's Axy -> y and not Ax -> :nil:.
< 1620016002 256746 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :combinator as in the combinatory calculus.
< 1620016015 218131 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :combinatory logic.
< 1620016089 367333 :Sgeo_!~Sgeo@ool-18b9875e.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1620016103 479656 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what this is in this usage. Some sort of rewriting system?
< 1620016492 747925 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Presumably due to the structure is why it is not "Ax -> :nil:" I suppose
< 1620016560 332198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, maybe looking at the types explains why I think these are more natural.
< 1620016582 363046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :w : (a -> a -> b) -> (a -> b)
< 1620016594 851471 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm surprised you've not heard of combinatory logic before, shachaf.
< 1620016598 381209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :const : b -> (a -> b)
< 1620016629 112262 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I don't read intuition behind type signatures.
< 1620016629 413885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have heard of combinatory logic. But not in a context that allows "Ax -> ".
< 1620016643 353970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, M doesn't even have a type, is one argument against it.
< 1620016673 836355 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I don't think types dictate the intutition or requirements behind these.
< 1620016695 118325 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :but, what do I know.
< 1620016977 448265 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net JOIN :#esoteric
< 1620017120 975682 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Do you like the Magic: the Gathering card that I had made up?   {?} Instant ;; Two target permanents copy each other. Exchange control of those permanents.    It doesn't seems like much, but actually there is a lot of things that it can do.
< 1620017659 943053 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :re BCKW, ideally https://esolangs.org/wiki/Combinatory_logic#BCKW_calculus should tell how to translate lambda calculus to BCKW directly, rather than just the more opaque equivalence with SKI. the direct translation gives an intuition of why BCKW is convenient. I only realized that after thinking about Amicus, which has a built-in B combinator
< 1620017821 313474 :b_jonas!~a@catv-176-63-11-223.catv.broadband.hu PRIVMSG #esoteric :but it probably makes more sense with multi-variable functions like Amicus and FP have
< 1620020269 531076 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1620021375 419276 :xkapastel!uid17782@gateway/web/irccloud.com/x-snhwmajxzbdruiic QUIT :Quit: Connection closed for inactivity
> 1620022243 998696 PRIVMSG #esoteric :14[[07Grain14]]4 10 02https://esolangs.org/w/index.php?diff=82579&oldid=82078 5* 03Ais523 5* (-10) 10per policy, make sure that the User: prefix on links to userspace is visilbe
< 1620024076 523933 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net QUIT :Read error: Connection reset by peer
> 1620024183 107278 PRIVMSG #esoteric :14[[07NDBall14]]4 10 02https://esolangs.org/w/index.php?diff=82580&oldid=82563 5* 03Aspwil 5* (+42) 10/* Truth machine */
> 1620028187 683582 PRIVMSG #esoteric :14[[07User talk:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=82581&oldid=77359 5* 03TwilightSparkle 5* (+139) 10
< 1620029246 750892 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1620029373 800470 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds
< 1620030430 653377 :LKoen!~LKoen@213.166.9.109.rev.sfr.net JOIN :#esoteric
< 1620038889 770201 :ArthurStrong!~ArthurStr@178-133-25-66.mobile.vf-ua.net JOIN :#esoteric
> 1620041400 151471 PRIVMSG #esoteric :14[[07User talk:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=82582&oldid=82581 5* 03SunnyMoon 5* (+154) 10Yay!
< 1620041408 518800 :ArthurStrong!~ArthurStr@178-133-25-66.mobile.vf-ua.net QUIT :Quit: leaving
< 1620041888 16022 :LKoen!~LKoen@213.166.9.109.rev.sfr.net QUIT :Remote host closed the connection
< 1620048624 788881 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1620048892 345394 :LKoen!~LKoen@213.166.9.109.rev.sfr.net JOIN :#esoteric
< 1620049965 692808 :int-e!~noone@int-e.eu QUIT :Ping timeout: 265 seconds
< 1620050049 869981 :int-e!~noone@int-e.eu JOIN :#esoteric
> 1620051645 680937 PRIVMSG #esoteric :14[[07$tonePits14]]4 10 02https://esolangs.org/w/index.php?diff=82583&oldid=62875 5* 03SunnyMoon 5* (-17) 10little bit of cleanup
< 1620051917 794071 :ArthurStrong!~ArthurStr@178-133-25-66.mobile.vf-ua.net JOIN :#esoteric
> 1620052308 371340 PRIVMSG #esoteric :14[[07((?)?)?14]]4 10 02https://esolangs.org/w/index.php?diff=82584&oldid=75488 5* 03SunnyMoon 5* (+0) 10Croup is a terrible disease
> 1620052358 814310 PRIVMSG #esoteric :14[[07((?)?)?14]]4 M10 02https://esolangs.org/w/index.php?diff=82585&oldid=82584 5* 03SunnyMoon 5* (-1) 10Nice language by the way
> 1620052451 751363 PRIVMSG #esoteric :14[[07((?)?)?14]]4 M10 02https://esolangs.org/w/index.php?diff=82586&oldid=82585 5* 03SunnyMoon 5* (+0) 10Casting spells never was such a good job
< 1620052583 613071 :Sgeo!~Sgeo@ool-18b9875e.dyn.optonline.net JOIN :#esoteric
< 1620053228 562174 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1620053232 786214 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1620053627 212282 :ArthurStrong!~ArthurStr@178-133-25-66.mobile.vf-ua.net QUIT :Quit: leaving
< 1620053889 19016 :LKoen!~LKoen@213.166.9.109.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
> 1620054950 867062 PRIVMSG #esoteric :14[[07StupidStackLanguage14]]4 10 02https://esolangs.org/w/index.php?diff=82587&oldid=81321 5* 03Lebster 5* (+119) 10
< 1620057082 853760 :kspalaiologos!~kspalaiol@176.221.122.179 JOIN :#esoteric
< 1620057733 260763 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving
> 1620057907 495229 PRIVMSG #esoteric :14[[07Probablyfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=82588&oldid=78231 5* 03Rdococ 5* (-9) 10/* Implementation details and computational class */ remove weasel word
< 1620058016 933123 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1
< 1620058050 838672 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1620058123 288841 :kspalaiologos!~kspalaiol@176.221.122.179 QUIT :Quit: Leaving
> 1620058331 621112 PRIVMSG #esoteric :14[[07User:Tha Cuber14]]4 10 02https://esolangs.org/w/index.php?diff=82589&oldid=81303 5* 03Tha Cuber 5* (+10) 10
< 1620058368 174381 :LKoen!~LKoen@213.166.9.109.rev.sfr.net JOIN :#esoteric
> 1620059654 373491 PRIVMSG #esoteric :14[[07Super Stack!14]]4 10 02https://esolangs.org/w/index.php?diff=82590&oldid=65552 5* 03Aanastasiou 5* (+224) 10/* Added the links towards the Super Stack! Digirule implementation. */
< 1620061004 337963 :xkapastel!uid17782@gateway/web/irccloud.com/x-evatdfdmbvnxvhjg JOIN :#esoteric
> 1620062292 197594 PRIVMSG #esoteric :14[[07((?)?)?14]]4 M10 02https://esolangs.org/w/index.php?diff=82591&oldid=82586 5* 03SunnyMoon 5* (+248) 10Spelling
> 1620062692 236259 PRIVMSG #esoteric :14[[07((?)?)?14]]4 M10 02https://esolangs.org/w/index.php?diff=82592&oldid=82591 5* 03SunnyMoon 5* (-3) 10Well I am also bad at speling
> 1620063071 129566 PRIVMSG #esoteric :14[[07Symbols14]]4 10 02https://esolangs.org/w/index.php?diff=82593&oldid=73082 5* 03SunnyMoon 5* (-10) 10It is preferred if you write this this way
> 1620063187 283560 PRIVMSG #esoteric :14[[07Talk:Symbols14]]4 N10 02https://esolangs.org/w/index.php?oldid=82594 5* 03SunnyMoon 5* (+206) 10I know the creator probably will never come back
> 1620063642 326717 PRIVMSG #esoteric :14[[07Backsharp14]]4 M10 02https://esolangs.org/w/index.php?diff=82595&oldid=82430 5* 03Threesodas 5* (+3) 10/* IO functionality */
< 1620071601 966528 :LKoen!~LKoen@213.166.9.109.rev.sfr.net QUIT :*.net *.split
< 1620071601 966585 :imode!~imode@unaffiliated/imode QUIT :*.net *.split
< 1620071602 299054 :moony!moony@hellomouse/dev/moony QUIT :*.net *.split
< 1620071602 299101 :sprock!~sprocklem@unaffiliated/sprocklem QUIT :*.net *.split
< 1620071602 299113 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split
< 1620071602 856742 :mla!~mla@162.253.176.229 QUIT :*.net *.split
< 1620071602 856911 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :*.net *.split
< 1620071705 895538 :LKoen!~LKoen@213.166.9.109.rev.sfr.net JOIN :#esoteric
< 1620071706 8376 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1620071706 8415 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1620071706 8422 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1620071706 8440 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric
< 1620071706 8447 :mla!~mla@162.253.176.229 JOIN :#esoteric
< 1620071706 8461 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric
< 1620071717 647750 :moony!moony@hellomouse/dev/moony QUIT :Max SendQ exceeded
< 1620071717 647806 :LKoen!~LKoen@213.166.9.109.rev.sfr.net QUIT :Max SendQ exceeded
< 1620071747 580071 :LKoen!~LKoen@213.166.9.109.rev.sfr.net JOIN :#esoteric
< 1620071877 704397 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1620073909 122459 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Will fopencookie be standardized in future? I think that it is useful, and my own library for computing hashes uses it.  int fosimp_hash_stream(int alg,FILE*echo,Fosimp_Hash*hash,FILE**fp);  There is also the convenience function to wrap it:  int fosimp_hash(int alg,const unsigned char*data,size_t len,Fosimp_Hash*hash);
< 1620074718 197380 :LKoen!~LKoen@213.166.9.109.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
> 1620076422 368497 PRIVMSG #esoteric :14[[07User:1hals/subleq.py14]]4 N10 02https://esolangs.org/w/index.php?oldid=82596 5* 031hals 5* (+2870) 10create
> 1620076447 458687 PRIVMSG #esoteric :14[[07User:1hals14]]4 10 02https://esolangs.org/w/index.php?diff=82597&oldid=81059 5* 031hals 5* (+42) 10
> 1620076989 871537 PRIVMSG #esoteric :14[[07Backwords14]]4 10 02https://esolangs.org/w/index.php?diff=82598&oldid=81456 5* 031hals 5* (-8) 10chainge intro paragraph wording
> 1620077336 391995 PRIVMSG #esoteric :14[[07Backwords14]]4 10 02https://esolangs.org/w/index.php?diff=82599&oldid=82598 5* 031hals 5* (+99) 10/* Hello World */ add example
< 1620077618 482167 :big_caballito!~bcbo@184.53.33.50 QUIT :Read error: Connection reset by peer
< 1620077782 928159 :big_caballito!~bcbo@184.53.33.54 JOIN :#esoteric
< 1620079485 800601 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds
< 1620079630 812461 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1620080428 904850 :TheLie!~TheLie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN :#esoteric
< 1620082454 568351 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 JOIN :#esoteric
< 1620082489 727231 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :esolangs
< 1620082505 418071 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :What about the esolangs?
< 1620082517 61210 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :they're esoteric
< 1620082561 860603 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, but I hoped you would have some more comments than just that
< 1620082581 190153 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :ok
< 1620082784 218385 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :theres an esolang for minecraft but not for roblox
< 1620082796 658187 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :(as far as i know)
< 1620082804 962275 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :If you know how to invent one, you can try to do so.
< 1620082812 247359 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric :i do not
< 1620082829 49736 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 PRIVMSG #esoteric ::(
< 1620082904 853750 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 QUIT :Quit: Leaving
< 1620084352 620801 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 252 seconds
< 1620084608 702406 :TheLie!~TheLie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 QUIT :Remote host closed the connection
< 1620085979 897633 :ItzzMe!~Itzz@2601:249:c080:7c30:7025:9a1:7a52:3a35 JOIN :#esoteric
> 1620086334 279576 PRIVMSG #esoteric :14[[07Talk:Symbols14]]4 M10 02https://esolangs.org/w/index.php?diff=82600&oldid=82594 5* 03PythonshellDebugwindow 5* (+203) 10Reply