00:00:14 <HackEgo> [wiki] [[Rao]] https://esolangs.org/w/index.php?diff=51878&oldid=51877 * H3amza * (+1312) added section on functions.
00:01:50 <zzo38> What question do you have of M:tG? The rules have been improved a lot since the original version; they are much more logical and mathematically elegant and so on than it used to be, although still there are problems they will probably never fix. The change to split cards rules makes sense, and when they changed madness also it makes sense (and I have idea if a puzzle can then require a different solution in the old or new rule)
00:02:23 -!- tromp has joined.
00:03:46 <wob_jonas> Yes, the improved split card rules are much better than the old ones -- though I still sort of feel some tension because split cards are still strange rules-wise, but at the same time some split cards are nice and I want to use them (the old ones and fuse ones at least, not the new after math ones)
00:04:12 <wob_jonas> Most of the things I like in split cards could be done almost as well without split cards, mind you, but those just haven't been printed.
00:04:48 <wob_jonas> Specifically, I'd like Trial as a non-split card.
00:04:52 <zzo38> Actually I agree it is a bit strange.
00:05:14 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
00:05:16 <wob_jonas> Mind you, it's a stupid card, it should never have been printed, but once they printed it as a split card, I'd like it as a non-split card.
00:05:48 <zzo38> As well as fuse and aftermath, there is a few card I made up having "fuseback" (meaning you can (and must) fuse it only casting from the graveyard, and then it is exiled after it leaves the stack if you do that).
00:06:37 -!- tromp has quit (Ping timeout: 240 seconds).
00:06:40 <wob_jonas> Fuse is fine, but I hate aftermath.
00:07:52 <zzo38> I have also seen someone made up a permanent split card.
00:09:15 <zzo38> OK if that is what you like and what you hate, but then what of fuseback?
00:09:33 <wob_jonas> Anyway, first an un-rules question. I use Blacker Lotus's ability to tear up a card and exile the pieces. Are the pieces a card? The comp rules used to have a sort of definition of what a card is, but they removed that. What happens if the opponent tries to use Cryptic Cruiser or Pull from Eternity on it?
00:10:29 <zzo38> I can use the definition of "card" that I want, but it still won't help. I think there is no answer. (It is a un-rules question anyways; such questions do not always have answers.)
00:13:14 <wob_jonas> A second un-rules question. In un-games, when a rule or effect asks you to choose a number (including for damage assignment), you can choose a half-integer. This rule can affect games even if there's no sliver-bordered card anywhere. Is this the *only* such rule difference between un-games and normal games?
00:13:53 -!- DHeadshot has quit (Ping timeout: 240 seconds).
00:13:55 <alercah> wob_jonas: no, choice of colour
00:14:06 <alercah> becase avatar of me can have non-traditional colors
00:16:49 <zzo38> (Even with my definition of a "card", it is unclear whether or not tearing the card is considered as a kind-changing effect, and even if it is not (which would seem by default), it does not specify what to do if you use Pull From Eternity and stuff like that.)
00:18:14 <wob_jonas> Perhaps even creature types differ, as in you can choose Donkey as a creature type in an un-game but not in normal games, but that will rarely change anything, it only matters when almost all creature types are potentially in use in the game.
00:18:55 <zzo38> Yes. Probably in un-cards you could use more creature types too.
00:21:58 <zzo38> When playing Un-cards, there is no "proper" rules, only improper rules.
00:25:26 <zzo38> And then there are various unofficial Un-cards such as these http://zzo38computer.org/textfile/miscellaneous/magic_card/uncards.txt and also some meaningless RoboRosewater cards, and then is even more confusing to figure out how to do it!
00:25:57 <wob_jonas> I have normal (non-un) rules question too.
00:26:29 <zzo38> OK, what question?
00:26:56 <wob_jonas> wait, I'm trying to fine a sane example
00:27:18 -!- tromp has joined.
00:29:11 <wob_jonas> I have an animated Muse Vessel and an Experiment Kraj. The Vessel gets a +1/+1 counter, then I use the first Vessel ability on Kraj, then the Vessel loses all counters, then later the Vessel gets a +1/+1 counter again, then can I use the second Vessel ability of the Kraj and access the card I exiled?
00:31:56 <zzo38> I think so, if you use it on Experiment Kraj. (But you can ask again to someone else later I suppose)
00:32:10 <wob_jonas> 607.5 is probably the relevant rule
00:32:27 <zzo38> The rules are not clear enough to me it seems. But I will look at 607.5 now
00:32:50 <wob_jonas> You can get a weirder version where instead of removing the counters, the Vessel phases out then later phases in.
00:33:36 <zzo38> Yes, although it remains the same object in that case I will think. I think there are things that could be made clearer, including to consider an object's text as its AST; I think that would help a lot of things
00:34:07 <wob_jonas> Or the Vessel gets Cytoshaped to an elephant, then the shaping times out; or the Vessel gets turned to a frog.
00:34:34 <zzo38> Yes, there is stuff like that.
00:35:07 <wob_jonas> I'd like to have some comprehensive rule of how linked abilities work when an object can gain and lose it.
00:36:55 <zzo38> Yes, that would help. You could make the suggestions, maybe. My own idea would be for the link to be part of the AST of the definition of those abilities, so they are linked in that way. You would then have to make up the mathematical model of it and then it can be clear.
00:46:43 -!- tromp has quit (Remote host closed the connection).
00:51:26 <wob_jonas> Ok, that's all the questions I have for today. Maybe more later. Good night.
00:51:44 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
00:58:54 -!- MoALTz has quit (Quit: Leaving).
01:12:42 -!- 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.”).
01:19:38 -!- doesthiswork has joined.
01:27:48 -!- augur has joined.
01:34:31 -!- tromp has joined.
01:50:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:53:48 <oerjan> shachaf: just checking if you overwrote anything
02:25:47 -!- augur has quit (Remote host closed the connection).
02:36:55 -!- boily has joined.
02:38:02 -!- primo has quit (Read error: Connection reset by peer).
02:54:03 <HackEgo> mpiler//An mpiler takes an executable file and nverts it to readable form.
02:54:23 <boily> mmmmpile you say ♪
02:57:04 -!- augur has joined.
02:57:57 <oerjan> my haskell is becoming steadily more evil
02:58:10 <oerjan> > let f n=mapM(["<","~<~"]<$f)[1..n]!!n>>=id in f 10
03:00:22 <boily> but, what's the point of dekolmogorofying a perfectly valid and simple string?
03:01:19 -!- augur has quit (Remote host closed the connection).
03:01:44 <oerjan> it's a function, not a string hth
03:01:59 <Zarutian> boily: does that involve using karnough maps in reverse?
03:02:38 <boily> oerjan: oh. uh. eeeegh. uuuuurgh. evil, I say.
03:03:09 <oerjan> also the initial <s are redundant, but makes this solution work.
03:03:11 <boily> Zarutellon. yup, untabling the stuff.
03:03:40 <boily> oerjan: https://en.wikipedia.org/wiki/Kolmogorov_complexity
03:06:50 <HackEgo> indexed monad//Indexed monads are just monads on an indexed category. \ Indexed monads are just categories enriched over the monoidal category of endofunctors.
03:07:09 -!- boily has quit (Quit: ACETALDEHYDE CHICKEN).
03:08:05 -!- hppavilion[1] has joined.
03:08:37 -!- augur has joined.
03:27:17 -!- tromp has quit (Remote host closed the connection).
03:38:29 -!- Zarutian has quit (Ping timeout: 240 seconds).
03:56:56 -!- tromp has joined.
04:14:59 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:37:53 -!- sleffy has joined.
04:42:28 -!- hppavilion[1] has joined.
05:02:13 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
05:03:09 -!- oerjan has quit (Quit: Nite).
05:15:16 -!- tromp has quit (Remote host closed the connection).
05:40:49 <Warrigal> Turboprop, turbojet, turbofan.
05:41:09 <Warrigal> Out of those three types of airplane engines, two of them are jet engines.
05:42:13 <HackEgo> [wiki] [[Rao]] https://esolangs.org/w/index.php?diff=51879&oldid=51878 * H3amza * (+14) title lowercase
05:42:23 <zzo38> Then what is the others ones?
05:44:22 <HackEgo> [wiki] [[Rao]] https://esolangs.org/w/index.php?diff=51880&oldid=51879 * H3amza * (+5) /* External resources */ fixed link
06:07:47 -!- augur has quit (Remote host closed the connection).
06:10:07 -!- doesthiswork has quit (Quit: Leaving.).
06:11:43 -!- augur has joined.
06:14:30 <\oren\> zzo38: a turboprop works instead by having a gas turbine engine power a conventional aircraft propeller
06:14:54 <\oren\> they are, for some reason, popular in russia
06:15:50 <\oren\> for example, the Tu-95 Bear bombers
06:16:07 -!- tromp has joined.
06:16:10 -!- augur has quit (Ping timeout: 240 seconds).
06:20:35 -!- tromp has quit (Ping timeout: 255 seconds).
06:55:22 <zzo38> As well as for sometimes helping with compression, Paeth encoding can also be used for special effects such as this one: http://zzo38computer.org/img_19/example1.png
07:15:35 -!- augur has joined.
07:18:31 -!- augur has quit (Remote host closed the connection).
07:22:48 -!- augur has joined.
07:59:27 -!- MoALTz has joined.
08:02:59 -!- sleffy has quit (Ping timeout: 240 seconds).
08:09:38 -!- hppavilion[1] has joined.
08:28:37 -!- augur has quit (Remote host closed the connection).
08:30:47 -!- doesthiswork has joined.
08:55:11 -!- AnotherTest has joined.
09:09:09 -!- augur has joined.
09:16:41 -!- tromp has joined.
09:21:10 -!- tromp has quit (Ping timeout: 240 seconds).
10:11:27 <int-e> why does https://xkcd.com/1647/ remind me of this channel
10:12:30 <Taneb> int-e, nӧone knows
10:13:10 <int-e> shachaf: so apparently there are four islands in SSR
10:19:13 <int-e> hmm, maybe not, I missed one end.
10:20:53 -!- erkin has joined.
10:24:38 <int-e> but so there is a fifth part.
10:34:00 -!- augur has quit (Remote host closed the connection).
11:18:05 -!- tromp has joined.
11:22:07 -!- tromp has quit (Ping timeout: 240 seconds).
11:56:26 -!- Phantom_Hoover has joined.
11:56:26 -!- Phantom_Hoover has quit (Changing host).
11:56:26 -!- Phantom_Hoover has joined.
12:14:36 -!- LKoen has joined.
12:38:18 -!- boily has joined.
12:52:05 <boily> rdochellooooooooooooc!
12:54:24 -!- DHeadshot has joined.
13:01:44 <rdococ> DHelloshooooooooooooooot!
13:03:53 -!- tromp has joined.
13:08:29 -!- tromp has quit (Ping timeout: 240 seconds).
13:19:13 * DHeadshot is surprised anyone is that pleased to see him...
13:22:32 <rdococ> I'm pleased to see anyone tbh.
13:43:29 -!- DHeadshot has quit (Ping timeout: 240 seconds).
13:43:59 -!- tromp has joined.
13:56:37 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
14:05:46 -!- tromp has quit (Remote host closed the connection).
14:07:23 -!- tromp has joined.
14:07:36 <tromp> afk to Go tournament
14:11:48 <boily> trellomp. you play go?
14:18:15 -!- tromp has quit (Remote host closed the connection).
14:23:20 <rdococ> I think he has gone already
14:45:43 -!- mroman has joined.
14:45:52 <mroman> I just read the average human eats 1.8kg of food per day
14:46:05 <mroman> Then I read the average for US is 2.7kg
14:46:26 <mroman> Who eats 3kg of food per day
14:46:37 <lambdabot> hppavilion[1] said 2m 15d 9h 28m 4s ago: tyvm
14:58:11 <boily> mrelloman. that's a pound and a third per meal. sounds way too high to me.
14:59:29 -!- Slereah__ has joined.
15:01:08 <mroman> boily: It sounded way too high to me too.
15:01:46 <mroman> but 1.8kg sounds way more realistic than 2.7kg
15:01:55 <mroman> but it still sounds rather high
15:02:09 <mroman> but maybe that's due to poor countries who might only have low-calory foods
15:02:36 <mroman> that's what I thought.
15:02:48 -!- Slereah has quit (Ping timeout: 264 seconds).
15:02:48 <mroman> but if the US average is 2.7kg then uhm
15:03:17 <mroman> but I could imagine that poor countries eat a bit more food but low-calory food. I haven't really managed to confirm any of this
15:10:58 <boily> mroman: that the average American citizen consumes six pounds per day doesn't surprise me much. every time I cross the borders I get fatter :/
15:11:48 <mroman> how the hell can you eat 3kg :(
15:11:59 <int-e> http://www.npr.org/sections/thesalt/2011/12/31/144478009/the-average-american-ate-literally-a-ton-this-year <-- the funny thing is... the numbers in the article don't match up at all with the numbers in the link to the US D.A. site. Summing their numbers results in a much more reasonable 1.3kg estimate, excluding drinks.
15:12:00 <mroman> 100g meat, 100g rice/pasta, 100g vegetable
15:12:03 <mroman> that's a standard meal
15:12:14 -!- DHeadshot has joined.
15:12:52 <mroman> 2.7kg per day sounds like complete bullshit
15:14:21 <int-e> mroman: the number is almost certainly bullshit. I bet the "americans eat 1t of food per year" headline is the actual source for that data.
15:14:53 <int-e> Now... if you include drinks... that changes the picture entirely. Perhaps they did that.
15:16:47 <mroman> that would fit a ton almost perfectly
15:17:42 <int-e> (the 1.3kg number isn't very exact. The tables measure vegetable intake in cups... useless.)
15:27:34 <mroman> 1.3kg sounds reasonable though
15:41:06 -!- spiette has joined.
15:43:43 <FireFly> huh, I never thought about it
15:43:57 <FireFly> I never thought about how much I drink compared to how much I eat
15:46:39 -!- oerjan has joined.
15:56:39 <Warrigal> int-e: didn't you know that cups are the new SI unit for vegetables?
15:57:35 <Warrigal> The base units are the meter (length), the kilogram (mass), the second (time), the amp (current), the kelvin (temperature), the mole (amount of substance), the candela (luminous intensity), and the cup (vegetables).
16:04:48 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
16:11:16 <rdococ> is it like drinking cups, or...?
16:11:44 <rdococ> also, fruit should be measured in saucers
16:11:53 <rdococ> and meat should be measured in coffee machines
16:12:26 <oerjan> and non sequiturs should be measured in orangutans
16:18:57 -!- tromp has joined.
16:23:42 -!- tromp has quit (Ping timeout: 260 seconds).
16:25:15 -!- erkin has joined.
16:31:27 <boily> Warrigello, hellørjan, hellorkin.
16:32:00 <boily> rdococ: a cup is eight fluid ounces, but it gets rounded to eg. 250 ml in Canada, and 200 ml in Japan.
16:32:13 <boily> (there are other places that do rounding, but I forget which.)
16:32:51 <boily> the main difference between recipes here and France is that we do (almost) everything by volume, and they do it by weight.
16:34:47 <boily> that, and oven temperatures. 350 is natural. 175 makes no sense.
16:36:09 -!- Remavas has quit (Remote host closed the connection).
16:36:34 -!- Remavas has joined.
16:36:36 -!- LKoen has quit (Remote host closed the connection).
16:37:39 -!- Remavas has quit (Remote host closed the connection).
16:38:00 -!- Zarutian has joined.
16:53:38 -!- boily has quit (Quit: SURREPTITIOUS CHICKEN).
17:01:45 -!- DHeadshot has quit (Ping timeout: 268 seconds).
17:04:35 -!- LKoen has joined.
17:09:10 -!- DHeadshot has joined.
17:30:11 -!- sleffy has joined.
17:31:28 <doesthiswork> regular expressions are state machines. loops are also state machines. Why should they have different syntax?
17:34:29 <doesthiswork> I don't know, I may have had too much to drink
17:36:07 <doesthiswork> but it looks as though there are two states to a loop, looping and finished
17:43:28 <Phantom_Hoover> e.g. int i = 0; while(0) { i++; } has infinitely many states
17:45:56 <zzo38> Can a variant of a regular expression to be made where it is possible to define infinite families of states?
17:46:09 <doesthiswork> I'll try pushing all the infinite out of the model and calling it inputs
17:47:10 <doesthiswork> so the machinery puts it into a finite number of equivalency classes
17:47:38 -!- oerjan has quit (Quit: Gah sunshine).
17:59:05 -!- asdfbot has quit (Remote host closed the connection).
18:17:25 <Phantom_Hoover> this is literally the difference between being turing complete and not
18:20:02 -!- tromp has joined.
18:24:30 -!- tromp has quit (Ping timeout: 245 seconds).
18:26:55 -!- boily has joined.
18:43:21 <HackEgo> fungot//fungot is our beloved channel mascot and voice of reason.
18:44:09 * APic has no Hiccup at the Moment.
18:45:56 <boily> well, your nick is difficult to porthello...
18:48:28 <boily> rdochelloc. HeyPic is good.
19:14:08 -!- Zarutian has quit (Quit: Zarutian).
19:53:09 -!- augur has joined.
19:55:57 -!- mroman has quit (Ping timeout: 260 seconds).
20:14:13 <\oren\> I lost several pounds being in japan for only two weeks
20:14:25 <\oren\> everyhting is tiny in japan
20:15:29 <\oren\> also, they don't add sugar to everything. a "black iced coffee" is something that only exists in japan to my knowledge
20:23:43 <boily> oh. I thought you were still there.
20:23:46 <\oren\> I should see if starbucks even sells unsweetened iced coffee
20:24:16 <boily> did you enjoy your time over there?
20:27:32 -!- MoALTz has quit (Quit: Leaving).
20:40:30 -!- Soni has quit (Ping timeout: 240 seconds).
20:40:36 -!- DHeadshot has quit (Ping timeout: 255 seconds).
20:42:41 -!- DHeadshot has joined.
20:49:22 -!- DHeadshot_ has joined.
20:49:22 -!- DHeadshot has quit (Read error: Connection reset by peer).
20:50:56 -!- sleffy has quit (Ping timeout: 260 seconds).
20:55:49 -!- sleffy has joined.
21:07:58 -!- hppavilion[1] has joined.
21:15:24 -!- DHeadshot_ has quit (Ping timeout: 264 seconds).
21:24:23 -!- atslash has joined.
21:33:46 -!- boily has quit (Quit: PRINCIPAL CHICKEN).
21:46:13 -!- hppavilion[0] has joined.
21:49:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
22:13:06 -!- sebbu has joined.
22:16:07 -!- sebbu2 has quit (Ping timeout: 240 seconds).
22:16:22 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
22:21:04 -!- bender has joined.
22:42:38 -!- bender has quit (Ping timeout: 260 seconds).
22:45:02 -!- 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.”).
22:46:49 -!- doesthiswork has quit (Quit: Leaving.).
23:06:17 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:06:26 <Sgeo> "NꙮW WITH MꙮRE MULTIꙮCULAR ꙮ
23:06:26 -!- Zarutian has joined.
23:06:49 -!- Zarutian has quit (Read error: Connection reset by peer).
23:08:32 -!- Zarutian has joined.
23:11:05 -!- erkin has joined.
23:12:44 -!- sleffy has quit (Ping timeout: 258 seconds).
23:22:34 -!- Lymia has quit (*.net *.split).
23:22:35 -!- JX7P has quit (*.net *.split).
23:23:03 -!- Lymia has joined.
23:25:06 -!- IRIXUser has joined.
23:25:31 -!- IRIXUser has changed nick to Guest12099.
23:41:05 -!- boily has joined.
23:50:33 -!- sleffy has joined.