Doesn't the KRACK vulnerability undermine the idea that formally verified equals perfectly secure?

You're partly right, formal methods don't catch problems that you assume does not happen in your assumptions (herein, the "operational semantics").

If this plan to formally verify internet algorithms included the Wi-Fi standard and implementations, the KRACK vulnerability wouldn't be an issue because it wouldn't verify (with respect to certain specifications, if they realized that those specifications were important to begin with).

But in the first place, most operational semantics on this level still stay at layers of abstraction high enough that they don't guard against Spectre and Meltdown.

Nevertheless, note that formal verification is also widely used at the microchip level.

New York state has been increasing testing pretty rapidly. A few days ago they were at 10,000 a day.

They'll just stop distributing versions through the Mac App store and the Mac App store will become even more irrelevant.

Many of the apps in question are free apps... I tend to have Spotify and VS Code open most of the day. Then again, I replaced Mac on my home desktop with Linux, and getting rid of my rmbp in a few weeks.

"Free" means the app isn't charged for, not revenue generating directly... so jumping through hoops to satisfy Apples whims is not productive. Context matters, and I'm pretty sure you understood the context.

Electron doesn’t run on iPhone?

it does with cordova

Nope, Electron is a platform that Cordova runs on.

App Store will always be relevant since it's such a popular distribution channel.

And one app not being on there isn't going to change that.

I'm fairly certain it was World of Warcraft. Also my AT&T router's UI does this, which probably explains why it's so slow.

As far as I can tell the only logical reason is political. It would be far less popular to force news organizations, which might be influential and local, to delete data than forcing an unpopular foreign corporation to do it.

>The "getting together" is entirely your own supposition.

A not unreasonable one considering two of the three (Hynix and Micron) are convicted price fixers.

VISA should at least be capitalized like in the original title.

I think people here in Raleigh would hardly notice if Google Fiber pulled out. They only ever offered it in a very small area and AT&T has been offering gigabit to to large parts of the area for several years now.

Yeah, in Durham, I've seen a lot of AT&T guys running fiber... I've only gotten a Google T-Shirt and seen an apparently empty office space downtown with a Google Fiber sign in the window.

I don't think it would be so bad if aviation regulators did jump to conclusions by erring on the side of safety.

Unless they changed it very recently you can still sign up completely online or have them mail you a PIN. They do still mail you a PIN no matter what so you can at least deactivate it if you didn't set it up.