00:01:16 [[Brianfuck]] https://esolangs.org/w/index.php?diff=108897&oldid=61557 * Squidmanescape * (+88) 00:02:58 [[Broken Tape]] https://esolangs.org/w/index.php?diff=108898&oldid=101638 * Squidmanescape * (+79) 00:03:38 [[Broken Tape]] https://esolangs.org/w/index.php?diff=108899&oldid=108898 * Squidmanescape * (-1) Every time I don't check, I get an error, huh. 00:04:24 [[Bulgu]] https://esolangs.org/w/index.php?diff=108900&oldid=17374 * Squidmanescape * (+69) 00:04:40 [[Business Offers]] https://esolangs.org/w/index.php?diff=108901&oldid=101804 * Squidmanescape * (+9) 00:05:42 [[BuxRo]] https://esolangs.org/w/index.php?diff=108902&oldid=87983 * Squidmanescape * (+89) 00:06:00 [[C-trice]] https://esolangs.org/w/index.php?diff=108903&oldid=79425 * Squidmanescape * (+9) 00:07:53 [[CATHY]] https://esolangs.org/w/index.php?diff=108904&oldid=98952 * Squidmanescape * (+75) 00:08:36 [[C@/Lol.js]] https://esolangs.org/w/index.php?diff=108905&oldid=101436 * Squidmanescape * (+9) 00:10:09 [[CCS]] https://esolangs.org/w/index.php?diff=108906&oldid=46656 * Squidmanescape * (+23) 00:11:01 [[YoptaScript]] https://esolangs.org/w/index.php?diff=108907&oldid=89248 * Squidmanescape * (+9) 00:17:56 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 00:18:39 [[ELVM]] https://esolangs.org/w/index.php?diff=108908&oldid=96953 * Squidmanescape * (+29) 00:21:02 -!- Lord_of_Life has joined. 00:21:10 [[Turing (Joshop)]] https://esolangs.org/w/index.php?diff=108909&oldid=57571 * Squidmanescape * (+8) 00:22:41 [[Snek]] https://esolangs.org/w/index.php?diff=108910&oldid=84483 * Squidmanescape * (+84) 00:24:15 [[SIMPLE (the other one)]] https://esolangs.org/w/index.php?diff=108911&oldid=102012 * Squidmanescape * (+89) 00:25:52 [[Recursoin]] https://esolangs.org/w/index.php?diff=108912&oldid=57154 * Squidmanescape * (+24) 00:26:24 [[CES updates]] https://esolangs.org/w/index.php?diff=108913&oldid=81493 * Squidmanescape * (+29) 00:27:40 [[Cell]] https://esolangs.org/w/index.php?diff=108914&oldid=71304 * Squidmanescape * (+98) 00:29:16 [[Chinese]] https://esolangs.org/w/index.php?diff=108915&oldid=43720 * Squidmanescape * (+92) 00:34:41 -!- b_jonas has quit (Remote host closed the connection). 02:50:53 r/bing told me not to use Balanced. Precise gave a good answer: https://i.imgur.com/JyrVvnd.png 05:08:18 -!- bgs has joined. 05:21:19 -!- zzo38 has quit (Ping timeout: 260 seconds). 05:33:40 -!- example99 has joined. 05:33:44 hi 05:33:57 world 05:55:14 -!- example99 has quit (Ping timeout: 245 seconds). 06:08:54 -!- bgs has quit (Remote host closed the connection). 06:31:54 -!- zzo38 has joined. 07:58:20 -!- Sgeo has quit (Read error: Connection reset by peer). 09:26:41 -!- __monty__ has joined. 10:11:49 -!- sprout_ has joined. 10:15:03 -!- sprout has quit (Ping timeout: 250 seconds). 10:42:10 -!- Bowserinator_ has quit (Ping timeout: 260 seconds). 10:42:34 -!- Bowserinator has joined. 11:02:22 [[Decleq]] N https://esolangs.org/w/index.php?oldid=108916 * ChuckEsoteric08 * (+520) Created 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 11:21:35 [[EsoBASIC]] https://esolangs.org/w/index.php?diff=108917&oldid=108824 * ChuckEsoteric08 * (+1809) Added deadfish interpeter 11:26:13 [[EsoInterpreters]] https://esolangs.org/w/index.php?diff=108918&oldid=108809 * ChuckEsoteric08 * (+426) Added deadfish interpeter in EsoBASIC 11:29:13 -!- __monty__ has quit (Ping timeout: 265 seconds). 11:48:03 -!- sprout_ has changed nick to sprout. 13:51:33 -!- __monty__ has joined. 14:13:35 -!- example99 has joined. 14:13:35 hi 14:16:55 -!- __monty__ has quit (Ping timeout: 256 seconds). 14:35:15 -!- __monty__ has joined. 15:10:34 -!- Sgeo has joined. 15:43:44 -!- ais523 has joined. 16:50:53 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 16:52:39 ikd 16:52:47 sorry a typo 16:52:57 i meant idk 16:53:55 Doesn't seem to have an identity element, unless -infinity in the extended reals counts. 16:56:50 it reminds me a bit of a hyperbolic function, but I think it's different enough to be its own thing 16:57:32 yea 16:57:47 it's pretty similar to max(a, b) – obviously not quite the same 16:58:06 and + and max are sometimes used to form a semiring in the same way that × and + are 16:58:07 -!- bgs has joined. 16:58:40 max(a+b, a+c) = a+max(b, c) so you have a distributive law 16:59:21 and max(a, -∞) = a, a + 0 = a, a + -∞ = -∞ so you have the identities correct as well 16:59:41 -!- ais523 has quit (Quit: sorry about my connection). 16:59:54 -!- ais523 has joined. 17:00:21 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 17:00:27 or, hmm 17:00:33 is this just a logarithm with base infinity? 17:00:54 I think it might be 17:01:47 max(a,b) = lim(x→∞) log_x(x^a + x^b) 17:03:41 and a+b = lim(x→∞) log_x(x^a × x^b) so you have a perfect relationship there 17:04:54 I don't understand that limit for max (and the limit for a+b is a bit redundant, right?) 17:05:19 Sgeo: basically, the higher x is, the closer an approximation log_x(x^a + x^b) is to max(a,b) 17:05:24 for any given a and b 17:06:50 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 17:08:50 and yes, the limit is redundant in the +/× case but that doesn't make it incorrect 17:13:03 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 17:13:53 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/+… 17:20:25 -!- __monty__ has quit (Quit: leaving). 17:23:59 -!- example99 has quit (Ping timeout: 245 seconds). 17:43:13 [[SSREPL]] N https://esolangs.org/w/index.php?oldid=108919 * ChuckEsoteric08 * (+832) Created 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 17:44:52 isn't that log base -inf <=> max also analogous to norms, with the infinity norm being max too? 18:02:27 [[User:ChuckEsoteric08/Interpreters]] M https://esolangs.org/w/index.php?diff=108920&oldid=108811 * ChuckEsoteric08 * (+1) 18:39:30 -!- wpa has joined. 18:40:44 -!- m0ther has joined. 18:55:28 -!- ais523 has quit (Ping timeout: 268 seconds). 18:55:33 -!- callforjudgement has joined. 19:01:02 -!- callforjudgement has changed nick to ais523. 19:41:00 -!- b_jonas has joined. 19:42:04 It's interesting to see the crease in the 3d graph 19:42:16 Although this 3d graphing calculator doesn't seem to want me to use max 19:50:01 f(a, a) = ln(2*e^a) = ln 2 + a. So... almost like addition is repeated f() but not quite. 19:52:09 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 19:53:28 one step below addition is the successor operation, or, if you wish, a two-argument successor like succ(x,y) = 1+y 19:55:43 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 19:58:14 this is useful because this is actually one way how you can define addition of natural numbers, such as in Peano arithmetic 19:58:58 (the alternative is to define cardinal addition from the union of two disjoint sets, and then restrict that to finite cardinalities) 20:05:29 Oh good, ln(e^(ln(e^a+e^b))+e^c) = ln(e^a + e^b + e^c) 20:05:58 in Church numerals, addition is defined as (a+b)x = a(x) × b(x), so I think it's using the distributive law backwards? 20:06:34 or, hmm, that looks pretty weird, the distributive law has a + there not a × 20:07:58 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 20:08:18 ^ul (:*)(::*)(:)~*(~)*~*(*)*(a)~^ 20:08:38 fungot? 20:08:39 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. 20:08:49 oh, I forgot to put in an output command 20:08:51 ^ul (:*)(::*)(:)~*(~)*~*(*)*(a)~^S 20:08:51 aaaa 20:08:59 ^ul (:*)(::**)(:)~*(~)*~*(*)*(a)~^S 20:09:00 aaaaa 20:09:02 there we go 20:09:04 2 + 3 is 5 20:09:16 ^ul (:*)(::**)(:)~*(~)*~*(*)*S 20:09:16 :::**~:** 20:10:29 ooh, application is exponentiation in Church numerals, so the definition is actually x^(a+b) = x^a × x^b 20:10:32 that makes so much more sense 20:10:57 they basically define addition in terms of multiplication, exponentiation and logarithm 20:12:11 (Underload has * and ^ as builtins, but you have to define addition manually) 20:12:30 (and because exponentiation is function application, you can define logarithm using lambda) 20:13:15 or, hmm, I'm not sure that last comment is quite right, but it seems to be along the right lines at least 20:13:15 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? 20:13:57 hmm, we can compare the definitions I guess? the definition in terms of multiplication and exponentiation is (:)~*(~)*~*(*)* 20:14:26 and in terms of succ is ((:)~*(*)*)~^^ 20:14:40 ^ul (:*)(::**)((:)~*(*)*)~^^(a)~^S 20:14:40 aaaaa 20:14:49 sorry, I'm not that fluent in underload 20:15:11 the former's much more efficient because you don't need to actually evaluate the number 20:15:28 and I think it's the normal definition for Church numerals because successor itself is defined as addition of 1 20:15:39 so defining addition in terms of successor would be a circular definition 20:16:42 er no? successor is defined as \n\r.(r(n r)) isn't it? 20:16:59 or am I thinking of the wrong kind of church numeral? 20:17:43 hmm no 20:17:59 I don't think successor has a definition that simple? 20:18:06 let me look up how church numerals work 20:18:14 I don't like them so I keep forgetting 20:18:18 https://esolangs.org/wiki/Church_numeral 20:18:39 yeah, it's slightly more complicated 20:18:57 Wikipedia defines successor by substituting in 1 for the argument of an addition 20:19:36 I think succ = \n\f\x.(f(n f x)) 20:19:41 which is pretty easy because 1 is the identity function 20:19:58 plus = \m\n\f\x.m(f(n f x)) 20:20:23 (thank you Wikipedia) 20:20:43 -!- m0ther has quit (Ping timeout: 256 seconds). 20:20:46 true, that should work for addition 20:20:59 wait no 20:21:14 isn't it plus = \m\n\f\x.(m f)(n f x) 20:21:17 -!- wpa has quit (Ping timeout: 256 seconds). 20:21:21 you associated it the wrogn way 20:21:23 err, yes, just realised I got the parens in the wrong place 20:22:06 @pl \m -> \n -> \f -> \x -> (m f)(n f x) 20:22:06 liftM2 (.) 20:25:44 you're right, defining addition from succ is more complicated 20:26:06 it still works of course, but gives a slightly more complex expression 20:28:16 -!- wpa has joined. 20:34:02 -!- FreeFull has joined. 20:34:28 -!- wpa has quit (Ping timeout: 240 seconds). 20:36:27 -!- wpa has joined. 21:00:48 -!- wpa has quit (Ping timeout: 240 seconds). 21:26:01 -!- j-bot has joined. 21:38:58 -!- bgs has quit (Remote host closed the connection). 21:40:48 -!- j-bot has quit (Remote host closed the connection). 21:41:05 -!- j-bot has joined. 22:00:52 -!- ais523 has quit (Remote host closed the connection). 22:44:07 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 22:44:11 -!- monoxane has quit (Quit: Ping timeout (120 seconds)). 22:44:34 Having trouble telling Wolfram Alpha to do log base sqrt(2) of 2. It's interpreting it as 22:44:36 -!- monoxane has joined. 22:44:44 https://www.wolframalpha.com/input?i=log_%28sqrt%282%29%29%282%29 22:46:05 Sgeo: just ask it to take base 2 logarithm and multiply it with 2 then