People of ACM – Russ Cox (acm.org)