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

1989: Free Software as "Open" Software (OSI Didn't Coin "Open Source", It Also Predates Linux)
"One man's fight for Free software"
Linux Journal Might Have Become the Latest Slopfarm Targeting "Linux", the Trends Are Concerning for Dying News Sites
They tarnish the Web with junk and then die
On "Learning to Code"
quality may suffer, plus things get bloated
Quick Points Regarding This Week's Court Hearing
it paves the way for us to squash all the SLAPPs from Microsofters
 
The Calling
Persist and persevere, justice will come your way
So Far Every BetaNews 'Article' is LLM Slop, So BetaNews is Officially Just a Slopfarm
They just don't seem to value what they have
IBM Rumour: Mass Layoffs (RAs) Lists Being Made for Consulting, With Effect in July 2025
Bogus companies with no viable products and no world-leading (in their field) staff are doomed to perish
Links 21/06/2025: Data Breach With 16 Billion Passwords, Dutch Government Recommends Children Under 15 Stay off TikTok and Instagram
Links for the day
Gemini Links 21/06/2025: Notes about Typst (and LaTeX) and Opos
Links for the day
Microsoft's Competition Tactics: Sabotage GNU/Linux Installs, Block Chrome
Edge is dying
The Microsoft OOXML Modus Operandi: Throw 1,000 Pages of Other People's Work for a Judge to Read Ahead of a One-Hour Meeting
No time to discuss this - that's the point
Formalities Officers (FOs) at the EPO Are in Trouble, Reveals Internal Report
We already know, based on an HR pattern we saw at IBM and elsewhere, that reallocating roles can be prerequisite for dismissal and those who do so expect many to resign anyway
The Web is Slop and FUD, Let's Go to Gemini Protocol
Lupa sees self-signed capsules at 92.4%
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Friday, June 20, 2025
IRC logs for Friday, June 20, 2025
Links 21/06/2025: Phone Bans for Concerts, Tensions in Taiwan Strait
Links for the day
Gemini Links 21/06/2025: Spoilers, Public Yggdrasil Node, Changes to AuraGem Search
Links for the day
"Six years of Gemini!"
From gemini://geminiprotocol.net
Gemini Links 20/06/2025: Summer Updates and Hardware Failures
Links for the day
Links 20/06/2025: Google Shareholder Sues Google and Google Sued for Defamatory Slop ('Hey Hi') Word Salads ('Summaries')
Links for the day
Common Mistake: Believing Social Control Media Will Document Your Writings/Thoughts and Search Engines Like Google Will Help You Find These
Many news sites wrongly assumed that posting directly to Twitter would be acceptable
The Manchester Bees and This Hot Summer
We have had a fantastic week so far this week
Gemini Protocol Enters Its Seventh Year, Growth Has Accelerated!
Maybe in June 20 2026 there will be over 3,500 active capsules?
Mastodon and the Fediverse Have an Issue: Liability for Content (Even in Other Instances) and Costs
self-hosting is the only logical path forward
Why Microsoft and Its 'Hey Hi' (Slop) Frenzy Fail While Sinking in Deep, Growing Debt
Right now, like Twitter around the time it was sold to MElon, "open" "hey hi" is a big pile of debt with a lot to pay for that debt (interest payments)
Europe is Leaving Microsoft, the Press Coverage Isn't Sufficiently Helpful
The news is generally positive, but the press coverage leaves so much to be desired
Slopwatch: Linuxsecurity, BetaNews, and Linux Journal
slippery slope
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Thursday, June 19, 2025
IRC logs for Thursday, June 19, 2025
Gemini Links 20/06/2025: Gemini Protocol Turns 6!
Links for the day
Links 19/06/2025: Ghostwriting Scam and Fentanylware (TikTok) Buying Time
Links for the day
Microsoft's Windows is a Niche Operating System in Africa
African nations aren't a large contributor to Microsoft's income, but if many African nations move away from Windows, then the monopoly is at risk
Gemini Links 19/06/2025: Unix Primitivism, Zine Club, and Gemini Protocol Turns 6 at Midnight
Links for the day
Links 19/06/2025: WhatsApp Identified as Assassination 'Crosshairs', Patreon Now Rips Off People Even More
Links for the day
"Told You So": Another Very Large Wave of Microsoft Layoffs Now Confirmed in Mainstream Media
So we were right to believe the rumours, based on the credibility of prior such rumours
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Wednesday, June 18, 2025
IRC logs for Wednesday, June 18, 2025