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

'Official' Debian Sites That Sell Proprietary and Surveillance
"Azure API throttling strikes back"
The Latest Microsoft Layoffs Are a Wake-up Call: The Company is Running Low on Money
in most areas it is not even profitable
Software Freedom Month at NITK Surathkal and Yesterday's Talk by Richard Stallman
the message being spread by the person who started it all
Richard Stallman Has Another Talk in India Tomorrow, at Least Fourth India Talk in Recent Days
In the past month he has given at least half a dozen talks
GNU/Linux Reaches All-Time High in the United States, Based on statCounter
Windows is the loser; GNU/Linux grows at its expense
statCounter Reckons Less Than 10% in Mexico Still Use Windows to Access to Web and GNU/Linux Surges to All-Time High (Plus, Microsoft's Latest Debt Crisis)
Looking at Mexico in isolation
 
statCounter Shows "WIntel" Chasing a Dying Market
Microsoft acts as if it's running out of money
Free Software Foundation, Inc. (FSF) Still Raising Money, Richard Stallman Contributes
total exceeding $430k
Just Because People on Top of the Microsoft Pyramid Made a Lot of Money Doesn't Mean Microsoft is Wealthy
The bigger they are the harder they fall
A Lot of Stuff About "Linux" in Google News is LLM Slop, Fake 'Articles'
It seems to be getting worse
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Tuesday, February 04, 2025
IRC logs for Tuesday, February 04, 2025
statCounter: Only 1 in ~40 Web Users in Ireland Uses Microsoft Browser, One in Six Uses Windows
When/if Windows market share goes down, so will Edge
Links 04/02/2025: Social Control Media Bans and US Fighting Its Allies, Not Russia
Links for the day
Links 04/02/2025: Birth of a Calf, FOSDEM, and More
Links for the day
Anti-Linux FUD Sites cybersecuritynews.com and gbhackers.com Turn Out to be LLM Slop, Even Plagiarism That Spreads Lies
Beware false headlines and fake text from cybersecuritynews.com and gbhackers.com
BetaNews Began Removing LLM Slop About "Linux", But More of It Keeps Coming From Guardian Digital, Inc (at linuxsecurity.com)
the other Serial Slopper, Guardian Digital, Inc
Mollamby, Suicide Cluster, not trademark, the real reasons for Debian legal expenses, evidence
Reprinted with permission from Daniel Pocock
Links 04/02/2025: Mass Layoffs at Salesforce, Economic Pressures, Trade Wars
Links for the day
[Video] Richard Stallman Auctioning a GNU (Gnu) at Surathkal, India
clip is only a minute-long
statCounter: GNU/Linux and ChromeOS Now Measured at 2.78% in Japan (It Used to be Less Than 0.5%)
really 'took off' half a decade ago
LLM Hype (Chatbots Hyped and Wrongly Characterised as "Artificial Intelligence") Cause Net Inflation
Net as in Internet, not limited to the Web
It Looks Like BetaNews' Managing Editor Wayne Williams is Taking Over From Fagioli After Repeat Pattern of LLM Slop (State-of-the-Art Plagiarism) About "Linux"
The most plausible explanation is, Fagioli got caught or his conduct could no longer be ignored
From India to Italy: Richard Stallman's Next Talk is Next Week in Torino
Announced less than a day ago
Corporate Media is Intentionally Lying for Microsoft, There's Now a Hiring Freeze, No Replacements for Workers Laid Off in Two Mass Layoffs Last Month
Maybe the media - at least some of it - actually deserves doom. If it covers up for the powerful to muzzle and gaslight the oppressed, then what sort of media is that anyway?
Gemini Links 04/02/2025: Tolkien and New Job
Links for the day
Covering EPO Scandals in an Age of Mass Censorship (and Europe Being Afraid to Introspect, for It Might "Help Putin")
It was all along expected that "external enemies" would be invoked to suppress discussion about EPO crimes
Facebook Finally Admits That It Censored Linux and Banned People for Mentioning It; statCounter Shows Rapid Growth for GNU/Linux in Southeast Asia
So GAFAM is losing its power
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, February 03, 2025
IRC logs for Monday, February 03, 2025
Links 03/02/2025: Recent Security Holes and Environmentalism
Links for the day
Gemini Links 03/02/2025: X-less English Alphabet and antiX
Links for the day
All Efforts to Censor Techrights Have Always Failed
In 2026 We can make it to 20 years of source protection
Microsoft Bing Lies
When they say "China" or "DeepSeek" censors things don't lose sight of Microsoft
Disappointing 'Results' and Mass Layoffs (Without Severance Pay) Sank Microsoft, But It's a Lot Worse Than Shareholders Care to Realise
People are losing their patience
statCounter: In Web Browsers, Microsoft Collapses to Worst Levels in 2 Years!
Microsoft nowadays insists that it is a "market leader" in a market that does not exist
statCounter: Apple's iOS About to Exceed Windows in Terms of "Market Share" (Despite Windows Being 'Sold' for Less)
Vista 11 is only about 5% of the "market share"
statCounter: GNU/Linux Reaches New All-Time Highs in Brazil and Argentina, Android Has Reached 60% in South America
Microsoft cultivating buzzwords and cult-like thinking, not real products
The Media Does Not Properly Report Microsoft Profits and Losses (It's Partly Intentional)
So how many Vista 11 (preloaded) copies were sold with new PCs?
Links 03/02/2025: Microsoft's Termination Controversy and EU Hey Hi (AI) Act Compliance Day
Links for the day
It Seems Like BetaNews is Finally Deleting Fake 'Articles' About "Linux" by LLM Slop (aka Brian Fagioli)
Is BetaNews finally taking these problems more seriously?
Gemini Links 03/02/2025: Art is Process, Smartphones, Internet, and More
Links for the day
Links 03/02/2025: USAID Under Attack, Vista 11 Breaking Itself Again
Links for the day
Copyleft is the Way to Go (Unless You're an Unpaid Volunteer of GAFAM)
The GPL 'family' of licences is very old and those licences were last revised in 2007
statCounter's Numbers Make Sense Given Microsoft's Falling Windows/Client Revenue
There are already articles (some last week) saying that XBox should just be ended
About 1 in 10 Laptops/Desktops in Venezuela and Cuba Uses GNU/Linux
statCounter says GNU/Linux now exceeds 10% in Cuba
At Microsoft, Promoting Back Doors, Proprietary Lock-in and Mass Surveillance Under the Guise of Diversity ("Microsoft Philanthropy Team")
Microsoft staff enters NGOs to lobby for Microsoft and sell for Microsoft
statCounter: Android Share in Operating Systems, Per Country
Towards the bottom there are poorer countries
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Sunday, February 02, 2025
IRC logs for Sunday, February 02, 2025
statCounter: New Record Highs for GNU/Linux in Its Birthplace
So Microsoft is in a tough place
statCounter: In Canada, New Lows for Windows and Bing is Perishing
Windows has fallen to about 60% in desktops/laptops