I play mostly with the aforementioned wife and kids!
We were shocked by how early our kids could pick up board games, including many of the ones mentioned in this article. Our 2 oldest kids were playing Ticket to Ride and Carcassone well enough to beat us form time to time at 3 and 4 years old. Now that they're a little older, slightly more complicated games like Catan and Flamecraft are on the table!
> it feels like Mac's UI is optimized around the assumption most users won't expand windows to fill the whole screen, but rather leave them half-sized somewhere in the middle
IMO, this has been their assumption for years, and it actually turned me off when I tried getting used to Mac circa 2006-2007. Coming from Windows at the time, I just couldn't get over a weird anxiety that my application window wasn't maximized, because it didn't look like it completely snapped into the screen corners.
Now, using 34-inch ultrawide monitors almost exclusively, I never maximize anything... it'd be unusable.
At least based on some of the things he's written in some of the anthologies, it seems like a lot of that disillusionment was not just because of age, but rather because of his battles with the publishers and what not that were pushing him to make changes that he felt would compromise the integrity of the strip. A lot of the comics include subtle jabs about corporate greed, artistic integrity, etc. because he was actively fighting with the corporations that distributed his strip over such matters...
Still, 100% agreed that he stopped at the right time, both because of the creeping cynicism, but also simply because he was running out of fresh ideas...
> Gurobi solved the new model to optimality (i.e., the bound became equal to the value of the best solution found).
Ah, I was not aware that that's what this language indicated. Thanks for helping me understand more!
I've used Gurobi (and other solvers) in the past, but always in situations where we just needed to find a solution that was way better than what we were going to find with, say, a heuristic... I've never needed to find a provably optimal solution...
Unless I missed something, though, the highest bound the author reported for the relaxation was 271 2/3 moves, which is obviously significantly higher than 218...
Genuinely interested in being educated here: If Gurobi's integer programming solver didn't find a solution better than 218, is that a guarantee that there exists no solution better than 218? Is it equivalent to a mathematical proof?
(Let's assume, for the sake of argument, that there's no bugs in Gurobi's solver and no bugs in the author's implementation of the problem for Gurobi to solve.)
I guess I'm basically asking whether it's possible that Gurobi got trapped in a local maximum, or whether this can be considered a definitive universal solution.
As anyone who has ever switched from an iPhone to an Android device will tell you, iMessage makes the process extremely painful, and in totally unexpected ways. You get your new Android phone set up, and suddenly find that you're not getting messages from any of your friends that have iPhones... because those messages are being routed over iMessage instead of SMS.
So you do a bunch of Googling or contact support for your phone manufacturer or wireless carrier, who directs you to an Apple tool for de-registering your number from iMessage. You go through that process, but it takes days/weeks for your de-registration to finally make it through "the system" to everybody's iPhones so that messaging with your friends on iPhones finally starts working again.
Did Apple do this intentionally? No, probably not. Could they solve this problem? You bet they could. But why solve something that makes switching to Android a nightmare?
We were shocked by how early our kids could pick up board games, including many of the ones mentioned in this article. Our 2 oldest kids were playing Ticket to Ride and Carcassone well enough to beat us form time to time at 3 and 4 years old. Now that they're a little older, slightly more complicated games like Catan and Flamecraft are on the table!