@rasbt Do you know that you still can use CUDA 9.1 for your Tesla K80?
Everything you need - compile PyTorch from source for compatibility version of your GPU.
If you need more information about it, I can share the instructions that made my old GTX 760 live again with CUDA 9.1 with you - just drop me a line. It will be an honor for me to help you!