程式筆電請益

國立政治大學
最近要換筆電,原本想要換Mac air,結果直接一個大漲價,預算爆表,想問各位程式高手可以給我一些建議嗎?
預算: 3萬左右
使用場景: 之前想跑timesketch,結果筆電太爛連docker 都架不起來,目前希望可以順順的達到以下的需求:
主要是軟體開發用途,會做這些事:APP 開發、Docker、偶爾VM,比較多還是會在一般程式開發、瀏覽器多分頁、查資料的情境,不太玩遊戲
有和AI討論了很久,希望可以省電+輕薄 ,也是我主要的需求,平常上課需要帶著跑,電競筆電真的太不方便了
他是推薦我16g以上,200V的CPU,可以同時省電又輕
找了幾台:
1. Lenovo Yoga Slim 7i Aura Edition(Gen 10)
2. Acer Swift GO 14(SFG14-75-542S)
3. ASUS Vivobook S14 OLED(S5406)
4. 買二手Mac
想問16GB RAM 對我真的夠用嗎&
除了以上的筆電有沒有其他更好的選項? 不知道AI推薦的規格好不好(筆電是我自己找,然後再問AI)
或是3萬的預算不夠?