Look at XPS15. I think the 13 makes too many compromises to make it tiny. 15 is pretty small itself. It works with Linux flawlessly, but I'm still jealous of M1.