[2/3] 昨天有个同事(教授)在日常约咖啡的群里询问 HOL4 的 “top people” 都有谁。这个问题比较模糊,我就把 HOL4 的 GitHub 贡献者前排图标列表贴给他看(90 个人的前 14 名,其中我导师排第一,我在第五,其他包括已故的图灵奖获得者暨创始人,前代维护者和 CakeML 的两个最大的作者等人),他竟然反问我 “有相关性吗”。我听说他是 “研究” 编程语言的,自创了一门(但没人用)然后现在主攻 Rust,带的博士生在给 Rust 添加新特性,于是就去看了下 Rust 的贡献者列表(洋洋洒洒五千人),瞬间我就明白了……

https://postimg.cc/gallery/YtkDfy3

Reply to this note

Please Login to reply.

Discussion

No replies yet.