ThinkPad com Linux é uma ótima recomendação. Eu sou suspeito pra falar, porque o meu daily driver é um T-series. É bom dar uma olhada na subreddit de ThinkPads pra ver umas dicas do que pegar.
Mas entre MacBook e Mac Mini, eu iria de MacBook. Sempre tem um momento em que a mobilidade acaba sendo necessária, e pode ser muito frustrante não tê-la quando realmente se precisa.