Damian’s notes

Yotta is a minimalistic FORTH-like language for x86-64 processors. Its most distinctive feature is that it comes with very few primitives, to the extent that its standard preamble starts by defining ‘;’ in the first definition that uses it.

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.

A quick introduction to the logic programming language Prolog.