I've tried hard to see this from Apple's point of view. But inescapably, this is government spyware installed by Apple based on a presumption of guilt. Though Apple wrote the code, its function is to scan personal data and report it to government. eff.org/deeplinks/2021…
This is entirely different from a content moderation system on a public forum or social medium. Before the operator choses to host the data publicly, they can scan it for whatever they don't want to host. But this is peoples' private data.
Apple's dark patterns that turn iCloud uploads on by default, and flip it back on when moving to a new phone or switching accounts, exacerbate the problem. Further, in many contexts Apple has forced people to accumulate unwanted data, as with mandatory iCloud email accounts.
Though Apple has since changed the signup flow, many were forced to take at-icloud-dot-com email accounts that can't be deleted without losing everything ever purchased in the Apple ecosystem. That's iCloud, so will presumably be monitored by police. lifewire.com/how-to-delete-…
Tim Cook testified at trial, without nuance, that Apple has to comply with all applicable laws everywhere it does business. So presumably Apple will now be an arm of state surveillance wherever it's required. That's already played out in China: nytimes.com/2021/05/17/tec…
Calls for "if you have nothing to hide, you have nothing to fear from this surveillance" and "think of the children" will reach a fever pitch, seeking to manipulate public sentiment at this critical time, gaining support for a system presuming guilt and lacking due process.
My view is: Yes, do think of the children. Think of the dystopia they'll grow up in if we tolerate the unchecked growth of private monopolies with unlimited surveillance power increasingly taking on governing roles, yet now unshackled from liberal democratic processes.
Liberty is built on due process and limited government. The existential threat here is an unholy alliance between government the monopolies who control online discourse and everyone's devices, using the guise of private corporations to circumvent constitutional protections.
• • •
Missing some Tweet in this thread? You can try to
force a refresh
An axiom is an assumption that something is true. A theorem is a claim that something is true. A proof is a series of steps that show exactly how a theorem follows from axioms. These notions were clearly laid out in Euclid's Elements around 300 BC.
In programming, a native is a function or type provided by a compiler. A type is a claim that value of that type exist. A type-checked expression establishes that a value belongs to a type. These notions came about in the 1950's as compilers were developed.
These notions of proofs and programs turn out to correspond. This was proven by Curry and Howard from the 1930's through the 1960's, starting even before programming languages were invented.
The topic of functional logic programming is extraordinarily rich and is largely unexplored, due to limits of the original reasoning model (closed world SLD resolution) which hindered a view of the bigger picture.
David McAllester wrote all down in 1989 with Ontic, but it wasn’t recognized as being implementable nor was it even clearly understood what an implementation would comprise, nor were its connections to functional logic recognized.
Such a language so expressively mixes types and values that traditional type checking is inapplicable. The only tool adequate for compile-time reasoning is a static analysis of the program under the assumptions proffered by the domains of functions within it.
Presumably they're just posturing for the court, but if Apple truly believes the fight over the App Store's distribution and payment monopoly is a "basic disagreement over money," then they've lost all sight of the tech industry's founding principles.
Foremost among those principles: the device you own is yours. You're free to use it as you wish. Configure it as you like, install software you choose, create your own apps, share them with friends. Your device isn't lorded over by some all-powerful corporation.
This is EXACTLY what Apple's 1984 commercial was all about. Making computing personal, overcoming the awful precedent of IBM mainframes where computer owners were reduced to essentially just leasing devices controlled by an all-powerful company.
Let’s try searching for Netflix on the App Store. Whoops, Netflix isn’t the top result, because Apple sold top result to TikTok. At least all the text is super readable - except the low contrast white-on-blue-white “Ad” label.
Ok, we scroll down and install Netflix. Now let’s sign up. Whoops! You can’t sign up in-app, and Apple won’t even allow Netflix to tell users how to sign up out-of-app!
Back to TikTok. Let’s try searching for that... Whoops, Apple punked TikTok with:
At the most basic level, we’re fighting for the freedom of people who bought smartphones to install apps from sources of their choosing, the freedom for creators of apps to distribute them as they choose, and the freedom of both groups to do business directly.
The primary opposing argument is: "Smartphone markers can do whatever they want". This as an awful notion.
We all have rights, and we need to fight to defend our rights against whoever would deny them. Even if that means fighting a beloved company like Apple.
Another argument against supporting #FreeFortnite is "this is just a billion dollar company fighting a trillion dollar company about money". But the fight isn't over Epic wanting a special deal, it's about the basic freedoms of all consumers and developers.
Here’s my first computer, the Apple ][+. It booted into a BASIC programming prompt so you could write code. Then you could save it on a floppy disk or a tape and share it with others. Where is the company that invented the personal computer now?
The good news is that they have a billion devices in circulation. The bad news: to get permission to program, you have to submit a form and a $100 fee. To release it, you submit another form and wait for Apple to decide whether they will allow you to do that. Often they don’t.
There is a weird dichotomy in this company. On one hand, it’s a trillion dollar monopoly that exercises absolute power over developers’ businesses and livelihood. On the other, Apple has become the App DMV, replete with forms, lines, byzantine policies, and bureaucracy.