Mastodawn

The Future of SCIP

https://sourcegraph.com/blog/the-future-of-scip

The Future of SCIP | Sourcegraph Blog

We are excited to announce our transition to a community-driven open source project. While making this change, we reaffirm our deep commitment to remaining active members of the community.

Show thread

UncleOxidant

Oh, not SICP.

Show thread

aleph_minus_one 1d ago

... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP):

> https://www.scipopt.org/

SCIP

Show thread

eseliger 1d ago

damn that is a cute logo, what a miss for SCIP-code

Show thread

KK7NIL 1d ago

Also not SCPI (Standard Commands for Programmable Instrumentation), widely used to control lab instruments and pronounced similarly ("skippy").

Show thread

bigfatkitten 1d ago

Nor the other SCIP.

https://en.wikipedia.org/wiki/Secure_Communications_Interope...

Secure Communications Interoperability Protocol - Wikipedia

Show thread

jamiek88 1d ago

There IS no… wait, wrong acronym.

Show thread

mentalpagefault 1d ago

The similar acronym appears to be intentional:

> Note on the name: SCIP is pronounced the same way as “skip” and it’s a recursive acronym that stands for “SCIP Code Intelligence Protocol.”

> SCIP is also a purposeful nod to SICP (Structure and Interpretation of Programs), a book about analyzing programs.

https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20...

SCIP - a better code indexing format than LSIF | Sourcegraph Blog

We are excited to announce SCIP, a new indexing format that we are using at Sourcegraph to index programming languages to power code navigation features such as "Go to definition" and "Find references."