Remix.run Logo
UncleOxidant 17 hours ago

Oh, not SICP.

mentalpagefault 16 hours ago | parent | next [-]

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

bigfatkitten 16 hours ago | parent | prev | next [-]

Nor the other SCIP.

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

eru 11 hours ago | parent [-]

Or the other other SCIP: https://www.scipopt.org/

dobin 10 hours ago | parent [-]

Or this SCIP https://www.scip.ch/en/

KK7NIL 16 hours ago | parent | prev | next [-]

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

eru 11 hours ago | parent | prev | next [-]

Also not this SCIP: https://www.scipopt.org/

jamiek88 16 hours ago | parent | prev | next [-]

There IS no… wait, wrong acronym.

aleph_minus_one 17 hours ago | parent | prev | next [-]

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

> https://www.scipopt.org/

darkxanthos 15 hours ago | parent | next [-]

This is what I clicked for.

eseliger 16 hours ago | parent | prev [-]

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

red_admiral 5 hours ago | parent | prev | next [-]

And also not SCP.

yowayb 14 hours ago | parent | prev | next [-]

SCIP is a "nod" to SICP

soegaard 17 hours ago | parent | prev | next [-]

I misread it too.

groundzeros2015 14 hours ago | parent | prev [-]

Imagine working for this company where engineers don’t know about SICP