HotHotLava

How does it open the door to that? That's literally the argument that was rejected by saying the fair use defense only counts for the legally-acquired media.

How can a software developer not do the one basic abstraction step to see them both as tools with some unknown, low probability of error?

The human developer+compiler+linker toolchain isn't free of bugs either, some percentage it will produce code that fails loudly and sometimes it will produce code that has silent bugs, be it due to wrong source code or due to compiler or linker bugs.

If the photocraft suite had been manually written in 2022, with the exact same source code as it has right now, they would be the poster open-source project that people would point to for the power of an open-source community over proprietary software and be praised for the high standards of the source code.

You want to, of course. There are several multi-billion dollar programs to subsidize fabs starting european offshoots. But so far not very successful, and it's not like one endeavour is blocking the other here.

> YouTube, Google, Google Maps

Just yesterday I tried out Gemini again after a while, and it was not able to open Google Maps in navigation mode to the destination i wanted.

For the purposes of writing this comment, i asked it to put on some Jazz in Youtube (i have youtube music with a premium account on the same device and same google account) and it started a Spotify Jazz playlist.

Google might still have the popular products from 20 years of history, but after years of them trying there's no indication whatsoever that they have the ability to shape it into a coherent product.

You get a dinner, but not even an all-inclusive travel package while you're there.

This is basically aimed at AI startups who are in SF anyways and need a platform for marketing. So no shortage of contestants.

Ford started mass producing cars in 1913, and yet there are plenty of car companies that started production 20+ years later and are still relevant.

Just open weights are not enough, I think as a nation state you'd at least want a whole sovereign training pipeline. Otherwise you are stuck when Kimi K4 stops releasing their weights.

But I don't see why this needs to be done on a state-by-state level, a sovereign EU model seems to be much more realistic in terms of funding.

Would that change anything about the conclusion? Having a "bug" that changes available model options for some small set of Pro users 3 months after launch certainly qualifies as a wtf-are-they-even-doing level of bug in my book.

"Risk" has nothing to with designing functional and elegant UIs, so I'm not sure why you would even make the comparison.

It means risk that the software stops working after an update. Which usually trades off iteration speed and best practices (i'm pretty sure the average startup has way better security practices by just delegating to google/aws than the average manufacturing software business) in exchange for a rigorous testing and rollout schedule.

So I'm also not sure that the article has a point at all, the human writing the code was never relevant to avoiding the "risk" in these industries in the first place.

"extremely severe" - aren't we laying it on a bit thick here? The whole impact seems to be that users who have telemetry turned off got this feature ~2 days later, when the bug was noticed.

Per the rules link that you yourself post, no, publication must not necessarily happen in a peer-reviewed journal.

In what world is peer review a higher standard than formal verification in Lean?

Not in the world mathematicians have been living in for the past decades at least. Nearly all big theorems that have been formalized so far had been published beforehand, and it was usually regarded as a step up in rigor. Wrong results get published in peer reviewed journals all the time.