Magic card sorting II

Another day mostly spent sorting Magic cards, like yesterday. I completed a set of cards and put them neatly into an old shoebox. They fit with a little space left over, so I filled it with basic land cards. I didn’t count the cards, but measuring the piles and dividing by the known thickness gave me an estimate of close to 2500 cards that I’ll be giving to this boy.

This morning I picked up the groceries. I don’t know if I’ve mentioned this before but I’ve been ordering everything but fresh fruit and vegetables online, to make it fast and easy to pick up, but when I get there I grab fruit and vegetables myself. I tried ordering those as well, but found I wasn’t happy with the produce they selected for me. Today I grabbed the usual apples and bananas, and also more mangoes, which continue to be cheap and abundant. So far we’ve had R2E2 and Calypso mangoes, so today I grabbed some Honey Gold variety.

At lunch I drove to my wife’s work with Scully and a large package that we’d picked up at the post office yesterday. It’s for her boss, and it was heavy, full of books, so she didn’t want to have to carry it to work herself. She got to finish work at midday today, being the last day before the Christmas break. So we drove from there over to the Naremburn bakery to ave lunch and pick up a dozen fruit mince tarts – some for us and some for her family.

This evening I did a 2.5k run. I’m now up to a total of 497.5 km for the year, which means my next run will tick the total over to 500.

Tonight is online board games night with my friends. I’ve lost badly at two games of Jump Drive, but managed to win the last one. And we’re now deep into a game of Ticket to Ride.

New content today:

Magic card sorting

I spent much of today sorting through old Magic: the Gathering cards, to pull out sets of common cards to give to that boy I mentioned a few days ago. I’ve got several piles of cards earmarked. I emailed the mother and said it would be about a shoebox full of cards, but it’s looking like it will be a bit more than that.

I was going to take Scully for a long walk at lunchtime, to pick up some mince tarts from the Naremburn bakery, but I looked at the weather radar and noticed rain heading in. It might have hit us before we got home, so I elected to take her for a shorter walk down to Bayview Park instead. We made it back before the rain hit, which was good.

For dinner tonight, my wife suggested we grab fish & chips from the local shop. We walked up there and grabbed a table under the awning to eat as the rain began again. There’s somethig nice about fish & chips under a shelter in the rain.

A couple of nights ago I finished reading the last volume of Peter Ackroyd’s History of England. I checked my “to read” list and decide to start work on Harold McGee’s On Food and Cooking. I’ve had this on my shelf for several years, but have never begun it because it’s so huge and daunting. But I’ve started now, and I’m several pages into the first 60-page chapter, which is entirely about milk and dairy products. It’s fascinating so far – I think this will be a great read!

New content today:

Art and weather

Today I spent time working on brief lesson outlines for upcoming ethics/critical thinking classes. I do this for classes 4 weeks in advance, so parents and students know what topics are coming up. I write the detailed lesson plans later, closer to when they are done. This week I was a bit behind, so I did two brief outlines, on the topics of art and weather. I’ve done art before, in January this year, but I had a new student join last week, and she specifically requested art as it’s her favourite subject. So I went back and looked at the previous lesson and came up with a bunch of new questions that I can ask.

For lunch I took Scully for a walk and went to the nice bakery. They had a raspberry chocolate gateau today, so I tried a slice of that after my chicken pie. It was very good.

An amusing thing that my friends and I have been doing the past few days is making AI-generated Magic: the Gathering cards, using Urza’s AI, a tool written by some fellow MtG/AI enthusiasts. It’s quite fun, and produces some amusing and interesting cards sometimes (among a bunch of random semi-rubbish). You give it a card name, and it produces all of the other text and artwork for the card. The flavour text is often the really good part. To get ideas for new cards I like to use snippets of the flavour text from the last card.

Some examples (link to permalinks of the cards I’ve generated):

One thing we’ve noticed is that it tends to produce a preponderance of blue cards, and few of any other colour. My theory: Blue cards have a broader and more general vocabulary on them, whereas cards of other colours are more specific and focused in their language. So when you type in some random phrase, it’s more likely to be a closer match to the blue vocabulary.

New content today:

Magic: Goldfish Draft results

