Zulip Chat Archive

Stream: general

Topic: M4 Mac mini vs M1 MacBook Air


Ching-Tsun Chou (Nov 04 2025 at 22:05):

I'm using an M1 MacBook Air with 16 GB of memory. I'm contemplating of getting an M4 Mac mini. Is that a worthwhile thing to do from the POV of Lean hacking? I'd like to hear from people with that experience. Thanks in advance!


Last updated: Dec 20 2025 at 21:32 UTC