5 ms·
The Future of SCIP
- UncleOxidant 6mo agoOh, not SICP.
- aleph_minus_one 6mo ago... and not the solver for mixed integer (linear) programming (MI(L)P) and mixed integer nonlinear programming (MINLP): > https://www.scipopt.org/ https://www.scipopt.org/
- eseliger 6mo agodamn that is a cute logo, what a miss for SCIP-code
- darkxanthos 6mo agoThis is what I clicked for.
- soegaard 6mo agoI misread it too.
- KK7NIL 6mo agoAlso not SCPI (Standard Commands for Programmable Instrumentation), widely used to control lab instruments and pronounced similarly ("skippy").
- bigfatkitten 6mo agoNor the other SCIP. https://en.wikipedia.org/wiki/Secure_Communications_Interoperability_Protocol https://en.wikipedia.org/wiki/Secure_Communications_Interope...
- jamiek88 6mo agoThere IS no… wait, wrong acronym.
- mentalpagefault 6mo agoThe 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%20is%20also%20a%20purposeful%20nod%20to%20SICP https://sourcegraph.com/blog/announcing-scip#:~:text=SCIP%20...
- yowayb 6mo agoSCIP is a "nod" to SICP
- groundzeros2015 6mo agoImagine working for this company where engineers don’t know about SICP
- eru 6mo agoAlso not this SCIP: https://www.scipopt.org/ https://www.scipopt.org/
- red_admiral 6mo agoAnd also not SCP.
- btown 6mo agoAt least, not that we remember.
- skybrian 6mo agoThe git repo is here: https://github.com/scip-code/scip 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.
- sanufar 6mo agoI 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.
- zingar 6mo agoSomething 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?
- JamyDev 6mo agoIn its simplest form, it's just a dump of the code intelligence information from a static copy of the code. This can power an LSP, however, without additional logic wouldn't be able to handle a project under edit, since the locations won't match between the indexed state and the edited project state; So it lends itself well for something like Sourcegraph that already displays a static copy of the codebase. Uber uses SCIP as part of the LSP implementation for our Java monorepo (Pieces of which we've [open-sourced](https://github.com/uber/scip-lsp https://github.com/uber/scip-lsp)). Standardizing on SCIP has helped us generalize tools to be independent of the compiler/language ecosystem (eg we could do call-stack-analysis on any project that exports valid SCIP; do feature flag cleanup; find refs/impls across a wider scope than most LSP servers can handle due to memory constraints).
- ananthakumaran 6mo agoI have been using https://github.com/jacktasia/dumb-jump https://github.com/jacktasia/dumb-jump to quickly jump to definitions. LSP is hit or miss; in some languages, it works great, while in others, the implementation is not so good. I have been thinking about a middle ground based on Tree-sitter. GitHub uses Tree-sitter to power code navigation, but unfortunately, I can't find anything good that I can use offline. Why is there no ctags equivalent powered by Tree-sitter?
- deleted 6mo ago[deleted]
- s20n 6mo agoStructure and Computer of Interpretation Programs
- hikaru_ai 6mo ago[dead]