Dependency resolution is NP-complete, and many package managers use external SAT solvers!
miniblog.
Related Posts
My default assumption is that external libraries are better than what I (or an LLM) would write in a v1.
The extra effort to publish a project generally signifies that the author has spent a good amount of time on the problem. I end up prompting LLMs to prefer external code.
rustc is the only self-hosted compiler I've seen that uses external packages in the target language. Are there others?
rust-analyzer is experimenting with a really clever feature: allow types to open a link to their external docs! https://github.com/rust-analyzer/rust-analyzer/blob/master/docs/dev/lsp-extensions.md#open-external-documentation
I've definitely thought about referencing external resources from an editor: in principle you could even fetch the first paragraph inline too!