←2020-05-10 2020-05-11 2020-05-12→ ↑2020 ↑all
00:13:55 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72028&oldid=72020 * Emerald * (+46) Clarified
00:14:46 -!- kevinalh has quit (Ping timeout: 260 seconds).
00:16:04 -!- kevinalh has joined.
00:20:34 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72029&oldid=72028 * Emerald * (+23) Fixed programs
00:23:13 <esowiki> [[Talk:Dig]] N https://esolangs.org/w/index.php?oldid=72030 * Emerald * (+147) Made page and self insult
00:35:36 <esowiki> [[User:Emerald]] https://esolangs.org/w/index.php?diff=72031&oldid=71811 * Emerald * (+11)
00:35:47 <esowiki> [[User:Emerald]] M https://esolangs.org/w/index.php?diff=72032&oldid=72031 * Emerald * (+2) /* Languages I made: */
00:38:24 -!- Emerald has joined.
00:39:39 <Emerald> Has anyone made a language, only for it to be lost to the depths of the wiki?
00:41:01 <zzo38> Probably. I made some that currently do not have a name, and are my user subpages, but would be moved to the main name space once they have a proper name.
00:41:56 <Emerald> I just feel like my language is kinda useless.
00:42:04 -!- tromp has joined.
00:47:01 -!- tromp has quit (Ping timeout: 272 seconds).
00:47:39 <Emerald> Like has anyone heard of “Numobin”?
00:47:59 <Emerald> I only know it, because I just need an example.
00:48:57 <zzo38> I don't know.
00:50:51 <Emerald> I just feel like the random page button isn’t much.
00:52:16 -!- Emerald has left.
00:52:26 <int-e> Emerald: there's a large number of languages that ...
00:52:39 <int-e> ... are not worth discussion.
00:55:41 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
00:57:04 -!- Lord_of_Life has joined.
01:06:10 -!- Antebrationist has quit (Remote host closed the connection).
01:12:06 <zzo38> Yes, although see "User:Zzo38/Untitled_2" and "User:Zzo38/Untitled_3", which I think are not accessed by the random page function (and are not in the language list either; I can add it once I make up the name for it).
01:14:14 -!- Emerald has joined.
01:14:40 -!- Frater_EST has joined.
01:20:29 -!- Emerald has quit (Ping timeout: 245 seconds).
01:27:07 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72033&oldid=72029 * Emerald * (-2) Fixed cat and made more compact
01:36:03 -!- tromp has joined.
01:39:37 -!- Antebrationist has joined.
01:40:11 -!- tromp has quit (Ping timeout: 244 seconds).
01:41:33 <Antebrationist> orbitaldecay, what exactly does the + symbol do in esowar? Does it choose a random symbol from the available symbols, or does it increment the symbol, then make it modulo 7?
01:42:02 <int-e> Antebrationist: the latter
01:42:26 <orbitaldecay> Yep, the latter
01:42:35 <Antebrationist> So, if I increment ] which is 6, it becomes r?
01:43:32 <int-e> "The ] symbol becomes r."
01:43:40 <Antebrationist> Okay.
01:43:55 <int-e> (That quote is from the wiki page.)
01:44:08 <Antebrationist> Okay.
01:45:29 <Antebrationist> I wonder what would happen if I made a bot to sweep right, incrementing everything by one.
01:46:39 <Antebrationist> It'd probably have about a fifty-fifty chance of victory.
01:51:31 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72034&oldid=72033 * Emerald * (+79) Added truth machine
01:58:41 <Antebrationist> Orbitaldecay, how many warriors are we allowed to submit?
01:59:02 <orbitaldecay> Antebrationist: feel free to add any creations to the wiki page too. No limit.
01:59:24 <Antebrationist> Okay... this will be interesting, as I am about to submit my first one.
02:00:18 <orbitaldecay> Cool!
02:02:12 <orbitaldecay> You can use the debugger to test ideas too
02:02:34 <orbitaldecay> It's pretty helpful
02:02:48 <Antebrationist> Okay. Thanks!
02:03:03 -!- Phantom_Hoover has joined.
02:16:53 <Antebrationist> orbitaldecay, do we need a + at the start, so that the r our program starts on becomes a d?
02:17:14 <Antebrationist> and so loops can happen. For example, the program [>+] does nothing, right?
02:18:45 <int-e> it depends on where your agent starts
02:19:07 <orbitaldecay> I recommend you play with the interpretter to test ideas. The only way to guarantee a cell is not r is [+] followed by a certain number of +
02:19:09 <Antebrationist> Let's say that it starts on an r, since that is overwhelmingly more likely than the reverse.
02:19:13 <int-e> (Hmm, I forgot whether it can be placed on top of a program.)
02:19:41 <Antebrationist> Thanks, orbitaldecay!
02:19:55 <orbitaldecay> The robot can start on a program, butprobably won't
02:19:58 <orbitaldecay> Np
02:20:04 <int-e> Antebrationist: you can do +[>+] to get the look started with higher probability.
02:20:20 <Antebrationist> Yeah, I noticed that program too.
02:20:56 <int-e> or do things like [[>+]+]+[[>+]+]
02:21:23 <Antebrationist> What does that do?
02:21:40 <int-e> it just tries harder to keep going
02:22:49 <int-e> basically, when a loop is skipped or exited, it does another increment and tries again.
02:23:02 <Antebrationist> Okay.
02:23:16 <int-e> oh that can be simplified slightly: [>+]+[[>+]+]
02:24:18 <Antebrationist> Does the first [>+] ever terminate, or does it just plough forwards until it reaches an r?
02:24:27 <int-e> (And then there's loop unrolling to move a bit faster. stuff like [>+>+>+>+]. Oh well.)
02:24:42 <int-e> ...if you incrment a ] then the result is r...
02:26:15 <Antebrationist> I might try and make a program that flies right until it hits a ], then moves left and destroys everything it can find until it hits an r.
02:28:58 <Antebrationist> My bot "griefer" does slightly better than chance.
02:30:14 -!- tromp has joined.
02:30:23 <Antebrationist> But "wiper" scores worse than chance.
02:34:32 -!- tromp has quit (Ping timeout: 246 seconds).
02:45:17 <imode> so the frustrating points of this language that I'm writing are that the source code itself is the eventual, actual interpreted code.
02:45:59 <imode> an attempt at a map pattern... `define [map] [ldup rshift lswap rshift pop rshift rflatten append lswap map]`
02:46:21 <imode> if I had separation between the two, that'd probably be more entertaining and/or useful.
02:49:40 <Antebrationist> I don't believe it. Slightlyfastersweeper got a score of 5 wins, 1 loss and no ties.
02:53:41 <Antebrationist> And my bot baseDetector royally sucks.
02:54:12 <Antebrationist> orbitaldecay, is there a way that you could remove baseDetector from the esowar? it's lost all of its matches.
02:55:58 <Antebrationist> Although, it is an interesting variable to have a bot like baseDetector. It's only purpose is to break other stuff.
03:00:00 -!- Taneb has quit (Quit: I seem to have stopped.).
03:00:00 -!- sdhand has quit (Quit: ZNC - https://znc.in).
03:01:31 -!- Taneb has joined.
03:06:49 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
03:06:57 <orbitaldecay> Antebrationist: I can remove bots, but don't worry too much about it
03:07:52 <Antebrationist> Okay. I've found the bug in BaseDetector, but I'll refrain from submitting any more bots.
03:08:37 <Antebrationist> It's currently just the two of us, right?
03:10:05 <orbitaldecay> Don't worry about submitting too many. Just the two of us for now.
03:10:17 <Antebrationist> Okay.
03:10:42 <orbitaldecay> I've got some ideas I'm going to work on tomorrow
03:11:39 <Antebrationist> I'm going to work on my esolang tonight.
03:11:43 <orbitaldecay> slightlyfastersweeper is doing really well
03:11:50 <Antebrationist> Yeah, really really oddly well.
03:11:59 <orbitaldecay> Cool
03:12:55 <Antebrationist> I could optimise it further, but it's just a proof of concept at this point. The 10,000 character limit puts an upper limit on all fasterSweeper class bots.
03:14:17 <Antebrationist> [+]+[ is 5 bytes at the start, and ] is 1 at the end. This leaves us with room for 1998 repeats of >[+]+.
03:14:32 <Antebrationist> That is the upper bound of that class.
03:18:08 <Antebrationist> Should I submit that as FastestSweeper?
03:23:43 <Antebrationist> I also don't know how Griefer got any wins.
03:24:30 -!- tromp has joined.
03:27:48 <Antebrationist> I guess it just randomly, occasionally, purely by chance, finds the opponent's base and wipes it out.
03:27:51 -!- Antebrationist has quit (Remote host closed the connection).
03:29:09 -!- tromp has quit (Ping timeout: 272 seconds).
03:56:40 -!- Antebrationist has joined.
03:57:24 <Antebrationist> orbitaldecay, could you please remove wiper, griefer and baseDetector from the game? they are glitchy, and I don't think they're needed anymore
04:06:16 <orbitaldecay> Sure, I'll clean it up tomorrow
04:06:24 <Antebrationist> Okay.
04:06:36 <Antebrationist> And could you also remove FastestSweeper?
04:15:25 <Antebrationist> In fact, remove all of my bots.
04:18:36 -!- tromp has joined.
04:23:10 -!- tromp has quit (Ping timeout: 265 seconds).
04:25:55 <zzo38> Can a esolang be made from a hydra game? It must terminate, but this cannot be proven by Peano arithmetic.
04:47:45 <Antebrationist> Orby, can you just delete all of my bots?
04:49:51 <orbitaldecay> One sec, fixing
05:03:57 <orbitaldecay> Antebrationist: deleted
05:04:13 <Antebrationist> Thanks man!
05:04:20 <orbitaldecay> And site is back up
05:04:31 <orbitaldecay> But stats are reset
05:04:48 <orbitaldecay> Still working out bugs in the site
05:04:54 <Antebrationist> My bot's aren't removed...?
05:06:34 -!- craigo has quit (Ping timeout: 240 seconds).
05:12:39 -!- tromp has joined.
05:16:17 <orbitaldecay> Do you want shield bot removed too?
05:16:35 <Antebrationist> Um, yes please. It's a bit buggy, and I'll resubmit it later.
05:16:41 <orbitaldecay> Okay
05:17:10 <Antebrationist> So we're just going back to good ol' sweeper, null and smart sweeper I guess.
05:17:12 -!- tromp has quit (Ping timeout: 260 seconds).
05:18:57 -!- imode has quit (Ping timeout: 260 seconds).
05:22:52 <orbitaldecay> Yep, reset
05:23:11 <Antebrationist> Alright, submitting shieldy boy now.
05:23:20 <orbitaldecay> Sweet
05:24:00 <Antebrationist> It's designed to beat sweepers.
05:24:06 -!- Antebrationist has quit (Remote host closed the connection).
06:03:12 <zzo38> Now I wrote this: http://sprunge.us/0sQzzh
06:05:28 <zzo38> Do you like this?
06:06:49 -!- tromp has joined.
06:11:34 -!- tromp has quit (Ping timeout: 256 seconds).
06:12:14 -!- kevinalh has quit (Ping timeout: 258 seconds).
06:37:26 -!- Antebrationist has joined.
06:39:20 <Antebrationist> Added suicideBot, a bot that attempts to make the other user suicide on their own code.
06:40:49 <Antebrationist> Anyway, imma work on my esolang now.
06:40:58 <Antebrationist> I wonder if we could make a 2d esowar.
06:42:56 <Antebrationist> I'm almost ready for input in my esolang.
06:46:43 -!- imode has joined.
06:56:02 -!- Antebrationist has quit (Remote host closed the connection).
06:57:38 -!- tromp has joined.
07:01:36 -!- Frater_EST has quit (Read error: Connection reset by peer).
07:07:25 <esowiki> [[User:Salpynx/Simple translation conjecture]] https://esolangs.org/w/index.php?diff=72035&oldid=71938 * Salpynx * (+5465) correcting myself on end-of-strings and + Finite-state transducers are great!
07:30:54 -!- imode has quit (Ping timeout: 240 seconds).
07:49:41 -!- user24 has joined.
08:01:56 -!- salpynx has joined.
08:08:42 <salpynx> orbitaldecay: I've convinced myself that ε can't be used to represent an end-of-string like I was trying for. I've reformulated my machine idea using your suggested α + ω notation, but I don't really have an argument for what α and ω are in reality.
08:10:04 <int-e> . o O ( losing faith )
08:10:08 <salpynx> int-e: reading up on and using finite-state transducers to model simple translation ideas was really helpful. thanks!
08:11:00 -!- Hooloo42 has joined.
08:11:26 <salpynx> faith in?
08:11:37 -!- jix_ has joined.
08:12:26 <int-e> orbitaldecay: just an idea: submitting a bot could provide people with a key that can be used to remove (or possibly update) it?
08:15:01 <int-e> salpynx: faith was just an association with alpha and omega
08:15:52 -!- Hooloovo0 has quit (*.net *.split).
08:15:52 -!- shinh has quit (*.net *.split).
08:15:52 -!- jix has quit (*.net *.split).
08:15:52 -!- mniip has quit (*.net *.split).
08:15:52 -!- FireFly has quit (*.net *.split).
08:16:39 -!- FireFly has joined.
08:17:02 -!- mniip has joined.
08:17:05 -!- shinh has joined.
08:17:25 -!- rain1 has joined.
08:18:58 <int-e> Oh look, a deadly shark attack makes the news... why do shark attacks make the news...
08:19:39 -!- Antebrationist has joined.
08:20:06 <Antebrationist> What's the coolest form of flow control you've ever seen in an esolang?
08:22:44 <rain1> that's a great question
08:22:53 -!- Antebrationist has quit (Remote host closed the connection).
08:25:43 <rain1> it doesnn't count as eso but the fact you can do control with just lambda is pretty incredible, and continuations are also a fascinating control flow mechanism like in unlambda
08:25:47 -!- Phantom_Hoover has joined.
08:25:48 <salpynx> int-e: oh, of course, that makes sense. I was wondering if there was a better or existing terms for those concepts, but I've been working those symbols so much over the weekend I've normalised them and missed the other connonations
08:25:56 -!- LKoen has joined.
08:54:15 -!- int-e has quit (Remote host closed the connection).
08:55:06 -!- int-e has joined.
08:55:54 -!- lambdabot has quit (Remote host closed the connection).
08:58:43 -!- lambdabot has joined.
09:25:45 -!- Lord_of_Life_ has joined.
09:27:52 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
09:27:53 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:36:01 <salpynx> I hadn't looked closely at Esowar but had assumed it was 2D, had to look again based on the comment above. 2D would be interesting.
09:37:44 <salpynx> https://esolangs.org/wiki/Fungewars is an existing wiki page, it's not clear whether there is a consistent spec or there are simply various implementation attempts of a 2d corewars concept
09:46:12 -!- salpynx has quit (Remote host closed the connection).
09:46:47 -!- LKoen has quit (Read error: Connection reset by peer).
09:47:30 -!- LKoen has joined.
09:52:58 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
10:55:32 <esowiki> [[DotSlash]] https://esolangs.org/w/index.php?diff=72036&oldid=72026 * InfiniteDonuts * (-1426)
10:56:58 <esowiki> [[Seltzer Spigot]] https://esolangs.org/w/index.php?diff=72037&oldid=72024 * InfiniteDonuts * (+105) Removed redirect to [[DotSlash]]
10:58:20 <esowiki> [[Pie]] https://esolangs.org/w/index.php?diff=72038&oldid=66348 * InfiniteDonuts * (-148)
10:58:48 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72039&oldid=70675 * InfiniteDonuts * (-110)
11:00:17 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72040&oldid=72039 * InfiniteDonuts * (+103)
11:06:48 <esowiki> [[L]] https://esolangs.org/w/index.php?diff=72041&oldid=71451 * InfiniteDonuts * (+90)
12:17:03 -!- craigo has joined.
12:22:59 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72042&oldid=71846 * CMinusMinus * (+42)
12:23:07 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72043&oldid=72042 * CMinusMinus * (-42)
12:23:27 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72044&oldid=72043 * CMinusMinus * (+19)
12:24:09 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72045&oldid=72044 * CMinusMinus * (+0)
12:24:43 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72046&oldid=72045 * CMinusMinus * (+0)
12:27:05 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72047&oldid=72046 * CMinusMinus * (+27)
12:27:42 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72048&oldid=72047 * CMinusMinus * (-7)
12:28:11 <esowiki> [[User:CMinusMinus]] https://esolangs.org/w/index.php?diff=72049&oldid=72048 * CMinusMinus * (+25)
12:30:11 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72050&oldid=71927 * CMinusMinus * (+10)
12:34:37 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72051&oldid=72050 * CMinusMinus * (+155)
12:34:59 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72052&oldid=72051 * CMinusMinus * (+37)
12:35:12 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72053&oldid=72052 * CMinusMinus * (+0)
12:35:34 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=72054&oldid=70986 * CMinusMinus * (+22) /* Partially Silly Ideas */
12:40:19 <esowiki> [[Special:Log/upload]] upload * CMinusMinus * uploaded "[[File:6969asm.png]]"
12:40:36 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72056&oldid=72053 * CMinusMinus * (+52)
12:42:37 <esowiki> [[Special:Log/move]] move * InfiniteDonuts * moved [[DotSlash]] to [[0587]]: Changed the name
12:42:47 <esowiki> [[DotSlash]] https://esolangs.org/w/index.php?diff=72059&oldid=72058 * InfiniteDonuts * (-18) Blanked the page
12:43:45 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72060&oldid=72057 * InfiniteDonuts * (-147)
12:44:01 -!- sprocklem has quit (Ping timeout: 264 seconds).
12:45:40 -!- sprocklem has joined.
12:50:18 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72061&oldid=72060 * InfiniteDonuts * (-11)
12:59:01 <esowiki> [[Dig]] https://esolangs.org/w/index.php?diff=72062&oldid=72034 * Emerald * (+7) Fixed truth machine
13:17:26 <orbitaldecay> int-e: that's a good idea.
13:17:56 -!- Emerald has joined.
13:18:07 <orbitaldecay> salpynx: Okay, I don't have an argument for what alpha and omega are in reality either, but omega seems to coincide with a symbol that tells the interpreter there are no more symbols
13:19:03 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72063&oldid=72040 * InfiniteDonuts * (+89)
13:19:11 -!- Emerald has quit (Remote host closed the connection).
13:19:37 <esowiki> [[L]] https://esolangs.org/w/index.php?diff=72064&oldid=72041 * InfiniteDonuts * (-90)
13:20:03 -!- Emerald has joined.
13:24:44 <rain1> > The work of Rips, Ol'shanskii, Birget and Sapir[16][17] explored the connections between Dehn functions and time complexity functions of Turing machines and showed that an arbitrary "reasonable" time function can be realized (up to appropriate equivalence) as the Dehn function of some finitely presented group.
13:24:46 <lambdabot> <hint>:1:10: error: parse error on input ‘of’
13:28:30 <rain1> https://en.wikipedia.org/wiki/Dehn_function
13:30:21 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=72065&oldid=70618 * CMinusMinus * (+66)
13:30:47 <esowiki> [[Brainflop]] https://esolangs.org/w/index.php?diff=72066&oldid=72063 * InfiniteDonuts * (+179)
13:31:59 <Emerald> Can anyone make a Quine in my esoteric language?
13:37:10 <Emerald> Link if you are in for making a Quine: Dig - Esolang
13:37:32 -!- Emerald has quit (Remote host closed the connection).
13:37:46 -!- Emerald has joined.
13:38:21 <Emerald> Correction on link: https://esolangs.org/wiki/Dig
13:45:20 <Emerald> Fine, I’ll just try 99 bottles.
13:45:40 <esowiki> [[6969 Assembler]] https://esolangs.org/w/index.php?diff=72067&oldid=72056 * CMinusMinus * (+0)
13:46:44 -!- user24 has quit (Quit: Leaving).
13:47:04 <esowiki> [[Brainflop]] M https://esolangs.org/w/index.php?diff=72068&oldid=72066 * PythonshellDebugwindow * (+171) /* External Resources */ cats
13:49:39 -!- Emerald has quit (Ping timeout: 245 seconds).
13:53:52 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=72069&oldid=72065 * CMinusMinus * (+110)
13:54:02 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=72070&oldid=72069 * CMinusMinus * (-2) /* 6969 Assembler */
14:15:42 <esowiki> [[PAC]] https://esolangs.org/w/index.php?diff=72071&oldid=70955 * CMinusMinus * (-64) /* Guest List */
14:19:08 -!- ArthurStrong has quit (Quit: leaving).
14:20:16 <esowiki> [[Talk:SdofgOS Deleter]] https://esolangs.org/w/index.php?diff=72072&oldid=70482 * CMinusMinus * (+91) /* A few questions */
14:24:15 <esowiki> [[Talk:Binaryfuck]] https://esolangs.org/w/index.php?diff=72073&oldid=57939 * CMinusMinus * (+51)
14:24:28 <esowiki> [[Talk:Binaryfuck]] M https://esolangs.org/w/index.php?diff=72074&oldid=72073 * CMinusMinus * (-1)
14:28:01 -!- Phantom_Hoover has joined.
14:45:36 -!- Emerald has joined.
14:46:16 <Emerald> I need some help on making a program in my programming language, any help?
14:46:26 <Emerald> Code:
14:46:29 <Emerald> ' ' < $2 >$ 9 *++'9 0 9 90 0 9 1 6 999>$;:%:b:o:t$:t:l:e:s:$%:o:f:%:b$:e:e:r:%:' '9 09 0 9 9 0 < 9 0 09 4 1 1
14:46:30 <Emerald> >$T:a:k:e:%$:o:n:e:%:$d:o:w:n:,$:%:p:a:s:$s:%:i:t:%$:a:r:o:u:$n:d:%:%:^
14:46:34 <Emerald> ....
14:47:11 -!- Emerald has quit (Remote host closed the connection).
14:54:50 -!- kevinalh has joined.
14:55:27 -!- adu has joined.
15:01:37 <esowiki> [[L]] https://esolangs.org/w/index.php?diff=72075&oldid=72064 * InfiniteDonuts * (+0)
15:04:28 -!- kevinalh has quit (Ping timeout: 256 seconds).
15:12:26 -!- kevinalh has joined.
15:18:14 <esowiki> [[MiniBrainflop]] N https://esolangs.org/w/index.php?oldid=72076 * InfiniteDonuts * (+684) Created page with "'''miniBrainflop''' is a more compact dialect of [[brainflop]]. Instead of having 7 instructions, it only has 5 and is still Turing-complete It also has less memory space, wit..."
15:19:07 <esowiki> [[User:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72077&oldid=66339 * InfiniteDonuts * (+71)
15:20:21 <esowiki> [[Brainflop]] M https://esolangs.org/w/index.php?diff=72078&oldid=72068 * PythonshellDebugwindow * (+26) see [[miniBrainflop]]
15:20:36 <esowiki> [[MiniBrainflop]] M https://esolangs.org/w/index.php?diff=72079&oldid=72076 * PythonshellDebugwindow * (+1) /* Instructions */
15:23:51 <esowiki> [[MiniBrainflop]] M https://esolangs.org/w/index.php?diff=72080&oldid=72079 * PythonshellDebugwindow * (+190) cats + lowertitle
15:24:28 -!- tromp has quit (Remote host closed the connection).
15:31:30 -!- tromp has joined.
15:32:03 <esowiki> [[Streetcode]] M https://esolangs.org/w/index.php?diff=72081&oldid=71958 * PythonshellDebugwindow * (+453)
15:32:55 <esowiki> [[Streetcode]] M https://esolangs.org/w/index.php?diff=72082&oldid=72081 * PythonshellDebugwindow * (+6) /* Memory */
15:34:10 <esowiki> [[Streetcode]] M https://esolangs.org/w/index.php?diff=72083&oldid=72082 * PythonshellDebugwindow * (+120) /* Streets */
15:42:30 -!- kevinalh has quit (Ping timeout: 256 seconds).
15:43:46 -!- Hooloo42 has quit (Quit: Temporarily refracted into a free-standing prism.).
15:44:05 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72084&oldid=72061 * InfiniteDonuts * (+1002)
15:47:13 -!- Hooloovo0 has joined.
15:47:25 -!- kevinalh has joined.
15:59:52 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.).
16:01:55 <esowiki> [[HydraLoop]] N https://esolangs.org/w/index.php?oldid=72085 * Zzo38 * (+2082) Created page with "[[Category:Languages]][[Category:2020]] Variable names can be any sequence of ASCII letters, numbers, underscores. Variable names are case-sensitive. Comments start with <tt..."
16:02:28 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=72086&oldid=72021 * Zzo38 * (+16) +[[HydraLoop]]
16:02:37 -!- Hooloovo0 has joined.
16:16:23 -!- imode has joined.
16:17:05 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72087&oldid=72084 * InfiniteDonuts * (+28)
16:21:59 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72088&oldid=72087 * InfiniteDonuts * (-50)
16:26:02 <esowiki> [[Esowar]] https://esolangs.org/w/index.php?diff=72089&oldid=72027 * Orby * (-22) Minor rule adjustment to shorten games
16:27:50 -!- arseniiv has joined.
17:17:42 -!- kevinalh has quit (Ping timeout: 260 seconds).
17:27:05 <esowiki> [[Esolang Playground]] N https://esolangs.org/w/index.php?oldid=72090 * InfiniteDonuts * (+345) Created page with "The '''Esolang Playground''' is the unofficial IDE of Esolang. It is created by [[user:InfiniteDonuts]]. Currently, the IDE only supports 4 languages: [[L]], [[brainflop]], [..."
17:27:23 <esowiki> [[Esolang Playground]] https://esolangs.org/w/index.php?diff=72091&oldid=72090 * InfiniteDonuts * (+36)
17:32:01 -!- kspalaiologos has joined.
17:51:25 -!- kevinalh has joined.
18:03:49 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
18:25:50 -!- kevinalh has quit (Ping timeout: 260 seconds).
18:32:14 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72092&oldid=72088 * InfiniteDonuts * (+1343)
18:47:18 -!- kevinalh has joined.
18:53:03 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72093&oldid=72092 * InfiniteDonuts * (+205)
18:54:00 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72094&oldid=72093 * InfiniteDonuts * (+95)
18:56:44 <esowiki> [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=72095&oldid=71652 * InfiniteDonuts * (+38)
18:57:26 <esowiki> [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=72096&oldid=72095 * InfiniteDonuts * (+84) /* 0587 */
19:02:23 -!- tromp has quit (Remote host closed the connection).
19:08:47 -!- tromp has joined.
19:11:55 -!- craigo has quit (Quit: Leaving).
19:30:36 -!- Phantom_Hoover has joined.
19:31:18 -!- tromp has quit (Remote host closed the connection).
19:32:29 -!- kspalaiologos has quit (Quit: Leaving).
19:39:09 <esowiki> [[Esolang Playground]] M https://esolangs.org/w/index.php?diff=72097&oldid=72091 * PythonshellDebugwindow * (+7) Where is the 0587 implentation ?
19:48:06 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=72098&oldid=71141 * PythonshellDebugwindow * (+8) /* Functions */
19:48:36 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=72099&oldid=72098 * PythonshellDebugwindow * (+2) /* Variables */
19:48:52 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=72100&oldid=72099 * PythonshellDebugwindow * (+0) /* Variables */
19:49:12 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=72101&oldid=72100 * PythonshellDebugwindow * (+9) /* Variables */
19:51:17 <esowiki> [[DINAC]] M https://esolangs.org/w/index.php?diff=72102&oldid=71786 * PythonshellDebugwindow * (+28) /* Comparison */
19:55:51 <esowiki> [[Special:Log/newusers]] create * DimensionDoors * New user account
20:01:29 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=72103&oldid=72101 * PythonshellDebugwindow * (+35) /* Examples */ fix
20:03:24 -!- tromp has joined.
20:11:08 -!- rain1 has quit (Quit: leaving).
20:16:13 <esowiki> [[2KWLang]] M https://esolangs.org/w/index.php?diff=72104&oldid=71046 * PythonshellDebugwindow * (+221) /* Math */
20:17:42 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=72105&oldid=71985 * DimensionDoors * (+67)
20:18:02 <esowiki> [[Binary]] N https://esolangs.org/w/index.php?oldid=72106 * DimensionDoors * (+320) Created page with "===Binary=== ==Credits== This language is made by [[DimensionDoors|DimensionDoors]] It is his first one. '''Yay!''' ==Syntax== The only characters are 0 and 1. ''(Obviously!)'..."
20:25:09 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72107&oldid=72094 * InfiniteDonuts * (-95)
20:25:23 <esowiki> [[0587]] https://esolangs.org/w/index.php?diff=72108&oldid=72107 * InfiniteDonuts * (-22)
20:28:26 <esowiki> [[Binary]] M https://esolangs.org/w/index.php?diff=72109&oldid=72106 * PythonshellDebugwindow * (-13) rm reduntant header
20:29:26 <esowiki> [[Binary]] https://esolangs.org/w/index.php?diff=72110&oldid=72109 * DimensionDoors * (+427)
20:30:18 <esowiki> [[Binary]] M https://esolangs.org/w/index.php?diff=72111&oldid=72110 * DimensionDoors * (+49)
20:31:51 <esowiki> [[Binary]] M https://esolangs.org/w/index.php?diff=72112&oldid=72111 * DimensionDoors * (+2)
20:33:33 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=72113&oldid=72086 * DimensionDoors * (+13)
20:46:48 <esowiki> [[DimensionDoors]] N https://esolangs.org/w/index.php?oldid=72114 * DimensionDoors * (+67) Created page with "Hi this is DimensionDoors. Here are some of my projects: [[Binary]]"
20:48:09 <esowiki> [[User:DimensionDoors]] N https://esolangs.org/w/index.php?oldid=72115 * DimensionDoors * (+68) Created page with "Hi! This is DimensionDoors! Here are some of my projects: [[Binary]]"
20:49:24 <esowiki> [[Binary]] M https://esolangs.org/w/index.php?diff=72116&oldid=72112 * PythonshellDebugwindow * (+130) /* Cat */ cats
20:51:50 <esowiki> [[DimensionDoors]] M https://esolangs.org/w/index.php?diff=72117&oldid=72114 * PythonshellDebugwindow * (-67) blanking page (looks like [[User:DimensionDoors]] accidentally created this instead of his user page at first)
20:52:31 <esowiki> [[Binary]] M https://esolangs.org/w/index.php?diff=72118&oldid=72116 * PythonshellDebugwindow * (-9) fix user link
20:53:54 -!- arseniiv has quit (Ping timeout: 258 seconds).
21:02:13 <zzo38> What is the function that has a number of nested "repeat X times" loops equal to the initial value of X, and the inside of the innermost loop is to increment X?
21:10:33 <tswett[m]> Sounds like the Ackermann function?
21:11:27 <b_jonas> no, I think it's tetration or something
21:12:01 <zzo38> This function has only one input though, and one output.
21:12:46 <tswett[m]> Oh right.
21:13:00 <tswett[m]> So, f(3) would be calculated like...
21:13:06 <fizzie> Wouldn't that just be 1, 2*2, 3*3*3, 4*4*4*4, aka X^X? Well, maybe I thought it too fast.
21:13:53 <tswett[m]> x_1 = x; repeat(x_1) { x_2 = x; repeat(x_2) { x_3 = x; repeat (x_3) { x = x + 1; } } } return x;
21:14:45 <tswett[m]> Actually I forgot to put x = 3; at the beginning of that.
21:14:50 <fizzie> Oh, it's "repeat X times" with the new value of X?
21:14:57 <tswett[m]> Hmmmm. That's a very interesting function.
21:14:57 <zzo38> fizzie: Yes.
21:15:01 <zzo38> With the new value of X.
21:15:13 <zzo38> (at the time each loop is entered)
21:15:13 -!- kevinalh has quit (Ping timeout: 264 seconds).
21:15:59 <fizzie> I guess my default procedure for figuring out what that is would be to evaluate the first few values and feed it to OEIS. :)
21:17:33 -!- kevinalh has joined.
21:26:31 -!- Lord_of_Life_ has joined.
21:28:04 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
21:28:46 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
21:28:46 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:32:44 <tswett[m]> Let's see, what does it do with 0? There are 0 nested loops, so really we just have "increment X", so f(0) = 1.
21:33:32 <tswett[m]> With 1, we start with X = 1 and then do the following 1 time: increment X. So you get 2.
21:33:57 <tswett[m]> With 2, we start with X = 2 and then do the following 2 times: do the following X times: increment X.
21:34:18 <tswett[m]> "Do the following X times: increment X" means double X, so this amounts to starting with X = 2 and doing the following 2 times: double X.
21:34:25 <tswett[m]> So f(2) = 8.
21:34:45 <tswett[m]> f(0) = 1, f(1) = 2, f(2) = 8.
21:35:02 <tswett[m]> With 3, we start with X = 3 and then do the following 3 times: do the following X times: do the following X times: increment X.
21:35:05 <tswett[m]> In other words...
21:35:21 <tswett[m]> Start with X = 3 and then do the following 3 times: do the following X times: double X.
21:35:30 <tswett[m]> In other words...
21:35:56 <tswett[m]> Start with X = 3 and then do the following 3 times: set X to X * 2^X.
21:37:46 <tswett[m]> Okay, so we start with 3, and after the first step we have 3 * 2^3 = 24, then after the second step we have 24 * 2^24 = 402653184, then after the third and final step we have 402653184 * 2^402653184 = ...
21:37:50 <tswett[m]> I forget what that comes out to.
21:38:47 <zzo38> Well, it is probably too big, I suppose.
21:48:42 <tswett[m]> Let's see, that number is, of course, 3 * 2^3 * 2^24 * 2^402653184, meaning it's 3 * 2^402653211, meaning its binary representation is "11" followed by 402653211 "0"s.
21:50:32 <tswett[m]> If you made me write that as a string of bytes, I'd write it as 00000000 00000000 00000000 ... 00000000 00011000, where there are 50331651 "00000000" bytes.
21:51:01 <tswett[m]> So that number as a file would be a 50,331,652 byte file, but one which would compress very well.
22:11:33 -!- tromp has quit (Remote host closed the connection).
22:17:46 -!- adu has quit (Quit: adu).
22:22:24 <tswett[m]> In completely unrelated news, anyone want to talk about sliced tangle diagrams?
22:23:28 <tswett[m]> A couple of years ago, I came up with a notation for writing knots, links and tangles, and some rules for manipulating this notation.
22:23:56 <tswett[m]> Then I figured that the notation is probably something that would be kind of obvious to a knot theorist, so surely someone's already invented it.
22:24:17 <tswett[m]> Sure enough, someone has. The notations are called sliced tangle diagrams.
22:24:18 <zzo38> What is that notation? I don't know of knot theory, but maybe someone else does know
22:24:30 <zzo38> O, is there a Wikipedia article about that?
22:24:37 <tswett[m]> I doubt it.
22:26:04 <tswett[m]> Imagine you have a box with zero or more holes arranged in a row in the top and zero or more holes arranged in a row in the bottom.
22:26:27 <tswett[m]> The box is filled with zero or more strings. Each string either forms a closed loop, or exits the box through exactly two of the holes.
22:26:32 <tswett[m]> Each hole has exactly one string exiting the box through it.
22:26:37 <tswett[m]> Such a box is called a tangle.
22:27:26 <tswett[m]> There are five "elementary tangles". They are...
22:27:51 <tswett[m]> I, which represents a box with a hole in the top and in the bottom, and a string running straight from the top hole to the bottom hole
22:28:07 <tswett[m]> A, which represents a box with two holes in the bottom and a string connecting them in the most straightforward manner
22:28:20 <tswett[m]> V, which is the vertical mirror image of A
22:29:07 <tswett[m]> Z, which represents a box with two holes in the top and two holes in the bottom, and a string going straight from each hole to the diagonally opposite hole, where the string connecting top-right to bottom-left passes in front of the string connecting top-left to bottom-right
22:29:31 <tswett[m]> N, which is the mirror image (about any of the 3 coordinate planes) of Z
22:30:10 <tswett[m]> Boxes can be stacked horizontally and vertically. However, two boxes can only be stacked vertically if the number of holes in the bottom of the upper box equals the number of holes in the top of the lower box.
22:31:25 <zzo38> OK
22:31:33 <tswett[m]> And that's it. Any knot, link or tangle can be written using these five elementary tangles and the two stacking operations.
22:33:02 <tswett[m]> So, suppose we denote horizontal stacking with juxtaposition and vertical stacking with a slash.
22:34:00 <zzo38> Yes, that seem like OK to me
22:34:19 <tswett[m]> A/V is the unknot. AA/VV is two unknots. AA/IIII/VV is two unknots that have been drawn somewhat taller. AA/IZI/VV is an unknot drawn with a crossing.
22:34:30 -!- tromp has joined.
22:35:13 <tswett[m]> AA/IZI/IZI/VV is the Hopf link, and AA/IZI/IZI/IZI/VV is a trefoil knot.
22:36:07 <zzo38> OK
22:36:22 <tswett[m]> I'm not sure if all this is making sense.
22:36:37 <zzo38> I think it does make sense.
22:40:47 -!- Melvar has quit (Ping timeout: 260 seconds).
22:42:38 -!- Melvar has joined.
23:01:43 -!- rain1 has joined.
23:06:54 -!- tromp has quit (Remote host closed the connection).
23:09:50 -!- rain1 has quit (Quit: Lost terminal).
23:28:45 -!- adu has joined.
23:35:40 -!- kevinalh has quit (Ping timeout: 256 seconds).
23:37:05 -!- ais523 has joined.
23:42:51 -!- kevinalh has joined.
23:44:11 -!- tromp has joined.
23:49:02 -!- tromp has quit (Ping timeout: 260 seconds).
←2020-05-10 2020-05-11 2020-05-12→ ↑2020 ↑all