Damian’s notes

Wuffs is a programming language specialized for writing codec libraries that must be fast and also free of obvious security bugs like numeric overflows and buffer overrun errors—such as the image decoders in a web browser. Moving overflow checks in to the compiler makes code more annoying to write but also eliminates the need for run-time checks, meaning the resulting code can be faster than C or Rust.