< 1745972568 994223 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1745973813 696265 PRIVMSG #esolangs :14[[07Horse/Implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=156908&oldid=156905 5* 03RainbowDash 5* (+409) 10Negatives and comments > 1745976724 768623 PRIVMSG #esolangs :14[[07Lythnology/Implementations14]]4 N10 02https://esolangs.org/w/index.php?oldid=156909 5* 03RainbowDash 5* (+13401) 10Created page with "Python (Made by Claude AI)
 import random import sys  def number_to_words(n):     ones = ["", "ONE", "TWO", "THREE", "FOUR", "FIVE", "SIX", "SEVEN", "EIGHT", "NINE"]     teens = ["TEN", "ELEVEN", "TWELVE", "THIRTEEN", "FOURTEEN", "FIFTEEN", 
> 1745976798 78338 PRIVMSG #esolangs :14[[07Lythnology14]]4 M10 02https://esolangs.org/w/index.php?diff=156910&oldid=156632 5* 03RainbowDash 5* (+51) 10
> 1745976813 173098 PRIVMSG #esolangs :14[[07Lythnology14]]4 M10 02https://esolangs.org/w/index.php?diff=156911&oldid=156910 5* 03RainbowDash 5* (+0) 10
> 1745977177 758319 PRIVMSG #esolangs :14[[07Lythnology14]]4 10 02https://esolangs.org/w/index.php?diff=156912&oldid=156911 5* 03RainbowDash 5* (+215) 10update generals
< 1745978564 782753 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her)
< 1745984424 695295 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1745984480 424987 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1745989610 382358 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection
< 1745989807 154176 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal
> 1745991865 540819 PRIVMSG #esolangs :14[[07Assembely14]]4 10 02https://esolangs.org/w/index.php?diff=156913&oldid=156834 5* 03Stkptr 5* (+82) 10
< 1745993172 917176 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 JOIN #esolangs * :Textual User
> 1745994592 825406 PRIVMSG #esolangs :14[[07Zaddy14]]4 10 02https://esolangs.org/w/index.php?diff=156914&oldid=156564 5* 03Corbin 5* (+465) 10After multiple nights of struggle, I got packrat PEGs to work.
> 1745994738 202692 PRIVMSG #esolangs :14[[07Zaddy14]]4 M10 02https://esolangs.org/w/index.php?diff=156915&oldid=156914 5* 03Corbin 5* (+216) 10/* Binding-time Hoare logic */ Fill out reference to The Book. The PDF is freely available.
< 1745995210 813198 :Ae`!Ae@linux.touz.org JOIN #esolangs * :Ae
< 1745995234 696955 :Ae!Ae@linux.touz.org QUIT :Ping timeout: 260 seconds
< 1745995235 506424 :Ae`!Ae@linux.touz.org NICK :Ae
> 1745996090 896756 PRIVMSG #esolangs :14[[07Inject14]]4 10 02https://esolangs.org/w/index.php?diff=156916&oldid=80679 5* 03Stkptr 5* (-12) 10See Iterated regex for arguments for TC
< 1745997402 698540 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1745997748 539302 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1745997777 934641 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 248 seconds
< 1745997834 861692 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1745997928 99695 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745998294 183192 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 JOIN #esolangs * :Textual User
< 1745999004 733798 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745999207 461242 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 JOIN #esolangs * :Textual User
< 1746002470 287326 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1746004761 542539 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 JOIN #esolangs * :Textual User
> 1746008105 719224 PRIVMSG #esolangs :14[[07Rewind14]]4 10 02https://esolangs.org/w/index.php?diff=156917&oldid=156822 5* 03JIT 5* (+43) 10
> 1746008478 231239 PRIVMSG #esolangs :14[[07Rinuk14]]4 10 02https://esolangs.org/w/index.php?diff=156918&oldid=154153 5* 03JIT 5* (+64) 10
> 1746009730 552461 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Leon.12 5*  10New user account
< 1746010969 877270 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1746011368 265737 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=156919&oldid=156899 5* 03JHSHernandez-ZBH 5* (+14) 10
< 1746011577 427545 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1746012316 208140 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1746013004 500723 :Thelie!~Thelie@2a0a-a543-4fd6-0-d96b-3d4e-38bd-fb53.ipv6dyn.netcologne.de JOIN #esolangs * :Thelie
< 1746013695 702849 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :question. is https://esolangs.org/wiki/Mlatu equivalent to Underload without the S builtin and with different names for the other builtins? or is there some difference that I'm not seeing?
< 1746013952 211628 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :hmm, apparently there's a separate https://esolangs.org/wiki/Mlatu and https://esolangs.org/wiki/Mlatu-6 which differ in order of evaluation, so maybe Mlatu differs from Underload in its evaluation order too? but I'm not sure if that matters
< 1746014038 187353 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I'm also somewhat bothered by how the < and > builtins in Mlatu are named backwards compared to the same builtins in J the APL-like
< 1746014112 748318 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I guess I'll ask on the wiki too
> 1746014518 901757 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 N10 02https://esolangs.org/w/index.php?oldid=156920 5* 03B jonas 5* (+372) 10Relation to Underload
< 1746014694 760336 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1746014726 27001 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156921&oldid=156920 5* 03B jonas 5* (+264) 10
> 1746014744 210875 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156922&oldid=156921 5* 03B jonas 5* (+0) 10
> 1746014910 256331 PRIVMSG #esolangs :14[[07Forthrooms14]]4 10 02https://esolangs.org/w/index.php?diff=156923&oldid=156902 5* 03TenBillionPlusOne 5* (+1367) 10
< 1746014914 217540 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1746014971 332278 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ok, so mlatu lets you define new symbols and arbitrary term rewriting rules for sequences of them, so it's more powerful, but still I'd like to understand the relationship between it and Underload because the wiki articles don't seem to mention anything
< 1746015063 831865 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :pinging ais523 on this for obvious reasons
> 1746015066 166434 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne14]]4 10 02https://esolangs.org/w/index.php?diff=156924&oldid=156765 5* 03TenBillionPlusOne 5* (+74) 10/* My esolangs */
> 1746015157 159344 PRIVMSG #esolangs :14[[07Forthrooms14]]4 M10 02https://esolangs.org/w/index.php?diff=156925&oldid=156923 5* 03TenBillionPlusOne 5* (-14) 10
< 1746015196 346084 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :also https://esolangs.org/wiki/Mlatu links to https://esolangs.org/wiki/Concatenative_calculus which explains the Underload-like subset but then also mentions lambdas, so that might be an interesting language too, and then this links to http://tunes.org/~iepos/joy.html which talks about the same thing but is older than Underload
> 1746015393 679398 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=156926&oldid=156919 5* 03TenBillionPlusOne 5* (+10) 10/* Non-alphabetic */
> 1746015615 625384 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=156927&oldid=156926 5* 03TenBillionPlusOne 5* (+17) 10/* F */
> 1746015760 468055 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=156928&oldid=156927 5* 03TenBillionPlusOne 5* (+18) 10/* I */
> 1746015791 622936 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156929&oldid=156922 5* 03B jonas 5* (+258) 10
> 1746016454 313268 PRIVMSG #esolangs :14[[07Talk:Underload14]]4 10 02https://esolangs.org/w/index.php?diff=156930&oldid=150296 5* 03B jonas 5* (+355) 10/* Relation to mlatu */ new section
> 1746016492 771241 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156931&oldid=156929 5* 03B jonas 5* (+29) 10heading
> 1746016559 858841 PRIVMSG #esolangs :14[[07Talk:Underload14]]4 10 02https://esolangs.org/w/index.php?diff=156932&oldid=156930 5* 03B jonas 5* (+36) 10/* Relation to mlatu */
< 1746017274 436006 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`olist 1324
< 1746017277 622842 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
< 1746018635 759765 :gry!~gry@botters/gry PRIVMSG #esolangs :ehat?
< 1746018667 766810 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :feel free
< 1746018952 774546 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :``` : "oh, you're asking what the olist is."; \? olist
< 1746018956 78357 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html
< 1746019037 9964 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :this is an update notification list that has been operating for quite a long time but isn't automated
< 1746019573 221104 :impomatic!~impomatic@2a00:23c7:5fc9:5401:ec68:4c33:1dc7:d036 JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1746019662 264998 :int-e!~noone@int-e.eu PRIVMSG #esolangs :https://research.ibm.com/haifa/ponderthis/challenges/May2025.html looks very challenging ;-) (right now)
< 1746019817 70278 :int-e!~noone@int-e.eu PRIVMSG #esolangs :wib_jonas: I'm not sure that's accurate; OOTS does have an RSS feed.
< 1746019864 730379 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So the list is *redundant* for that purpose. But... it serves (or at least used to serve) a social purpose.
< 1746020595 864835 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Sorry for explaining the obvious. But at least I'm not the only one doing that here. :-)
< 1746021143 401229 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yes, I mean we don't have an automated method of triggering the olist notification here, not that it couldn't be automated
< 1746021186 852159 :int-e!~noone@int-e.eu PRIVMSG #esolangs :but then you'd lose the signaling effect (one person interested in the thing is currently "awake")
> 1746021533 93232 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156933&oldid=156931 5* 03Stkptr 5* (+391) 10
> 1746021789 462765 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156934&oldid=156635 5* 03Stkptr 5* (+149) 10/* Languages */
> 1746022612 310743 PRIVMSG #esolangs :14[[07Intolerant14]]4 10 02https://esolangs.org/w/index.php?diff=156935&oldid=74811 5* 03Stkptr 5* (+229) 10
< 1746024979 532858 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1746025829 367660 PRIVMSG #esolangs :14[[07Br greater than14]]4 10 02https://esolangs.org/w/index.php?diff=156936&oldid=147268 5* 03 5* (+189) 10Added new commands and a Fibonacci machine
< 1746029118 205860 :impomatic!~impomatic@2a00:23c7:5fc9:5401:ec68:4c33:1dc7:d036 QUIT :Ping timeout: 240 seconds
> 1746032876 177728 PRIVMSG #esolangs :14[[07Concatenative language14]]4 10 02https://esolangs.org/w/index.php?diff=156937&oldid=88193 5* 03Corbin 5* (+458) 10Copy a listing from [[concatenative calculus]].
> 1746033115 231329 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156938&oldid=156934 5* 03Corbin 5* (+139) 10This page really has to say "monoid" at some point. Fix opening paragraph, cite Von Thun, and fix up language list. I will propose a new language category.
> 1746033662 920447 PRIVMSG #esolangs :14[[07Esolang talk:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=156939&oldid=156559 5* 03Corbin 5* (+694) 10/* Monoids */ We have more than a few such languages now!
> 1746033720 25639 PRIVMSG #esolangs :14[[07User:Aadenboy/Single value arbitrary memory emulation14]]4 N10 02https://esolangs.org/w/index.php?oldid=156940 5* 03Aadenboy 5* (+2232) 10not sure if this is appropriate for mainspace so it'll be here instead
> 1746034581 324565 PRIVMSG #esolangs :14[[07Concatenative language14]]4 10 02https://esolangs.org/w/index.php?diff=156941&oldid=156937 5* 03Corbin 5* (-46) 10Try a little harder. Still not a fan of this page.
> 1746034732 555532 PRIVMSG #esolangs :14[[07User:Aadenboy/Single value arbitrary memory emulation14]]4 10 02https://esolangs.org/w/index.php?diff=156942&oldid=156940 5* 03Aadenboy 5* (-4) 10fix equation
> 1746034798 156719 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Aadenboy 5*  10moved [[02User:Aadenboy/Single value arbitrary memory emulation10]] to [[Arbitrary memory emulation]]: eh, why not. mainspace it is. someone can move it back if it's not appropriate, though I think it could have use for computation given limited registers
> 1746035539 294544 PRIVMSG #esolangs :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=156945&oldid=150873 5* 03B jonas 5* (+467) 10/* Todo */
> 1746035830 232362 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=156946&oldid=156877 5* 03Aadenboy 5* (+153) 10article
> 1746035839 193104 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 M10 02https://esolangs.org/w/index.php?diff=156947&oldid=156946 5* 03Aadenboy 5* (+0) 10/* ARTICLES */
> 1746036573 624395 PRIVMSG #esolangs :14[[07Moed14]]4 10 02https://esolangs.org/w/index.php?diff=156948&oldid=155228 5* 03Dhzb 5* (+48) 10/* Computational class */
> 1746036662 813355 PRIVMSG #esolangs :14[[07Moed14]]4 M10 02https://esolangs.org/w/index.php?diff=156949&oldid=156948 5* 03Dhzb 5* (+4) 10/* Computational class */
< 1746036801 201797 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1746036819 678733 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: mlatu appears to have all Underload's commands as builtins, but also to support custom pattern matches
< 1746036833 152628 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :mlatu-6 is Underload with a different evaluation order
< 1746036839 298451 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(ignoring S in both cases)
< 1746036961 641310 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : The reason why this is fun is that determining the ranking is as hard as solving the graph isomorphism problem. ← graph isomorphism (as opposed to subgraph isomorphism) isn't NP-complete, is it?
< 1746037141 298707 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :interestingly mlatu picked the same concatenation order as Underload did – both orders are useful and I mentally treat ~* as a single combinator when programming Underload
< 1746037151 432401 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :i.e. (a)(b)* = (ab) and (a)(b)~* = (ba)
< 1746037439 229600 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: graph isomorphism probably isn't NP-complete. we don't know a polynomial time algorithm for it, but some people conjecture that there is such an algorithm. 
< 1746037471 421695 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, OK, and this is a different "probably" from "P probably ≠ NP"
< 1746037573 728350 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: there's also http://tunes.org/~iepos/joy.html which starts from the six underload primitives plus two more primitives that you can define from them, namely cons which would be ~a~* in underload, and dip which would be ~a*^ in underload, https://esolangs.org/wiki/Mlatu-6#Kerby_Combinators gives these translations in Mlatu notation
< 1746037712 947325 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: as far as I can see, there's a common core which is Underload without the S command; Underload is this core plus the S command plus the evaluation order defined well enough that S prints in a meaningful order; mlatu is this core plus the user-defined replacement rules that can match only sequences of symbols; Mlatu-6 is this core language but with a different evaluation order; and 
< 1746037719 227738 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :http://tunes.org/~iepos/joy.html is this core plus lambda abstraction, which is interesting because I hadn't even realized that you can put lambda abstraction into this;
< 1746037785 343351 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Joy predates Underload, I think (although I don't think I personally learned about it until after creating Underload)
< 1746037797 862541 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, that article is dated 2002
< 1746037811 443874 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, you can definitely do lambda abstraction semantically in Underload, just not syntactically
< 1746037834 454517 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a lot of my Underload programs are mentally compiled from lambda calculus
< 1746037850 218669 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also I think https://esolangs.org/wiki/GML has the parenthesis and lambda abstraction from Joy, and you can define the Underload primitives from those
< 1746037924 74473 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, but these are more general than lambda calculus because an Underload expression can push or pop a variable number of items from the stack
< 1746037935 273866 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :indeed
< 1746037938 983274 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :though on the other hand lambda calculus guarantees that you won't run into stack underflow
< 1746037975 283047 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and what surprised me is that you can extend the more general language with lambda abstractions, even though in retrospect I should perhaps have known it because of the GML subset
< 1746037986 250508 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :many Underload programs are implemented in a strict lambda-calculus-like sort of way where the number of stack elements consumed is static, but some aren't
> 1746038054 718283 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=156950&oldid=156597 5* 03Hotcrystal0 5* (+113) 10
< 1746038065 268552 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh, and GML is from 2000, though this idea of concatenative calculus is likely even older than that
< 1746038084 57344 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although, a while ago I was talking about a stack representation in lambda calculus in which the stack takes a function as argument, and applies it that function to the top element, its return value to the second element, that's return value to the third element, and so on
< 1746038099 157567 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that reminds me quite a lot of the Underload stack
< 1746038118 394584 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 JOIN #esolangs * :Textual User
< 1746038144 65684 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :s/it that function/that function/
< 1746038182 521537 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :anyway, we should document this on the wiki because there are theorems that the Mlatu-6 page or the Joy article mentions but the Underload page doesn't and vice versa. in particular http://tunes.org/~iepos/joy.html#sk gives multiple different small bases
> 1746038268 246401 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=156951&oldid=156950 5* 03Hotcrystal0 5* (+250) 10why do I keep on [[f]]orgetting to sign the page
< 1746038322 206225 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: cons is weird, I don't think I've ever needed ~a~* in Underload
< 1746038334 619864 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but dip is very useful, I mentally abbreviate ~a*^ to _
< 1746038342 904721 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and the Underload page mentions that you can write swap from the other primitives, whereas the other pages don't seem to mention this -- http://tunes.org/~iepos/joy.html#swap eliminates swap but only because it uses dip and cons instead, and it's not obvious why you can write those with just the other five underload primitives
< 1746038372 777872 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it isn't obvious to me either, even though I worked one of the swap implementations by myself
< 1746038385 117303 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :both oerjan and I made attempts at golfing it
> 1746039100 610448 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156952&oldid=156933 5* 03B jonas 5* (+231) 10
< 1746039228 360417 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: https://esolangs.org/w/index.php?title=Underload&diff=prev&oldid=31122 contains ~a~*
< 1746039448 935125 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Maybe it's time for me to somehow unwind https://esolangs.org/wiki/Cammy/Bikeshed into a more useful page. [[Concatenative language]] is a start, and so is [[concatenative calculus]].
< 1746039517 658644 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I do *not* know whether Kerby or Von Thun knew of each other's work. Von Thun is no longer able to do mathematics or communicate, and nothing in their writings includes Kerby, so I'd guess that they were independent.
< 1746039591 766460 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Maybe we need a dedicated page for Kerby's combinators.
< 1746039848 493034 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I get no credit here, it's all sodium hydroxide
< 1746039848 572148 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Now with patented pain spots where you probably splashed yourself!
< 1746039848 598967 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Honestly in a regulatory sense this stuff should come with vinegar
< 1746039851 32940 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :argh
< 1746039858 101223 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :mispaste
< 1746039863 79636 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :https://esolangs.org/wiki/Concatenative_calculus
< 1746039871 816289 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: ^ that's the page for Kerby's combinators
< 1746040217 131407 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: I guess. It's certainly a page that is focused on Kerby's combinators.
< 1746040412 340683 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :as for the lambda abstractions, in GML /x x does nothing, so what the Joy article writes as \x ... x ... you have to rewrite as /x ... x apply ... into GML, because apply is the Underload ^ operator. and in the other direction, GML's /x ... x ... you'd have to rewrite to \x ... [x] ...
< 1746040451 901398 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :no sorry, the Joy lambda puts the backslash after the variable name
< 1746040531 229916 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so Joy x\ ... x ... is equivalent to GML /x ... x apply ..., while GML /x ... x ... would rewrite to x\ ... [x] ...
> 1746043100 335216 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=156953&oldid=156855 5* 03Zhil 5* (-459) 10Fixed sap being incorrect
> 1746043227 673905 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=156954&oldid=156953 5* 03Zhil 5* (+8) 10
> 1746043345 747475 PRIVMSG #esolangs :14[[07Arbitrary memory emulation14]]4 10 02https://esolangs.org/w/index.php?diff=156955&oldid=156943 5* 03Aadenboy 5* (-31) 10better definition
< 1746043539 13551 :Thelie!~Thelie@2a0a-a543-4fd6-0-d96b-3d4e-38bd-fb53.ipv6dyn.netcologne.de QUIT :Remote host closed the connection
< 1746045179 898718 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: I think you're right, yeah. The lambda-abstracted combinators are tricky for me and I try not to use them. I prefer the category that treats x\x as identity, and Kerby's `i` combinator does that just fine.
< 1746045811 865232 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1746045948 68666 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1746046396 51629 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1746047797 3454 :tromp!~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1746048130 64139 :APic!apic@apic.name PRIVMSG #esolangs :GOod Night
> 1746051112 151380 PRIVMSG #esolangs :14[[07VirtualGameCard14]]4 N10 02https://esolangs.org/w/index.php?oldid=156956 5* 03PurplrIsSus1985 5* (+1467) 10Created page with "'''VirtualGameCard''' (also known as '''VGC''') is an esoteric programming language based on the Nintendo Switch's Virtual Game Cards.  == Overview == In VGC, each cell takes the form of a game card, and each array is a Nintendo Switch. The commands are:
> 1746051683 830934 PRIVMSG #esolangs :14[[07VirtualGameCard14]]4 10 02https://esolangs.org/w/index.php?diff=156957&oldid=156956 5* 03PurplrIsSus1985 5* (+108) 10
> 1746051987 366317 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=156958&oldid=156105 5* 03PurplrIsSus1985 5* (+23) 10
> 1746052509 707225 PRIVMSG #esolangs :14[[07Nope.14]]4 10 02https://esolangs.org/w/index.php?diff=156959&oldid=152614 5* 03PurplrIsSus1985 5* (+210) 10
< 1746052588 415465 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1746053171 784049 PRIVMSG #esolangs :14[[07Zephyr ASDL14]]4 M10 02https://esolangs.org/w/index.php?diff=156960&oldid=140769 5* 03Corbin 5* (+22) 10Influenced Zaddy.
> 1746053478 832438 PRIVMSG #esolangs :14[[07Zephyr ASDL14]]4 10 02https://esolangs.org/w/index.php?diff=156961&oldid=156960 5* 03Corbin 5* (+156) 10Use standard reference formatting.
> 1746055540 298114 PRIVMSG #esolangs :14[[07Zephyr ASDL14]]4 10 02https://esolangs.org/w/index.php?diff=156962&oldid=156961 5* 03Stkptr 5* (+6) 10
> 1746056199 864308 PRIVMSG #esolangs :14[[07Talk:Mlatu14]]4 10 02https://esolangs.org/w/index.php?diff=156963&oldid=156952 5* 03B jonas 5* (+388) 10