程序员一枚，该怎么选电脑，请大佬示下

小弟从事go语言的web后端开发，偶尔涉及前端，目前预算是7000，想买13寸的（个人最喜欢的尺寸），有两种方案：
1.7000内买个二手的19款13寸
2.买个m1的16g的13寸，教育优惠完10499。（资金会极其紧张）
请问大佬们有什么经验之谈指导一下。