A question for anyone who quit their career as a patent lawyer to work on formal methods (or vice versa):
Since mathematics isn't patentable, can you invalidate a patent claim by showing that it is equivalent to a mathematical formula? And if so, by the Church-Turing thesis, wouldn't any Turing-complete program be representable in lambda calculus, and therefore be unpatentable?
If you read the independent claims, they have not patented the formula by itself.
Claim 1: A system for determining if two operands point to different locations in memory, the ...
Claim 15: A method for producing executable code for performing ...
Claim 21: A computer-readable medium comprising computer-executable instructions for ...
Dependent claims by definition include at least one of the above.
Disclaimer: ex-MSFT, have several patents pending from during my time there.
His blog post reminds me why I get so mad at Microsoft using patents against Android OEMs. During all my years at MSFT, employees were always told that patents were necessary for the reasons Paul Vick stated - you had people like Eolas and zillions of other trolls trying to get you and you needed a portfolio to play defence.
With the Android issue, that changed. MSFT suddenly started using patents offensively as a strategic tool. While I totally get why this is smart ( and I'm stunned at how effective it has been), I feel they violated an implicit social contract with a lot of people who worked to get them those patents.
It's going to be interesting to see whether Google does the same swerve down the line and not just stick to using patents in defence.
> During all my years at MSFT, employees were always told that patents were necessary for the reasons Paul Vick stated - you had people like Eolas and zillions of other trolls trying to get you and you needed a portfolio to play defence.
No, that can't be right. I hope you're just misremembering that, but the whole problem with patent trolls is that you can't use your own portfolio for defense.
A large patent portfolio is a good weapon against other giants in your industry: IBM, Apple, Oracle, Google, (and once upon a time) Sun. Those people basically can't sue you for violating one of their patents if you have several thousand of your own: they're bound to be in violation of at least one of yours, and it's a mutually-assured-destruction scenario.
A patent troll, on the other hand, doesn't do anything. They can sue you with relative impunity, since there's almost no chance that they're doing anything that you can use against them. The size of your own patent portfolio doesn't even enter the picture.
Unfortunately, that (rather noble) act is untenable in a world where everyone's suing everyone in the big boy department. If Apple and Microsoft weren't trying to kill Android with lawsuits, I could see a gentleman's agreement between the lot of them making this a fairly effective strategy. With the current state of affairs, everyone needs all the linked list patents they can get.
I see it less as being noble and more of a practical strategy for a small business. You can't afford to apply for a patent on everything you think up so why not publish it so at least you will not be locked out of using your own idea by someone who comes along later and does apply for a patent.
Apple and Motorola is suing each other. The 2.25% claim against Apple is from Motorola. Google has stated that they do not intend to drop it. Even if Google were unselfish angels, dropping their claim without getting a cross license agreement first would be plain silly.
"...I feel they violated an implicit social contract..."
Violated what? LOL...Patents are for protecting you from infringement, so you retort/attack when you're patents are abused...What the hell is Apple doing when Samsung/Google got "inspiration" from the iPhone?
MS is built on selling Software and protecting it is their responsibility to their Shareholders!
Reading the title, I immediately thought of Python's "is not" operator as "prior art". However, it seems to me that the patent is specifically about an operator called "IsNot" (one word) used in a BASIC compiler. So that might not be the same at all (but then again, IANAL etc).
" It's like patenting a mathematical formula." More like an Mathematical Algorithm but even then, most devices are physical representation of a algorithm in some way. I don't see how this is a valid attack on software patent or patents in general.
I don't support software patents but I have a problem with the whole "it's patenting a mathematical formula" argument.
Essentially, software implementations of algorithms cannot generally be patented either because they are simply an expression of the algorithm in a particular language. The fact that this language can be interpreted by a particular hardware device does not change the situation. The hardware is a pre-existing piece of general-purpose commodity hardware that is easily interchangeable with any number of other pre-existing pieces of general-purpose commodity hardware, up to and including a human being equipped with a pen and paper, and therefore cannot really be claimed as part of the patent.
A physical device which implements the algorithm can, of course, be patented. And a hardware/software combination where the computer is an integral part of the mechanism (e.g., it cannot in principle be replicated by a human with a pen and paper) can also be patented, so Amazon's 'One-Click' patent is safe. However, simply tacking on the phrase, "Written in a programming language," does not take an unpatentable idea and make it patentable.
There is a defense against patent infringement called "laches", but it's not very broad. It only applies to specific cases where the patent holder knew of the alleged infringement and did nothing for a long time. It doesn't lead to a general invalidation of the patent.
You need to claim damages withing 6 years of the infringement:
35 U.S.C. § 286 Time limitation on damages
Except as otherwise provided by law, no recovery shall be had for any infringement committed more than six years prior to the filing of the complaint or counterclaim for infringement in the action.
In the case of claims against the United States Government for use of a patented invention, the period before bringing suit, up to six years, between the date of receipt of a written claim for compensation by the department or agency of the Government having authority to settle such claim, and the date of mailing by the Government of a notice to the claimant that his claim has been denied shall not be counted as a part of the period referred to in the preceding paragraph.
Let's say I create an innovative, software based, method of doing something faster/better (like the ALEKS method of education say). Without a software patent to protect my creation, why would I ever release it to the world?
Ridiculous patents like this for "ifnot" are one thing, but patents for very useful software functionality and features are another. Don't be so quick to dismiss their usefulness in encouraging innovation.
Except the software industry is full of stories opposite of your expectations--startups with better ideas who unseat or out maneuver giants. Do you think Mint would have been better off keeping their ideas to themselves? How about Facebook? There are tons of these: Dropbox, Square, Heroku, Twilio, etc etc.
Good software is rewarded (even more so in today when there's instant distribution), don't worry about your competitors.
It might be instructive to ask yourself why the software industry is full of stories opposite brador's expectations. For example, consider that by definition, there can be no stories about technologies that have been kept secret.
(I dislike software patents myself and agree with you, though, that, for a variety of reasons, we'd still see plenty of innovation without them.)
Those are innovative products yes, but in new/weak competition spaces. It's a different situation entirely when going head on against a huge competitive with an innovative product.
For example, a new, innovative, OS going against Windows. In this case and without software patents, Microsoft would just copy the features that make it special, leaving the R&D investment as a waste, unless software patents are available of course.
Edit: Looks like I'm getting downvoted for no reason. Good luck with your collective circlejerk HN. I'm out.
I'm not one of the downvoters, but I can speculate as to the reason:
Perhaps it's because you're using most likely a non-patented browser that fetches a non-patented hypertext format (HTML) via a non-patented application protocol (HTTP) built on a non-patented network stack (TCP) by connecting to a non-patented web server (HN) written in a non-patented programming language (Arc), and you're using this stack to argue that people have no motivation to innovate in software if patent protection is unavailable.
Or perhaps it's because you're trotting out that old argument that software patents can help the little guy compete against big players. But so far the only "little guy" success anyone can point to was Stac Electronics, a publicly traded company for whom a $9.7 million sales quarter was evidence of declining business. That's not little: http://articles.latimes.com/1994-06-22/business/fi-7159_1_pa...
>"Looks like I'm getting downvoted for no reason. "
Yeah, there seems to be a lot of that these days. People down-vote for disagreement, as opposed to just spammy posts. It's really kinda sad for a community that should be open to discussion and critical thought.
This underscores an oft-ignored important part of the patent system, which is that it encourages people to make their discoveries known to others by patenting them in exchange for temporary monopoly. If the patent were completely unavailable as an option, many would be tempted to hide or obscure their discoveries and methodology for as long as possible to make a profit, so there is at least an argument to be made for patents serving the public interest in the long term.
Unfortunately, temporary often ends up being effectively forever when it comes to software, and the system has been gamed by lawyers. Sigh.
Presumably zero. Patents are only permitted for "useful" subject matter. Useful is a term of art: you can still patent silly things like Slinkies: http://www.google.com/patents/US2415012?printsec=drawing – but whatever you patent has to actually function as advertised. So while the Slinky is objectively useless, it does what the patent says it does. A warp drive would be objectively useful, but when you build it, it won't do what the patent says it does; therefore, it's not patentable.
Though not quite in practice of course. I cannot substantiate my claim with data, but have come across several (approved) patents which are actually not even correct -- the described does not function as advertized.
uhh... "20. The method of claim 15 wherein the source code is BASIC code. "
Really? They patented something for BASIC? Also, I'm pretty sure patents do serve a useful purpose, because first nobody cares about whether something is protected by patent or not, they'll find a way to rip it off. What patents do is put these technologies and developments into the public record.
I think the propriety of patents is problematic, but without them we would potentially be in the dark about how certain new inventions work. It's important for things like medicine, but software patents are a bad idea because they lead to patent trolling and lawsuits over things that are obvious solutions to common problems.