Pretty much all of the talks and blog posts on the `in-Zig` compiler are about better performance, lower memory footprint, e.t.c.

I would much rather have heard a talk about how they improved correctness through automatic testing, formal methods, simple language design e.t.c.

A language that (does or doesn't) compile your code in 0.1 seconds to a broken binary is worse than piping your code into dev/null.