The Future of SCIP

(sourcegraph.com)

28 points by jdorfman8 hours ago

3 comments

skybrian1 hour ago
The git repo is here: <a href="https://github.com/scip-code/scip" rel="nofollow">https://github.com/scip-code/scip</a>Looks like it's defined using protocol buffers, with "rich Go and Rust bindings" and links to implementations for many other languages.
- sanufar1 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.
UncleOxidant2 hours ago
Oh, not SICP.
- mentalpagefault1 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.<a href="https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20is%20also%20a%20purposeful%20nod%20to%20SICP" rel="nofollow">https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20...</a>
- KK7NIL1 hour ago
 Also not SCPI (Standard Commands for Programmable Instrumentation), widely used to control lab instruments and pronounced similarly ("skippy").
- bigfatkitten1 hour ago
 Nor the other SCIP.<a href="https://en.wikipedia.org/wiki/Secure_Communications_Interoperability_Protocol" rel="nofollow">https://en.wikipedia.org/wiki/Secure_Communications_Interope...</a>
- jamiek881 hour ago
 There IS no… wait, wrong acronym.
- aleph_minus_one1 hour ago
 ... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP):> <a href="https://www.scipopt.org/" rel="nofollow">https://www.scipopt.org/</a>
 - eseliger54 minutes ago
 damn that is a cute logo, what a miss for SCIP-code
- soegaard1 hour ago
 I misread it too.
zingar49 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?