00:13:55 -!- dutch has joined. 00:34:06 [[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 [[Senpai]] https://esolangs.org/w/index.php?diff=88839&oldid=88772 * 4gboframram * (+30) /* Basic Info */ 00:49:11 [[Senpai]] https://esolangs.org/w/index.php?diff=88840&oldid=88839 * 4gboframram * (-1) /* Basic Info */ 00:50:05 [[Senpai]] https://esolangs.org/w/index.php?diff=88841&oldid=88840 * 4gboframram * (+6) /* Stack Operations */ 00:52:44 [[Senpai]] https://esolangs.org/w/index.php?diff=88842&oldid=88841 * 4gboframram * (-145) /* Features */ 00:53:22 [[Senpai]] https://esolangs.org/w/index.php?diff=88843&oldid=88842 * 4gboframram * (+9) /* Variables */ 00:53:43 [[Senpai]] https://esolangs.org/w/index.php?diff=88844&oldid=88843 * 4gboframram * (-14) /* Expressions */ 00:54:48 [[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 [[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 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 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 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 I haven't really followed how the current best known decks work, which is also why I can't guess 04:27:04 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 Those are the reasons I thought it might increase or decrease, and was therefore unsure 04:27:46 Iirc that wasn't proven, but it was a reasonable conjecture based on not quite working decks 04:36:02 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 because it sounds like you might get something that climbs the arithmetic hierarchy all the way up or something 04:39:25 or maybe there's just no reasonable way to formalize them 05:03:34 -!- Pyautogui has joined. 05:06:00 Noob here: What is the smallest BF derivative, in instruction number? 05:16:50 -!- Pyautogui has quit (Ping timeout: 265 seconds). 05:17:03 Pyautogui: There is an automatic technique for making one-instruction and zero-instruction flavors of any language, including Brainfuck. 05:17:21 do tell! 05:22:47 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 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 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 Corbin he left before you started answering 05:38:04 truly noob there 05:39:40 Happens. I'm slow. 05:47:56 never mind, he wouldn't have understood anything anyway :P 05:49:11 *they 05:49:50 (hopefully imode did) 05:51:10 * oerjan certainly didn't 05:51:39 anyway, i was going to have some caffeine -> 06:00:12 take this ☕ 06:00:24 \wa ☕ 06:00:31 Name: hot beverage | Similar characters: ⌚ (watch) | ⌛ (hourglass) | | Unicode block: Miscellaneous Symbols (9728 through 9983) (256 characters) 06:00:55 very similar... 06:36:53 -!- arseniiv has joined. 06:42:21 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 (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 (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 is there a reason why no bot here prints titles of links posted? 09:38:10 www.test.com 09:38:12 hmm 09:38:24 maybe it isn't needed, i never like these bots really 09:39:03 ok then I'll enable it only for other channels 09:40:46 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 [[Special:Log/newusers]] create * Hyeon72 * New user account 09:52:18 [[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 [[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 [[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 [[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 [[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 [[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 [[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 [[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 [[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 [[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 [[TheEnd]] https://esolangs.org/w/index.php?diff=88857&oldid=88856 * Pyautogui * (-2) 17:29:37 [[TheEnd]] https://esolangs.org/w/index.php?diff=88858&oldid=88857 * Pyautogui * (+330) 17:30:17 [[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 [[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 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88861&oldid=88855 * PixelatedStarfish * (+506) 19:41:11 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:54:32 hello esofriends 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:09:23 hello 20:25:25 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88862&oldid=88861 * PixelatedStarfish * (+553) 20:26:27 -!- Pyautogui has joined. 20:31:40 Pyautogui https://esolangs.org/wiki/BF_instruction_minimalization 20:32:05 -!- earendel has quit (Quit: Connection closed for inactivity). 20:32:23 Thanks! Exactly what I was looking for. 20:38:37 -!- Koen has joined. 20:49:15 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88863&oldid=88862 * PixelatedStarfish * (+246) /* Instructions */ 20:49:46 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88864&oldid=88863 * PixelatedStarfish * (+1) /* Instructions */ 20:50:48 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88865&oldid=88864 * PixelatedStarfish * (+0) /* Instructions */ 20:52:42 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88866&oldid=88865 * PixelatedStarfish * (+101) /* Instructions */ 21:16:36 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88867&oldid=88866 * PixelatedStarfish * (+65) 21:17:13 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88868&oldid=88867 * PixelatedStarfish * (+4) /* Instructions */ 21:17:17 [[Newton's Third Nightmare]] N https://esolangs.org/w/index.php?oldid=88869 * RocketRace * (+18933) Newton's Third Nightmare 21:17:58 [[Newton's Third Nightmare]] M https://esolangs.org/w/index.php?diff=88870&oldid=88869 * RocketRace * (+1) Alignment 21:23:48 [[Newton's Third Nightmare]] M https://esolangs.org/w/index.php?diff=88871&oldid=88870 * RocketRace * (+81) Categorization 21:25:09 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88872&oldid=88868 * PixelatedStarfish * (+52) /* Instructions */ 21:27:36 [[Forget Me Not]] https://esolangs.org/w/index.php?diff=88873&oldid=88872 * PixelatedStarfish * (+9) 21:28:05 [[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 [[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 [[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 TIL that shadow DOM can have