miniblog.

Interesting discussion of different SAT solver's in Conda's package resolution, and their performance: https://github.com/Z3Prover/z3/issues/211

Funny how Conda is criticised for its corporate backing, but npm is not. Both are great companies, but npm had few alternatives at inception

Conda is an absolute joy for python. I can read the conda docs, install it and be using pandas before pip has finished installing pandas.