Ask HN: MacBook Air alternative for running GNU/Linux

Is there a lightweight laptop like MBA that is suitable for running GNU/Linux and gives 12+ hours battery with 11/13 inch display?