I missed posting an entry last night because I was busy last night and bedtime crept up on me. Since I still haven’t quite fallen into a regular sleeping pattern after getting back from Europe, I decided to go to bed rather than stay up later writing a blog post.

I mentioned just over a week ago that I was playing a new game of Magic: the Gathering Goldfish Draft with my friends. Well, now a week later I can tell you the results of the game. Yes, it took me that long to calculate my score, using a spreadsheet – that’s what I was finishing up last night that caused me to have a late night. My result? I scored 10246.8 points.

Now you might think this is an awful lot of points to score in any sort of game. Surely I must have beaten everybody else’s scores! But you’d be very far from the truth. In fact, I came last out of six players. All the players’ scores were, in increasing order:

  • 10246.8 (me)
  • 1074682
  • 10628960
  • 103×1014
  • 10↑↑4.1
  • 10↑↑↑↑2.7

The last two use Knuth’s up-arrow notation for writing extremely large numbers that are beyond the capability of standard exponential notation – using a monotonic extension we worked out for interpolating non-integral operands. Also, these scores are all approximate – there’s no point, or even possibility, of tracking all the digits of the numbers we’re calculating here.

Also yesterday: did some housecleaning, dog walking, cooking, the usual day-to-day stuff.

Today: I slept in a bit after a solid sleep, which was good. I think I’m now pretty much back into a sensible sleeping pattern, which was not something I would have said yesterday. My arm is still a tiny bit sore from the 4th COVID shot on Friday, but otherwise that seemed to be fairly unremarkable.

I went for a big walk with my wife and Scully, out to our favourite bakery for a kind of brunch-ish snack. We just had a pastry each. Then on the way home we took a longer detour to see some different scenery and stretch our legs more. The day is actually nice today! Sunny and a forecast maximum of 20°C, which is considerably warmer than it has been for the past few weeks. So it was good to get out and enjoy it.

This afternoon I cleaned out the garage a bit and put some things out for the fortnightly household items collection that the council runs. Every two weeks you can put large items out on the kerb and council trucks come by and pick them up for disposal. I got rid of an old chest of drawers that we’d been storing in the garage for years, but it was pretty filthy and we were never going to use it again. I also took out my old set of golf clubs – the ancient ones I got second hand for about $50 and used until our neighbour passed away and his wife gifted me his very nice set of clubs. I’d seen second hand clubs at the golf course and asked if they wanted a donation, but they said they get lots of old clubs and don’t know what to do with them any more. So I didn’t expect to be able to get rid of them any other way, and placed them out for collection, and then a neighbour drove into our apartment driveway and saw me putting them there and asked if he could have them, for a friend of his who was just beginning to play. I said sure, and helped him take them. I’m really happy that they will get one more life with a new player!

New content yesterday:

New content today:

Friday games, Saturday game

Friday was online board games night with my friends, so I didn’t have time to write up an entry. We played games of Fruit Picking, 7 Wonders: Architects, Codenames, Nidavellir, 7 Wonders, and then Sketchful.

Fruit Picking is a new game we tried for the first time. It’s based on mancala; you move “seeds” round several “farms” mancala-style, and then use sets of seeds to buy fruit cards form the market to build winning sets of fruit. The tactics were interesting and we may try it again. The Codenames game was hilarious, as both sides had difficult combinations of words to clue, and also one side had SAND while the other had DESERT, so the team spymasters (me and a friend) also had to come up with clues that indicated one of those words but not the other. Our team-mates ending up hitting numerous bystanders and failing to make sense of either spymaster’s loose associations. Eventually the team opposing my team won, alas.

The other big event on Friday was Scully had her annual vaccinations at the vet. She’s been healthy the past year, with no visits to the vet since her last vaccinations. After the vet visit we gave her a bath and extra cuddles all evening.

The other thing I was doing on Friday, which extended into Saturday, was drafting a new round of our Goldfish Draft Magic: the Gathering game format that we invented. I may have mentioned this before – it’s a game based on Magic: the Gathering, in which players attempt to score the most points, and scores can often be so large that they require exponential notation to write down, or even more than that, things like Knuth’s up-arrow notation.

