At the github repo, it is mentioned to have a Linux machine to get started. What is a recent, decent Linux stack on a laptop to look at? I wanted to buy again a laptop for linux for some time already, and maybe someone here as some buying advice?
I've just started using it with Debian but I'd say the dependencies are readily available on any mainstream distro. Many Linux laptop users seem pretty happy with Lenovo, I'm typing this on an x230 - Lenovo tend to fairly consistently use well-supported chipsets.
Having said that you could use VirtualBox to get a Linux environment up fairly painlessly from Windows, if that's what you're on now.