00:10:48 -!- adu has quit (Quit: adu).
00:14:06 -!- adu has joined.
00:38:21 -!- tromp has joined.
00:43:06 -!- tromp has quit (Ping timeout: 265 seconds).
00:50:56 <tswett[m]> The (-2,3,7) pretzel knot is A/IAAI/(N/N)(Z/Z/Z)(Z/Z/Z/Z/Z/Z/Z)/IVVI/V.
00:51:57 <tswett[m]> The trefoil knot is the (3,0) pretzel knot, so it's A/IAI/(Z/Z/Z)II/IVI/V.
00:52:21 <tswett[m]> Alternatively, it's just AA/I(Z/Z/Z)I/VV.
00:54:09 -!- ArthurStrong has joined.
01:09:10 -!- LKoen_ has joined.
01:09:59 -!- adu has quit (Quit: adu).
01:11:07 -!- LKoen has quit (Ping timeout: 258 seconds).
01:14:58 -!- adu has joined.
01:32:44 -!- tromp has joined.
01:34:07 -!- adu has quit (Quit: adu).
01:37:32 -!- tromp has quit (Ping timeout: 260 seconds).
01:38:09 -!- tromp has joined.
01:42:43 -!- tromp has quit (Ping timeout: 244 seconds).
02:07:12 <lambdabot> LOWI 120150Z AUTO 09005KT 050V120 9999 -RA FEW018 SCT022 BKN030 05/03 Q1012
02:07:29 <int-e> ...that is kind of cold...
02:08:05 -!- Phantom_Hoover has joined.
02:27:24 <zzo38> I have the other question about the function I mentioned before: Which other functions is it faster than and slower than?
02:39:04 -!- imode has quit (Ping timeout: 246 seconds).
02:41:12 -!- imode has joined.
02:42:27 <zzo38> (What is its Grzegorczyk index?)
02:44:29 <b_jonas> zzo38: I suspect that it grows as tetration
02:45:01 <b_jonas> what was your function exaclty?
02:46:02 <zzo38> It is a number of nested "repeat X times" loops, nested X times, with the inside being "increment X".
02:46:55 <zzo38> A function that does grow as tetration presumably has a Grzegorczyk index of 4, I think.
02:51:51 <b_jonas> zzo38: can you define your function more precisely? because I don't understand what you want the loops to do
02:51:57 <int-e> sounds vaguely ackermann-like
02:52:17 <int-e> (with the nesting level of the loops as the first argument)
02:57:16 <zzo38> b_jonas: I am not sure how to explain it better, right now
02:58:12 <int-e> The point is, one can define the Ackermann function as a kind of function iteration: A_0(x) = x+1; A_n(x) = A_(n-1)^x(1)... and I believe that loop function is L_0(x) = x+1; L_(n+1)(x) = L_n^x(x) which is very similar.
03:06:26 <zzo38> Then maybe its Grzegorczyk index is omega.
03:07:44 <int-e> Well, n is the nesting level of loops which is fixed.
03:08:02 <int-e> So what you get is always primitve recursive.
03:09:11 <int-e> Eventually each additional level of loops will push you up 1 level in the Grzegorczyk hierarchy... the trouble will be figuring out where that starts.
03:09:49 <int-e> It's probably not even hard... but I can't be bothered.
03:12:02 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
03:14:18 <zzo38> OK, although the nesting level depends on the input
03:14:40 <int-e> It's probably a perfect fit, L_n is in E^n but not in E^{n-1}. The first part is easy to prove; the second one... I don't know how.
03:15:18 <int-e> zzo38: that wasn't clear from your description half an hour ago (I didn't check further back)
03:16:12 <zzo38> (The nesting level is equal to the input.)
03:16:29 <int-e> I thought the initial value of X was the input...
03:17:01 <zzo38> Yes, it is, but the initial value of X is also the same as the nesting level.
03:18:08 <int-e> So, L_x(x), similar to A_x(x). Maybe one can prove that A_x(x) <= L_x(x) <= A_x(x+1) for all x?
03:18:58 -!- ais523 has quit (Quit: quit).
03:19:46 <zzo38> Yes, maybe, although I don't know the proof.
03:38:51 -!- tromp has joined.
03:43:32 -!- tromp has quit (Ping timeout: 260 seconds).
04:33:00 -!- tromp has joined.
04:37:07 -!- tromp has quit (Ping timeout: 240 seconds).
05:27:09 -!- tromp has joined.
05:31:39 -!- tromp has quit (Ping timeout: 265 seconds).
05:34:12 -!- LKoen_ has quit (Remote host closed the connection).
05:40:36 -!- adu has joined.
05:42:04 -!- kevinalh has quit (Ping timeout: 272 seconds).
05:44:03 -!- kevinalh has joined.
05:53:01 -!- kspalaiologos has joined.
06:03:30 -!- kevinalh has quit (Ping timeout: 260 seconds).
06:16:16 -!- imode has quit (Ping timeout: 272 seconds).
06:21:07 -!- tromp has joined.
06:26:03 -!- tromp has quit (Ping timeout: 272 seconds).
06:26:29 -!- rain1 has joined.
06:47:36 -!- xelxebar has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in).
06:48:47 -!- xelxebar has joined.
06:59:18 -!- tromp has joined.
07:00:57 -!- rain1 has quit (Quit: Lost terminal).
07:18:58 -!- copumpkin has quit (Ping timeout: 272 seconds).
07:20:31 -!- adu has quit (Quit: adu).
07:21:50 <zzo38> One thing the bad AI does in Pokemon Card GB2 is even if they have level 68 Zapdos and the only card on your side is level 28 Mr.Mime, they will still attack.
07:22:05 <zzo38> (The AI will also often do many other things when it is probably better to stall.)
07:37:10 -!- rain1 has joined.
07:49:54 -!- kspalaiologos2 has joined.
07:50:51 -!- ArthurStrong has quit (Quit: leaving).
07:51:07 -!- kspalaiologos has quit (Quit: Quit).
07:51:16 -!- kspalaiologos2 has changed nick to kspalaiologos.
08:06:47 -!- adu has joined.
08:26:35 <zzo38> I have a idea about a trainer card to make in a Pokemon card game: Look in opponent's hand, and then you may select one of those cards. If you did, then your turn is now finished, but opponent must play the selected card as soon as possible; if they don't, then they can't attack, but this effect still ends at the end of their turn.
08:28:33 <zzo38> (If it is card they can use in more than one way, such as a energy, or a potion, or a evolution that they have multiple cards in play that it matches, then they can still decide for themself which way they wish to do it.)
08:44:30 -!- sprocklem has quit (Ping timeout: 260 seconds).
08:48:28 <esowiki> [[BytFuck]] N https://esolangs.org/w/index.php?oldid=72119 * DmilkaSTD * (+38) Created page with "BytFuck is a [[Brainfuck derivatives]]"
08:49:11 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72120&oldid=72119 * DmilkaSTD * (+38)
08:49:21 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72121&oldid=72120 * DmilkaSTD * (-9)
08:50:41 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72122&oldid=72121 * DmilkaSTD * (+35)
08:51:12 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72123&oldid=72122 * DmilkaSTD * (-2)
08:55:14 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72124&oldid=72123 * DmilkaSTD * (+354)
08:56:09 -!- sprocklem has joined.
09:08:42 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72125&oldid=72124 * DmilkaSTD * (+867)
09:09:09 -!- adu has quit (Quit: adu).
09:10:18 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72126&oldid=72125 * DmilkaSTD * (+81)
09:22:22 <esowiki> [[BytFuck]] https://esolangs.org/w/index.php?diff=72127&oldid=72126 * DmilkaSTD * (+45)
09:27:15 -!- Lord_of_Life_ has joined.
09:29:18 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
09:29:18 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:36:27 -!- LKoen has joined.
09:46:18 -!- zzo38 has quit (Read error: Connection timed out).
10:00:50 -!- user24 has joined.
10:09:36 <esowiki> [[User:Emerald]] https://esolangs.org/w/index.php?diff=72128&oldid=72032 * Emerald * (+296) Detail and secret oooo
10:10:35 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72129&oldid=72062 * Emerald * (+2) Added , and .
10:13:25 -!- sprocklem has quit (Ping timeout: 264 seconds).
10:13:50 <esowiki> [[User:Emerald]] https://esolangs.org/w/index.php?diff=72130&oldid=72128 * Emerald * (+98) Emphasis and dig roast
10:14:26 <esowiki> [[User:Emerald]] M https://esolangs.org/w/index.php?diff=72131&oldid=72130 * Emerald * (+1) /* Languages I made: */
10:14:49 <esowiki> [[User:Emerald]] M https://esolangs.org/w/index.php?diff=72132&oldid=72131 * Emerald * (-1)
10:15:07 <esowiki> [[User:Emerald]] M https://esolangs.org/w/index.php?diff=72133&oldid=72132 * Emerald * (+1)
10:20:43 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72134&oldid=72129 * Emerald * (-2) Changed command with concern the keyboard users couldnt type it (me on mobile!)
10:21:15 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72135&oldid=72134 * Emerald * (-2) Command change
10:21:44 -!- kspalaiologos has quit (Read error: Connection reset by peer).
10:22:03 -!- kspalaiologos has joined.
10:22:13 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72136&oldid=72135 * Emerald * (-11) Clarified
10:23:15 -!- arseniiv has joined.
10:36:17 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72137&oldid=72136 * Emerald * (+156) Implementation soon!
10:45:12 -!- sprocklem has joined.
10:48:33 -!- kspalaiologos has quit (Read error: Connection reset by peer).
10:48:51 -!- kspalaiologos has joined.
10:50:56 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72138&oldid=72137 * Emerald * (+46) Category
11:33:56 -!- adu has joined.
11:35:18 -!- user24 has quit (Quit: Leaving).
11:47:09 <esowiki> [[Dig]] M https://esolangs.org/w/index.php?diff=72139&oldid=72138 * PythonshellDebugwindow * (+1) /* Hello World */
11:47:21 <esowiki> [[Dig]] M https://esolangs.org/w/index.php?diff=72140&oldid=72139 * PythonshellDebugwindow * (+9) /* Underground */
12:10:33 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72141&oldid=72078 * InfiniteDonuts * (+43)
12:13:49 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72142&oldid=72141 * InfiniteDonuts * (+253)
12:15:46 <esowiki> [[Esolang Playground]] https://esolangs.org/w/index.php?diff=72143&oldid=72097 * InfiniteDonuts * (-10)
12:16:51 <esowiki> [[Esolang Playground]] https://esolangs.org/w/index.php?diff=72144&oldid=72143 * InfiniteDonuts * (+0)
12:22:13 -!- divergence has joined.
12:22:26 -!- diverger has quit (Ping timeout: 260 seconds).
12:31:14 <esowiki> [[Brainflop]] M https://esolangs.org/w/index.php?diff=72145&oldid=72142 * PythonshellDebugwindow * (+8) /* Commands */
12:31:28 <esowiki> [[Brainflop]] M https://esolangs.org/w/index.php?diff=72146&oldid=72145 * PythonshellDebugwindow * (-17) /* Commands */
12:45:40 <esowiki> [[2KWLang]] M https://esolangs.org/w/index.php?diff=72147&oldid=72104 * PythonshellDebugwindow * (+274) /* Ternary operator */
12:47:15 <esowiki> [[Esolang Playground]] https://esolangs.org/w/index.php?diff=72148&oldid=72144 * InfiniteDonuts * (-1)
12:51:11 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=72149&oldid=69973 * InfiniteDonuts * (+109) /* External resources */
12:53:06 <esowiki> [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=72150&oldid=71984 * InfiniteDonuts * (+85)
12:58:27 -!- TheLie has joined.
12:59:35 <esowiki> [[Esolang Playground]] M https://esolangs.org/w/index.php?diff=72151&oldid=72148 * PythonshellDebugwindow * (+4)
13:11:48 <esowiki> [[Text]] M https://esolangs.org/w/index.php?diff=72152&oldid=67525 * PythonshellDebugwindow * (+1) /* Description */
13:14:09 <esowiki> [[Text]] M https://esolangs.org/w/index.php?diff=72153&oldid=72152 * PythonshellDebugwindow * (+1) /* Development of a compiler */
13:16:40 <esowiki> [[Talk:Text]] M https://esolangs.org/w/index.php?diff=72154&oldid=69137 * PythonshellDebugwindow * (+47) unsigned
13:21:05 <esowiki> [[(HA)pple waITING]] M https://esolangs.org/w/index.php?diff=72155&oldid=71990 * PythonshellDebugwindow * (+0) /* Hello world */ outb is Ascii
13:21:31 <esowiki> [[(HA)pple waITING]] M https://esolangs.org/w/index.php?diff=72156&oldid=72155 * PythonshellDebugwindow * (+47) /* Hello world */
13:27:33 <esowiki> [[Esolang Playground]] https://esolangs.org/w/index.php?diff=72157&oldid=72151 * InfiniteDonuts * (-21)
13:27:52 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=72158&oldid=72149 * InfiniteDonuts * (+16) /* JavaScript interpreter */
13:28:23 <esowiki> [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=72159&oldid=72150 * InfiniteDonuts * (+16)
13:28:45 <esowiki> [[L]] https://esolangs.org/w/index.php?diff=72160&oldid=72075 * InfiniteDonuts * (+12) /* JavaScript */
13:29:02 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72161&oldid=72146 * InfiniteDonuts * (+16) /* External Resources */
13:29:54 <esowiki> [[MiniBrainflop]] https://esolangs.org/w/index.php?diff=72162&oldid=72080 * InfiniteDonuts * (+16) /* External resources */
13:30:52 <esowiki> [[User:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72163&oldid=72077 * InfiniteDonuts * (+126)
13:31:03 <esowiki> [[User:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72164&oldid=72163 * InfiniteDonuts * (+1)
13:39:42 -!- kevinalh has joined.
14:03:51 <esowiki> [[Talk:Dig]] https://esolangs.org/w/index.php?diff=72165&oldid=72030 * Emerald * (-147) Fix
14:04:04 <esowiki> [[Talk:Dig]] https://esolangs.org/w/index.php?diff=72166&oldid=72165 * Emerald * (+145)
14:04:10 -!- kspalaiologos has quit (Ping timeout: 260 seconds).
14:04:41 <esowiki> [[Talk:Dig]] https://esolangs.org/w/index.php?diff=72167&oldid=72166 * Emerald * (+21) Fix
14:05:52 -!- kspalaiologos has joined.
14:11:42 -!- TheLie has quit (Remote host closed the connection).
14:30:14 -!- kevinalh has quit (Ping timeout: 240 seconds).
14:34:17 <esowiki> [[Casino]] https://esolangs.org/w/index.php?diff=72168&oldid=52461 * LegionMammal978 * (+196) cat; is this even TC?
14:43:09 -!- kevinalh has joined.
15:04:20 -!- zzo38 has joined.
15:16:14 <esowiki> [[User talk:InfiniteDonuts]] N https://esolangs.org/w/index.php?oldid=72169 * LegionMammal978 * (+263) Created page with "Why did you delete the Pie interpreter (without even leaving any language documentation)? I have a copy, but I obviously can't redistribute it due to copyright. ~~~~"
15:45:43 -!- LKoen has quit (Read error: Connection reset by peer).
15:46:07 -!- LKoen has joined.
16:07:40 -!- imode has joined.
16:41:32 <esowiki> [[User talk:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72170&oldid=72169 * InfiniteDonuts * (+153)
16:44:26 <esowiki> [[User talk:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72171&oldid=72170 * InfiniteDonuts * (+123)
16:46:00 <esowiki> [[User talk:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72172&oldid=72171 * InfiniteDonuts * (+15)
16:55:28 <esowiki> [[Pie]] https://esolangs.org/w/index.php?diff=72173&oldid=72038 * InfiniteDonuts * (+703)
16:57:23 -!- xelxebar has quit (Ping timeout: 240 seconds).
16:58:13 -!- xelxebar has joined.
17:23:30 -!- LKoen_ has joined.
17:29:03 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
17:43:01 <imode> still trying to build basic control flow constructs....
17:43:35 <imode> X while Y -> X if [Y rflatten [X while Y]]
17:52:33 <imode> doing that without variables isn't particularly tricky but it does get involved.
18:59:05 -!- kspalaiologos has quit (Ping timeout: 258 seconds).
19:01:14 -!- kspalaiologos has joined.
19:03:07 -!- Phantom_Hoover has joined.
19:10:01 -!- tromp has quit (Remote host closed the connection).
19:12:50 -!- kevinalh has quit (Quit: Konversation terminated!).
19:26:16 -!- TheLie has joined.
19:38:02 -!- tromp has joined.
19:47:27 <esowiki> [[Binary]] https://esolangs.org/w/index.php?diff=72174&oldid=72118 * DimensionDoors * (+17)
19:49:39 <esowiki> [[Works in progress]] https://esolangs.org/w/index.php?diff=72175&oldid=68351 * DimensionDoors * (+13)
19:55:04 -!- imode has quit (Ping timeout: 256 seconds).
20:18:54 -!- LKoen_ has changed nick to LKoen.
20:24:00 -!- kspalaiologos has quit (Quit: Leaving).
20:33:01 -!- rain1 has quit (Quit: leaving).
20:42:06 -!- imode has joined.
20:46:14 -!- TheLie has quit (Remote host closed the connection).
20:46:52 <esowiki> [[User talk:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72176&oldid=72172 * LegionMammal978 * (+382)
21:15:08 -!- adu has quit (Quit: adu).
21:25:46 -!- tromp has quit (Remote host closed the connection).
21:30:11 -!- Lord_of_Life_ has joined.
21:30:18 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
21:32:20 -!- zseri has joined.
21:33:02 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:36:59 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
22:03:58 -!- tromp has joined.
22:08:46 -!- tromp has quit (Ping timeout: 244 seconds).
22:21:38 -!- gord has joined.
22:22:39 <gord> Esoteric add your birth date year plus your age and or everyone it equals 2020, happy birthday world
22:24:49 -!- gord has left.
22:27:39 -!- Antebrationist has joined.
22:28:00 <Antebrationist> orbitaldecay, inspired by your esowar, I made a 2d version with my esolang, Eldritch.
22:33:12 -!- adu has joined.
22:34:23 -!- adu has quit (Client Quit).
22:40:00 -!- zseri has quit (Quit: zseri).
22:50:43 <esowiki> [[User:Salpynx/Simple translation conjecture]] https://esolangs.org/w/index.php?diff=72177&oldid=72035 * Salpynx * (+2612) Simple translation of BCT into Python
23:27:15 -!- Antebrationist has quit (Remote host closed the connection).
23:40:47 -!- Antebrationist has joined.
23:41:11 <Antebrationist> zzo38, I made a two-player version of Eldritch, inspired by orbitaldecay's version
23:43:01 <zzo38> OK, make the esolang wiki add the description about the two player version also
23:46:04 <esowiki> [[Esolang Playground]] M https://esolangs.org/w/index.php?diff=72178&oldid=72157 * PythonshellDebugwindow * (+53) Link
23:52:54 <Antebrationist> Basically, I made d (output) into a NOP, and made it so that if each player's original instruction pointer passed over an !, then the other player would win.
23:53:01 -!- arseniiv has quit (Ping timeout: 264 seconds).
23:53:30 <Antebrationist> I've found that shielding your program with walls of ÿ to be surprisingly effective.