Besides the cool factor, does musl give a smaller or faster binary?

Smaller. It's not about the cool factor for me, it is a binary which works in all linux (amd64) versions, even in alpine.

I've been building musl binaries for longer, but never with nix

Using alpine images in prod?

I distribute babashka and clj-kondo and people want to use those in alpine or whatever