Computers are getting faster, but software is getting slower, and we don't even get fewer bugs from that tradeoff. Interested in how to write fast, correct software. I like tests and static types. I also like cooking and reading. Check out qntm.org/ra if you're looking for a book to read.