Andreas Halvorsen’s Viking Global poured money into tech last quarter