News for hackers. Stuff that matters.
Re:The Z3 theorem prover is now open source by skrebbel on Wednesday October 03, 2012 @05:12AM (#4606540)
Correct. A trademark is just that: a mark used in trade. It does not come with the ability to define a standard definition for the mark's meaning, other than "~ is a trademark of $ORGANISATION".

Also, is "open source" really trademarked? Wtf? That's like a beef promo organisation trademarking "well done".

There are no comments on this comment yet.