News for hackers. Stuff that matters.

A comment on Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains. Parent comment

Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by ed_balls on Wednesday August 07, 2019 @10:01AM (#20634735)
Going into the market doesn't necessary mean building a replacement. I could also mean copyright and licensing. Sponsoring a plugin for Open Source editors. You gotta hedge your bets.
[ Parent | on HN ]
Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by yole on Wednesday August 07, 2019 @11:23AM (#20635540)
What exactly do you mean by "copyright and licensing"? JetBrains products do not violate any copyright or licenses from Oracle, and even if they change the license of future versions of Java, current versions are available for us to use. And Oracle has been investing into two different IDEs, NetBeans and JDeveloper.
[ Parent | on HN ]
Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by ed_balls on Thursday August 08, 2019 @03:58AM (#20642665)
API is copyrightable (see Google vs Oracle) JetBrains plugins depend on this API, so Oracle can say they are in the violation and demand a fee.
[ Parent | on HN ]