Today we finished drafting our cards, and now my mind turns to calculating my score. This is non-trivial, and can take several days to work out, often involving a spreadsheet. Yes, we’re complete nerds – we’re playing a game that requires a spreadsheet to calculate our scores, and often we actually deal in the logarithms (or super-logarithms) of our scores to make it easier to handle. When I’ve figured out my score, I’ll let you know, and I’ll also report what the other players scored.

Also today I worked hard on my current secret project. It’s approaching completion – so close I can taste it. Potentially I could knock it over tomorrow, but it will probably take until Monday or Tuesday given I have other things I want to work on too. You won’t see the finished result straight away – its publication is contingent on another thing happening first, but it will finally be ready, and that other thing will happen within a few weeks. So all the teasing is nearly over – you will see the result soon.

For dinner tonight, I took my wife out to the French galette and crêpe place in the next suburb. They’re having a series of special “French flavours” this month to celebrate Bastille Day. I had a galette with duck confit, carrots, potatoes, Swiss cheese, and pickled onions as my savoury meal, followed by a sweet crêpe with poached pear, flaked almonds, and chocolate sauce. All very delicious!

New content today:

Virtual Sydney meeting day 1

Today was the first day of the latest ISO Photography Standards meeting. I was scheduled to host this meeting here in Sydney, with 30+ delegates form around the world travelling here to meet and discuss digital photography standards in progress. Of course, with COVID being what it is, travel to Australia is impossible, so we’re having the meeting entirely online.

With delegates in Australia, Japan, three European time zones, and all four US time zones, it’s impossible to organise a time when everyone would normally be awake. So instead of meeting full time for 3 days, we’re doing 5 days of 3.5 hours – so the people awake in the middle of the night don’t have to stay awake for too long. Fortunately for me this meeting starts at 8 am and ends at 11:30 am, and the Europeans have the worst of it.

We always start with administrative stuff, which took most of today’s time. There was a lot of discussion of planning for future meetings. Normally we plan up to two years ahead, setting venues for each of the three meetings a year. The next meeting after this one was scheduled for Okayama in Japan in June, but that’s been converted to virtual because of COVID. The one after, around October, is scheduled for Apple HQ in Cupertino, California. I don’t know if that will go ahead in Cupertino or be converted to virtual – but either way I won’t be going because I’m pretty sure travel out of and back into Australia will be either still impossible or difficult. I really don’t want to travel to a country where COVID may still be rampant, and then have to go into quarantine for 2 weeks when I get back home.

We’ve put off talking about 2022 in the last couple of meetings, but we have to think about it now. The February meeting is normally in Yokohama, to coincide with the CP+ camera show. It wasn’t this year, because it was Japan’s turn to host the ISO Photography plenary meeting – the Okayama meeting – which involves all of the various photography committees getting together in one place. (I’m on the digital committee, there are also committees for image permanence/archiving, and imaging material dimensions. Standards for chemical photography processes are maintained by these existing committees – there is no longer a separate committee on chemical photography.) Anyway, the plan is to go back to Yokohama in February 2022. But given the virtualisation of the Okoyama plenary, there is some discussion of having Japan host a face-to-face plenary in 2022, which would be mid-year again to align with the other committees. So the proposal is for Japan to host in Yokohama in Feb 2022, and again in a place to be determined (perhaps Okayama) in mid-2022. The Japanese sponsoring bodies need to decide if they want to host twice in one year or not, and report back. Finally, the Metropolitan Museum of Art has offered to host in New York City for the October 2022 meeting. All assuming physical meetings can go ahead in 2022, of course.

They asked me if I wanted to host in Sydney in 2022, given I was supposed to be hosting the current meeting. But I said I couldn’t be sure travel to Australia would even be allowed even in 2022, so I didn’t want to start organising a meeting here.

Following the admin, there was the first technical session of the meeting, which happened to be the one about which I know the least, and have the most trouble following the technical discussion. So I didn’t really participate in that. We finished for the day a bit early, just after 11:00.

I’d organised to play golf with my friend at the short pitch-and-putt course, meeting after lunch at 1 pm. I drove via my favourite pie shop and got lunch there. I had a really good game today, and after 15 holes my experienced friend and I were exactly even on total strokes. Previously I’d been playing against him with relative handicaps in the teens, but now here I was holding my own without a handicap. I even got a birdie on one hole! Unfortunately, I had a huge blow out on hole 16, needing 7 strokes. That ruined my chance of beating my friend, alas. But next time… maybe I can do a bit better again.

