Bonum Certa Men Certa

All Software Equivalent to Mental Steps, Reducible to Pencil-and-Paper Work

Or why the Benson case shows misunderstanding of how computers work

Finite-state machine Reference: Finite-state machine



Summary: Remarks on the technical details or nature of software patents and why they are -- contrary to some dull-witted claims -- always reducible to analysis done by a human (mental process of logic and/or arithmetic)

THE notion (or rationale) of software patents is based on the misguided idea that rather than let people acquire a monopoly on a particular implementation using a particular computer language we should give people a monopoly on some vague series of instructions (very broad, not even pseudo-code), irrespective of implementation details, and that this way developers would have a greater incentive to write more code and better code. In practice, however, people who write computer programs already have a sort of monopoly on their own implementation because when they write code it is automatically copyrighted and unless the underlying code is hidden away in binary form, it is not so incredibly hard to enforce these monopoly rights. When it comes to patents, the monopoly's scope is so broad (and the covered idea is so vague) that virtually any computer program, even if developed independently (neither mimicking anything nor relying on patent surveys), is infringing. For instance, a computer program with something resembling an hourglass can be deemed infringing, no matter the visualisation of the time indicator, e.g. progress bar (or equivalent). Developers thus need to start worrying about any such mechanism which is indicative of progress/latency.



“A human undertaking the task of sorting book on a shelf alphabetically by title knows that she is dealing with books, that the sequence of words on the binding are titles, and that words are composed of letters, and so forth.”
      --Robert Sachs
Speaking of software patents, Robert Sachs of Bilski Blog has just released the next (third) part of his long paper about software patents being metaphors (abstract) and he notes: "Another key difference between how computers perform their operations and how humans do is that humans, but not computers, understand what they are doing, and the meaning of their operations. A human undertaking the task of sorting book on a shelf alphabetically by title knows that she is dealing with books, that the sequence of words on the binding are titles, and that words are composed of letters, and so forth. She performs these operations directly on the words. This knowledge of the domain impacts how the operations themselves are performed. A computer can sort the same titles, but only once each title is represented as a string of numbers—the computer does not “know” that the numbers represent a book title any more than the human’s finger “knows” she is moving a book, and cannot use this knowledge to change the manner of sorting."

Sorting algorithms are classic logical operations that are typically taught in the first year of computer science courses. Should they too be patentable? Where does it end? They don't even do anything that wasn't already done before (by humans, by hand). The fourth part of the series, published earlier today, cites the Benson case and states: "The court offers two further insightful observations. First, “Pencil-and-paper analysis can mislead courts into ignoring a key fact: although a computer performs the same math as a human, a human cannot always achieve the same results as a computer.”"

"These are all reducible to a Turing machine and every pertinent operation can be carried out by a human rather than a processor, no matter the complexity (e.g. number of bits in the 'pipe')."The paragraph goes on with quotes like that, but it does not change the fact that any computation carried out by a computer can also be done on paper (it's just a question of how long it takes for the human operator to do so). These are all reducible to a Turing machine and every pertinent operation can be carried out by a human rather than a processor, no matter the complexity (e.g. number of bits in the 'pipe').

There is still one more part (the finale) to come from Mr. Sachs. It's part of a long paper on the subject of software patents (not a paper from software patents lobbyists like David Kappos, now funded by Microsoft and others to shame and pressure the system).

Recent Techrights' Posts

Microsoft Bankruptcy
"Microsoft unit in Russia to file for bankruptcy, database shows"
Techrights Does Not Compete With LLM Slop, It Exposes the Bastards, Plagiarists and Scammers Who Do That
People like Scam Altman, still facing a lawsuit from his own sister for sexual abuse against her
 
Links 01/06/2025: Windows TCO, Openwashing, "It's FOSS" Still Promoting Microsoft
Links for the day
Gemini Links 01/06/2025: Simplification and Networks Everywhere
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Saturday, May 31, 2025
IRC logs for Saturday, May 31, 2025
Google Bribes EFF. EFF Promotes LLM Slop as 'Fair Use'. To GAFAM It's a Low-Cost Lobby Hedge.
So the bribes pay off ("slush fund") and the word spreads
Slopwatch: Fake Text and Images, Financial Bubbles, and Scams in "Intelligent" Clothing
Sometimes what they mean by "AI" is just cheap labour somewhere else, as we discussed in IRC a few hours ago
Why Microsoft is Collapsing (Similar to What's Happening at IBM), As Insiders See It
IBM seems like one heck of a mess
Reliable Computing Means Free (Libre) Computing
Sites that want to promote security ought to deal with the biggest issues
Links 31/05/2025: US Court Orders Sides With RFE/RL, War Updates From Ukraine
Links for the day
Gemini Links 31/05/2025: ARM Server and power_supply Subsystem
Links for the day
Links 31/05/2025: Slop Stigmatised as Disinformation, Catalyst/Driver of "Death of Communication"
Links for the day
Common Sense 101: Do Not Write Blog Posts Saying You Want to Murder Colleagues (or Yourself)
Only crazy people would think stabbings are a joke
Links 31/05/2025: Microsoft-Connected Builder.ai is a Fraud and US is Purging Students Based on Race/Nationality
Links for the day
Gemini Links 30/05/2025: Limmat, Doomscrollers, and Arguments Parsing
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Friday, May 30, 2025
IRC logs for Friday, May 30, 2025
The "AI" (Slop) Bubble Already Popped, But It's Not an Overnight Collapse
where Microsoft put its money
No More Steven Astorino at IBM, Chatter About Weekly/Nonstop Layoffs at IBM
What happened? Good luck guessing.
Looking at Corruption in Europe, Going Beyond the EPO
Expect a new series to kick off very soon
Slopwatch: Security SPAM and LLM Slop for SEO and FUD Purposes, Perpetually Tarnishing the Perception of Linux and (Open)SSH Security
A lot of this Fear, Uncertainty, Doubt (FUD) comes from Microsoft and its LLMs
Links 30/05/2025: Google's LLM Slop Pushers Are Killing Journalism and Shira Perlmutter Fails to Stop Bribed Regime From Legalising Plagiarism (in "AI" Clothing)
Links for the day
Links 30/05/2025: Offline Arts and "Threshold of Patience"
Links for the day
Signing Off Serious Lies With a Statement of Truth is No Joking Matter
It's not hard to see what's happening here
Links 30/05/2025: LLM Slop Already Ingests and Vomits Its Own Garbage, Facebook Exec Admits Copyrights a Concern Too
Links for the day
Mass Layoffs at Microsoft Result in More Whistleblowers From Microsoft
Microsoft's predatory pricing is further
Slopwatch: Planet Ubuntu Became LLM Slop and Some People Fail to See the Immorality of Plagiarism
it lessens the incentive for people to publish real articles
EPO Poll: 68% Dissatisfied With Quality of Slop (Wrongly Framed as "AI") for Patent Classification
Slop does not work, it's just falsely advertised with extra hype (funded by slop pushers that sponsor the major media)
Big Crowds Gather to Learn About Software Freedom From the Man Who Started GNU/Linux in 1983
"It was a great success"
Microsoft Layoffs Again in Bay Area
Microsoft relies on people's false belief that being "in LinkedIn" will get you a job; well, seems like even working inside LinkedIn really sucks and you lose the job
Gemini Links 30/05/2025: Fighting Against the Bad News, and Slop is Dehumanisation Disguised as "Intelligence"
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Thursday, May 29, 2025
IRC logs for Thursday, May 29, 2025