平时只用来写写代码，可能同时开不超过4个IDE，同时开多个浏览器网页，docker本地不用，不需要本地跑模型，不打游戏，没其他需求，预算9000内，大佬们有没有推荐的，macbook air开这么多IDE听说会卡顿呀