deepsun

Bulldozers, excavators and rollers are now capable of building roads.

Any law or regulation has a freedom activists group against it. That's normal, any government has an oppression mechanism that enforces it's will. The whole "civilization" was born when people started restricting somebody's freedom in order to achieve some goals (e.g. water rationing in the Ancient Nile).

So it's not surprising someone would be against restricting gambling. The hard part is to how the gov should do it. But it's not government's job to please every single person.

> As one notable exception, Honda improved its data collection practices to prevent sending precise geolocation to a third party associated with user tracking.

I know what my next car will be.

But why do you compare all the defense budget (e.g. pensions) with NASA? What's the point?

I propose to compare aerospace with aerospace.

How? NASA budget is around 20-30bn in recent years, same scale as US Space Force department budget (26bn in recent years, 40bn in 2026). Comparable, but not minuscule.

I remember one review of Mazda CX-90 hybrid (not plug-in) that reviewer genuinely didn't know why Mazda put such a small battery in there that's not enough for anything.

I drove a little Toyota Tahoe with the same tiny battery and the reason is clear -- it replaces first gear. So you can have much simpler and reliable transmission, and be more efficient at cities stop signs.

Cool. And the next enlightening step would be to generate custom parser code from message schemas. So that when de-serializer reads a next field, it does not read what name and type it will be, it expects and fails if it's not. Safer and more compiler friendly.

Which AFAIK is more efficient (no losses on converting kinetic to electric, electric to chemical, and back: chemical to electric and then to kinetic).

Or their customers, who bought less than 21,000 cars in a year -- I'd cancel that production line too.

I'd say a broader "people has to WORK" about various accounting systems I developed. E.g. to make something warehousable, people need to enter various details about their products, and they hate it. And Amazon shows us that marketplace can be successful without even basic weight and dimensions.

Yep, exactly. US is in the active process of shooting itself in the foot. My point is that China is very dependent on resources imports, so there's no way for them (and any other country) to be self-sufficient or they will stagnate.

And China is very dependent on imports of almost everything. Maybe some rare elements, but e.g. oil is a big part of it (they agressively diversify off it, but it's still a large piece). Global interdependency is a good thing.

Well Soviet Union tried to be self-sufficient, but the truth is such strategy loses to global free trade. Whether we want it or not, global trade is what keeps the world from WW3 for now, not the nuclear MAD.

> How did we get here? ... introduced in C++11 alongside threading support. The standard says that the implementation may assume any thread will eventually do one of the following: terminate, call a library I/O function, access a volatile glvalue, or perform a synchronization or atomic operation.

I'm more surprised it passed through the committee, they should've seen that back in 2011. I can not imagine such a bug in spec would pass through a Java committee, as they discuss every little thing for years (sometimes decades). It's not like embedded code is something new.

But it does create an incentive to not keep data that a company doesn't really need. And that incentive already works with GDPR for PII.

This measure add similar incentive for data breaches.

Home Depot/Lowes often have faster delivery than Amazon (like literally delivered in a few hours or next day morning).

When goes Collatz conjecture?

I would really want to see there Go with their goroutines, Kotlin with their coroutines, and good old Java with their CompletableFuture vs. virtual threads (and compare that with non-continuation ThreadPoolExecutor).

IMO the discussion without Go is really lacking, as it's the whole point of Go.

Yes even better. Parent just compared insurance cost in CA vs FL, so I brought CA here.

PS: California, not cyanoacrylate.

Yet at the same time federal government allowed home insurance to be non-actuarial (aka insolvent) for natural disasters like hurricanes. So essentially the rest of the country subsidise residents in disaster-prone areas. So Californians pay to make home insurance lower for Floridians.

Who pays for that?

What's the issue of getting her on Linux? I bet she wouldn't see a difference, especially if its GUI is similar to Windows, like Linux Mint.

I always wanted to, say, look at any theorem and see what axiomatic it requires. Or in other way, see the theorem tree like in the article under a different set of axioms.

Of course, for some results there are proofs discovered only under one axiomatic, but it's true under some others as well, just the proof wasn't discovered yet.

And because of the very convenient geographical location USA is unlikely to be invaded. You'd want your gold to be safe.

There is, or rather are, fully recognized axiomatic foundations. You are free to choose one you like. Of the most popular ones is ZFC or ZF, but there are others (some lead to the same results some not). The main criteria for popularity is how useful it is. You can even make your own axiomatic where 2+2=5, but it would be useless.

You probably heard about Goedel Incompleteness -- the proof that the the axiomatic itself cannot be proven, like using ZFC to prove ZFC, but that's another topic.

It would be fun to play with this Anthropic/Lean formalization under different axiomatics.

Same thing was said about cryptocurrency for like 15 years: "_in the future_ it will replace all fiat currency".

Learn to fly hang gliders.

Travel cheap countries.

Make (more) kids.

Woodworking is always here. As is local politics. But you said you're not up to building something.

Would be good to see witnesses description text after the case reveal. E.g. I kinda remember text says "black eyebrows" but the image clearly shows white eyebrows, would be cool to review.

Use Firefox with uBlock Origin? I see only two: google and plausible.io -- both are blocked.

> Fish bad

I've read an archeological analysis of a merchant ship rowers-slaves -- every skeleton had perfect teeth. Because slaves were fed only fish, not any bread, bread was a product that merchants traded, while fish was cheap and abundant.

So I think "fish bad" opinion was just because fish was cheap and everyone had it.