I use a first-gen AMD Threadripper 1950x (16 cores x 2 HT, or 32 logical cores), if that counts as HEDT.

It's absolutely faster than any business laptop for doing builds of medium sized C and C++ projects.

(But I think a non-HEDT desktop would also outperform a typical laptop in this use case -- thermal throttling is a real problem for laptops.)