binary file size
In the first community live stream on youtube at around 36 minutes, Chris Lattner mentions "hello world it's 20K" which I understand means that the binary size of a hello world example could be as low as 20kb.
If I
Is that 20k a target that should be achievable later? Is it calculated without the runtime that is bundled in the binary? Do I need to enable some kind of optimization?
If I
mojo build hello_world.🔥 on linux I get a 1.7MB binary. How can I reduce that binary size?Is that 20k a target that should be achievable later? Is it calculated without the runtime that is bundled in the binary? Do I need to enable some kind of optimization?
