Because they've been trying to dilute the term "open source" for quite a while n... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		lucian1900 on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source Because they've been trying to dilute the term "open source" for quite a while now.

tptacek on Oct 3, 2012 [–]

1997 called and &c &c. Microsoft could give a shit about damaging "open source".

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact