The Future of SCIP
28 points
8 hours ago
| 3 comments
| sourcegraph.com
| HN
skybrian
1 hour ago
[-]
The git repo is here: https://github.com/scip-code/scip

Looks like it's defined using protocol buffers, with "rich Go and Rust bindings" and links to implementations for many other languages.

reply
sanufar
1 hour ago
[-]
I can’t speak for the Go bindings, but using the Rust crate has been pretty clean. Haven’t really felt the need to dip into deserializing raw .scip file in the time that I’ve been working with SCIP.
reply
UncleOxidant
2 hours ago
[-]
Oh, not SICP.
reply
mentalpagefault
1 hour 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...

reply
KK7NIL
1 hour ago
[-]
Also not SCPI (Standard Commands for Programmable Instrumentation), widely used to control lab instruments and pronounced similarly ("skippy").
reply
bigfatkitten
1 hour ago
[-]
reply
jamiek88
1 hour ago
[-]
There IS no… wait, wrong acronym.
reply
aleph_minus_one
2 hours ago
[-]
... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP):

> https://www.scipopt.org/

reply
eseliger
1 hour ago
[-]
damn that is a cute logo, what a miss for SCIP-code
reply
soegaard
2 hours ago
[-]
I misread it too.
reply
zingar
56 minutes ago
[-]
Something something powers go to definition… is this an implementation of an LSP server? Or a subset of what’s needed to implement LSP? A formerly proprietary alternative to LSP?
reply