Linked by Thom Holwerda on Sun 17th Jul 2011 20:58 UTC, submitted by fran
Linux It's strange. Microsoft has been patent trolling the heck out of the Linux kernel for a long time now, and is still using these patents against Android today in its protection money scheme. However, as LWN.net illustrates, Microsoft makes quite a few contributions to the Linux kernel. Shouldn't this invalidate their patent claims?
Permalink for comment 481524
To read all comments associated with this story, please click here.
RE[7]: Logic
by saynte on Tue 19th Jul 2011 11:46 UTC in reply to "RE[6]: Logic"
saynte
Member since:
2007-12-10

A trick question indeed ;) I'm aware that programs can be proven with techniques like induction, axiomatic semantics, etc. Then again, I can also prove properties of physics using mathematics, and physics are at the heart of many "solid" inventions.


I will dodge your question slightly with my motivation for such an underlying "feeling": I have some discomfort with the notion that if I write down an algorithm in software it's not patentable, but if I write it down in VHDL and drop it onto a circuit, it is.

An analogue filter using resistors and wires may be patented (let's assume), but a software based one cannot? To me, this would seem to be a rather arbitrary distinction, the key innovations are in the clever arrangements!

I don't have an answer for you about the fundamental difference, unfortunately, but maybe if I thought on it a while longer ;)

Reply Parent Score: 1