+1 on HP Omen. Fits most of your demand except for the 4k screen. I have the AMD Ryzen 7 4800H version and it's significantly faster than the beefiest macbook pro you can buy.

Linux runs great on it. It costs ~$1000