I’m getting handed down either 1080TI or Rx Vega 64. 1080TI definitely has better benchmarks however how is experience of them being used on Linux (I use Pop OS)? If Rx Vega provides stable / reliable experience then I would pick that.

[EDIT/UPDATE]: picked up rx vega, pretty good out of the box experience