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

Linux Kernel Needs Diversity and Diversity of Good Code, Not LLM Slop
Linux (and Linus) are kicking a can down the road
Techrights Was Right About a Fake Security Model Built Around Lies or Built Upon Trust in "Certificates" and "Authorities" (like Microsoft)
We have begun to amass some media reports and blog posts from technical sites
 
Links 22/10/2026: eBay to Lay Off a Tenth of Staff (Again), Node.js and PHP Security Crises, Climate News
Links for the day
Red Hat Layoffs Still Going on This Week (Whilst IBM's Debt Grows in Spite of Mass Layoffs)
IBM is bluffing/cheating the shareholders again
IBM's Debt Continues to Increase While the Company Rapidly Shrinks
This is what a dying company looks like
Intercontinental Brigading - Part XI - Losing Over a Million Pounds (Borrowed Money) to Try to Silence Critics of Restricted Boot With Microsoft-Controlled "Certificates"
Garrett is also very jealous of Daniel Pocock
Microsoft Shrinks Every Year
Microsoft will try to spin or twist this as "efficiency"
Gemini Links 22/10/2026: Holiday Inn and Emacs
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Wednesday, October 21, 2026
IRC logs for Wednesday, October 21, 2026
Windows Monopoly is No Longer Sustainable (the Case of Oceania)
This is why Microsoft layoffs are happening all the time
Some Downtime Possible Shortly (Router Work)
We don't use PHP in the site anymore
Mass Layoffs at Microsoft This Week and/or Next Week
Cannot pull a bunny out of some hat
With Its Future on the Line, EPO Management (Dictatorship) Resorts to Further Escalations to Fake 'Production' and Curtail Industrial Actions
It's clear that with a yearlong campaign of industrial actions - including strikes - Campinos cannot save face anymore
Gemini Links 21/10/2026: Summer Day in Tokyo (30c in Late October) and Whole Food for the Whole World
Links for the day
Links 21/10/2026: "Zelensky Took the Gloves Off This Time With Convicted Felon" and "Cellebrite iPhone Radio Zero-Day"
Links for the day
Reuters is Becoming Slop, Not a News Agency (Treat Reports From Reuters Sceptically)
In their own words
Disclosure/s Crisis at The Register MS (Promoting a Ponzi Scheme for Money)
So now they sell several schemes/scams at the same time, not limited to the slop
Links 21/10/2026: "The Tragic Death of the Republican Party" and "No War But Data Center War"
Links for the day
Internet Relay Chat Still Growing
The numbers go up, not down [...] Don't believe the doomers
Intercontinental Brigading - Part X - American Back Doors Inside Our Computers, With Transatlantic Swatting Against Critics Thrown 'Into the Mix'
"If your Windows PC's Secure Boot certificates are out of date, your system is vulnerable to malware like rootkits."
Gemini Links 21/10/2026: A Walk Through Amsterdam and Pythagorean Theorem
Links for the day
More Mass Layoffs at Microsoft Weeks From Now, Then Again Months From Now
Microsoft's crisis is not limited to XBox
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, October 20, 2026
IRC logs for Tuesday, October 20, 2026
Gemini Links 20/10/2026: The Brothers Who Fought Mussolini and a Dying Main Laptop
Links for the day
Brett Wilson LLP Has Almost Zero Litigation Clients This Year (in the Area They Specialise in)
The silence on the financial front, combined with the lack of new clients, is deafening
Where to Celebrate the 20-Year Anniversary
let us know in IRC
Cheapening of the Workforce at IBM and Microsoft, Typically Without Even Announcing Any Layoffs
from leadership to compelled "retirement"
Help Us Improve Techrights
The site relies on teamwork in a growing community; even readers are part of it
Links 20/10/2026: $100 Million ICE “Intelligence” Program and France Riots
Links for the day
Gemini Links 20/10/2026: GAFAM GCP Outage in the UK and New Oddμ Release
Links for the day
Articles in The Register MS Composed by Employees of the Companies They're About
The Register MS is the place to be
Intercontinental Brigading - Part IX - Swatting is Not Funny, Swatting is a Murder Attempt
“Swatting is not harmless. It is a serious crime that can lead to dangerous situations and divert law enforcement away from someone facing an actual emergency. What callers may believe to be a ‘joke’ actually risks the public safety of our communities and can carry lifelong consequences for those responsible”
Links 20/10/2026: Facebook Scraping and Plagiarising News Sites, Copyright Act Turns 50
Links for the day
Microsoft's XBox Leadership and Strategy is Slop
XBox sales are already worst in the entire history of XBox
81% Voted in Favour of EPO Strikes Until End of This Year
Who's in the line of succession at EPO?
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, October 19, 2026
IRC logs for Monday, October 19, 2026
Gemini Links 20/10/2026: Old Movies, Bandera Hike, and Mongolian
Links for the day