Also Ra, Fine Structure and a number of short stories. They are incredible.

See also their post on Clean Code: https://qntm.org/clean

Whoa! Small world. That was a fun story.