01:11:50 -!- src has quit (Quit: Leaving). 02:07:00 [[Scroll]] N https://esolangs.org/w/index.php?oldid=87436 * WreckingGames * (+1068) Created page with "'''Scroll''' is an esolang created by [[User|WreckingGames]]. it was made for no reason. it uses a string for data. == Commands == {| class="wikitable" |+ |- ! Command !! Ac..." 02:36:31 b_jonas: TIL about "primitive recursive functionals". The strength of many systems that I'd thought was PR-complete is actually something a little better. The Complexity Zoo doesn't appear to have an entry for this class, and I don't know what its standard name is. 02:36:49 I'll add this information to the wiki as soon as I understand it and have good sources to cite. 03:08:16 -!- impomatic has joined. 03:09:37 -!- impomatic has quit (Client Quit). 03:09:57 -!- impomatic has joined. 03:14:01 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87437&oldid=87433 * PixelatedStarfish * (+88) /* Hello World */ 03:15:43 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87438&oldid=87437 * PixelatedStarfish * (+57) /* Truth Machine */ 03:20:20 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87439&oldid=87438 * PixelatedStarfish * (+211) /* Operations */ 03:20:39 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87440&oldid=87439 * PixelatedStarfish * (+2) /* Operations */ 03:20:55 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87441&oldid=87440 * PixelatedStarfish * (-4) /* Operations */ 03:25:46 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87442&oldid=87441 * PixelatedStarfish * (+324) /* Operations */ 03:26:49 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87443&oldid=87442 * PixelatedStarfish * (+27) /* Instructions */ 03:26:58 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87444&oldid=87443 * PixelatedStarfish * (+3) /* Instructions */ 03:27:37 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87445&oldid=87444 * PixelatedStarfish * (+26) /* Memory */ 03:28:04 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87446&oldid=87445 * PixelatedStarfish * (+15) /* Memory */ 03:28:24 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87447&oldid=87446 * PixelatedStarfish * (-2) /* Memory */ 03:35:33 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87448&oldid=87447 * PixelatedStarfish * (+392) /* Cell Access Operation */ 03:36:05 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87449&oldid=87448 * PixelatedStarfish * (+7) /* Cell Access Operation */ 03:36:17 -!- delta23 has quit (Quit: Leaving). 03:36:34 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87450&oldid=87449 * PixelatedStarfish * (+1) /* Cell Access Operation */ 03:40:46 [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87451&oldid=87450 * PixelatedStarfish * (+0) /* Instructions */ 03:45:04 -!- impomatic has quit (Quit: impomatic). 03:45:25 -!- impomatic has joined. 03:49:35 -!- impomatic has quit (Client Quit). 03:49:58 -!- impomatic has joined. 04:01:00 -!- PinealGlandOptic has joined. 04:05:04 -!- impomatic has quit (Quit: impomatic). 04:05:26 -!- impomatic has joined. 04:09:36 -!- impomatic has quit (Client Quit). 04:09:58 -!- impomatic has joined. 04:15:04 -!- impomatic has quit (Quit: impomatic). 04:15:26 -!- impomatic has joined. 04:24:36 -!- impomatic has quit (Quit: impomatic). 04:24:57 -!- impomatic has joined. 04:26:29 -!- oerjan has quit (Quit: Nite). 05:05:04 -!- impomatic has quit (Quit: impomatic). 05:05:27 -!- impomatic has joined. 05:09:35 -!- impomatic has quit (Client Quit). 05:09:58 -!- impomatic has joined. 05:25:04 -!- impomatic has quit (Quit: impomatic). 05:25:27 -!- impomatic has joined. 05:29:36 -!- impomatic has quit (Client Quit). 05:29:59 -!- impomatic has joined. 06:11:45 -!- Cale has quit (Ping timeout: 248 seconds). 06:12:08 -!- Cale has joined. 06:25:04 -!- impomatic has quit (Quit: impomatic). 06:25:27 -!- impomatic has joined. 06:34:35 -!- impomatic has quit (Quit: impomatic). 06:34:56 -!- impomatic has joined. 07:13:41 -!- immibis_ has joined. 07:22:06 -!- impomatic has quit (Quit: impomatic). 07:35:31 -!- Sgeo has quit (Read error: Connection reset by peer). 08:05:36 -!- hendursa1 has joined. 08:08:03 -!- hendursaga has quit (Ping timeout: 244 seconds). 08:30:12 [[Gammaplex]] M https://esolangs.org/w/index.php?diff=87452&oldid=12486 * Ais523 * (+13) /* External resources */ update the Esoteric File Archive link to a mirror that works (the original has been dead for a while now) 08:52:07 -!- Noisytoot has quit (Ping timeout: 268 seconds). 08:56:29 -!- Noisytoot has joined. 09:15:05 I wish there was a git blame for wiki articles 09:19:45 this thing kinda solved what I needed https://webapps.stackexchange.com/a/35914/4432 09:20:02 you enter the substring and it has found where it was added 09:57:36 just realised that my PCBR thing is similar to https://en.wikipedia.org/wiki/Topological_sorting in the way that 1. it gives an assumption that item1 > item2 even if those particular items could not be compared to each other 09:58:27 and 2. that the exact outpur is not fully determined, and in case of PCBR it's a sorted list of unsorted sublists 09:59:17 the more data you provide the smaller the sublists so the sorting ("ranking" in terms of the PCBR name) is more precise 10:00:17 also because of that the exact output per-sublist items order is defined by input order 10:06:06 -!- Koen_ has joined. 10:40:09 actually I have a feeling that PCBR is effectively the same as topological sorting but it does not need a graph as input -- it builds it implicitely by doing the O(n^n) comparisons 10:43:50 if they appear to be the same thing then the whole concept evolves to a statement that "topological sorting is just a way to sort barealy comparable things resistant to space deformations" 10:44:14 that might be probably already said by someone somewhere 11:07:40 -!- imode has quit (Ping timeout: 240 seconds). 11:14:22 oh, unlike classical topo sort the PCBR allows disconnected components 11:51:27 -!- hanif has joined. 11:53:38 Corbin: are primitive recursive functionals really more powerful than PR? 11:55:07 huh looks like there may be something on the talk page regarding this under §higher-type computability 12:00:19 "A primitive functional of type 1→1 does not just take primitive recursive functionals as arguments." 12:38:10 [[Special:Log/newusers]] create * Extramoose * New user account 12:43:59 [[Special:Log/newusers]] create * Danielle * New user account 12:53:09 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=87453&oldid=87411 * Danielle * (+447) 12:57:30 -!- Koen_ has quit (Remote host closed the connection). 13:08:57 -!- archenoth has joined. 13:10:54 -!- impomatic has joined. 13:13:12 hanif: I'm still doing research, but it is claimed that the Ackermann function is a member of one of these higher types. This would indeed make it more powerful than primitive recursion. 13:14:29 ah i see 14:13:20 -!- hanif has quit (Ping timeout: 244 seconds). 14:20:21 -!- Sgeo has joined. 14:37:17 -!- PinealGlandOptic has quit (Quit: leaving). 14:43:17 -!- impomatic has quit (Quit: impomatic). 14:43:40 -!- impomatic has joined. 14:47:48 -!- impomatic has quit (Client Quit). 14:48:06 -!- Koen_ has joined. 14:48:11 -!- impomatic has joined. 15:03:25 -!- impomatic has quit (Quit: impomatic). 15:17:19 -!- impomatic has joined. 15:27:10 -!- aarchi has quit (Read error: Connection reset by peer). 15:27:14 -!- pikhq has quit (Read error: Connection reset by peer). 15:27:14 -!- faxlore has quit (Read error: Connection reset by peer). 15:31:26 -!- pikhq has joined. 15:32:28 -!- aarchi has joined. 15:33:08 -!- faxlore has joined. 16:16:31 -!- impomatic has quit (Quit: impomatic). 16:16:52 -!- impomatic has joined. 16:21:02 -!- impomatic has quit (Client Quit). 16:21:26 -!- impomatic has joined. 16:35:10 -!- hendursa1 has quit (Quit: hendursa1). 16:35:36 -!- hendursaga has joined. 16:39:07 -!- hanif has joined. 16:43:41 -!- hanif has quit (Ping timeout: 244 seconds). 16:46:31 -!- impomatic has quit (Quit: impomatic). 16:46:54 -!- impomatic has joined. 16:51:02 -!- impomatic has quit (Client Quit). 16:51:24 -!- impomatic has joined. 17:26:20 -!- hanif has joined. 17:38:04 I thought to use topological sorting for fossil too, where cards that reference other artifacts will be the edges (to make a cycle would require attacking MD5 and SHA-1 at the same time), and using the D cards as the secondary sorting (with some kind of third (and possibly also fourth) sorting if the D cards are the same or are absent). 18:09:24 -!- imode has joined. 18:20:14 [[Blarb]] https://esolangs.org/w/index.php?diff=87454&oldid=79809 * Elimirks * (+8130) Import the contents of the readme 18:54:56 -!- impomatic has quit (Ping timeout: 250 seconds). 19:06:04 -!- hanif has quit (Quit: quit). 19:40:15 -!- Lord_of_Life_ has joined. 19:42:00 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 19:42:01 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 20:08:44 -!- Koen_ has quit (Remote host closed the connection). 20:13:12 https://github.com/ivanreese/visual-programming-codex/blob/main/implementations.md 20:20:15 -!- Koen_ has joined. 20:32:18 [[FROM HERE TO THERE]] M https://esolangs.org/w/index.php?diff=87455&oldid=80718 * PythonshellDebugwindow * (-35) Update /* BNF */ 22:04:55 i did not know about unicode Tag sequences 22:16:56 -!- Koen_ has quit (Quit: Leaving...). 23:09:12 [[FROM HERE TO THERE]] M https://esolangs.org/w/index.php?diff=87456&oldid=87455 * PythonshellDebugwindow * (-172) /* Computational class */ Unknown 23:30:28 -!- spruit11 has quit (Ping timeout: 258 seconds). 23:42:43 -!- spruit11 has joined. 23:47:26 -!- spruit11 has quit (Ping timeout: 250 seconds). 23:54:39 -!- spruit11 has joined. 23:55:06 -!- oerjan has joined.