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

Ubuntu Becomes Microsoft GitHub, Based on Decision Made by British Army Officer
You're hopeless, Canonical
Sharing Code and Recipes
It helps explain the triviality of software freedom
How Many Women Has Microsoft's Alex Balabhadra Graveley Already Strangled and Where Does That End?
If you too are a victim of this man and wish to share information, contact us
"We Might Save Somebody's Life"
I follow the example of my father
Gemini Links 16/07/2025: Tmux and OCC25 Working TLS
Links for the day
Reboots Should Never be Necessary
"BUT WHAT ABOUT SECURITY!!"
 
Links 16/07/2025: Chip Bans and Microsoft’s “Digital Escort” Program
Links for the day
Revolving Doors: One Day You're a Judge, the Next Day You're an Attorney Paying Public Officials and Working for Violent and Dangerous Microsoft Employees
how the US justice system works
Slopwatch: Noise, Plagiarism and Even Fear, Uncertainty, Doubt/Fear-mongering/Dramatisation
What are we meant to do to prevent a false association or misleading connotations? Game the LLMs? No. Boycott slopfarms.
Gemini Links 16/07/2025: BaseLibre Numerical System and Simple Web Browsing with TLS
Links for the day
Links 16/07/2025: Fascist Slop Takes "Intelligence" Clothing, New Criminal Case Against MElon
Links for the day
Why I am Suing the Serial Strangler From Microsoft, Alex Balabhadra Graveley, in the UK High Court This Week
Out of respect to the process and to the Court, I shall not share any pertinent details about the case
Links 16/07/2025: China’s Economy Grows Steadily, France Takes Action Regarding Harm to Children by GAFAM and Fentanylware (TikTok)
Links for the day
It is Not About Politics
Beware the people who try to make this about politics
Good Journalism Saves Lives
a shocking number of women die or get seriously hurt every day due to violence from a partner
Recognition of Women's Contributions to Free Software
Being passive is not an option when bad things are happening
Slopfarms Are Going to Perish Because Public Opinion is Changing
Many slopfarms will simply go offline
19 Years of Standing Up for Justice, Equality, and Truth
This week we shall take it up a notch
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, July 15, 2025
IRC logs for Tuesday, July 15, 2025
Links 15/07/2025: LLM Pollution and Pushback in Ukraine
Links for the day
Gemini Links 15/07/2025: xkcd, New Cert, and Alhena Gemlog
Links for the day
Links 15/07/2025: Press Freedom at Risk and New Facebook Blunders
Links for the day
There's Still Hope for the World Wide Web
Let's hope that the trajectory of the Web won't be leading us to over-reliance on Google, nor will it reward worthless slopfarms
Gemini Links 15/07/2025: Smolweb and Alhena 5.1.7
Links for the day
The Danes Want GNU/Linux
David Heinemeier Hansson recently moved to GNU/Linux
Cory Doctorow Explains Why Software Freedom Matters, Whereas "Open Source" Misses the Point and Helps Monopolies
It's a very long article
BillPR (EpsteinGate-Bribed NPR) is Turning Into a Partial Slopfarm that Promotes Slop
"I went on a date with a chatbot!"
Two Weeks Passed Since Latest Large Wave of Microsoft Layoffs, More Expected Next Month
Blaming the debt on "AI" is just self-serving storytelling
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, July 14, 2025
IRC logs for Monday, July 14, 2025
Gemini Links 15/07/2025: Gemini "Style Sheets" and Switching From Microsoft GitHub to Codeberg
Links for the day
Coming Soon: Another OSI Scandal, This One Implicating Molly de Blanc
OSI has been fairly quiet lately
Outreachy & Debian pregnancy cluster, Meike Reichle evidence
Reprinted with permission from Daniel Pocock
Again, "Lunduke is Actually Sending His Audience to Attack People"
Microsoft Lunduke is not trying to "protect" Linux
XBox is Rapidly Turned Into a Slopfarm by Microsoft
Slop isn't about efficiency and saving money
One of the Most Hilarious Things About the Microsoft SLAPPs
It's so ridiculous
Financial Support for the Free Software Foundation or the GNU Project
The FSF has extended until Friday its fund-raising campaign
Illegally Hiding (or Demanding Secrecy Around) Illegal Requests or Attempts at Extortion
unlawful communications like threats
Microsoft's Halloween Documents and systemd, Wayland, Etc.
Maybe one day Wayland will be widespread. Or maybe not.
Gemini Links 14/07/2025: BOFH Archive, Updating Old Palm PDAS, and Nginx vs Slop Bots
Links for the day
Ubuntu is Becoming GAFAM-Like
What does that say about Canonical and Ubuntu?
Slopfarms Which Take Real Articles About GNU/Linux and Turn Them Into Copycats Which Are False
Even before the LLM hype those were quite common
The Firm That Picks on Techrights is Accustomed to Working With Criminals
Techrights never did anything illegal. So why is it being picked on by people who work with criminals?
Microsoft Said the Mass Layoffs Were for "Investment" in "AI", But It's Also Laying Off the "AI" and "Copilot" Staff
Months ago we showed many so-called "AI" people were getting the boot and this time it's the same
DryDeadFish is Dead, Long Live DryDeadFish
We kept checking, hoping it can recover from some temporary technical issue
For Quite Some Time Already Microsoft Attracts Crackpots, Scams, and More
Occasionally we talk about the situation at IBM as there are many parallels
Links 14/07/2025: Chatbots Broken Again, McHire LLM Shows Limits of the Hype
Links for the day
Changing One's Name Won't Change One's Past
People who have earned a bad reputation are not magically "entitled" to reset
People Who Assault Women Are Not Victims of "Distress"
It seems like an American tradition. In a country with almost 50 presidents, not even one was a female.
Slashdot Media Turned Linux Journal Into a Slopfarm and Now Slashdot Actively Promotes Anti-Linux Slopfarms
Yes, "no-nonsense" apparently means actual nonsense
Adoption of Gemini Protocol Still Growing
Gemini Protocol is being obscured by the media - it doesn't help that Google 'hijacked' the word "Gemini" - but people still manage to find out about it, download a client, and use it
Links 14/07/2025: Arresting Photographers, Threats to Revoke US Citizenship Over Criticism
Links for the day
More EPO Leaks on the Way
We hope that Mr. Rowan will actually try to refute what we say and show, not merely point the finger at the messengers
Decommodification is a Corporate Strategy Against Communities
systemd is led by Microsoft and hosted by Microsoft
copyleft.org 'Hijacked' by the People Who Attack the Person Who Created Copyleft
So far there's nothing "tasteless" in copyleft.org, but that can change at any time in the future
Asking People to Take Down Articles and Videos Only Makes These More Popular and "Viral"
If you do something bad, one of the worst things you can possibly do it try to silence those who speak about it
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Sunday, July 13, 2025
IRC logs for Sunday, July 13, 2025
Two-Thirds Towards FSF Goal, Richard Stallman to Give Talks in Europe
There are 67 left before reaching the target
Brett Wilson LLP "Takes it Personal" (Character Assassination, Not Professionalism). Everybody Can See That.
On behalf of violent men
Gemini Links 14/07/2025: Politicised Tech and "Leaving GitHub"
Links for the day