Why do you think they are "simply lying", rather than (for example) being simply... | Hacker News

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

		andyjohnson0 on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source Why do you think they are "simply lying", rather than (for example) being simply mistaken?

lucian1900 on Oct 3, 2012 [–]

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".

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact