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
mojo build hello_world.๐ฅ
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?