80 高龄的计算机科学家曾为 “Unix” 命名，如今为 AWK 代码添加了 Unicode 支持