Ask HN: Best Developer Linux Laptop?