After using few Xiaomi products, no thanks. If I want a Linux dev box, there are other options too.
What other options would you recommend?
Screen is much, much better than Macbook Air screen though. Battery life is very good. I use Arch Linux and With a bit of tweaking, everything works (bluetooth, wifi, keyboard backlight, suspend/resume etc).
I can also dual boot into ChromeOS which is quite nice in it's own right. Lovely machine for the money ...