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

Politicians Ought to Invite Dr. Richard Stallman and Prof. Eben Moglen to Speak About Policies, Licensing, Digital Sovereignty
Is there something in Europe other than RMS' talk this coming Monday (that we're not yet aware of)?
Good Explanation of Why IBM Has Chosen to Conceal Mass Layoffs (of 'Expensive' Staff) as "R.T.O." (Even For People Who Never Worked at the Office to Which They're Ordered to "Return")
Many remaining IBM (or Red Hat) workers in Europe are in "cheaper" places such as Brno
Microsoft's Serial Strangler and Matthew J. Garrett Join Forces in Trying to Gag Techrights (for Exposing Microsoft Corruption and Crimes Against Women)
Whose terrible idea was it?
 
Censored: Debian Zizian transgender vigilante comparisons in open source Linux communities
Reprinted with permission from Daniel Pocock
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Saturday, February 22, 2025
IRC logs for Saturday, February 22, 2025
Links 22/02/2025: OpenAI Plans to Possibly Abandon Microsoft, Facebook Doubles Execs' Bonuses While Sacking Thousands
Links for the day
Gemini Links 22/02/2025: Weekend Chill and Programming Thoughts
Links for the day
Links 22/02/2025: Labour Department Investigates Microsoft Infosys Amid Mass Layoffs, Large Law Firms Caught Red Handed With LLM Slop (Defrauding Clients and Courts)
Links for the day
Gemini Links 22/02/2025: Analog Stuff, Sigil, and SSGs
Links for the day
Microsoft's Market Share in Cameroon Falls to New Lows
This means a lot of Android users (iOS is about 4 times smaller), but Android does not mean freedom
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Friday, February 21, 2025
IRC logs for Friday, February 21, 2025
The Streisand Effect is Real
So don't be evil. Also, don't strangle women.
Links 21/02/2025: Linux Foundation Openwashing, Microsoft Copilot Goes Down
Links for the day
Links 21/02/2025: Doomscrolling and European Ham Radio Show
Links for the day
Free University of Bozen-Bolzano Proud to Host Free Software Talk by Richard Stallman
ahead of Monday's talk
Slopwatch: Anti-Linux Machine-Generated FUD (LLM Slop) From GBHackers, CybersecurityNews, and Guardian Digital, Inc (Google News Promotes Slop Plagiarism, Misinformation)
Companies that lie try to drown out the signal with falsehoods
Links 21/02/2025: TikTok Layoffs, WebOS Software Patents in Bad Hands
Links for the day
Gemini Links 21/02/2025: Web Browsers, Mechanical Shortcuts, and Internet Hygiene
Links for the day
Richard Stallman 'Only' Founded the FSF
there's no reason to be upset at the FSF for keeping their founder in the Board
Techrights Disconnected From the United States Two Years Ago
Did people really need to wait for the US government to become this hostile towards the media before recognising the threat?
Before Trying Censorship by Extortion the Serial Strangler From Microsoft Literally Begged Us to Delete Pages
This is very clearly just a broad campaign of intimidation
Hype Watch: Weeks After Microsoft Disappointed Investors With "Hey Hi" It's Trying Some "Quantum" Hype (Adding Impractical Vapourware to Accompany This Hype and Even LLM Slop in 'News' Clothing)
Remember "metaverse"? What happened to media hype about "blockchain" and "IoT"?
Report About February Mass Layoffs at Microsoft (Third Wave of Microsoft Layoffs in 2025) Comes Back From the Dead
Yesterday we wrote about an article in CRN (reporting Microsoft layoffs) being removed without any reasons specified
Links 21/02/2025: Myanmar Scam Centre and Disruptions at USPTO
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Thursday, February 20, 2025
IRC logs for Thursday, February 20, 2025