01:11:50 -!- src has quit (Quit: Leaving).
02:07:00 <esolangs> [[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 <Corbin> 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 <Corbin> 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 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87437&oldid=87433 * PixelatedStarfish * (+88) /* Hello World */
03:15:43 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87438&oldid=87437 * PixelatedStarfish * (+57) /* Truth Machine */
03:20:20 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87439&oldid=87438 * PixelatedStarfish * (+211) /* Operations */
03:20:39 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87440&oldid=87439 * PixelatedStarfish * (+2) /* Operations */
03:20:55 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87441&oldid=87440 * PixelatedStarfish * (-4) /* Operations */
03:25:46 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87442&oldid=87441 * PixelatedStarfish * (+324) /* Operations */
03:26:49 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87443&oldid=87442 * PixelatedStarfish * (+27) /* Instructions */
03:26:58 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87444&oldid=87443 * PixelatedStarfish * (+3) /* Instructions */
03:27:37 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87445&oldid=87444 * PixelatedStarfish * (+26) /* Memory */
03:28:04 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87446&oldid=87445 * PixelatedStarfish * (+15) /* Memory */
03:28:24 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87447&oldid=87446 * PixelatedStarfish * (-2) /* Memory */
03:35:33 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87448&oldid=87447 * PixelatedStarfish * (+392) /* Cell Access Operation */
03:36:05 <esolangs> [[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 <esolangs> [[Broken Calculator]] https://esolangs.org/w/index.php?diff=87450&oldid=87449 * PixelatedStarfish * (+1) /* Cell Access Operation */
03:40:46 <esolangs> [[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 <esolangs> [[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 <nakilon> I wish there was a git blame for wiki articles
09:19:45 <nakilon> this thing kinda solved what I needed https://webapps.stackexchange.com/a/35914/4432
09:20:02 <nakilon> you enter the substring and it has found where it was added
09:57:36 <nakilon> 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 <nakilon> 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 <nakilon> 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 <nakilon> 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 <nakilon> 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 <nakilon> 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 <nakilon> that might be probably already said by someone somewhere
11:07:40 -!- imode has quit (Ping timeout: 240 seconds).
11:14:22 <nakilon> oh, unlike classical topo sort the PCBR allows disconnected components
11:51:27 -!- hanif has joined.
11:53:38 <hanif> Corbin: are primitive recursive functionals really more powerful than PR?
11:55:07 <hanif> huh looks like there may be something on the talk page regarding this under §higher-type computability
12:00:19 <hanif> "A primitive functional of type 1→1 does not just take primitive recursive functionals as arguments."
12:38:10 <esolangs> [[Special:Log/newusers]] create * Extramoose * New user account
12:43:59 <esolangs> [[Special:Log/newusers]] create * Danielle * New user account
12:53:09 <esolangs> [[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 <Corbin> 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.
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 <zzo38> 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 <esolangs> [[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 <nakilon> https://github.com/ivanreese/visual-programming-codex/blob/main/implementations.md
20:20:15 -!- Koen_ has joined.
20:32:18 <esolangs> [[FROM HERE TO THERE]] M https://esolangs.org/w/index.php?diff=87455&oldid=80718 * PythonshellDebugwindow * (-35) Update /* BNF */
22:04:55 <riv> i did not know about unicode Tag sequences
22:16:56 -!- Koen_ has quit (Quit: Leaving...).
23:09:12 <esolangs> [[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.