Ad blocker?

I’m confused on how to read that hashtag. Anti-kings are losers? Anti-“kings are losers”?

Except discord is not an ads-based platform? I’ve never seen a third party ad on there

It’s not quite that simple, though. GDPR is only concerned with personally identifiable information. Answers and comments on SO rarely contain that kind of information as long as you delete the username on them, so it’s not technically against GDPR if you keep the contents.

Ah. Well the first comment in this chain talked about mobile devices, so I was assuming we were talking about mobile data plans

Uhh… Germany would like to have a word

Most carriers do offer some uncapped plan, I think, but it’s expensive and not the default

I mean… Yes? If there’s a way to do something without having to take my hands off the steering wheel I’ll use that

From the article:

For many years, we’ve had software that can generate lists of valid conclusions that can be drawn from a set of starting assumptions. Simple geometry problems can be solved by “brute force”: mechanically listing every possible fact that can be inferred from the given assumption, then listing every possible inference from those facts, and so on until you reach the desired conclusion.

But this kind of brute-force search isn’t feasible for an IMO-level geometry problem because the search space is too large. Not only do harder problems require longer proofs, but sophisticated proofs often require the introduction of new elements to the initial figure—as with point D in the above proof. Once you allow for these kinds of “auxiliary points,” the space of possible proofs explodes and brute-force methods become impractical.

So, mathematicians must develop an intuition about which proof steps will likely lead to a successful result. DeepMind’s breakthrough was to use a language model to provide the same kind of intuitive guidance to an automated search process.

At the danger of being whooshed here - with Goat simulator specifically, I think it’s pretty obvious that the game is overall not meant to be taken seriously, including the title.

I’m quite happy with the Database tools integrated in IntelliJ Ultimate (you can also get them standalone as DataGrip, I think). Granted I’m a full-stack developer and not a full-time database guy, but for my needs, they do the job very well.

Also what would happen if a user, who has no idea what they are doing, uninstalls edge without having another browser available?

I guess not allowing the current default browser to be uninstalled while there is no other program available that can be made the default browser would be a simple and viable solution here.

!Stars don’t go from yellow to supernova in 22 minutes!<

!I mean, the rules of physics and biology are in general being bent quite a bit by the game. Even just the existence of the Hearthians, a species that developed on a planet that’s tiny and harbors, what, like 30 individuals total? That just falls under stuff that doesn’t make sense in the real world, but I’m willing to accept in order to enjoy the game 🤷!<

Haven’t played the DLC either yet, not sure if that adds anything, but:

[Spoilers for mid-game]

!While you play, you’ll encounter clues that point towards the sun station being the reason for the sun dying, as it was built to make the sun go supernova and use the resulting energy to find the eye of the universe.!<

[Spoilers for late- to endgame]

!Later on, it turns out that the sun station is actually not the reason, as it just didn’t work as the Nomai planned. The sun is actually going supernova because the universe is dying as a whole, as you can actually see all around you, with loads of supernovae going off in the sky. Now sadly, there’s no explanation given for why that is happening much earlier than everyone expected, iirc. I guess that’s a final mystery that’s indeed left unanswered.!<

!the sun changing color and getting bigger, without explaining anything!<

Well, a big part of the game is figuring out why that’s happening, by exploring the system and piecing together its past. The game certainly doesn’t hold your hand in that, but it’s fair in letting you discover it on your own. I get that this kind of mystery might just not be for everyone, though.

That has nothing to do with the ampersand, it’s just that post titles and bodies in general have different fonts. It’s just easier to notice in the ampersand since it’s so different between the fonts.

There are some cases though where the code is just complicated for reasons outside of your control, in which case “what” comments are good - but they should never be taken at face value, but only used as a first step in understanding the code. There’s a significant risk of the code not actually doing what the comment says.

Let’s not resort to ableism to call out misogyny, please.