diff --git a/assets/a/eloquence.flac b/assets/a/eloquence.flac new file mode 100644 index 0000000..1d0723c Binary files /dev/null and b/assets/a/eloquence.flac differ diff --git a/assets/a/eloquence.mp3 b/assets/a/eloquence.mp3 new file mode 100644 index 0000000..bdbc93f Binary files /dev/null and b/assets/a/eloquence.mp3 differ diff --git a/assets/a/eloquence.opus b/assets/a/eloquence.opus new file mode 100644 index 0000000..3a0d3bb Binary files /dev/null and b/assets/a/eloquence.opus differ diff --git a/content/posts/experiment-copilot-legality.gmi b/content/posts/experiment-copilot-legality.gmi new file mode 100644 index 0000000..1cb4a93 --- /dev/null +++ b/content/posts/experiment-copilot-legality.gmi @@ -0,0 +1,106 @@ +I am not a lawyer. This post is satirical commentary on: + +* The absurdity of Microsoft and OpenAI’s legal justification for GitHub Copilot. +* The oversimplifications people use to argue against GitHub Copilot (I don’t like it when people agree with me for the wrong reasons). +* The relationship between capital and legal outcomes. +* How civil cases seem like sporting events where people “win” or “lose”, rather than opportunities improve our understanding of law. + +In the process, I intentionally misrepresent how the judicial system works: I portray the system the way people like to imagine it works. Please don’t make any important legal decisions based on anything I say. + +The only section you should take seriously is “Context”. + +## Introduction + +GitHub is enabling copyleft violation ✨at scale✨ with Copilot. GitHub Copilot encourages people to make derivative works of source code without complying with the original code’s license. This facilitates the creation of permissively-licensed or proprietary derivatives of copyleft code. + +Unfortunately, challenging Microsoft (GitHub’s parent company) in court is a bad idea: their legal budget probably ensures their victory, and they likely already have a comprehensive defense planned. How can we determine Copilot’s legality on a level playing field? We can create legal precedent that they haven’t had a chance to study yet! + +A chat with Matt Campbell about a speech synthesizer gave me a horrible idea. I think I know a way to find out if GitHub Copilot is legal: we could use its legal justification against another software project with a smaller legal budget. Specifically, against a speech synthesizer. The outcome of our actions could set a legal precedent to determine the legality of Copilot. + +## Context: the relevant technologies + +Let’s cover the technologies and actors at play _before_ I start my evil monologue. + +### Exhibit A: GitHub Copilot + +GitHub Copilot is a predictive autocompletion service for writing software. It’s powered by OpenAI Codex, a language model based on GPT-3. It was trained using the source code of public repositories hosted on GitHub, regardless of their licensing. +=> https://openai.com/blog/openai-codex/ OpenAI Codex announcement +=> https://en.wikipedia.org/wiki/GPT-3 Wikipedia on GPT-3 + +In response to a Request for Comments from the US Patent and Trademark Office, OpenAI claimed that “Artificial Intelligence Innovation”, such as code written by GitHub Copilot, should be considered “fair use”: +=> https://www.uspto.gov/sites/default/files/documents/OpenAI_RFC-84-FR-58141.pdf Comment Regarding Request for Comments on Intellectual Property Protection for Artificial Intelligence Innovation + +Many of the code snippets it suggests are exact copies of source code from various GitHub repositories. For an example, see this tweet: +=> https://twitter.com/mitsuhiko/status/1410886329924194309 "I don't want to say anything but that's not the right license Mr Copilot." by Armin Ronacher +=> https://web.archive.org/web/20220701010012/https://nitter.pussthecat.org/mitsuhiko/status/1410886329924194309 archive link that doesn’t require JavaScript, captured on 2022-07-01 + +It contains a screen recording of Copilot suggesting this Quake code: +=> https://github.com/id-Software/Quake-III-Arena/blob/dbe4ddb10315479fc00086f08e25d968b4b43c49/code/game/q_math.c#L552 Quake III source code snippet + +When prompted to do so, it obediently fills in a permissive license. That permissive license violates the Quake code’s GPL-2.0 license. Copilot provides no indication that a license violation is taking place. + +GitHub performed its own research into the matter.[1] You can read about it on their blog: +=> https://github.blog/2021-06-30-github-copilot-research-recitation/ GitHub Copilot research recitation, by Albert Ziegler + +I’m not convinced that it accounts for the fact that suggested code might have mechanical alterations to match surrounding text, while still remaining close enough to trained data to be a license violation. + +### Exhibit B: The Eloquence speech synthesizer + +I recently had a chat with Matt on IRC about screen readers and different types of speech synthesizers. I mentioned that while I do like some variety, I always find myself returning to the underrated robotic voice of eSpeak NG. He shared some of my fondness, and also shared his preference for a similar speech synthesizer called Eloquence. + +=> https://github.com/espeak-ng/espeak-ng/ eSpeak NG Git repository + +Downloads of Eloquence are easy to find (it’s even included with the JAWS screen reader), but I struggle to find any “official” pages about the original Eloquence. Nuance acquired Eloquent Technologies, the developer of Eloquence. Microsoft later acquired Nuance. + +I like the Eloquence speech synthesizer. It sounds similar to the robotic yet predictable voice of my beloved eSpeak NG, but with improved overall quality. Unfortunately, Eloquence is proprietary. + +#### Eloquence sample audio + +=> gemini://seirdy.one/misc/eloquence.opus Sample audio of Eloquence (audio/ogg, opus codec) + +Matt recorded this sample audio clip of Eloquence reading some text. The text is from the introduction of another post of mine: +=> ../../../../2020/11/23/website-best-practices/ Best practices for inclusive textual websites + +### Exhibit C: Deep learning speech synthesis + +Deep learning speech synthesis is a recent approach to speech synthesizer creation. It involves training a deep neural network on voice samples, and using the trained model to generate speech similar to a real human voice. One synthesizer using deep learning speech synthesis is Mozilla’s TTS. +=> https://en.wikipedia.org/wiki/Deep_learning_speech_synthesis Wikipedia on deep learning speech synthesis +=> https://github.com/mozilla/TTS Mozilla TTS is an example of deep speech synthesis + +Zero-shot approaches could allow a pre-trained model to generate multiple different voices. This could allow us to synthetically re-create a person’s voice more easily. +=> https://doi.org/10.48550/arXiv.2112.02418 YourTTS is one such example. + +## My horrible plan + +My horrible plan revolves around going through two different lawsuits to set some judicial precedents; these precedents could improve the odds of succeeding in a lawsuit against Microsoft for Copilot’s licensing violations. + +If this succeeds, we have new legal justification that GitHub Copilot is illegal; if it fails, we have still gained a means to legally re-create proprietary software. It’s a win-win situation. + +### Part One: set a precedent + +1. Train a modern text-to-spec (TTS) engine using the voice a proprietary one made by a company with a small legal budget. Keep the model’s internals hidden. +2. Then release the final TTS under a permissive license. Remember, we’re still keeping the machine-learning model hidden! +3. Wait for that company to file suit (or file an anticipatory suit against them; it's common for declaratory judgement regarding intellectual property rights). +4. Win or lose the case. + +### Part Two: use that precedent against Microsoft’s Nuance + +Our goal here is to get the same legal outcome as the low-stakes “trial run” of Part One. + +Microsoft owns Nuance. Nuance previously bought Eloquent Technologies, the developers of the Eloquence speech synthesizer. + +1. Repeat Part One against Nuance speech synthesizers, including Eloquence. Go to court. +2. Have the ruling from Part One cited as legal precedent. +3. Achieve the same outcome as Part One, demonstrating that we have indeed set precedent that works against Microsoft’s legal department. + +### Implications of the outcomes + +If we _win_ both cases: Microsoft has the legal high ground. Making a derivative of a copyrighted work using a machine-learning algorithm allows us to bypass copyright licenses. + +If we _lose_ both cases: Microsoft does not have the legal high ground. We have good judicial precedent against Microsoft to use when filing suit for Copilot’s behavior. + +Either way, it’s an absolute win for free software. Taking down Copilot protects copyleft from enabling proprietary derivatives (and by extension, protects software freedom). But if we accidentally win these two low-stakes “test” cases, we still gain something else: we can liberate huge swaths of proprietary software, starting with speech synthesizers. + +## Footnotes + +1. I doubt anybody worth their salt would count on a company to hold itself accountable, but at least they tried. diff --git a/content/posts/experiment-copilot-legality.md b/content/posts/experiment-copilot-legality.md new file mode 100644 index 0000000..6946455 --- /dev/null +++ b/content/posts/experiment-copilot-legality.md @@ -0,0 +1,126 @@ +--- +title: "An experiment to test GitHub Copilot's legality" +date: 2022-07-01T17:30:45-07:00 +description: "A horrible idea to determine the legality of GitHub Copilot, or of re-creating proprietary speech synthesizers: create legal precedent that doesn't exist yet!" +outputs: + - html + - gemtext +--- +
+ +

