I’m my opinion the best days of YouTube were before monetization was a thing. There were plenty of creators back then, and it was a lot less corporate than it is now.

Some more context on sat and first order solvers in math: the first open math problem solved autonomously by a computer was in 1997, well before the advent of generative ai.

We don’t need mathematicians to clear the proof as valid if it is checked by a formal proof system. Mathematicians would only need to check the theorem itself to make sure it describes what it should describe.

I think chess and go are a bad comparison. Their solving does not conclude in some societal use. They are interesting only as problems, but mathematics is interesting as a solution too.

How so? Particularly in intuitionist logic it would seem to me that they are the same thing.

Whoops, you’re right. I’ll edit it.

Depends on the encryption method. RSA can be cracked, sure, but the jury is still out for other methods like elliptic curves.

That last one is amazing.

https://store.steampowered.com/app/3334580/Steam_Revolution_The_Age_of_Rail/

It’s more of a transport tycoon like game, but it’s free, so if that’s your cup of tea you could try it.

The energy difference is only really relevant if the thing you’re hitting is significantly heavier or at least similarly heavy like a house or another car. For a person it’s still much worse, but that is moreso because of the high hood of the car.

I know pickup trucks are heavy, but I’m surprised they are 16 times heavier than a Honda civic. The more you learn.

It has far more than AAA value to me. AAA games are mostly boring imho.

I’ve flown with them once, but i was very happy with the experience. That might be because I’m used to Ryanair though.

Not sure how Amsterdam is relevant in this?