Anh mất đi là một mất mát lớn lao của cộng đồng USENIX.