News for hackers. Stuff that matters.

A comment on Ask HN: Why does every package+module system become a Rube Goldberg machine?. Parent comment

Re:Ask HN: Why does every package+module system become a Rub... by Groxx on Tuesday January 31, 2023 @01:07AM (#34591811)
I'm continually confused why SAT solving is seen as a bad thing. It automatically solves common real-world problems in less than a second even in absurdly extreme cases, and a couple milliseconds normally - why would you avoid it?
[ Parent | on HN ]
Re:Ask HN: Why does every package+module system become a Rub... by verdverm on Tuesday January 31, 2023 @04:09AM (#34592972)
Did I say SAT was bad?

Go's algorithm is much simpler and does not need a lockfile while still giving deterministic results. Ranged deps without a lockfile cannot. There is benefit to two people running the same command and getting the same dependency versions. Most projects do not start with a lockfile, so it is quite easy to have different versions when running getting started commands.

Why choose SAT over simpler deterministic algos?

[ Parent | on HN ]