00:02:36 -!- mtm has quit (Ping timeout: 265 seconds). 00:06:38 -!- mtm has joined. 00:59:56 -!- amby has 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). 01:26:19 -!- ais523 has joined. 01:27:47 [[A+B Problem]] https://esolangs.org/w/index.php?diff=150464&oldid=150463 * Jan jelo * (+245) /* JavaScript */ 03:13:52 -!- yewscion_ has joined. 03:15:38 -!- yewscion has quit (Ping timeout: 272 seconds). 03:24:15 -!- ais523 has quit (Ping timeout: 246 seconds). 04:25:21 -!- ais523 has joined. 04:26:38 -!- yewscion_ has quit (Read error: Connection reset by peer). 04:26:55 -!- yewscion_ has joined. 04:27:43 [[MoreMathRPN/Quine]] https://esolangs.org/w/index.php?diff=150465&oldid=150417 * Calculus is fun * (+244) Better explanation of quine 04:38:25 -!- yewscion_ has quit (Remote host closed the connection). 04:39:48 I had read today in library about someone invented "floating floating point" that the number of bits of exponent and fraction part can be varied. 04:57:23 -!- pococuranteconfi has joined. 05:22:38 -!- pococuranteconfi has quit (Read error: Connection reset by peer). 05:53:39 hmm, you could also have a floating-point variant where the exponent was itself a floating-point number (but the range of exponents for the exponent would not include negative numbers, as those wouldn't be useful) 05:58:28 It is what I thought before I had finished reading the article. 06:06:04 this reminds me of a number format I was thinking about, which consists of a length followed by digits, and the length is recursively written in the same format (with a special case for 1 so that the recursion has a base case) 07:18:18 -!- Sgeo_ has quit (Read error: Connection reset by peer). 07:33:49 ais523, zzo38: https://logs.esolangs.org/libera-esolangs/2025-01.html#lEc 07:34:11 which links to https://adamscherlis.github.io/blog/iterlog-coding/ 07:36:27 hmm, it doesn't seem very good at encoding integers 07:49:02 ais523: for natural numbers, Amicus encodes them as the list of the lengths of runs of zeros in the binary digits of the number, where each length is represented the same way. this is nice because it's a bijection between natural numbers and lists. 07:49:08 https://esolangs.org/wiki/Amicus 07:49:48 what number does an empty list represent? 0 or 1? 07:50:40 oh, presumably 0 is [] and 1 is [0] 07:50:46 an empty list represents 0; 1 is represented by a list containing an empty list because there's an empty run of zeros to the right of the one digit 07:51:05 right, and you have one element for each 1 bit in the number 07:52:04 [[Text]] https://esolangs.org/w/index.php?diff=150466&oldid=144969 * BrainFuckGirl * (+31) /* Development of a compiler */ added compiler in ><> 07:53:25 this is also interesting because it gives a bijection between balanced strings (which only contain the bracketing symbols and nothing else) and natural numbers (due to the obvious bijection between balanced strings and lists) 07:56:13 as for the length followed by digits with the length encoded the same way, I thought I've seen that somewhere. but I just checked the ICFP 2007 task spec, and no, FUUN DNA does not use that representation. it uses a simple binary with a terminator symbol. 07:58:23 [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150467&oldid=150421 * Calculus is fun * (+109) Added new commands 08:03:27 I wrote a program that outputs Amicus encodings: https://tio.run/##AT0Awv9qZWxsef//QuG5ozHhuojhuIrDn@KCrArhuLbDh@KCrMWS4bmY4oCdwrbIrsKkJOKCrOG5m@KAnP///zY0 08:05:22 ais523: https://esolangs.org/wiki/Amycus#Implementing tells how to increment a number in the Amicus representation, zzo38 helped me figure this out long ago 08:05:50 so in theory you could iterate that rule to get the encodings 08:07:46 (the first line is the encoder, the second line iterates over numbers from 0 to input-1 and prints the list readably) 08:12:27 the power of two thing kind of bothers me, and I wonder if you could get a better encoding by recursively applying a more tame bijection between numbers and pairs of numbers. (0) ships with such a correspondence built in, but it's not quite right, because it maps 0 itself to the pair (0, 0), and you want a mapping that excludes 0.\ 08:14:05 [[Meowlang]] https://esolangs.org/w/index.php?diff=150468&oldid=119743 * BrainFuckGirl * (+53) /* Interpreters */ added categories 08:16:39 though the Amicus representation lets you go further, trying to apply the (0) representation recursively will end up in an infinite loop pretty early 08:37:29 my previous statemetn is wrong, both get stuck at omega first 08:54:45 -!- ais523 has quit (Quit: quit). 09:37:04 -!- amby has joined. 09:40:15 [[X-script]] https://esolangs.org/w/index.php?diff=150469&oldid=150318 * PrySigneToFry * (+282) 09:48:24 -!- tromp has joined. 10:11:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:13:08 -!- citrons has quit (Ping timeout: 252 seconds). 10:14:47 -!- citrons has joined. 10:51:36 -!- tromp has joined. 11:25:42 -!- craigo has joined. 12:03:12 -!- mtm has quit (Ping timeout: 272 seconds). 12:06:33 -!- mtm has joined. 12:07:36 [[Mazerunner]] https://esolangs.org/w/index.php?diff=150470&oldid=150440 * BrainFuckGirl * (+466) /* Code examples */ added Example 12:18:12 Hi 12:21:57 -!- craigo has quit (Quit: Leaving). 12:40:45 -!- chomwitt has joined. 12:44:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 13:09:27 -!- chomwitt has quit (Ping timeout: 246 seconds). 13:13:29 [[X-script]] https://esolangs.org/w/index.php?diff=150471&oldid=150469 * PrySigneToFry * (+996) 13:57:43 -!- tromp has joined. 14:00:46 [[MoreMathRPN]] https://esolangs.org/w/index.php?diff=150472&oldid=150467 * Calculus is fun * (+443) Added new function commands! 14:04:05 [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150473&oldid=150472 * Calculus is fun * (+4) Fixed header hierarchy 14:33:06 [[MoreMathRPN/Quine]] M https://esolangs.org/w/index.php?diff=150474&oldid=150465 * Calculus is fun * (+67) MInor remark 14:34:19 [[MoreMathRPN/Quine]] M https://esolangs.org/w/index.php?diff=150475&oldid=150474 * Calculus is fun * (+2) 14:36:59 [[SLet]] https://esolangs.org/w/index.php?diff=150476&oldid=149566 * I am islptng * (-88) 14:54:32 [[UpDown]] https://esolangs.org/w/index.php?diff=150477&oldid=124084 * IdfbAn * (+10) Distinguish variables that underflow and overflow error messages refer to 14:56:49 [[UpDown]] https://esolangs.org/w/index.php?diff=150478&oldid=150477 * IdfbAn * (+5) Make UpDown and UD++ command descriptions consistent 15:32:23 -!- chomwitt has joined. 15:36:40 -!- wib_jonas has joined. 15:38:37 ais523: I think the Jelly snippet that you gave is outputting all the lists reversed 16:04:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:16:41 -!- tromp has joined. 16:17:52 [[Amycus]] https://esolangs.org/w/index.php?diff=150479&oldid=75726 * B jonas * (+0) /* Implementing */ there was one more typo in the formula 16:35:06 -!- tromp has quit (Read error: Connection reset by peer). 16:38:41 I mean all the recursive sublists reversed to be clear 16:48:48 -!- wib_jonas has quit (Quit: Client closed). 17:35:47 [[Special:Log/newusers]] create * Gotz * New user account 17:40:20 [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150480&oldid=150473 * Calculus is fun * (+14) minor format 17:49:53 -!- m5zs7k_ has joined. 17:50:43 -!- Melvar has quit (Ping timeout: 252 seconds). 17:50:45 -!- jix has quit (Ping timeout: 248 seconds). 17:51:08 -!- Melvar has joined. 17:51:24 -!- m5zs7k has quit (Read error: Connection reset by peer). 17:52:43 -!- jix has joined. 17:59:51 -!- m5zs7k_ has changed nick to m5zs7k. 18:09:08 -!- lynndotpy6 has quit (Quit: bye bye). 18:10:02 -!- lynndotpy6 has joined. 18:42:21 -!- Lord_of_Life_ has joined. 18:43:33 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 18:43:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:38:36 [[true]] https://esolangs.org/w/index.php?diff=150481&oldid=148975 * 47 * (+39) /* Commands */ 20:01:03 [[Vfl]] https://esolangs.org/w/index.php?diff=150482&oldid=130893 * 47 * (+69) /* External links */ 20:01:19 [[Vfl]] https://esolangs.org/w/index.php?diff=150483&oldid=150482 * 47 * (+0) /* External links */ 20:20:34 -!- chomwitt has quit (Ping timeout: 248 seconds). 20:31:51 [[Nopstacle]] https://esolangs.org/w/index.php?diff=150484&oldid=148737 * Ais523 * (-5) Undo revision [[Special:Diff/148737|148737]] by [[Special:Contributions/Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff|Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] ([[User talk:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffff 20:41:56 [[MoreMathRPN]] M https://esolangs.org/w/index.php?diff=150485&oldid=150480 * Calculus is fun * (+365) Added inputSE 21:03:43 -!- ais523 has joined. 21:28:29 -!- Everything has joined. 21:29:39 [[A+B Problem]] https://esolangs.org/w/index.php?diff=150486&oldid=150464 * Jan jelo * (+119) 21:30:53 [[A+B Problem]] https://esolangs.org/w/index.php?diff=150487&oldid=150486 * Jan jelo * (+0) /* Smalltalk */ 21:34:19 [[A+B Problem]] https://esolangs.org/w/index.php?diff=150488&oldid=150487 * Jan jelo * (+29) /* Uiua */ 21:41:08 [[MoreMathRPN]] https://esolangs.org/w/index.php?diff=150489&oldid=150485 * Calculus is fun * (+228) Added function example 21:50:28 [[A+B Problem]] M https://esolangs.org/w/index.php?diff=150490&oldid=150488 * Jan jelo * (+33) /* Uiua */ 22:14:24 [[MoreMathRPN]] https://esolangs.org/w/index.php?diff=150491&oldid=150489 * Calculus is fun * (+118) /* Using run */ 23:01:20 cu 23:20:31 -!- Sgeo has joined. 23:25:17 -!- Everything has quit (Quit: leaving). 23:40:57 [[Special:Log/newusers]] create * Somefan * New user account 23:55:20 -!- somefan has joined.