I think Ben's proposal is: between rounds, it takes a while to split the whole deck into suits, all hearts in one pile and all spades in another and so on. Instead you can just pick out four hearts, and four spades, and so on, and remove 0/2/2/4 cards from those piles, and shuffle the rest back into the deck. But no matter how you shuffle, I don't think you can do that without leaking information.

The Gap Cycle by Stephen R. Donaldson

I think I've read this twice, in my early teens and early twenties, and loved it both times. But I'm now 34 and can't talk about it in depth. I think past-me especially liked the grimness and was impressed at how characters seemed to be doing things for internally motivated reasons. (IIRC Donaldson calls this giving characters "dignity". I feel like since then I've picked up another term for it that's temporarily slipped my mind.)

I still think A Dark and Hungry God Arises and This Day All Gods Die are excellent book titles.

A caveat is that back then I also loved Donaldson's Thomas Covenant books, and I think that by my mid-twenties I enjoyed them but not so much. So plausibly I'd like the Gap Cycle less now than then too? But I want to re-read.

Too Like the Lightning by Ada Palmer

I once saw a conversation that went something like: "I don't find writing quality in sci-fi that important." / "You clearly haven't read Too Like the Lightning".

I wasn't sure if the second person meant TLTL's writing is good or bad. Having read TLTL, both interpretations seemed plausible. (They meant good.)

I found it very difficult to get through this book, except that the last few chapters were kind of gripping. That was enough to get me to read the next one, which was hard to get through again. Ultimately I read the whole series, and I'm not sure how much I enjoyed the process of reading it. But they're some of my favorite books to have read, and I can imagine myself re-reading them.

Crystal trilogy by Max Harms

I enjoyed this but don't have much to say. As an AI safety parable it seemed plausible enough; I hadn't previously seen aliens like that; I occasionally thought some of the writing was amateurish in a way I couldn't put my finger on, but that wasn't a big deal.

just make 4 piles of 4 cards from each suit and remove from those

I don't think you can do this because at least one person will see which cards are in those piles, and then seeing those cards in game will give them more info than they're supposed to have. E.g. if they see 9h in one of the piles and then 9h in game, they know hearts isn't the 8-card suit.

(The rules as written are unclear on this. But I assume that you're meant to remove cards at random from the suits, rather than having e.g. A-8 in one suit, A-Q in one, and A-10 in the other two. If you did that then getting dealt the Q or J would be a dead giveaway.)

I think Causality would be good for this. Levels have their full state visible from the start, and there's no randomness. There's a relatively small number of mechanics to learn, though I worry that some of them (particularly around details of movement, like "what will an astronaut do when they can't move forward any more?") might be "there are multiple equally good guesses here" which seems suboptimal.

Actually, there's one detail of state that I'm not sure is visible, in some levels:

they are by definition rivalrous ("the consumption of a good or service by one person diminishes the ability of another person to consume the same good or service"), as only one person in a stall at a time, and the timeframe doesn't matter to this point.

Why does timeframe not matter? If there's a pay-and-display parking lot, with enough spaces for everyone, but only one ticket machine, would you say this is rivalrous because only one person can be using the ticket machine at once?

Bathrooms aren't zero rivalrous, but they seem fairly low-rivalrous to me. (There are some people for whom bathroom use is more urgent, making bathrooms more rivalrous, e.g. pregnant people and those with certain disabilities. My understanding is these people sometimes get access to extra bathrooms that the rest of us don't.)

(As for dirtiness, all I can say is that the public bathrooms I've used tend to be somewhere between "just fine" and "unpleasant but bearable". I did once have to clean shit from the toilet walls in the cinema where I used to work, but I believe it's literally once in my life I've encountered that. Obviously people will have very different experiences here.)

they are extremely excludable: "Excludability refers to the characteristic of a good or service that allows its provider to prevent some people from using it."

Depends on details. London has some street urinals that afaict pop up at night, they have no locks or even walls, they're nonexcludable. Some are "open to everyone the attendant decides to let in", and some are "open to everyone with a credit card", and these seem just straightforwardly excludable. Other bathrooms can be locked but have no attendant and no means of accepting payment, so they're either "open to everyone" or "closed to everyone", and calling that "excludable" feels like a stretch to me. I suppose you could say that you could install a pay gate so it's "excludable but currently choosing not to exclude people", but then it depends how easy it is to install one of them.

So I guess Stuart is named for John Stuart Mill and Milton for Milton Friedman, but what about Carla (is CARLA an acronym?) and Victoria (Tori?)?

Note that to the extent this is true, it suggests verification is even harder than John thinks.

In any case, where is this hedging discussion happening?

I've seen and taken part in discussions about hedging on LW, but the thing that made me write this comment was a conversation on Duncan Sabien's facebook.

What things are over-discussed?

Interesting question, but nothing comes to mind.

A thing that feels under-discussed when it comes to hedging is, hedging doesn't just have to be swapping from "X" to "I believe X". You can say "the sky looks blue" or "wikipedia says the sky is blue" or "rumor has it the sky is blue" or "IIRC the sky is blue" or "if I did the math right, the sky is blue".

I for one welcome our new AI overlord whom I unwittingly helped install. Otherwise I'd need to feel conflicted about my actions this weekend.

I still have questions about one of the puzzles. Will the solutions be made available somewhere (ideally in a format where people can try them unspoiled first), or should I just ask?