mjorgers

It might be that I’m unfamiliar with the matter, but as I understand it, in order to prove a statement, the statement must correctly model the reality of the code. In that case, how can you be truly sure that, when formally verifying a program, you have correctly modelled the software you’re trying to verify?

Couldn’t it very well be that you proved something that wasn't actually your program?

It may be better in the shorter term, but using yet another Chromium based browser doesn't really improve the current situation with Google's browser monopoly. I'm personally using Firefox Nightly, and so far it has served me well.

A change for the better. The distinction made it unnecessarily complex for users. The ChatGPT desktop app inherited the same separation. Having to change between ChatGPT for day to day questions, to Codex for everything else always seemed too cumbersome.

> The Core Technology Fee, a per-install fee for developers that achieve extraordinary scale, will be replaced by the Core Technology Commission, a simple 5 percent commission on digital transactions in apps distributed outside the App Store. The new terms also eliminate the initial acquisition fee and store services fee.

[...]

> In order to keep EU users as safe as possible, Apple will continue to require every alternatively distributed app to go through Notarization — a baseline review focused on basic functionality and protection from serious threats.

All in all, still extremely anti-consumer. If I can download and run arbitrary code on my Mac--even if I have to jump through scary warnings--why should I not be able to do so on my phone? Why would one computing platform be different from the other?

Apple doesn’t sell the Vision Pro in Spain yet, so acquiring one would require taking a trip to France. For Vision Pro owners: is it worth it? Do you use it often? The post does mention a very compelling use case, but it is quite narrow (how often are you remodelling your house?)

So the argument is basically: This technology is too dangerous so only _we_ should have access to it. We’re the good guys and only we can ensure a safe use of this technology.

Quis custodiet ipsos custodes?

In the Canary Islands, where it’s not just hot, but also humid, you’ll be pressed to find a restaurant with AC. Some businesses do, but frankly it’s quite rare, and often times I’ve entered a business and felt a slap of heat in the face. Quite different from Madrid

What makes you say that about Android? I’m a iOS user, but was under the impression that Android was already quite polished, especially the stock experience (as it is with pixel phones)

Am I the only one who hasn’t felt the need to upgrade in _way_ more than just one year? I still have an old XPS 15 9560 (pushing 10 years!!!) running Ubuntu which is perfectly usable. I upgraded the ram (32Gb) and the battery, and I still consider it to be totally usable for most day to day tasks. Development, docker containers, browsing the web with an unhealthy number of tabs open. What more do I need?