Preface

+ +I am not a lawyer. This post is satirical commentary on: + +- The absurdity of Microsoft and OpenAI's legal justification for GitHub Copilot. +- The oversimplifications people use to argue against GitHub Copilot (I don't like it when people agree with me for the wrong reasons). +- The relationship between capital and legal outcomes. +- How civil cases seem like sporting events where people "win" or "lose", rather than opportunities improve our understanding of law. + +In the process, I intentionally misrepresent how the judicial system works: I portray the system the way people like to imagine it works. Please don't make any important legal decisions based on anything I say. + +The only section you should take seriously is ["Context: the relevant technologies"](#context). + +
+ +
+ +Introduction +------------ + +GitHub is enabling copyleft violation at scale with Copilot. GitHub Copilot encourages people to make derivative works of source code without complying with the original code's license. This facilitates the creation of permissively-licensed or proprietary derivatives of copyleft code. + +Unfortunately, challenging Microsoft (GitHub's parent company) in court is a bad idea: their legal budget probably ensures their victory, and they likely already have a comprehensive defense planned. How can we determine Copilot's legality on a level playing field? We can create legal precedent that they haven't had a chance to study yet! + +A chat with {{}} about a speech synthesizer gave me a horrible idea. I think I know a way to find out if GitHub Copilot is legal: we could use its legal justification against another software project with a smaller legal budget. Specifically, against a speech synthesizer. The outcome of our actions could set a legal precedent to determine the legality of Copilot. + +
+ +Context: the relevant technologies {#context} +---------------------------------- + +Let's cover the technologies and actors at play _before_ I start my evil monologue. + +### Exhibit A: GitHub Copilot + +GitHub Copilot is a predictive autocompletion service for writing software. It's powered by [OpenAI Codex](https://openai.com/blog/openai-codex/), a language model based on [GPT-3](https://en.wikipedia.org/wiki/GPT-3). It was trained using the source code of public repositories hosted on GitHub, regardless of their licensing. In response to a Request for Comments from the US Patent and Trademark Office, OpenAI claimed that "Artificial Intelligence Innovation", such as code written by GitHub Copilot, should be considered "fair use".[^1] + +Many of the code snippets it suggests are exact copies of source code from various GitHub repositories. For an example, see this tweet: {{}}{{}} by {{}} That permissive license violates [the Quake code's GPL-2.0 license](https://github.com/id-Software/Quake-III-Arena/blob/dbe4ddb10315479fc00086f08e25d968b4b43c49/COPYING.txt). Copilot provides no indication that a license violation is taking place. + +GitHub performed its own research into the matter.[^2] You can read about it on their blog: {{}}{{}}, by {{}}. I'm not convinced that it accounts for the fact that suggested code might have mechanical alterations to match surrounding text, while still remaining close enough to trained data to be a license violation. + +### Exhibit B: The Eloquence speech synthesizer + +I recently had a chat with Matt on IRC about screen readers and different types of speech synthesizers. I mentioned that while I do like some variety, I always find myself returning to the underrated robotic voice of [eSpeak NG](https://github.com/espeak-ng/espeak-ng/). He shared some of my fondness, and also shared his preference for a similar speech synthesizer called Eloquence. + +Downloads of Eloquence are easy to find (it's even included with the JAWS screen reader), but I struggle to find any "official" pages about the original Eloquence. Nuance acquired Eloquent Technologies, the developer of Eloquence. Microsoft later acquired Nuance. + +{{}} + +#### Eloquence sample audio {#eloquence-sample} + +
+{{
+ +{{}} + +My primary focus is inclusive design. Specifically, I focus on supporting underrepresented ways to read a page. Not all users load a page in a common web-browser and navigate effortlessly with their eyes and hands. Authors often neglect people who read through accessibility tools, tiny viewports, machine translators, “reading mode” implementations, the Tor network, printouts, hostile networks, and uncommon browsers, to name a few. I list more niches in the conclusion. Compatibility with so many niches sounds far more daunting than it really is: if you only selectively override browser defaults and use plain-old, semantic HTML (POSH), you've done half of the work already. + +{{}} + +{{
}} + +I like the Eloquence speech synthesizer. It sounds similar to the robotic yet predictable voice of my beloved eSpeak NG, but with improved overall quality. Unfortunately, Eloquence is proprietary. + +### Exhibit C: Deep learning speech synthesis + +[Deep learning speech synthesis](https://en.wikipedia.org/wiki/Deep_learning_speech_synthesis) is a recent approach to speech synthesizer creation. It involves training a deep neural network on voice samples, and using the trained model to generate speech similar to a real human voice. One synthesizer using deep learning speech synthesis is [Mozilla's TTS](https://github.com/mozilla/TTS). + +Zero-shot approaches could allow a pre-trained model to generate multiple different voices. [YourTTS](https://doi.org/10.48550/arXiv.2112.02418) is one such example. This could allow us to synthetically re-create a person's voice more easily. + +My horrible plan +---------------- + +My horrible plan revolves around going through two different lawsuits to set some judicial precedents; these precedents could improve the odds of succeeding in a lawsuit against Microsoft for Copilot's licensing violations. + +If this succeeds, we have new legal justification that GitHub Copilot is illegal; if it fails, we have still gained a means to legally re-create proprietary software. It's a win-win situation. + +### Part One: set a precedent + +1. Train a modern text-to-spec (TTS) engine using the voice a proprietary one made by a company with a small legal budget. Keep the model's internals hidden. +2. Then release the final TTS under a permissive license. Remember, we're still keeping the machine-learning model hidden! +3. Wait for that company to file suit.[^3] +4. Win or lose the case. + +### Part Two: use that precedent against Microsoft's Nuance + +Our goal here is to get the same legal outcome as the low-stakes "trial run" of Part One. + +Microsoft owns Nuance. Nuance previously bought Eloquent Technologies, the developers of the Eloquence speech synthesizer. + +1. Repeat Part One against Nuance speech synthesizers, including Eloquence. Go to court. +2. Have the ruling from Part One cited as legal precedent. +3. Achieve the same outcome as Part One, demonstrating that we have indeed set precedent that works against Microsoft's legal department. + +### Implications of the outcomes + +If we _win_ both cases: Microsoft has the legal high ground. Making a derivative of a copyrighted work using a machine-learning algorithm allows us to bypass copyright licenses. + +If we _lose_ both cases: Microsoft does not have the legal high ground. We have good judicial precedent against Microsoft to use when filing suit for Copilot's behavior. + +Either way, it's an absolute win for free software. Taking down Copilot protects copyleft from enabling proprietary derivatives (and by extension, protects software freedom). But if we accidentally win these two low-stakes "test" cases, we still gain something else: we can liberate huge swaths of proprietary software, starting with speech synthesizers. + + +[^1]: See {{}}{{}} (application/pdf) submitted by OpenAI to the USPTO{{}} + +[^2]: I doubt anybody worth their salt would count on a company to hold itself accountable, but at least they tried. + +[^3]: If the stars align, you could file an anticipatory suit against the company. It's common for [declaratory judgement](https://en.wikipedia.org/wiki/Declaratory_judgement) regarding intellectual property rights. + +