Our current system? So ZFC?

We move to a different, probably weaker system. Certain mathematicians studying hyper-infinite monstrosities like Banach spaces will be sad. Life will go on, though.

Existing applied math should all work purely in the Von Neumann universe of finite sets. Saying there’s actually an infinite number of points in a line is a kind of luxury; it’s just one that feels right to most mathematicians. A number that’s simply much larger than is worth bothering with can work the same way. In the same spirit, you can probably get rid of most of the Von Neumann universe without breaking practical things.

If you mean actual practical math breaks, I dunno. In any reasonably complex inconsistent formal system, all statements can be proven true. Like 10 = 20. So, can I just grow more fingers somehow?

Edit: Since this is Lemmy, it’s worth pointing out that Godel’s incompleteness theorem has a kind of interchangeability with the fact some questions are undecidable by Turing machine.

Godel’s theorem has a kind of salacious, clickbait quality to it. Laymen will interpret all kinds of things into it. I’ve literally heard “so, math is useless then”. But, if you know algorithms, you know that saying they can’t determine if a loop ends is nowhere close to saying they’re going to stop working, or that they aren’t really good at what they can do.

Yes, but think of all the news releases about Chinese hyper-advancement they precipitated while sitting idle! /s

Exporting to the West is still a heavy cause of that demand that’s not being met, though. It seems like there’s responsibility going a few ways.

Wow there’s some really bad deals here!

History is full of trendy hustles, but people aren’t usually dumb enough to keep falling for them forever. Probably that will apply here too, and a lot of these shitty subscriptions will go the way of the Juicero.

It’s worth mentioning renting rather than owning isn’t an intrinsically bad concept. Owning your own bus probably doesn’t interest you, and while streaming costs are going up, it’s still a better deal than buying a DVD you watch once.

You have to think when the infamous “own nothing and being happy” quote was coined, they were imaging there still was a nice diversified portfolio of investments in the background, which amounts to owning a small piece of everything.

Eh. That’s the thing with UPF, it doesn’t really have a definition. There’s a whole lot of transformation that’s happened to make olive oil - quite possibly more than whatever American-style dressing.

There’s still the huge problem that nobody knows what an UPF actually is. Name a definition, somebody’s traditional home-cooked cuisine does it. Unless home-cooked is your definition, in which case you ascribe too much navigational prowess to food - it has no idea where it’s being cooked.

Really? That’s the best boogeyman he can think of? They’re going to ban ice hockey for no reason? (When they take over a country they barely think about)

I mean, Islam is also an Abrahamic religion, and capable of being just as severe as Christianity. Except political Islam is dominant, while the West has been rich and gotten more secular over the centuries.

Saudi beheads people publicly. A caning is not as bad as it can get.

Indonesia is not a stable, long-establish democracy. A lot of people are pleasantly surprised they’ve kept it together this long.

So no, a big dramatic swing directly targeting one of the major provinces and by proxy ethnicities is not a good idea.

Nah, the Christian thing was more live burnings. Some drownings.

I’m pretty sure Hawaii, at least, would vote red and orange.

I mean, you definitely don’t speak for all of us, there, although you’ve worded it that way.

Anyway, the real obstacle is that they legally can’t leave the US.

You have to consider it’s a two party system, though, and America First will always sell better to Americans. That 15% of Canada is well to the right of the average Trump voter.

I have no idea which way they’d vote as a Canadian city, but it wouldn’t be the bluest (as in Conservative) place in the country.

Oh yeah, it’s kind of a purple state, isn’t it?

Like everywhere else it’s going to heavily differ in major cities vs. outside, but just letting the twin cities in wasn’t the question.

At that point it’s blue America with a bit of Canada attached, though. At least by population.

Ah, so it’s just a fairly compact way to make e-fuel. E-fuel will be really important going forwards for certain industries.

Doesn’t it sort of defeat the purpose of gasoline being used because it’s so energy dense?

I think the idea would be to make it in a fixed place with grid power and then load up your plane or whatever. It sounds like they’re maybe marketing to consumers, which is weird, since not very many people would think it’s as cool as I do.

Does surgery count?

On the early Antarctica expeditions they wouldn’t let anyone with an old war injury or surgical scars join, because scurvy can do something similar.

Obviously if it’s a web app client it’s going to load in HTTP before whatever other thing begins, but Zoom has a standalone application, and so does WhatsApp. I’m not even sure if they have web app offerings as well.

An octet stream itself is just an octet stream - raw data. If it’s HTTP so was a teletype connection in the 70’s.

Yeah, exactly.

The actual video data is not HTTP, because how would that even work, and I was just working on an API that’s over raw TCP recently.

Yes, it is a huge piece, though, and has a way of spreading even into places you don’t technically need it.

I’d like to point out that Amazon still hasn’t made a profit. Everything they save doing Amazon things has just gone back into building the system, so far.

Non-commercial would mean no money changes hands. Sir Tim is thinking of the way it still is an amateur radio, for example.