Beware floating point arithmetic. Seriously. 0.7 + 0.1 != 0.8 (try it in your REPL of choice)
miniblog.
Related Posts
Applying an SMT solver to find missed optimisation opportunities in LLVM's arithmetic tooling: https://blog.regehr.org/archives/1714
Prettier 1.13 has had a ton of polish, but this feature really caught my eye: it explicitly adds parentheses to arithmetic operations, to avoid confusion regarding precedence!
Wuffs: a programming language that prevents null pointer defence, buffer overflow, and arithmetic overflow, all at compile time! Designed for file format parsing.