So how should powerful tech companies reason about matters that balance individual freedom and collective safety? We should start with the underlying legal standards, especially when a policy may involve government reporting or policing.
An individual has strong legal protections of privacy in their personal effects and in personal communication through the post. There are very different standards in publishing material, engaging in commerce, communicating with groups of unknown third parties, and so on.
People have strong expressive rights in a public commons, and less so on private property. We should be more honest about which online venues really are commons and which are company property in 2021. The answer can’t be that corporations reign over the whole internet.
These rights and principles were established in the Enlightenment era as protections against arbitrary government, back in a time when government was the most powerful force in peoples’ lives.
We should always look to these principles for guidance, as they’re a solid, proven, and lasting foundation for a free society - and abandon the temptation to improvise diktats over users’ lives online through the odd mix of populist, PR, and profit motives that currently prevail.
• • •
Missing some Tweet in this thread? You can try to
force a refresh
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.
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.