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