Back home, I was pondering an idea I’d had in discussion with another friend, about making a database of Magic: the Gathering cards, to use to automatically construct cubes of cards for use with our Goldfish Draft format. I was thinking how much work it was going to be, creating and populating a database with our lists of cards suitable for Goldfish Draft… and then I wondered if anyone had downloadable data files of Magic cards.

A quick search later and I found MTGJSON, a maintained database of every Magic card ever printed, downloadable in JSON format. Not only that, they also have an SQL export! So I grabbed the SQL file, created a new database, imported it…. and voilà! I had a fully populated database of Magic cards within about half an hour. It’s pretty cool when you think a task will take a long time, and you find a way to get it done much more quickly.

I still need to add fields for Goldfish-relevant data for each card, and then populate those, but it will be a much easier task with the core database already done. So: feeling very accomplished today!

New content today:

Magic: the Gathering and the axiom of choice

After yesterday’s exertions on the golf course, I took it a bit easier today. Mostly I worked on Darths & Droids story planning, but I took a lunch break to walk up to the local shops and get a chicken burger for lunch.

I also had some interesting discussions with friends in our online chat. Some of it was Darths & Droids story planning, so I won’t go into that further. But somehow we segued into a discussion of the phasing rules in Magic: the Gathering – I think prompted by Mark Rosewater’s latest design article, in which he says:

We’re experimenting with making phasing deciduous.

Okay, this probably makes no sense if you don’t know the early history of Magic: the Gathering, but bear with me. Phasing is a rule that first appeared in the game in 1996, but which was considered too confusing and cumbersome to use again. But now they’re playing with bringing it back, at least in a limited way. (“Deciduous” in the above quote means a rule mechanic that they always consider available to include in new card sets if it makes sense for that set.)

Phasing, in essence, is an effect that makes cards in play behave as though they are not in play – they “phase out” for a turn and then reappear. While phased out, nothing can affect them, nor can the phased out card affect anything else. It’s as if they are briefly shunted to another reality.

In the ensuing discussion, I said they shouldn’t merely have one “alternate reality” – things should be able to phase into specific other realities, of which there could be several… or even infinitely many. Then if you have two infinite sets of alternate realities orthogonal to one another, and you reference them by real numbers (i.e. all the integers, rationals, algebraic irrationals, and transcendental numbers), you could phase all of your creatures in such a way that you could duplicate them using the Banach-Tarski theorem. (For a reminder on why that premise leads to that conclusion, refer to my Irregular Webcomic! annotation on the Banach-Tarski theorem.)

Someone of course immediately pointed out that you can only use the Banach-Tarski theorem if you assume the axiom of choice to be true. (For a simple primer on the axiom of choice, see my annotation on that.)

Then someone else said that rule 722.2a of the Comprehensive Rules of Magic: the Gathering (June 1, 2020 edition) might actually imply the axiom of choice. Rules 722.2a says:

722.2a At any point in the game, the player with priority may suggest a shortcut by describing a sequence of game choices, for all players, that may be legally taken based on the current game state and the predictable results of the sequence of choices. This sequence may be a non-repetitive series of choices, a loop that repeats a specified number of times, multiple loops, or nested loops, and may even cross multiple turns. It can’t include conditional actions, where the outcome of a game event determines the next action a player takes. The ending point of this sequence must be a place where a player has priority, though it need not be the player proposing the shortcut.

Example: A player controls a creature enchanted by Presence of Gond, which grants the creature the ability “{T}: Create a 1/1 green Elf Warrior creature token,” and another player controls Intruder Alarm, which reads, in part, “Whenever a creature enters the battlefield, untap all creatures.” When the player has priority, they may suggest “I’ll create a million tokens,” indicating the sequence of activating the creature’s ability, all players passing priority, letting the creature’s ability resolve and create a token (which causes Intruder Alarm’s ability to trigger), Intruder Alarm’s controller putting that triggered ability on the stack, all players passing priority, Intruder Alarm’s triggered ability resolving, all players passing priority until the player proposing the shortcut has priority, and repeating that sequence 999,999 more times, ending just after the last token-creating ability resolves.

