00:06:39 -!- xelxebar has joined. 00:28:47 -!- MTGBusyBeaver2 has quit (Remote host closed the connection). 00:38:32 -!- arseniiv has quit (Ping timeout: 258 seconds). 00:50:52 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70120&oldid=70115 * PythonshellDebugwindow * (+138) /* Glossary */ 00:55:56 -!- atslash has quit (Read error: Connection reset by peer). 00:57:14 -!- atslash has joined. 02:01:16 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=70121&oldid=70113 * Ais523 * (+591) /* The Waterfall Model UTM */ I don't know the minimum, but it's a lot less than 124 02:02:35 -!- Sgeo_ has joined. 02:05:26 -!- Sgeo has quit (Ping timeout: 240 seconds). 03:00:14 -!- ais523 has joined. 03:00:49 re the M:tG Turing machine: if all you want is a TWM problem that the judges won't be able to work out the resolution of, I recommend quadratic residuosity 03:00:56 which should be pretty easy to implement in TWM 03:01:18 I posted https://crypto.stackexchange.com/questions/70743/what-makes-the-quadratic-residuosity-problem-hard as a setup for encoding QRosity into TWM, hopefully in a program that's small enough to memorise 03:01:47 (the issue being that we need to find an example program for which there's no known way to discover whether it halts or not in a viable length of time) 03:06:06 -!- Phantom_Hoover has joined. 03:06:11 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:11:10 MTGBusyBeaver: I'm going to bed now but I'll try to get online tomorrow, the idea of combining a universal computer and a no-infinite-loops deck hadn't occured to me at all but is the sort of ridiculousness I approve of 03:11:30 -!- ais523 has quit (Quit: bedtime). 03:20:17 -!- ArthurStrong has quit (Quit: leaving). 03:25:23 -!- tromp has quit (Remote host closed the connection). 03:50:56 I think some of the more simple ones I've seen in other ]] 03:51:18 err other simple systems are a twin prime checker and a collatz relative in CGOL 03:51:34 but those are still pretty complicated, and aided by the 2d nature of the CA 04:08:36 -!- diverger has quit (Ping timeout: 256 seconds). 04:09:40 -!- diverger has joined. 04:52:47 Thanks ais523, unsolved problems arent actually very good, as either it is proved false in which case the machine never halts, or there is a counter example probably at less than 10^^^10, which is a score we can already beat. 04:53:26 So we want to implement the biggest busy beaver machine possible 04:55:20 But that is limited by the namespace, so we really get the improvement via a UTM. 04:58:13 How does a waterfall UTM work? We can get oodles of googles as the variables in a waterfall program, what sort of ratio are we getting for the inputs to the size of machine simulated? 05:02:26 Not to mention that we can iterate the UTM to get BB(BB(....BB(X)...)) 06:04:29 -!- FreeFull has quit. 07:46:03 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 07:46:27 -!- Lord_of_Life has joined. 08:01:42 -!- tromp has joined. 08:14:02 no you can't 08:14:11 you can't get BB(BB(X)) 08:17:04 (also I find it ridiculous when an ultrafinitist argues that 10**400 might not exist, but if you talk about BB(BB(X)) I might have some more sympathy to their side) 08:20:39 what you can get is BB(X) for a large X, just by putting O(X) (or maybe O(2)**X) tokens somewhere into the waterfall program, so you can't just compute BB(100), which is already ridiculous, but BB(10**(10**100)) 08:25:41 heck, you very likely can't even get BB(100), you can only pick a long-running program that you can prove will finish 08:25:51 and that won't run for anything close to BB(100) turns 08:26:11 though it can run longer than most of the other M:tG loop constructions 08:29:16 [[Int**]] https://esolangs.org/w/index.php?diff=70122&oldid=70071 * Hakerh400 * (-15) /* Computational class */ 08:29:21 [[Talk:Int**]] https://esolangs.org/w/index.php?diff=70123&oldid=70075 * Hakerh400 * (+2104) /* Consistency */ 08:34:02 -!- imode has quit (Ping timeout: 256 seconds). 09:10:37 int-e: how to reconnect in a private chat? 09:14:52 -!- trn has quit (Read error: Connection reset by peer). 09:25:42 [[Special:Log/newusers]] create * JulienDelplanque * New user account 09:25:47 -!- trn has joined. 09:33:25 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70124&oldid=70111 * JulienDelplanque * (+211) Added myself. 09:35:43 -!- b_jonas has quit (Quit: leaving). 09:40:26 int-e: your unsatisfiability proof is correct, except that the center using all 3 colors can only be concluded in the 6th diagram 09:44:44 -!- atslash has quit (Read error: Connection reset by peer). 09:45:01 -!- atslash has joined. 09:55:02 -!- cpressey has joined. 11:12:55 -!- longname has quit (Read error: Connection reset by peer). 11:15:48 -!- longname has joined. 11:16:58 [[BytePusher]] https://esolangs.org/w/index.php?diff=70125&oldid=65631 * JulienDelplanque * (+118) Added Pharo BytePusher VM. 11:32:06 -!- xkapastel has joined. 11:38:44 -!- longname has quit (Read error: Connection reset by peer). 11:41:13 -!- longname has joined. 11:48:29 -!- arseniiv has joined. 12:01:36 [[User:ThisIsTheFoxe]] https://esolangs.org/w/index.php?diff=70126&oldid=63860 * ThisIsTheFoxe * (+14) /* Links n' Stuff update URL*/ 12:01:54 [[User:ThisIsTheFoxe]] M https://esolangs.org/w/index.php?diff=70127&oldid=70126 * ThisIsTheFoxe * (+1) /* Links n' Stuff */ 12:02:27 [[User:ThisIsTheFoxe]] M https://esolangs.org/w/index.php?diff=70128&oldid=70127 * ThisIsTheFoxe * (+7) /* Links n' Stuff */ 12:21:41 [[Segreq]] N https://esolangs.org/w/index.php?oldid=70129 * Hanzlu * (+3251) Created page with "Segreq (SEcond GRade EQuation) is a language created in 2020 by [[User:Hanzlu]]. The language operates on a row of cells and a stack. The commands in the language are second..." 12:28:32 [[Segreq]] https://esolangs.org/w/index.php?diff=70130&oldid=70129 * Hanzlu * (+40) 12:30:06 -!- kritixilithos has joined. 12:47:34 -!- ais523 has joined. 12:54:20 -!- pikhq has quit (Read error: Connection reset by peer). 12:54:37 -!- pikhq has joined. 12:55:00 -!- ^[ has quit (Read error: Connection reset by peer). 12:55:30 -!- ^[ has joined. 12:55:35 -!- ais523 has quit (Remote host closed the connection). 12:56:48 -!- ais523 has joined. 13:03:11 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70131&oldid=70119 * Hanzlu * (+204) 13:05:10 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70132&oldid=70131 * Hanzlu * (-1) 13:05:54 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70133&oldid=70132 * Hanzlu * (+97) 13:14:49 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70134&oldid=70133 * Hanzlu * (+0) 13:29:57 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70135&oldid=70120 * PythonshellDebugwindow * (+2312) /* Operators */ and /* Branching */ 13:32:36 b_jonas: I think MTGBusyBeaver's point is that you can create an M:tG deck that's capable of simulating all The Waterfall Model programs below a specific size, but can't get any output from the simulations unless they halt 13:32:47 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70136&oldid=70134 * Hanzlu * (+96) 13:32:51 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70137&oldid=70135 * PythonshellDebugwindow * (+196) /* Variables */ 13:33:23 the question is now "how much damage can this deck do turn 1?", which is a busy beaver problem, as it'll depend on which program produces the largest output 13:34:28 it doesn't require you to find some specific program (although it's helpful to show that you can at least construct a UTM, because that gives you a bound on how fast the busy beaver function grows in this context) 13:34:39 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70138&oldid=70137 * PythonshellDebugwindow * (+80) /* Subpages */ 13:35:12 -!- Tembai has joined. 13:37:26 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70139&oldid=70136 * Hanzlu * (+95) 13:46:27 -!- b_jonas has joined. 13:49:52 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70140&oldid=70138 * PythonshellDebugwindow * (+1036) /* Functions */ 13:50:03 -!- sprocklem has quit (Ping timeout: 268 seconds). 13:51:03 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=70141&oldid=70140 * PythonshellDebugwindow * (+72) /* Glossary */ 14:07:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 14:12:45 -!- kritixilithos has joined. 14:22:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 14:24:59 -!- kritixilithos has joined. 14:29:11 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70142&oldid=70139 * Hanzlu * (-7412) Replaced content with "A Language I Made But It Has No Name The language is supposed to be similar to English written text and rather easy to use and read. Interpreter [https://github.com/Hanz..." 14:49:59 MTGBusyBeaver: fwiw, I'm concerned about the use of Arcbond in the construction; what's to prevent a player setting up an infinitely looping machine without protecting the opponent from Arcbond, and doing infinite damage that way? 14:50:16 or does the fact that the opponent loses at 0 life count as stopping the loop, and thus it isn't infinite damage unless you do it all at once? 14:58:03 -!- kritixil1 has joined. 15:00:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 15:02:23 -!- kritixil1 has quit (Ping timeout: 240 seconds). 15:03:57 -!- kritixil1 has joined. 15:05:47 yes if the opponent dies thegame ends. 15:07:02 -!- kspalaiologos has joined. 15:07:33 -!- sprocklem has joined. 15:11:02 as for iterating the BB function, why is that not something we can do? The BB machine outputs a lot of some resource, then we use that resource to build an even bigger TM and use a more finite resource to trigger the run. 15:11:27 -!- Tembai has quit (Remote host closed the connection). 15:13:21 The busy beaver function is uncomputable. 15:13:51 but it is by definition some finite number 15:14:15 we will never know it exactly 15:15:14 But it's a function, so it's not just a single number. 15:17:40 BB(X) is the busy beaver number of a turing machine of size X, taking the integers to the integers, so BB(BB(X)) is a well formed statement, even though we will never be able to evaluate it 15:17:42 There's a conceptual gap here somewhere. For example, we can create a Turing machine, that, given n, outputs a sequence lower bounds for the busy beaver function, such that the last value output is the value of the busy beaver function itself. 15:19:47 But that TM never halts? 15:20:37 I don't get how you intend to accomplish that iteration. 15:22:34 Because the MTG:TM incidentially outputs lets say life for us. and the size of the TM we can make is limited by our life, and running the TM takes something else eg: red mana. 15:23:29 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70143&oldid=70142 * Hanzlu * (+1889) 15:24:00 so say we start with a combo that makes X life and 5 red, then use our TM to turn 1 red into BB(X) 15:24:42 then we can spend another red after the BB machine halts to run BB(BB(X)) 15:25:01 There is no TM that computes BB(X), given X. 15:25:45 But there is a size X machine that outputs BB(X) 15:26:35 Yes (more or less). But *you* have to know what that machine is when setting up the computation. 15:26:56 And when you iterate, *you* have to come up with the TM of size BB(X) that outputs BB(BB(X))? 15:29:25 No we don't, knowing the machine exists is enough to define it. 15:29:57 ... 15:30:09 for our purposes at least 15:30:27 I'm missing something about the intention here. 15:30:54 I thought you wanted to leave the game in a state where there are no choices left, and leave it to the arbiter to run it to its conclusion. 15:31:15 no, we want to do the most damage possible. 15:31:45 Are you doing something like assuming best play by both players? 15:32:28 (I suppose that would bring you into ATM territory where you can play such tricks indeed.) 15:32:41 (But again, all the burden of finding the machines would be on the players.) 15:33:09 a little stronger than that. Our opponent knows what we are trying and is trying to either minimze the total damage or disqualify the deck by allowing it to go infinite. 15:35:23 single card draw is a Demonic Tutor in disguise: you can assume that the order of your deck is exactly what you want it to be. This veers pretty heavily into magical christmasland, but if we didn’t do it this way you’d have to figure out the average amount of damage a deck could deal, which is probably impossible. 15:35:24 with a deck of 60 wastes. However, they are still playing to stop you: if you give your opponent a choice, they will pick whichever one is worse for you. The only exception is that they won’t concede the game. This is a sadistic goldfish that wants to make you play it out. 15:35:24 of the time, so we define it like this: when you make your deck, I pick a finite number, say, a million, or Graham’s Number, or four. If, no matter what number I pick, there’s a line your deck can take that will deal at least that much damage, your deck goes infinite and is disqualified. 15:35:25 magic apply: if I put 80,000,000 copies of Shock on the stack and target my opponent with each one, they’ll die on the tenth one, and I’ll have dealt only 20 damage. In practice, that means you’re either winning with a giant X-spell or by attacking with a lot of very big creatures. 15:37:45 "Do the most damage possible in MtG" reminds me a lot of "Name the Biggest Number": https://www.scottaaronson.com/writings/bignumbers.html 15:38:20 cpressey: I'll be generous and let you go first. 15:38:36 (That's how it works, doesn't it?) 15:38:57 int-e: did you say you had a less-than in 58 bits with coroutines? 15:40:34 tromp: Yes. 15:40:50 i was able to reproduce that:) 15:41:14 much more straightforward than your div and even your min 15:41:33 tromp: I thought that if you take 'min' as the blueprint you should be able to find the comparisons :) 15:41:35 i see now what you mean by div (m+1) being ewsier 15:41:38 You can work on BB(10) and you can have a working theory for what BB(10) might be but you'll never know if it actually is BB(10). Similarly, you could work on BB(BB(10)) but you have to revise your theory about BB(BB(10)) every time you revise your theory about BB(10). 15:42:12 still surprising that you can do div m with only an additional appllication to id 15:42:16 tromp: It has occurred to me that maybe a divisibility test would be a tad shorter than the modulo operation. 15:43:08 (I haven't put that one to the test though, yet.) 15:45:05 that's not a problem? We are basically playing that name the biggest number game, We can get a bit beyond Ackermann numbers in standard. 15:45:24 (though on a later turn) 15:48:09 int-e: did you also try a less-than-or-equal ? 15:48:22 tromp: it's the same? 15:48:31 tromp: I mean, swap the arguments and true and false 15:49:15 good point:-) 15:51:23 -!- kritixil1 has quit (Ping timeout: 240 seconds). 15:54:19 -!- sprocklem has quit (Ping timeout: 258 seconds). 15:56:59 -!- kritixil1 has joined. 16:00:54 MTGBusyBeaver: Which is fine. Basically you're looking for busy beavers, where the model of computation of M:tG. You can define a busy beaver function for that, say in terms of the deck size. 16:01:06 MTGBusyBeaver: But none of that lets you iterate the busy beaver function itself. 16:01:14 Because it's uncomputable. 16:01:54 only this week we worked out a turing machine setup that works in the rules, 16:02:36 and can set it up to be repeatable some finite number of times 16:03:16 There's no Turing machine that computes BB(x) 16:04:33 No, but there is some turing machine of size x that outputs BB(x) 16:05:04 There's certainly one that takes that many cycles to halt 16:05:37 Or well, writes that number of 1s on the tape 16:06:04 Maybe "there's a line in your deck" is not precise enough. 16:06:05 You can't then take that number and emit BB(BB(x)) without knowing the answer beforehand 16:06:20 What does that mean, exactly? 16:06:31 At which point, why not just do that directly? Why not go straight to BB(BB(x)) + 1? 16:06:41 (Who gets to make the choices for that line of play?) 16:06:49 the opponent 16:07:00 Yeah then you have no alternation. 16:07:13 So no way of iterating the busy beaver function at all, not even theoretically. 16:07:16 why? 16:07:40 int-e: please add div test term to the repo if it offers nontrivial improvement over mod size 16:07:53 Because the opponent will just pick a non-terminating TM instead. 16:08:07 shld be called divides.lam i guess 16:08:11 but a ton terminating TM doesnt do any damage 16:08:16 non* 16:08:30 MTGBusyBeaver: "non-terminating" was for "something that does infinite damage". 16:08:38 or unbounded, which is the same. 16:08:59 but the only way to do damage is by attacking with all the giant creatures the TM makes 16:09:08 if the TM never halts we cant attack 16:09:52 -!- sprocklem has joined. 16:11:36 Hmm. I see, I'm wrong about needing alternation. 16:12:09 Plain non-determinism is enough, and you get that. 16:13:08 we need the TM to be deterministic, or we can just loop for an arbitrary amount of time and then halt 16:13:44 The non-determinism is in the choices the player can make in setting up that TM. 16:14:40 yes we have that 16:16:30 The working TM implementation of the Waterfall Model is here: https://www.mtgsalvation.com/forums/magic-fundamentals/magic-general/615089-most-turn-1-damage-in-a-deck-with-no-infinite?comment=2434 16:17:58 So we have: NTM A(n): guess TM B of size n; run B to completion; return number of steps taken, and a computational model that discards all non-terminating runs and picks the maximum value produced by the others. 16:18:26 -!- imode has joined. 16:20:29 pretty much 16:21:12 "a computational model that discards all non-terminating runs" 16:21:54 a run that never terminates does no damage and scores zero 16:22:33 How do you propose to test a run to see if it will never terminate 16:23:25 very carefully. ;) 16:24:22 we don't need to every actually construct the busy beaver machines, just know that they are bounded by BB(n) 16:24:22 cpressey: You don't. 16:24:47 cpressey: It's a perfectly fine definition, just not computable. 16:25:21 MTGBusyBeaver: Obviously to actually deal that amount of money you still have to fine the busy beavers. 16:25:25 money? 16:25:30 Fun brain fart. 16:25:35 I meant damage. 16:26:39 didn't know you bet on MTG int-e. :P 16:26:57 well we just want to set bounds for the damage, highest lowest bound with an upper bound wins 16:27:00 imode: I don't. But I imagine it would be as good a way of losing money as all the others. 16:28:06 high-stakes MTG tournaments lmao. 16:28:27 so we can bound it by BB(...BB(X)...) 16:29:26 BB^X(X) for some large X 16:32:43 int-e: Did you notice you didn't stop at "money", you also said "fine" for "find"? 16:34:00 Image of a parking patroller tucking a ticket under the wipers on a Turing machine. 16:34:49 int-e's all about the money, all about the dum dum da da dum dum. 16:35:16 cpressey: No I had not noticed that. 16:35:30 cpressey: That's a plausible typo though, at least. 16:36:39 I'm a little unclear on whether just having a (perfectly fine) definition is sufficient for MtG, or if you have to actually, you know, be able to compute it, in order to take your turn. 16:37:24 cpressey: I think it works just as MTGBusyBeaver claims... you don't need to know what the upper bound is, just that it exists. 16:38:34 [[Special:Log/newusers]] create * Micky * New user account 16:39:06 cpressey: And the trick is, non-termination doesn't kill you; it's only the things that do terminate that eventually deal you any damage. 16:39:48 We'd like to be a little less handwavey and at least explicitly construct/explain/justify the UTM in the Waterfall method 16:40:26 cpressey: It's a really funny situation where given a candidate for an upper bound you'll (probably) never be able to tell whether it's big enough already :) 16:40:27 as we are limited to 124 waterclocks 16:40:30 So "In principle there's a TM that deals a huge amount of damage because it computes BB(...(BB(10)...), but I don't know exactly what that TM is" is sufficient? 16:40:38 If so then OK 16:41:07 cpressey: No, it's an NTM that computes that thing, and we do know what that NTM is. 16:41:18 we are the NTM 16:41:20 But we can't run NTMs in practice. 16:41:46 Um 16:42:32 cpressey: Somewhere, internally, that NTM *guesses* the actual TM. 16:43:09 There are only finitely many possible TMs of a given size 16:43:12 Or TMs, plural. One that computes BB(10), one that computes BB(BB(10)), and so on. 16:43:35 "An NTM guesses a TM" is roughly the same as "In principle there's a TM", what I said 16:43:50 cpressey: True. 16:44:25 But also kind of missing the point; for any natural number n, there's a TM that computes n. 16:44:29 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=70144&oldid=70124 * Micky * (+438) /* Introductions */ Hi 16:45:12 But I didn't mention the size constraint either, so I'm not sure what my objection is. 16:52:35 -!- sprocklem has quit (Ping timeout: 268 seconds). 16:54:21 [[Special:Log/move]] move * PythonshellDebugwindow * moved [[User:PythonshellDebugwindow/Sandbox]] to [[User:PythonshellDebugwindow/(Unnamed language)]]: Deserves its own page 16:54:38 [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=70147&oldid=70145 * PythonshellDebugwindow * (-21) /* (Unnamed language) */ 16:55:16 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=70148&oldid=70107 * PythonshellDebugwindow * (+80) /* Languages */ 16:56:52 [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=70149&oldid=70147 * PythonshellDebugwindow * (+89) /* Datatypes */ 16:58:32 -!- cpressey has quit (Quit: A la prochaine.). 17:00:31 we are the NTM => I would doubt that 17:01:31 many-world quantum physics gets somewhat close 17:01:43 but even that has a hard time collecting results 17:08:58 I guess the idea with this Magic construction is that it lets you calculate any number a UTM can calculate 17:09:04 up to a certain size n 17:09:21 so we know that it's capable of calculating BB(n) and no higher number, but we don't know what input you have to give it to produce that 17:09:59 there doesn't seem to be a conceputal issue with iterating that: you could perhaps modify it so that it's capable of calculating a range of numbers of which the highest is BB(BB(n)), given the appropriate input 17:10:02 but not be able to determine what that input is 17:10:21 the reason this works is that what we have is, conceptually, an interpreter that refuses to run non-halting programs 17:11:09 I really should create a universal interpreter for some TC language in TWM some day, even if it's far from optimal 17:11:14 just to get a baseline 17:11:26 on how many waterclocks you need 17:11:33 I keep on getting sidetracked trying to optimise it 17:11:51 yeah, even if it is inefficient as long as it works with 124 waterclocks 17:12:10 which is probably way more than needed 17:12:41 well, the limit's a little less than 124 because you need a few creature types to set it up, right? Cat in particular is unusable 17:12:57 but much less than 124 seems definitely viable 17:13:28 well the halting clock is one of the 124 17:14:24 [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=70150&oldid=70149 * PythonshellDebugwindow * (+372) /* Functions */ 17:14:49 but we get to use everything else as we can make the setup creatures lose their types (and avoid arcbond damage) with One with the stars 17:14:52 I personally count halt states, although not everybody does 17:15:20 that's a fun card, and one I came up with myself when brainstorming custom cards (although my version of it was white) 17:16:48 `card-by-name One With the Stars 17:16:50 No output. 17:17:03 oh right, I need to persuade someone to add Theros Beyond Death to that thing 17:17:08 `card-by-name Hungry Lynx 17:17:09 Hungry Lynx \ 1G \ Creature -- Cat \ 2/2 \ Cats you control have protection from Rats. (They can't be blocked, targeted, or dealt damage by Rats.) \ At the beginning of your end step, target opponent creates a 1/1 black Rat creature token with deathtouch. \ Whenever a Rat dies, put a +1/+1 counter on each Cat you control. \ C17-R 17:17:13 Enchanted permanent is an enchantment and loses all other card types. (It still has its abilities, but it’s no longer a creature.) 17:17:25 I was mostly just trying to show it off 17:18:05 b_jonas: can you update HackEso's M:tG database to include the latest cards? given the current topic of discussion it may well be relevant 17:18:19 well we don't use hungry lynx anymore 17:18:32 'card-by-name coat of arms 17:18:41 backquote, not apostrophe 17:18:51 and yes, that was an interesting idea for the construction 17:18:52 `card-by-name coat of arms 17:18:53 Coat of Arms \ 5 \ Artifact \ Each creature gets +1/+1 for each other creature on the battlefield that shares at least one creature type with it. (For example, if two Goblin Warriors and a Goblin Shaman are on the battlefield, each gets +2/+2.) \ EX-R, 7E-R, 8ED-R, 9ED-R, 10E-R, M10-R, DDS-R, H09-R 17:19:06 my main aim was to hit the whole thing into a sideboard, so I wanted to do it with as few cards as possible 17:19:22 but single-purpose cards are much better for what you're doing 17:20:57 it still fits in a sideboard 17:21:36 [[User:PythonshellDebugwindow/(Unnamed language)]] https://esolangs.org/w/index.php?diff=70151&oldid=70150 * PythonshellDebugwindow * (+245) /* Variables */ 17:21:47 hmm, neat 17:21:54 but Coat of Arms is an artifact, so it might be hard to wish it out of the sideboard 17:23:08 there are several ways to wish for it 17:24:09 `card-by-name Karn, the great creator 17:24:11 No output. 17:24:44 hasn't been updated in a while? 17:24:50 right, but the point is that you'd need extra cards in maindeck for sideboard 17:24:54 yes, I think it's out of date 17:25:52 Fae of wishes is another pretty generic wish 17:26:12 and Mastermind's acquisition 17:26:28 Omni-tell naturally runs multiple Cunning Wish and Burning Wish, which is one of the things that made it such a good shell to set the UTM up 17:26:41 like, the whole point was to make a UTM that was tournament-competitive 17:27:19 well wish for Mastermind's acquisition for the rest of the SB 17:28:53 though the sb doesnt have enough slots to ensure your opponent can't interact also. 17:29:08 I think 17:37:24 would the presence of Doubling Season mess up an attempt to use the UTM? 17:37:58 e.g. by, if it were still on the battlefield at that point, producing too many triggers that could be stacked in awkward ways to introduce player-choosable nondeterminism? 17:40:03 the order the tokens etb doesn't change the operation of TM 17:40:13 even if there are too many of them? 17:41:55 if there are more than expected, there will be some other operation we are doing, but it doesnt give us extra choices 17:42:05 right, in that case it's fine 17:42:14 (assuming we have a way to get rid of the Doubling Seasons, and I suspect we do) 17:43:08 -!- ais523 has changed nick to callforjudgement. 17:43:26 -!- callforjudgement has quit (Quit: sorry for my connection). 17:43:36 yeah, we can bounce them 17:43:40 -!- callforjudgement has joined. 17:43:43 -!- callforjudgement has changed nick to ais523. 17:43:53 we can bounce the doubling seasons 17:44:12 before starting the tm 17:45:17 -!- FreeFull has joined. 17:45:22 on a related note, I was trying to prove Android: Netrunner TC a while back, but I don't think it is 17:45:29 it has the opposite problem to Yu-Gi-Oh 17:45:45 in Yu-Gi-Oh, there are ways to store data but you can't store a program, there just isn't enough room on the playmat 17:46:23 in Android: Netrunner, storing a program is trivial (subroutines are a game mechanic!), but although you have a few places to write data, reading it back is incredibly difficult, and I don't think you can get sufficiently many variables that you can read 17:49:07 another issue is that the game designers are paranoid about infinite combos of any sort, although I did manage to construct a nontrivial mandatory infinite loop 17:50:29 -!- LKoen has joined. 18:08:05 (it involved Always Be Running on the runner side, and two copies of Off the Grid, Whirlpool, Hourglass, and Mirāju on the Corp side, plus one unplayable card in hand; every turn, the runner is forced to run a specific central, is banned from jacking out, loses all their clicks, then puts the corp card from their hand back into their deck) 18:08:22 (and on the corp turn they can't do anything but click for credits, assuming their deck is empty) 18:25:14 -!- kritixil1 has quit (Quit: quit). 18:39:22 -!- Melvar has quit (Quit: WeeChat 2.4). 18:41:10 -!- LKoen has quit (Remote host closed the connection). 18:42:51 -!- LKoen has joined. 18:51:16 -!- Melvar has joined. 19:00:53 tromp: pushed (non-)divisibility 19:03:48 -!- sprocklem has joined. 19:04:20 tromp: (non-divisibility is shorter because of the accident that m false = false for Church numerals m > 0). 19:15:28 -!- LKoen has quit (Remote host closed the connection). 19:21:16 -!- LKoen has joined. 19:44:02 -!- Lord_of_Life_ has joined. 19:46:40 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 19:46:52 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:53:23 [[Language list]] https://esolangs.org/w/index.php?diff=70152&oldid=70094 * Hanzlu * (+16) 19:58:25 -!- tswett[m] has quit (Changing host). 19:58:25 -!- tswett[m] has joined. 19:58:25 -!- tswett[m] has quit (Changing host). 19:58:25 -!- tswett[m] has joined. 19:59:31 -!- kspalaiologos has quit (Quit: Leaving). 19:59:35 -!- ais523 has quit (Quit: quit). 20:03:17 -!- LKoen has quit (Remote host closed the connection). 20:21:38 MTGBusyBeaver, ais523, int-e: I'll review this conversation about M:tG later, but not this evening. I was busy with some urgent real life stuff. 20:23:05 ais523: sorry, I can't update the database. so far my copies of Oracle were either a straight copy of Yawgatog's database, or mined from the previous iteration of the Oracle website. now I'll have to download the data from the new Oracle site, which I started once but it got complicated so I suspended it indefinitely, or download Scryfall's more accurate database. 20:23:10 ideally both and compare them. 20:26:16 for now I just want to mention that Lifespark Spellbomb; Utopia Sprawl; Freed from the Real is a simple infinite green mana combo that doesn't also let you deal unlimited damage by attacking with a small creature each turn, so that plus Disintegrate lets you deal an unlimited amount of damage only once 20:33:07 yeah, that combo would disqualify the deck as it is not bounded. 20:51:52 [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=70153&oldid=70151 * PythonshellDebugwindow * (+2) /* Hello, World! */ Fixed heading level 21:02:47 [[Iflang]] https://esolangs.org/w/index.php?diff=70154&oldid=70118 * Hanzlu * (-1431) Blanked the page 21:03:34 [[Iflang]] https://esolangs.org/w/index.php?diff=70155&oldid=70154 * Hanzlu * (+1431) Undo revision 70154 by [[Special:Contributions/Hanzlu|Hanzlu]] ([[User talk:Hanzlu|talk]]) 21:18:08 [[User:PythonshellDebugwindow/(Unnamed language)]] M https://esolangs.org/w/index.php?diff=70156&oldid=70153 * PythonshellDebugwindow * (+217) /* Indentation */ 21:43:52 [[Eso2D]] M https://esolangs.org/w/index.php?diff=70157&oldid=70104 * PythonshellDebugwindow * (+15) /* Commands */ Now Ive updated the reference interpreter 21:44:13 [[ALIMBIHNN]] https://esolangs.org/w/index.php?diff=70158&oldid=70143 * Hanzlu * (+2) 21:47:14 [[Eso2D]] M https://esolangs.org/w/index.php?diff=70159&oldid=70157 * PythonshellDebugwindow * (+38) /* Example programs */ 21:59:30 [[Eso2D]] M https://esolangs.org/w/index.php?diff=70160&oldid=70159 * PythonshellDebugwindow * (+92) /* Example programs */ 22:26:29 -!- shachaf has joined. 22:47:14 -!- MTGBusyBeaver has quit (Remote host closed the connection). 23:13:59 -!- MTGBusyBeaver has joined.