00:20:28 -!- t20kdc has quit (Read error: Connection reset by peer).
01:16:05 <esowiki> [[Special:Log/newusers]] create * RioluTheFurry447 * New user account
01:19:37 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=77942&oldid=77901 * RioluTheFurry447 * (+216) /* Introductions */
01:31:21 -!- aaaaaa has joined.
01:41:28 -!- aaaaaa has quit (Ping timeout: 258 seconds).
01:42:08 -!- aaaaaa has joined.
01:47:38 -!- aaaaaa has quit (Ping timeout: 256 seconds).
03:00:00 -!- Taneb has quit (Quit: I seem to have stopped.).
03:01:33 -!- Taneb has joined.
03:34:38 <imode> huh. equipage is interesting. but I wonder how far you'd get if you 1. replaced the stack with a resizable tape (and left/right operations) and 2. removed arithmetic.
03:37:23 <imode> basically just using dup, drop, swap, apply, compose, left and right.
03:41:56 <imode> pick kinda enables `if` though... hm.
03:53:56 <imode> neat, I made an if statement without 'pick'.
03:54:29 <imode> or really I guess I just made true/false.
04:11:52 -!- ski has quit (Ping timeout: 260 seconds).
04:25:56 -!- aaaaaa has joined.
04:58:58 <imode> if you make duplicating and dropping on an empty stack, you could reduce underload to to dup, drop, swap, apply and compose/concatenate.
04:59:13 <imode> s/an empty stack/an empty stack a no-op
04:59:33 <imode> you could just replace an empty paren set with dup drop.
05:02:07 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:55:13 <imode> woah that's weird.
06:10:06 <imode> equipage's quotations are all flat.
06:11:52 <imode> how do you form nested structures then...?
06:44:02 -!- delta23 has quit (Remote host closed the connection).
07:10:34 -!- Sgeo has quit (Read error: Connection reset by peer).
07:14:16 -!- sprocklem has quit (Ping timeout: 246 seconds).
07:49:45 -!- cpressey has joined.
07:55:15 <imode> cpressey: can equipage be used to make a `fn` that returns an `fn`? because it seems like when you compose things, you can't form nested structures.
08:06:15 <cpressey> imode: No, it can't. (unless I'm misremembering)
08:09:22 -!- hendursa1 has joined.
08:09:29 <imode> so doing nested conditionals isn't possible then.
08:11:23 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:11:37 <cpressey> There really isn't any "nested" concept in Equipage, no.
08:12:22 <cpressey> But that's true for a lot of e.g. machine code architectures too, isn't it?
08:12:53 <imode> true. curious as to how you'd do two sequential if statements.
08:13:08 <imode> if(foo){if(bar){...}}
08:14:33 <cpressey> I think the overall idea for a conditional was that you get an index and then `pick` a function with that index from the bottom of the stack. If you wanted to do two conditionals, then, the function that you `pick` would also have to `pick` another function itself.
08:15:10 <imode> oh. that's kinda neat.
08:23:32 <cpressey> It's a bit like "trampolined style", I guess, looking back on it, but I don't remember thinking that at the time
08:37:25 -!- imode has quit (Ping timeout: 256 seconds).
10:44:55 -!- sebbu has quit (Quit: reboot).
11:46:59 -!- sebbu has joined.
11:47:33 -!- FreeFull has joined.
11:51:55 -!- sftp has quit (Ping timeout: 240 seconds).
11:59:04 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:41:52 -!- hendursa1 has quit (Quit: hendursa1).
12:42:08 -!- hendursaga has joined.
13:01:17 -!- cpressey has joined.
13:45:44 -!- sftp has joined.
13:52:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
13:53:09 -!- xelxebar has joined.
13:58:13 -!- arseniiv has joined.
14:17:51 -!- Sgeo has joined.
14:32:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
14:32:49 -!- xelxebar has joined.
14:44:56 -!- ski has joined.
14:56:29 -!- Arcorann_ has quit (Read error: Connection reset by peer).
15:17:55 -!- Sgeo has quit (Read error: Connection reset by peer).
15:20:07 -!- Sgeo has joined.
15:23:20 -!- MDude has joined.
15:27:41 -!- Melvar has quit (Ping timeout: 265 seconds).
15:39:23 -!- LKoen has joined.
15:39:43 -!- LKoen has quit (Read error: Connection reset by peer).
15:39:59 -!- LKoen has joined.
15:41:52 -!- Melvar has joined.
15:59:11 -!- cpressey has quit (Quit: WeeChat 1.9.1).
17:31:07 -!- Spooktober has quit (Quit: Well, would you look at the time. I've almost missed my ambiguous, non-existent appointment that I have scheduled just when I start to lose interest in my current conversation.).
17:39:06 -!- grumboo has joined.
17:44:44 -!- sprocklem has joined.
18:16:54 -!- imode has joined.
19:09:14 -!- user3456_ has changed nick to user3456.
19:16:11 -!- wmww has quit (Quit: killed).
19:16:28 -!- Discordian[m] has quit (Quit: killed).
19:16:31 -!- tswett[m] has quit (Quit: killed).
19:25:53 -!- wmww has joined.
19:42:13 -!- sprocklem has quit (Ping timeout: 246 seconds).
19:48:07 -!- tswett[m] has joined.
19:48:14 -!- iscordian[m] has joined.
20:02:02 -!- iscordian[m] has changed nick to Discordian[m].
20:47:44 -!- 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.”).
21:12:28 <imode> purely concatenative languages intrigue me. if you added the ability to nest to equipage you could do some interesting things.
21:33:21 <ski> "nest to equipage" ?
21:36:47 <imode> replacing the compose operator with something like concatenate.
21:37:05 <imode> so you can have functions that contain other functions, but have to be applied.
21:37:36 <esowiki> [[Baz]] https://esolangs.org/w/index.php?diff=77943&oldid=57879 * RioluTheFurry447 * (+89) /* Quine */
21:44:36 <ski> not sure what replacing an operator would have to do with it
21:44:53 <ski> are you thinking of something like quotations, like in Factor ?
21:45:25 <imode> yes, in which quotations can contain other quotations. you can't build nested structures in equipage.
21:45:39 <imode> well, you _can_, but you can't do it via the compose operator.
21:50:25 <ski> hm, "equipage" is a language, then ? (mayhaps, your language)
21:52:17 <imode> not my language. cpressey's.
21:54:51 <esowiki> [[Furcode]] https://esolangs.org/w/index.php?diff=77944&oldid=73442 * RioluTheFurry447 * (+70)
22:07:41 <esowiki> [[Categowy: Joke wanguages]] N https://esolangs.org/w/index.php?oldid=77945 * RioluTheFurry447 * (+44) Redirected page to [[Category:Themed joke languages]]
22:07:56 <esowiki> [[Categowy: Joke wanguages]] https://esolangs.org/w/index.php?diff=77946&oldid=77945 * RioluTheFurry447 * (-7) Changed redirect target from [[Category:Themed joke languages]] to [[Category:Joke languages]]
22:14:40 <esowiki> [[Computerdeutsch]] M https://esolangs.org/w/index.php?diff=77947&oldid=77856 * Orangeyy * (-126)
22:23:41 <esowiki> [[SHUSH, KAREN.]] N https://esolangs.org/w/index.php?oldid=77948 * RioluTheFurry447 * (+1259) Created page with "SHUSH, KAREN. == SHUSH, KAREN. == === SHUSH, KAREN. === ==== SHUSH, KAREN. ==== ===== SHUSH, KAREN. ===== SHUSH, KAREN. SHUSH, KAREN. ===== SHUSH, KAREN. ===== SHUSH,..."
22:27:38 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=77949&oldid=59776 * RioluTheFurry447 * (+491)
22:29:41 <esowiki> [[ThisIsNotARealLanguage]] M https://esolangs.org/w/index.php?diff=77950&oldid=75238 * RioluTheFurry447 * (+0) fixed typo
22:30:01 <esowiki> [[ThisIsNotARealLanguage]] https://esolangs.org/w/index.php?diff=77951&oldid=77950 * RioluTheFurry447 * (+14) Added content
22:36:36 <esowiki> [[User talk:RioluTheFurry447]] N https://esolangs.org/w/index.php?oldid=77952 * RioluTheFurry447 * (+39) Redirected page to [[User:RioluTheFurry447/owo]]
22:37:14 <esowiki> [[User:RioluTheFurry447/uwu]] N https://esolangs.org/w/index.php?oldid=77953 * RioluTheFurry447 * (+42) Created page with "{{Special:Contributions/RioluTheFurry447}}"
22:37:59 <esowiki> [[User:RioluTheFurry447/fursuit]] N https://esolangs.org/w/index.php?oldid=77954 * RioluTheFurry447 * (+49) Created page with "{{Special:DeletedContributions/RioluTheFurry447}}"
22:58:19 <imode> the hell is going on here.
22:58:36 <imode> oh joy, wiki defacement.
23:00:12 <int-e> yeah I don't think there's a single contribution in those edits
23:01:23 <fizzie> The Baz one from earlier is kind of sort of reasonable.
23:01:53 <fizzie> Then it went off the rails.
23:02:26 -!- Arcorann_ has joined.
23:02:36 <int-e> And I guess https://esolangs.org/w/index.php?title=ThisIsNotARealLanguage&curid=2759&diff=77951&oldid=75238 in isolation would not raise too many eyebrows either.
23:02:46 <int-e> All the others are just awful
23:04:05 <int-e> fizzie has the power but doesn't like wielding the tools
23:05:28 <fizzie> I could try to do a temporary (24h?) edit block + reverts + message on a talk page.
23:06:02 <fizzie> (I'm having trouble understanding the point of those last three.)
23:06:14 <int-e> the last three tie with the introduction
23:07:41 <int-e> Hmm "tie in" I guess.
23:08:00 <int-e> english is too difficult :P
23:08:54 <user3456> Kinda want to add a wiki page for User:RioluTheFurry447 with the text "Not much is known about this user, but from what can be seen from the esowiki irc bot this person is nothing more than a furry themed spambot. "
23:09:12 <esowiki> [[Special:Log/block]] block * Fizzie * blocked [[User:RioluTheFurry447]] with an expiration time of 1 day (account creation disabled): Inserting nonsense/gibberish into pages: Temporary (24h) block for breaking things as part of making a joke of some sort.
23:09:44 <fizzie> "Inserting nonsense/gibberish into pages" is one of MediaWiki's default block justifications, though you could argue a lot of our actual content also counts as "nonsense/gibberish".
23:09:57 <imode> structured nonsense/gibberish.
23:10:23 <esowiki> [[Furcode]] M https://esolangs.org/w/index.php?diff=77955&oldid=77944 * Fizzie * (-70) Reverted edits by [[Special:Contributions/RioluTheFurry447|RioluTheFurry447]] ([[User talk:RioluTheFurry447|talk]]) to last revision by [[User:PythonshellDebugwindow|PythonshellDebugwindow]]
23:10:54 <int-e> Maybe https://en.wikifur.com/wiki/OwO ... I guess UwU works as a smiley as well
23:11:34 <user3456> I don't see the point of the "SHUSH, KAREN." page
23:11:40 <imode> yeah that's just spam.
23:11:44 <int-e> Oh it's even mentioned on that page.
23:11:46 <fizzie> Actually, I think there's some sort of mass-rollback thing I could've used as well. But there isn't really that much, and I think that still spams every edit as an individual one on the channel, so I think I'll do it the slow way.
23:12:02 <int-e> user3456: Karen-bashing is a modern trend.
23:12:40 <esowiki> [[Csub]] M https://esolangs.org/w/index.php?diff=77956&oldid=77949 * Fizzie * (-491) Reverted edits by [[Special:Contributions/RioluTheFurry447|RioluTheFurry447]] ([[User talk:RioluTheFurry447|talk]]) to last revision by [[User:A|A]]
23:12:41 <int-e> But the esowiki isn't the place for it.
23:14:58 <fizzie> Let's see if I can figure out the right process for the newly created pages.
23:15:32 <lambdabot> KOAK 122253Z 30009KT 10SM SCT200 29/11 A3002 RMK AO2 SLP167 T02890111
23:15:36 <user3456> is there even a way for normal users to delete pages?
23:16:15 <user3456> wait making it blank would have basically the same effect
23:16:21 <int-e> As far as I know, no. You can blank them and hope for one of the admins to delete them.
23:17:06 <esowiki> [[Special:Log/delete]] delete * Fizzie * deleted "[[SHUSH, KAREN.]]": Mass deletion of pages added by [[Special:Contributions/RioluTheFurry447|RioluTheFurry447]]
23:17:06 <esowiki> [[Special:Log/delete]] delete * Fizzie * deleted "[[Categowy: Joke wanguages]]": Mass deletion of pages added by [[Special:Contributions/RioluTheFurry447|RioluTheFurry447]]
23:17:39 <shachaf> int-e: Did you see the thing I asked about CDCL as a theory? I'm still wondering whether it makes sense.
23:17:55 <shachaf> In this formulation your "core solver" wouldn't even know about the clause database.
23:18:12 <Arcorann_> Usually there's a delete template that people can put on pages to be deleted
23:18:47 <shachaf> I'm wondering how different this is from a regular SMT theory.
23:19:21 <fizzie> Hmm, I'm not sure whether I should do the talk page comment on the "actual" talk page, or the thing it now redirects to, because I guess if a user wants to mildly rearrange their user page, that's fine; it's just that there's a lot of MediaWiki infrastructure that treats "User talk:Username" kind of special.
23:20:01 <int-e> Arcorann_: most of us are mediawiki amateurs
23:20:06 <user3456> If it may mess with/break the infrastructure its probably better to roll it back
23:20:22 <fizzie> (They also didn't actually create the "owo" subpage the talk page redirects to. So maybe I'll just use the real talk page for now.)
23:21:42 <int-e> tbf, the user talk page isn't created automatically either
23:22:44 <Arcorann_> https://tetris.wiki/Template:Delete <-- here's an example of a delete template, just use it as a basis for creating one here
23:25:07 <esowiki> [[Template:Mbox]] N https://esolangs.org/w/index.php?oldid=77957 * Pipythonmc * (+1166) Basically copy directly from https://tetris.wiki/edit/Template:Mbox
23:25:31 <esowiki> [[Template:Ambox]] N https://esolangs.org/w/index.php?oldid=77958 * Pipythonmc * (+814) Basically copy from https://tetris.wiki/edit/Template:Ambox
23:27:02 <esowiki> [[Special:Log/upload]] upload * Pipythonmc * uploaded "[[File:Ambox delete.png]]": For the Template:Delete page
23:27:31 <esowiki> [[Template:Delete]] N https://esolangs.org/w/index.php?oldid=77960 * Pipythonmc * (+476) Create template page. Icon and layout copied from https://tetris.wiki/edit/Template:Delete
23:27:46 <user3456> Delete template should be set up
23:30:46 <int-e> Uhm, https://tetris.wiki/File:Ambox_delete.png has a CC 3.0 BY license, we can't simply take it for the CC0 esowiki.
23:31:16 <Arcorann_> Well, you don't have to take it. Like I said, a basis
23:33:57 <esowiki> [[User talk:RioluTheFurry447]] https://esolangs.org/w/index.php?diff=77961&oldid=77952 * Fizzie * (+898) Note on recent edits.
23:38:36 <fizzie> Hmm. I think I can remove a revision of a file so that it's no longer visible. But maybe it'd be nice to replace it with a CC0 delete icon, I'm sure one can't be *that* hard to find.
23:39:31 <user3456> Yea, I'm trying to find one right now
23:39:56 -!- aaaaaa has quit (Quit: leaving).
23:40:06 <fizzie> In that case I'll leave it to you, and just deal with the file revision once it's done. :)
23:44:35 <fizzie> Here's one from Wikimedia Commons; maybe not *exactly* the right kind of delete, but could work and is CC0: https://commons.wikimedia.org/wiki/File:Delete_icon.png
23:45:13 <esowiki> [[Special:Log/upload]] overwrite * Pipythonmc * uploaded a new version of "[[File:Ambox delete.png]]": Upload temp file since the original is not under CC0
23:46:03 <int-e> fizzie: Hmm that's actually kind of cute in the esolang context
23:47:00 <int-e> (we often thrive on taking things slightly out of context)
23:49:33 <user3456> The Wikimedia Commons one seems pretty good
23:52:28 -!- FreeFull has quit.
23:53:46 <esowiki> [[Special:Log/upload]] overwrite * Pipythonmc * uploaded a new version of "[[File:Ambox delete.png]]": CC0 Image, will probably be permanent unless a better one is found
23:54:34 <esowiki> [[Special:Log/upload]] upload * Pipythonmc * uploaded "[[File:Missingno.png]]": Alternative Delete Icon
23:55:28 <esowiki> [[Template:AltDelete]] N https://esolangs.org/w/index.php?oldid=77965 * Pipythonmc * (+476) Alternative delete template with different icon
23:55:36 <user3456> I hope this doesn't count as spam
23:58:19 <Arcorann_> I mean, I guess it doesn't matter that much as long as it still has the message and puts the page into the "delete this" category, but you could just use a parameter
23:59:53 <user3456> I don't really know how the MediaWiki system works but I guess I can read the docs