The argument is that it is not only possible within the rules of MtG to produce a loop of actions, but nested loops of actions, and at each loop this rule says you can specify how many times the loop is executed. If the nest of loops is infinitely deep, this means that you are effectively choosing an element from each of an infinite number of sets, where each set contains an infinite number of elements. The rules of the game say you can do this. Therefore the rules of the game say that you can apply the axiom of choice.

This is, in mathematical terms, a rather simplistic case and doesn’t (I believe) in fact rely on the axiom of choice to be doable in an actual game (although I may be wrong), but that didn’t stop us having a fun discussion about it. It was topped off by the original proposer of the example of rule 722.2a saying:

I’m not sure what it says about us that I can say “the Magic: the Gathering comprehensive rules imply the axiom of choice” as a throwaway joke, and the responses are “your rule numbering is out of date”, “no they don’t” and “actually maybe they do” (and not, for example, “ha”, “what the fuck”, or “you nerd”).

This is nowhere near the nerdiest argument we’ve ever had, by the way…

New content today:

Goldfish updates

This morning I took Scully for a walk and along the way passed a banksia tree which had a couple of rainbow lorikeets feeding on the flowers. I was pretty close, and wondered if I could get close enough to take a decent photo with my phone (which like all phones doesn’t have much telephoto capability). I was within a step or two of the tree and aiming the phone, but I scared the birds away. But I was reasonably quick on the shutter button, and managed to get this.

Taking flight

Not too bad for an opportunistic shot.

I spent some time updating the Magic: the Gathering Goldfish Draft website that I maintain, adding/updating results from tournaments and adding a bunch of the card lists we used. You can now see the evolution of the card list as we gained experience with various combinations and the potential for ludicrous scores. The recent tournament we did (mentioned here when I was actively playing it out) now has the scores in.

My score was 10148.9 points, or 7.775×10148 in standard scientific notation. You might think this is a pretty high score, but that only managed to place me sixth out of eight players. The winning score was about 10↑↑↑4 (using Knuth’s up-arrow notation for large numbers). Suffice to say this number is so large that it’s impossible to write it down in the form 10101010… because the number of 10s you’d need to add to that continued exponentiation itself is too large to write down.

Yeah, this is pretty nerdy stuff.

New content today:

Cauliflower Bomb!

This morning I went to play a round of golf at the local course. I enjoyed the time outside and getting some exercise, but my round was poor, scoring my equal worst total for the 9 holes. So let’s forget that and move on.

Speaking of high scores, I spent some time calculating my score in the Goldfish Draft Magic: the Gathering tournament that I mentioned yesterday. I needed a spreadsheet to keep track, and ended up with a score of 7.8×10144, as best I can estimate. That’s nowhere near the winning score, alas, as at least three of the other players have been mentioning that their scores require Knuth’s up-arrow notation to write down succinctly.

Tonight for dinner I cooked a thing taken from a TV recipe that my wife saw the other day. It’s a roast miso-seasoned cauliflower, with a bunch of toppings an garnishes. The recipe is here (although it doesn’t list the ingredients for the cashew cream, which is 2/3 cup cashews, 1 tbsp maple syrup, and 1 tsp apple cider vinegar).

Miso Cauliflower Bomb

It wasn’t hard to make, and it was delicious! I’ll definitely be cooking this again.

New content today:


I’ve been busy today participating in a Goldfish Draft Magic: the Gathering tournament with my friends. This is a tournament format invented by one of my friends, in which we draft cards (a bit like a normal Magic draft), then build a deck and calculate our score based on how much damage we can do to an unresponsive opponent in 7 turns. That is each player’s score – we don’t actually play any games of Magic against one another.

We’ve done this style of tournament several times in the past and it’s always a blast. But it’s truly mind-bending. My score in the last game was 3.75×1040, and I’m pretty sure that was a losing score.

Yes… in fact after checking with my friends, we have records that the winning score in that tournament was approximately 10↑↑↑7, where the arrows are Knuth’s up-arrow notation. Calculating one’s score usually involves a spreadsheet. Yes, we do this for fun. Yes, we’re nerds.

I also wrote some new comic scripts for Darths & Droids. And did various cooking and housework stuff.

New content today: