They're on the bigger side, due to a combination of defaulting to static linking, some optimizations not having been possible (ThinLTO comes to mind), lots of debug strings and metadata, as well as the use of jemalloc[1][2].
You're talking binary size, the zip file being referred to is the entire git repo in zip format. How large the Rust code would be is an interesting question.
Interestingly, the repo notes the binary is only 6kb. I doubt C or C++ will get anywhere close to that.
Well if you only use libc like the assembly server does, I imagine you can use `#![no_std]`. Your Rust will use `unsafe` a lot and be very unidiomatic, but small. Is using the system allocator for binaries on stable yet?
