00:13:55 -!- dutch has joined.
00:34:06 <esolangs> [[User:IFcoltransG/HQ9+ derivatives]] https://esolangs.org/w/index.php?diff=88838&oldid=68913 * TheJonyMyster * (+31) added hq9000+
00:45:22 -!- andydude has joined.
00:45:46 -!- andydude has quit (Client Quit).
00:47:19 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88839&oldid=88772 * 4gboframram * (+30) /* Basic Info */
00:49:11 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88840&oldid=88839 * 4gboframram * (-1) /* Basic Info */
00:50:05 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88841&oldid=88840 * 4gboframram * (+6) /* Stack Operations */
00:52:44 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88842&oldid=88841 * 4gboframram * (-145) /* Features */
00:53:22 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88843&oldid=88842 * 4gboframram * (+9) /* Variables */
00:53:43 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88844&oldid=88843 * 4gboframram * (-14) /* Expressions */
00:54:48 <esolangs> [[Senpai]] https://esolangs.org/w/index.php?diff=88845&oldid=88844 * 4gboframram * (+33) /* Expressions */
02:06:40 -!- Argorok has quit (Ping timeout: 252 seconds).
02:06:55 -!- ProofTechnique has quit (Ping timeout: 268 seconds).
02:08:13 -!- mich181189 has quit (Ping timeout: 252 seconds).
02:08:19 -!- integral has quit (Ping timeout: 252 seconds).
02:08:23 -!- yuu__ has joined.
02:08:46 -!- yuu_ has quit (Ping timeout: 268 seconds).
02:08:46 -!- yuu__ has changed nick to yuu_.
02:08:52 -!- pikhq has quit (Ping timeout: 252 seconds).
02:09:26 -!- mich181189 has joined.
02:10:08 -!- Argorok has joined.
02:10:31 -!- integral has joined.
02:23:03 -!- pikhq has joined.
02:24:24 -!- ProofTechnique has joined.
02:44:24 <esolangs> [[Forget]] https://esolangs.org/w/index.php?diff=88846&oldid=64968 * PixelatedStarfish * (+25) /* Resources */
02:51:09 -!- oerjan has joined.
03:45:31 -!- earendel has joined.
04:14:01 <zzo38> How does the most finite damage of Magic: the Gathering changed if all state-based actions are suppressed? Will this increase or decrease?
04:18:19 <b_jonas> zzo38: hard to tell. maybe the order of magnitude doesn't change; maybe it increases because you can pull off some combo that creates a lot of tokens in your hand or library or graveyard and use those as fuel for something
04:22:15 <b_jonas> it might even decrease if the best combos become infinite because your opponent won't automatically lose the game after you do the combo
04:23:10 <b_jonas> I haven't really followed how the current best known decks work, which is also why I can't guess
04:27:04 <b_jonas> although wait, wasn't it suspected that the best deck involves a busy beaver so large (by setting up some turing-complete computation with lots of fuel) that it goes to undecidable territory to tell how much damage it deals?
04:27:45 <zzo38> Those are the reasons I thought it might increase or decrease, and was therefore unsure
04:27:46 <b_jonas> Iirc that wasn't proven, but it was a reasonable conjecture based on not quite working decks
04:36:02 <b_jonas> while we're there, has anyone figured out what the infinity rules of M:tG could actually mean if you tried to formalize them, and whether they're uncomputable and how much?
04:39:11 <b_jonas> because it sounds like you might get something that climbs the arithmetic hierarchy all the way up or something
04:39:25 <b_jonas> or maybe there's just no reasonable way to formalize them
05:03:34 -!- Pyautogui has joined.
05:06:00 <Pyautogui> Noob here: What is the smallest BF derivative, in instruction number?
05:16:50 -!- Pyautogui has quit (Ping timeout: 265 seconds).
05:17:03 <Corbin> Pyautogui: There is an automatic technique for making one-instruction and zero-instruction flavors of any language, including Brainfuck.
05:22:47 <Corbin> Take the programs of any language. Equip them with a partial order; f precedes g when f's text can be partially evaluated to produce g. Form a categorical logic in the standard way; the objects are equivalence classes of programs and the arrows are partial evaluations.
05:23:34 <Corbin> The type theory corresponding to the category is a zero-instruction abstract machine. It might not have a confluent reduction; it could be non-deterministic.
05:28:37 <Corbin> Intuitively, in many-instruction Brainfuck, there is a decoding of an instruction and then an action which is dependent on the decoded instruction. The zero-instruction category forgets that decoding is separate; the action that will be taken is hardcoded into each arrow.
05:37:44 <nakilon> Corbin he left before you started answering
05:47:56 <oerjan> never mind, he wouldn't have understood anything anyway :P
05:51:39 <oerjan> anyway, i was going to have some caffeine ->
06:00:31 <velik> Name: hot beverage | Similar characters: ⌚ (watch) | ⌛ (hourglass) | | Unicode block: Miscellaneous Symbols (9728 through 9983) (256 characters)
06:36:53 -!- arseniiv has joined.
06:42:21 <zzo38> The rules should be formalized in order to clarify them.
06:42:53 * oerjan was actually going for the iced variety, also he somehow got rerouted to eating
06:43:49 * oerjan is reminded of the saying "The beatings will continue until morale improves"
06:54:25 <zzo38> (If the way that it is supposed to be working formally is known, I could add them to the Codex, in case it becomes important in a puzzle.)
07:03:52 <zzo38> (I also included many rules for determining the timestamps of objects in the given position; in some cases it results in the puzzle being split into multiple puzzles, and in some cases it results in a solution that seems to be valid but actually isn't, or vice-versa.)
07:13:36 -!- delta23 has quit (Quit: Leaving).
07:21:25 -!- Thelie has joined.
08:06:31 -!- hendursa1 has joined.
08:08:03 -!- chiselfuse has quit (Remote host closed the connection).
08:08:26 -!- chiselfuse has joined.
08:09:12 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:12:27 -!- delta23 has joined.
08:45:04 -!- river has joined.
09:35:20 -!- hendursa1 has quit (Remote host closed the connection).
09:37:51 -!- Sgeo has quit (Read error: Connection reset by peer).
09:37:57 <nakilon> is there a reason why no bot here prints titles of links posted?
09:38:24 <river> maybe it isn't needed, i never like these bots really
09:39:03 <nakilon> ok then I'll enable it only for other channels
09:40:46 <nakilon> test.com does not open anyway )
09:42:07 -!- Thelie has quit (Remote host closed the connection).
09:42:15 -!- hendursa1 has joined.
09:43:46 <esolangs> [[Special:Log/newusers]] create * Hyeon72 * New user account
09:52:18 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=88847&oldid=88793 * Hyeon72 * (+134) /* Introductions */
09:53:07 -!- hendursa1 has quit (Remote host closed the connection).
09:53:51 -!- hendursa1 has joined.
09:56:31 <esolangs> [[User:Hyeon72]] N https://esolangs.org/w/index.php?oldid=88848 * Hyeon72 * (+41) Created page with "Nothing yet and trying to make a esolang."
10:06:53 <esolangs> [[User:Hyeon72]] https://esolangs.org/w/index.php?diff=88849&oldid=88848 * Hyeon72 * (+52)
10:08:09 -!- hendursa1 has quit (Ping timeout: 276 seconds).
10:08:53 -!- hendursa1 has joined.
10:30:11 -!- Koen has joined.
10:46:52 <esolangs> [[Mbfi]] N https://esolangs.org/w/index.php?oldid=88850 * Oerjan * (+10367) Time to publish something
10:48:03 -!- oerjan has quit (Quit: Later).
11:07:30 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
11:11:51 -!- Lord_of_Life has joined.
11:14:58 -!- Lord_of_Life_ has joined.
11:16:21 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
11:16:22 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:19:14 -!- river has quit (Quit: Leaving).
11:22:30 -!- Lord_of_Life_ has joined.
11:23:11 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
11:25:20 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:35:11 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
12:04:53 -!- imode has quit (Ping timeout: 264 seconds).
12:21:47 -!- dutch has quit (Quit: WeeChat 3.3).
12:26:49 -!- delta23 has quit (Quit: Leaving).
12:27:54 <esolangs> [[Kolmogorov]] M https://esolangs.org/w/index.php?diff=88851&oldid=88505 * Kaveh Yousefi * (+5) Updated the hyperlink for the interpreter to my renamed GitHub account.
12:33:05 -!- dutch has joined.
12:38:44 <esolangs> [[Hardfuck]] M https://esolangs.org/w/index.php?diff=88852&oldid=88827 * Kaveh Yousefi * (+18) Updated the hyperlink for the interpreter to my renamed GitHub account.
13:19:28 -!- sprout has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
13:25:21 <esolangs> [[Jaune]] M https://esolangs.org/w/index.php?diff=88853&oldid=82922 * Kaveh Yousefi * (+1) Redirected the hyperlink to the interpreter in order to recognize the modified hierarchy of my GitHub account.
13:42:33 -!- hanif has joined.
14:01:30 -!- hanif has quit (Ping timeout: 276 seconds).
14:06:39 -!- hanif has joined.
14:24:56 -!- Koen_ has joined.
14:27:50 -!- Koen has quit (Ping timeout: 265 seconds).
14:33:40 <esolangs> [[Brainfuck]] https://esolangs.org/w/index.php?diff=88854&oldid=88703 * Keymaker * (+84) Added Mbfi.
14:36:10 -!- sprock has quit (Ping timeout: 252 seconds).
14:36:45 -!- sprock has joined.
14:51:14 -!- Pyautogui has joined.
14:52:16 -!- Pyautogui has quit (Client Quit).
14:56:07 -!- Pyautogui has joined.
15:06:59 -!- Pyautogui has quit (Ping timeout: 264 seconds).
15:22:24 -!- Pyautogui has joined.
15:25:21 <esolangs> [[Forget Me Not]] N https://esolangs.org/w/index.php?oldid=88855 * PixelatedStarfish * (+353) Created page with "Forget Me Not is a programming language by [[User:PixelatedStarfish]] and influenced by INTERCAL. The instruction pointer will forget what it was trying to do and start over (..."
15:45:19 -!- hanif has quit (Quit: quit).
16:14:05 -!- Koen_ has quit (Remote host closed the connection).
16:19:33 -!- river has joined.
16:20:54 -!- Lord_of_Life has joined.
16:44:47 -!- Pyautogui has quit (Ping timeout: 264 seconds).
17:20:02 -!- Pyautogui has joined.
17:24:24 <esolangs> [[TheEnd]] N https://esolangs.org/w/index.php?oldid=88856 * Pyautogui * (+1037) Created page with "TheEnd is an esoteric programming language inspired by Malbolge. It's intention is to be very, very, close to unusable, without actually being there. == Specification == ===..."
17:25:12 <esolangs> [[TheEnd]] https://esolangs.org/w/index.php?diff=88857&oldid=88856 * Pyautogui * (-2)
17:29:37 <esolangs> [[TheEnd]] https://esolangs.org/w/index.php?diff=88858&oldid=88857 * Pyautogui * (+330)
17:30:17 <esolangs> [[TheEnd]] https://esolangs.org/w/index.php?diff=88859&oldid=88858 * Pyautogui * (+9)
17:30:29 -!- velik has quit (Remote host closed the connection).
17:40:25 -!- Pyautogui has quit (Quit: Connection closed).
17:41:11 -!- Pyautogui has joined.
17:48:14 -!- hendursa1 has quit (Quit: hendursa1).
17:48:58 -!- hendursaga has joined.
17:56:30 -!- Thelie has joined.
18:06:26 -!- river has quit (Quit: Leaving).
18:08:12 -!- hendursaga has quit (Remote host closed the connection).
18:08:47 -!- hendursaga has joined.
18:23:24 -!- Sgeo has joined.
18:32:58 -!- imode has joined.
18:39:34 -!- MathR has joined.
18:40:21 -!- hendursaga has quit (Ping timeout: 276 seconds).
18:40:24 -!- MathR has quit (Client Quit).
18:40:52 -!- hendursaga has joined.
18:57:01 -!- Koen has joined.
19:00:29 -!- velik has joined.
19:02:16 -!- velik has quit (Remote host closed the connection).
19:16:16 <esolangs> [[Snake Script]] M https://esolangs.org/w/index.php?diff=88860&oldid=77444 * VilgotanL * (+49) fix title and add categories
19:16:54 -!- velik has joined.
19:27:57 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88861&oldid=88855 * PixelatedStarfish * (+506)
19:41:11 <b_jonas> I agree, I also don't like bots that prints the title of URLs posted
19:45:59 -!- Pyautogui has quit (Ping timeout: 264 seconds).
19:58:25 -!- velik has quit (Remote host closed the connection).
19:59:01 -!- velik has joined.
20:04:11 -!- velik has quit (Remote host closed the connection).
20:08:23 -!- velik has joined.
20:09:16 -!- Koen has quit (Remote host closed the connection).
20:25:25 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88862&oldid=88861 * PixelatedStarfish * (+553)
20:26:27 -!- Pyautogui has joined.
20:31:40 <nakilon> Pyautogui https://esolangs.org/wiki/BF_instruction_minimalization
20:32:05 -!- earendel has quit (Quit: Connection closed for inactivity).
20:32:23 <Pyautogui> Thanks! Exactly what I was looking for.
20:38:37 -!- Koen has joined.
20:49:15 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88863&oldid=88862 * PixelatedStarfish * (+246) /* Instructions */
20:49:46 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88864&oldid=88863 * PixelatedStarfish * (+1) /* Instructions */
20:50:48 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88865&oldid=88864 * PixelatedStarfish * (+0) /* Instructions */
20:52:42 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88866&oldid=88865 * PixelatedStarfish * (+101) /* Instructions */
21:16:36 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88867&oldid=88866 * PixelatedStarfish * (+65)
21:17:13 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88868&oldid=88867 * PixelatedStarfish * (+4) /* Instructions */
21:17:17 <esolangs> [[Newton's Third Nightmare]] N https://esolangs.org/w/index.php?oldid=88869 * RocketRace * (+18933) Newton's Third Nightmare
21:17:58 <esolangs> [[Newton's Third Nightmare]] M https://esolangs.org/w/index.php?diff=88870&oldid=88869 * RocketRace * (+1) Alignment
21:23:48 <esolangs> [[Newton's Third Nightmare]] M https://esolangs.org/w/index.php?diff=88871&oldid=88870 * RocketRace * (+81) Categorization
21:25:09 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88872&oldid=88868 * PixelatedStarfish * (+52) /* Instructions */
21:27:36 <esolangs> [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88873&oldid=88872 * PixelatedStarfish * (+9)
21:28:05 <esolangs> [[User:RocketRace]] https://esolangs.org/w/index.php?diff=88874&oldid=87355 * RocketRace * (+75) NTK
21:32:53 -!- Thelie has quit (Remote host closed the connection).
21:39:47 <esolangs> [[Newton's Third Nightmare]] M https://esolangs.org/w/index.php?diff=88875&oldid=88871 * RocketRace * (+34) Line width smoothing
21:53:40 -!- Koen has quit (Quit: Leaving...).
22:10:08 <esolangs> [[Greg]] https://esolangs.org/w/index.php?diff=88876&oldid=88782 * TheJonyMyster * (+5142) formatting overhaul
22:36:57 -!- chiselfuse has quit (Ping timeout: 276 seconds).
22:39:35 -!- chiselfuse has joined.
22:43:55 -!- Pyautogui has quit (Quit: Connection closed).
22:48:34 <nakilon> TIL that shadow DOM can have <style> and there is a thing <style scope>
22:48:54 <nakilon> though I don't understand why Chrome uses both at the same time on its preferences page
23:35:13 -!- arseniiv has quit (Ping timeout: 252 seconds).
23:38:20 -!- Pyautogui has joined.
23:40:14 -!- Pyautogui has quit (Client Quit).