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

10 Easy Steps to Follow for Digital Sovereignty in Nations That Distrust GAFAM et al
When "enough is enough"
Dr. Andy Farnell Explains Why Slop Companies Like Anthropic and Microsoft 'Open' 'AI' Basically Plunder and Rob People
This article was published last night at around 10
 
Links 22/01/2026: Slop Fantasy About Patents, Retirement in China Now Reached at Age Seventy
Links for the day
Gemini Links 22/01/2026: Why Europe Does Not Need GAFAMs, XScreenSaver Tinkering, FlatCube
Links for the day
Salvadorans' Usage of GNU/Linux Measured at Record Levels
All-time high
Links 22/01/2026: Ubisoft Layoffs Disguised as "RTO", US "Congress Wants To Hand Your Parenting To GAFAM", Americans' Image Tarnished Among Canadians (Now Planning to "Repel US Invasion")
Links for the day
No, the Problem at IBM/Red Hat Isn't Diversity
Microsoft Lunduke also openly shows his admiration for Pedo Cheeto
Do Not Link to Linuxiac Anymore, Linuxiac Became a Slopfarm
now Linuxiac is slop
Richard Stallman (RMS) at Georgia Tech Tomorrow
After the talk we'll write a lot about "cancel culture" and online mobs fostered and emboldened in social control media
Software Patents by Any Other Name
There is no such thing as "AI" patents
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Wednesday, January 21, 2026
IRC logs for Wednesday, January 21, 2026
The "Alicante Mafia" - Part VIII - Salary Cuts to Staff, 100,000 Euros to Managers Busted Using Cocaine (for Doing Absolutely Nothing, Just Pretending to be "Sick")
Today we look at slides from the union
Gemini Links 22/01/2026: Forest Monk, Aurora Observation, and Arduino Officially Launches the More Powerful Arduino UNO Q 4GB Single-Board Computer
Links for the day
Next Week is Close Enough for Wall Street Storytelling About 'Efficiency' by Layoffs for "AI"
This coming week GAFAM and others will tell some creative tales about how "AI" something something...
Google News Still a Feeder of Slop About "Linux", Which Became Rarer in 2026
Our main concern these days is what happened to Linuxiac. Bobby Borisov became a chatbots addict.
Links 21/01/2026: "Snap Settles Lawsuit on Social Media Addiction" and Attempts in the US to Revive Software Patents
Links for the day
Links 21/01/2026: Microsoft 'Open' 'Hey Hi' in More Trouble, US Has "Brown Shirts" Problem
Links for the day
Yesterday Afternoon The Register MS Published Paid Microsoft SPAM Disguised as an Article About "AI PCs"
The Register MS cannot help itself, can it? [...] Follow the money.
Microsoft's XBox is in Effect Dead Already, Now It's a Streaming and Advertising Platform
Expect many layoffs soon
Richard Stallman's Talk at Georgia Tech is Just 2 Days Away
We're still curious to see how malicious people (or trolls) in social control media will try to slant his talk as "bad"
EPO's Web Site Misused for Propaganda About Illegal Kangaroo Courts to Distract From EPO Scandals and Judicial Crisis in Europe
UPC is illegal and unconstitutional
The "Alicante Mafia" - Part VII - The Industrial Actions Began Yesterday, Here's Why
The "Alicante Mafia" might not last much longer
Gemini Links 21/01/2026: Edible Circuits and "Sayonara HTTP"
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, January 20, 2026
IRC logs for Tuesday, January 20, 2026
IBM Hides Its Own Destruction (and Red Hat's)
It's like scenes out of '1984', which is what a now-famous advertisement from Apple compared IBM to
LLM Slop Not Dead Yet, Examples of Slop About "Linux"
We wish to see the totals down to zero
Links 20/01/2026: Cheeto Blackmails France Into 'Peace' While Looking to Annex EU, Mass Layoffs in Capgemini (Microsoft Reseller/Promoter) in France
Links for the day
Gemini Links 20/01/2026: Boxing and "Inbox Zero" Success
Links for the day
Windows and Slop Declining While Microsoft Silences Critics
Microsoft tries to suppress facts while faking 'demand' by imposing slop on everybody, everywhere
openai.com Traffic Said to Have Fallen 50% in the Past Three Months, Reports Say It Nearly Ran Out of Money to Borrow
After the slop frenzy all we'll have left is environmental destruction
IBM Kills OzLabs, Signalling An Attack on Free Software (a Sign for Red Hat)
ibiblio also appears to have died (or experiences critical issues)
Red Hat Vice President Leaving After Nearly Two Decades
IBM's culture of secrecy is not compatible with Free software
Links 20/01/2026: "ChatGPT Health" (Latest Distraction From Being Insolvent) Flops and Raises Concerns, "The U.S. Military Faces a Reckoning on Greenland"
Links for the day
Rudeness and Vulgarity Won't Stop Journalism About Free Software
we seem to be on the right path
Readers Pleased With Layout Changes
Two days ago we began improving clarity and accessibility in the site
IBM Plans for Layoffs Becoming Clearer With "Employee Reviews"
Of course this impacts Red Hat as well
IBM is Outsourcing Red Hat's Fedora to Slop to 'Save Money'
If IBM cared about quality rather than alleged "cost savings" (cutting corners), it would assign more IBM staff to Fedora, but instead the exact opposite happened, with the likes of Cotton and Miller removed from the project
European Patent Office (EPO) Industrial Actions Formally Start in Two Hours
As per the latest (revised) action plan, today workers will slow down their work and limit patent grants
Microsoft Under Fresh Investigation by the Italian Competition Authority
In 2025 we kept a running tally of 30,000+ Microsoft layoffs, so 40k this year would not be unthinkable
The "Alicante Mafia" - Part VI - More Strikes Planned at the EPO, Starting This Month
Yesterday we said that friends of Berenguer or inside Berenguer's circle may have left
Gemini Links 20/01/2026: New Tea, Using a Roku at a Hotel, and "Voltage-Based Power Management for Any Raspberry Pi"
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, January 19, 2026
IRC logs for Monday, January 19, 2026