> 1683590476 194937 PRIVMSG #esolangs :14[[07Brianfuck14]]4 10 02https://esolangs.org/w/index.php?diff=108897&oldid=61557 5* 03Squidmanescape 5* (+88) 10
> 1683590578 624307 PRIVMSG #esolangs :14[[07Broken Tape14]]4 10 02https://esolangs.org/w/index.php?diff=108898&oldid=101638 5* 03Squidmanescape 5* (+79) 10
> 1683590618 665677 PRIVMSG #esolangs :14[[07Broken Tape14]]4 10 02https://esolangs.org/w/index.php?diff=108899&oldid=108898 5* 03Squidmanescape 5* (-1) 10Every time I don't check, I get an error, huh.
> 1683590664 536616 PRIVMSG #esolangs :14[[07Bulgu14]]4 10 02https://esolangs.org/w/index.php?diff=108900&oldid=17374 5* 03Squidmanescape 5* (+69) 10
> 1683590680 764974 PRIVMSG #esolangs :14[[07Business Offers14]]4 10 02https://esolangs.org/w/index.php?diff=108901&oldid=101804 5* 03Squidmanescape 5* (+9) 10
> 1683590742 582979 PRIVMSG #esolangs :14[[07BuxRo14]]4 10 02https://esolangs.org/w/index.php?diff=108902&oldid=87983 5* 03Squidmanescape 5* (+89) 10
> 1683590760 760451 PRIVMSG #esolangs :14[[07C-trice14]]4 10 02https://esolangs.org/w/index.php?diff=108903&oldid=79425 5* 03Squidmanescape 5* (+9) 10
> 1683590873 739266 PRIVMSG #esolangs :14[[07CATHY14]]4 10 02https://esolangs.org/w/index.php?diff=108904&oldid=98952 5* 03Squidmanescape 5* (+75) 10
> 1683590916 760849 PRIVMSG #esolangs :14[[07C@/Lol.js14]]4 10 02https://esolangs.org/w/index.php?diff=108905&oldid=101436 5* 03Squidmanescape 5* (+9) 10
> 1683591009 929245 PRIVMSG #esolangs :14[[07CCS14]]4 10 02https://esolangs.org/w/index.php?diff=108906&oldid=46656 5* 03Squidmanescape 5* (+23) 10
> 1683591061 179047 PRIVMSG #esolangs :14[[07YoptaScript14]]4 10 02https://esolangs.org/w/index.php?diff=108907&oldid=89248 5* 03Squidmanescape 5* (+9) 10
< 1683591476 13260 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 250 seconds
> 1683591519 543539 PRIVMSG #esolangs :14[[07ELVM14]]4 10 02https://esolangs.org/w/index.php?diff=108908&oldid=96953 5* 03Squidmanescape 5* (+29) 10
< 1683591662 591041 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1683591670 280696 PRIVMSG #esolangs :14[[07Turing (Joshop)14]]4 10 02https://esolangs.org/w/index.php?diff=108909&oldid=57571 5* 03Squidmanescape 5* (+8) 10
> 1683591761 990681 PRIVMSG #esolangs :14[[07Snek14]]4 10 02https://esolangs.org/w/index.php?diff=108910&oldid=84483 5* 03Squidmanescape 5* (+84) 10
> 1683591855 481552 PRIVMSG #esolangs :14[[07SIMPLE (the other one)14]]4 10 02https://esolangs.org/w/index.php?diff=108911&oldid=102012 5* 03Squidmanescape 5* (+89) 10
> 1683591952 194137 PRIVMSG #esolangs :14[[07Recursoin14]]4 10 02https://esolangs.org/w/index.php?diff=108912&oldid=57154 5* 03Squidmanescape 5* (+24) 10
> 1683591984 202998 PRIVMSG #esolangs :14[[07CES updates14]]4 10 02https://esolangs.org/w/index.php?diff=108913&oldid=81493 5* 03Squidmanescape 5* (+29) 10
> 1683592060 91658 PRIVMSG #esolangs :14[[07Cell14]]4 10 02https://esolangs.org/w/index.php?diff=108914&oldid=71304 5* 03Squidmanescape 5* (+98) 10
> 1683592156 83126 PRIVMSG #esolangs :14[[07Chinese14]]4 10 02https://esolangs.org/w/index.php?diff=108915&oldid=43720 5* 03Squidmanescape 5* (+92) 10
< 1683592481 728171 :b_jonas!~x@89.134.29.131 QUIT :Remote host closed the connection
< 1683600653 654855 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :r/bing told me not to use Balanced. Precise gave a good answer: https://i.imgur.com/JyrVvnd.png
< 1683608898 811552 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs
< 1683609679 979076 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 260 seconds
< 1683610420 62266 :example99!~example99@2001:9e8:e1ea:e700:fe7e:b64a:13af:f8f8 JOIN #esolangs * :[https://web.libera.chat] example99
< 1683610424 45133 :example99!~example99@2001:9e8:e1ea:e700:fe7e:b64a:13af:f8f8 PRIVMSG #esolangs :hi
< 1683610437 207679 :example99!~example99@2001:9e8:e1ea:e700:fe7e:b64a:13af:f8f8 PRIVMSG #esolangs :world
< 1683611714 43252 :example99!~example99@2001:9e8:e1ea:e700:fe7e:b64a:13af:f8f8 QUIT :Ping timeout: 245 seconds
< 1683612534 553673 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection
< 1683613914 643407 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1683619100 148965 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1683624401 285181 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1683627109 885911 :sprout_!~quassel@2a02-a448-3a80-1-501b-1411-d35e-1337.fixed6.kpn.net JOIN #esolangs * :sprout
< 1683627303 976649 :sprout!~quassel@2a02-a448-3a80-1-80a0-5eee-5080-55d.fixed6.kpn.net QUIT :Ping timeout: 250 seconds
< 1683628930 244889 :Bowserinator_!Bowserinat@hellomouse/dev/bowserinator QUIT :Ping timeout: 260 seconds
< 1683628954 906428 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
> 1683630142 405258 PRIVMSG #esolangs :14[[07Decleq14]]4 N10 02https://esolangs.org/w/index.php?oldid=108916 5* 03ChuckEsoteric08 5* (+520) 10Created page with "{{Stub}} '''Decleq''' ('''Dec'''rement and jump if '''L'''ess or '''Eq'''ual to zero) is an [[OISC]] by [[User:ChuckEsoteric08]] inspired by [[P1eq]]. ==Command== a b c Means: b=a-1 and jump to c if b is less or equal to zer
> 1683631295 102733 PRIVMSG #esolangs :14[[07EsoBASIC14]]4 10 02https://esolangs.org/w/index.php?diff=108917&oldid=108824 5* 03ChuckEsoteric08 5* (+1809) 10Added deadfish interpeter
> 1683631573 76766 PRIVMSG #esolangs :14[[07EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=108918&oldid=108809 5* 03ChuckEsoteric08 5* (+426) 10Added deadfish interpeter in EsoBASIC
< 1683631753 240329 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 265 seconds
< 1683632883 502667 :sprout_!~quassel@2a02-a448-3a80-1-501b-1411-d35e-1337.fixed6.kpn.net NICK :sprout
< 1683640293 917108 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1683641615 76446 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f JOIN #esolangs * :[https://web.libera.chat] example99
< 1683641615 76780 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f PRIVMSG #esolangs :hi
< 1683641815 902307 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 256 seconds
< 1683642915 274420 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1683645034 725266 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1683647024 274446 :ais523!~ais523@31.94.7.90 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1683651053 761615 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Does f(a, b) = ln(e^a + e^b) have interesting properties? Want to wonder what the next step "below" addition is, if logs turn multiplication into addition, what do they turn addition into
< 1683651159 162866 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f PRIVMSG #esolangs :ikd
< 1683651167 908003 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f PRIVMSG #esolangs :sorry a typo
< 1683651177 508050 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f PRIVMSG #esolangs :i meant idk
< 1683651235 731175 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Doesn't seem to have an identity element, unless -infinity in the extended reals counts.
< 1683651410 978119 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :it reminds me a bit of a hyperbolic function, but I think it's different enough to be its own thing
< 1683651452 538392 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f PRIVMSG #esolangs :yea
< 1683651467 43067 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :it's pretty similar to max(a, b) – obviously not quite the same
< 1683651486 383783 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :and + and max are sometimes used to form a semiring in the same way that × and + are
< 1683651487 884463 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs
< 1683651520 41639 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :max(a+b, a+c) = a+max(b, c) so you have a distributive law
< 1683651561 4958 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :and max(a, -∞) = a, a + 0 = a, a + -∞ = -∞ so you have the identities correct as well
< 1683651581 733297 :ais523!~ais523@31.94.7.90 QUIT :Quit: sorry about my connection
< 1683651594 586626 :ais523!~ais523@31.94.7.90 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1683651621 86263 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :so maybe max fits Sgeo's requirement for a "step below addition"? of course it doesn't quite work with logs in the same way
< 1683651627 588335 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :or, hmm
< 1683651633 363054 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :is this just a logarithm with base infinity?
< 1683651654 181871 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :I think it might be
< 1683651707 168165 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :max(a,b) = lim(x→∞) log_x(x^a + x^b)
< 1683651821 106530 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :and a+b = lim(x→∞) log_x(x^a × x^b) so you have a perfect relationship there
< 1683651894 772847 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I don't understand that limit for max (and the limit for a+b is a bit redundant, right?)
< 1683651919 901932 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :Sgeo: basically, the higher x is, the closer an approximation log_x(x^a + x^b) is to max(a,b)
< 1683651924 327682 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :for any given a and b
< 1683652010 49182 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I think I need to try to visualize that more... but it approaching max does make the whole identity-is-negative-infinity thing make sense
< 1683652130 430738 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :and yes, the limit is redundant in the +/× case but that doesn't make it incorrect
< 1683652383 511207 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :a good search term for information about max/+ as a substitute for +/× is "tropical semiring" but Wikipedia doesn't have much that's useful on the page directly, it's primarily just definitions
< 1683652433 74778 :ais523!~ais523@31.94.7.90 PRIVMSG #esolangs :because pretty much all the relevant identities are the same, if you can prove a statement about +/×, it also often happens that you can use the same proof to prove the same statement about max/+…
< 1683652825 908602 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1683653039 75816 :example99!~example99@2001:9e8:e1ea:e700:2372:6da3:7b73:624f QUIT :Ping timeout: 245 seconds
> 1683654193 866484 PRIVMSG #esolangs :14[[07SSREPL14]]4 N10 02https://esolangs.org/w/index.php?oldid=108919 5* 03ChuckEsoteric08 5* (+832) 10Created page with "'''SSREPL'''('''S'''imple '''S'''tring-'''R'''ewriting '''E'''soteric '''P'''rogramming '''L'''anguage) is an esolang by [[User:ChuckEsoteric08]]. ==Specification== Initial value Data String is taken from user input. Line numbers are 1-indexed. There is only one i
< 1683654292 70635 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :isn't that log base -inf <=> max also analogous to norms, with the infinity norm being max too?
> 1683655347 953350 PRIVMSG #esolangs :14[[07User:ChuckEsoteric08/Interpreters14]]4 M10 02https://esolangs.org/w/index.php?diff=108920&oldid=108811 5* 03ChuckEsoteric08 5* (+1) 10
< 1683657570 953256 :wpa!~wpa@dynamic-046-114-105-045.46.114.pool.telefonica.de JOIN #esolangs WeepingAngel :wpa
< 1683657644 962560 :m0ther!~utoneq@user/utoneq JOIN #esolangs zut :utoneq
< 1683658528 537275 :ais523!~ais523@31.94.7.90 QUIT :Ping timeout: 268 seconds
< 1683658533 621239 :callforjudgement!~ais523@31.94.61.161 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1683658862 915790 :callforjudgement!~ais523@31.94.61.161 NICK :ais523
< 1683661260 537630 :b_jonas!~x@89.134.29.97 JOIN #esolangs * :b_jonas
< 1683661324 894384 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :It's interesting to see the crease in the 3d graph
< 1683661336 255558 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Although this 3d graphing calculator doesn't seem to want me to use max
< 1683661801 895685 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :f(a, a) = ln(2*e^a) = ln 2 + a. So... almost like addition is repeated f() but not quite.
< 1683661929 404855 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Although weird to think of repeated beyond, 2, since I'm not sure if f(f(x, y) z) = the obvious way to define f(x, y, z) or not
< 1683662008 483269 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :one step below addition is the successor operation, or, if you wish, a two-argument successor like succ(x,y) = 1+y
< 1683662143 607741 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :because succ(y,succ(y,...succ(y,succ(y))...)) = x + y where you nest (x-1) succ operations, y+(y+...(y+(y+y))...) = x*y where you have (x-1) additions, y*(y*...(y*(y*y))...) = x↑y where you have (x-1) multiplications, and you define tetration similarly for natural numbers
< 1683662294 548885 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :this is useful because this is actually one way how you can define addition of natural numbers, such as in Peano arithmetic
< 1683662338 929988 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :(the alternative is to define cardinal addition from the union of two disjoint sets, and then restrict that to finite cardinalities)
< 1683662729 97567 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Oh good, ln(e^(ln(e^a+e^b))+e^c) = ln(e^a + e^b + e^c)
< 1683662758 261500 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :in Church numerals, addition is defined as (a+b)x = a(x) × b(x), so I think it's using the distributive law backwards?
< 1683662794 698636 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :or, hmm, that looks pretty weird, the distributive law has a + there not a ×
< 1683662878 931307 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :oh, the ln thing. that's based on how addition and multiplication relate, but not really on how they compare to exponentiation or tetration, so it's a different step backwards
< 1683662898 443951 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :^ul (:*)(::*)(:)~*(~)*~*(*)*(a)~^
< 1683662918 640116 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :fungot?
< 1683662919 282680 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :ais523: in that case, the government, although the bill to close the funding gap, to some, the most attractive place to do the investigation, the uk failed to see the point of.
< 1683662929 875627 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :oh, I forgot to put in an output command
< 1683662931 285815 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :^ul (:*)(::*)(:)~*(~)*~*(*)*(a)~^S
< 1683662931 537918 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :aaaa
< 1683662939 995359 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :^ul (:*)(::**)(:)~*(~)*~*(*)*(a)~^S
< 1683662940 220450 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :aaaaa
< 1683662942 708125 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :there we go
< 1683662944 778460 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :2 + 3 is 5
< 1683662956 728444 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :^ul (:*)(::**)(:)~*(~)*~*(*)*S
< 1683662956 933849 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs ::::**~:**
< 1683663029 547952 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :ooh, application is exponentiation in Church numerals, so the definition is actually x^(a+b) = x^a × x^b
< 1683663032 600774 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :that makes so much more sense
< 1683663057 107325 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :they basically define addition in terms of multiplication, exponentiation and logarithm
< 1683663131 622999 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :(Underload has * and ^ as builtins, but you have to define addition manually)
< 1683663150 883055 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :(and because exponentiation is function application, you can define logarithm using lambda)
< 1683663195 473546 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :or, hmm, I'm not sure that last comment is quite right, but it seems to be along the right lines at least
< 1683663195 690809 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :what? why would you define addition in terms of multiplication and exponentiation? wouldn't you define it by applying one of the church numbers on succ and then applying that on the other number?
< 1683663237 933343 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :hmm, we can compare the definitions I guess? the definition in terms of multiplication and exponentiation is (:)~*(~)*~*(*)*
< 1683663266 102105 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :and in terms of succ is ((:)~*(*)*)~^^
< 1683663280 526459 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :^ul (:*)(::**)((:)~*(*)*)~^^(a)~^S
< 1683663280 691581 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :aaaaa
< 1683663289 27391 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :sorry, I'm not that fluent in underload
< 1683663311 234621 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :the former's much more efficient because you don't need to actually evaluate the number
< 1683663328 626641 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :and I think it's the normal definition for Church numerals because successor itself is defined as addition of 1
< 1683663339 522643 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :so defining addition in terms of successor would be a circular definition
< 1683663402 640366 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :er no? successor is defined as \n\r.(r(n r)) isn't it?
< 1683663419 660336 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :or am I thinking of the wrong kind of church numeral?
< 1683663463 320751 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :hmm no
< 1683663479 836530 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :I don't think successor has a definition that simple?
< 1683663486 267567 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :let me look up how church numerals work
< 1683663494 677240 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :I don't like them so I keep forgetting
< 1683663498 786678 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :https://esolangs.org/wiki/Church_numeral
< 1683663519 868147 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :yeah, it's slightly more complicated
< 1683663537 54105 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :Wikipedia defines successor by substituting in 1 for the argument of an addition
< 1683663576 622945 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :I think succ = \n\f\x.(f(n f x))
< 1683663581 962485 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :which is pretty easy because 1 is the identity function
< 1683663598 726361 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :plus = \m\n\f\x.m(f(n f x))
< 1683663623 581265 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :(thank you Wikipedia)
< 1683663643 871072 :m0ther!~utoneq@user/utoneq QUIT :Ping timeout: 256 seconds
< 1683663646 94084 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :true, that should work for addition
< 1683663659 254556 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :wait no
< 1683663674 898363 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :isn't it plus = \m\n\f\x.(m f)(n f x)
< 1683663677 933387 :wpa!~wpa@dynamic-046-114-105-045.46.114.pool.telefonica.de QUIT :Ping timeout: 256 seconds
< 1683663681 421905 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :you associated it the wrogn way
< 1683663683 563753 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :err, yes, just realised I got the parens in the wrong place
< 1683663726 687599 :ais523!~ais523@31.94.61.161 PRIVMSG #esolangs :@pl \m -> \n -> \f -> \x -> (m f)(n f x)
< 1683663726 914705 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :liftM2 (.)
< 1683663944 437355 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :you're right, defining addition from succ is more complicated
< 1683663966 513927 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :it still works of course, but gives a slightly more complex expression
< 1683664096 637463 :wpa!~wpa@dynamic-046-114-110-178.46.114.pool.telefonica.de JOIN #esolangs WeepingAngel :wpa
< 1683664442 836265 :FreeFull!~freefull@46.205.213.76.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull
< 1683664468 630338 :wpa!~wpa@dynamic-046-114-110-178.46.114.pool.telefonica.de QUIT :Ping timeout: 240 seconds
< 1683664587 639089 :wpa!~wpa@dynamic-046-114-107-167.46.114.pool.telefonica.de JOIN #esolangs WeepingAngel :wpa
< 1683666048 630609 :wpa!~wpa@dynamic-046-114-107-167.46.114.pool.telefonica.de QUIT :Ping timeout: 240 seconds
< 1683667561 101883 :j-bot!~jbot@hagall.firefly.nu JOIN #esolangs * :jevalbot
< 1683668338 751165 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection
< 1683668448 989049 :j-bot!~jbot@hagall.firefly.nu QUIT :Remote host closed the connection
< 1683668465 719343 :j-bot!~jbot@hagall.firefly.nu JOIN #esolangs * :jevalbot
< 1683669652 740635 :ais523!~ais523@31.94.61.161 QUIT :Remote host closed the connection
< 1683672247 213269 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :base sqrt(2) makes the addition as repeated whatever happen to work out, but I think it's a cheat. log_sqrt2 (sqrt2 ^ x + sqrt2^x) = log_sqrt2 (2) + log_sqrt2 (sqrt2^x) = 2 + x
< 1683672251 418900 :monoxane!~monoxane@user/monoxane QUIT :Quit: Ping timeout (120 seconds)
< 1683672274 333477 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Having trouble telling Wolfram Alpha to do log base sqrt(2) of 2. It's interpreting it as
< 1683672276 776522 :monoxane!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane
< 1683672284 308763 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://www.wolframalpha.com/input?i=log_%28sqrt%282%29%29%282%29
< 1683672365 911421 :b_jonas!~x@89.134.29.97 PRIVMSG #esolangs :Sgeo: just ask it to take base 2 logarithm and multiply it with 2 then