> Moving theorem proving upstream into compilers, sandboxes, and the browser seems like the future
The way I saw this proposed, back in the 2000s: "proof-carrying code."[0]
The idea is: the compiler compiles the program, and simultaneously generates a proof that the program doesn't violate X, Y, or Z safety rules.
Later, the end-user downloads the program and the proof together, and the local execution environment (the browser, the OS itself, etc) verifies that proof.
The idea being: constructing proofs is hard and sometimes involves manual steps. But verifying a proof is easy and automatic. So do the slow, manual thing once, and the fast thing each time the program is downloaded.
> With this news, I have to wonder how much longer bluray will live.
I hope that physical media sticks around. DVDs and Blu-rays often include something that digital releases don't: director's commentaries, "making of" featurettes, and other extras.
For me, it adds a whole new layer of fun to movies I already like.
Does the Mexican residency have to do with the AI stuff that the article mentions? Or just about making your retirement money stretch further? Or something else?
> I’m surprised to not see more commentary on this one.
I agree -- this is big news, but the thread only has 21 comments?!
When the Trump admin kinda-sorta banned Fable a week ago, it seemed like it might be a one-off event: handicapping Anthropic because the administration has a grudge against them.
But today's news makes it seem like we're moving into a whole different world of AI regulation: each US model will have to be approved for release by regulators! And not only that, but the administration will whitelist who gets to use it "customer by customer." (Altman's words.)
> Turning this essay into a song in the style of 2000's Hip Hop? It used to be hard
Have you listened to the song he links? It's very convincing. If you were just casually listening to it in the grocery store, you wouldn't notice it was made by AI.
I'm very in favor of high-speed rail, in general. But I remember when the price tag had jumped to "only" $100B, and that was already considered a scandal.
At some point the state has to say, "our requirements are making it insanely expensive. We need to consider a different route, or a lower speed."
I wish the rules were trimmed down a little. I feel like there's a really lovely tight game under all the accumulated house rules and finicky stuff. And the existing rules tend to scare off newbies.
The article is smarter than the title makes it sound. He's not seriously proposing that being rich makes you happy. And he notes that there's a big drop around 2020 specifically, which long-term trends don't explain.
Just to state the obvious: 2020 was the year of COVID, which played hell with peoples' social lives.
And I think it's been pretty well-proven that happiness is largely driven by the strength and quality of our social relationships. Anything that cuts us off from our friends, or prevents us from forming new friendships, is going to be visible in the happiness data.
Judging by the stats, we haven't dug ourselves out of the post-COVID hole yet.
> Games ship with "6 expansions in box" which sounds great [...] until you realize that they're poorly playtested, lack balance, and add a confounding (and sometimes contradictory) number of rules.
Hot take: I have never played an expansion that I liked more than the base game.
It's interesting that you said "how to beat me." You also get better as you play the game more, right? So it could be you learning how to beat them ;-)
I'm thinking of breaking up with my local board game Meetup.
The reason why is: everybody there has board game ADD! I've been coming for 2 years, but we never play the same game twice; someone always brings the Hot New Game of the moment.
But I find that the first playthough is the least-fun one. That's the one where you're trying to remember what the grey cubes do, and whether they're worth victory points or not. And the game takes twice as long as it says on the box, because everyone needs to reason out their strategy from scratch.
I wish that I could convince my group to pick some set of N games to focus on!
If I were Xi, I wouldn't do that; I would just blockade them. You can get the same capitulation (hopefully) without firing a shot.