文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。
VIM 和 EMACS 是 Linux 下的两大著名文本编辑器,是每一个 Linux 系统上工作的人都会接触的程序。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。
VIM 和 EMACS 是 Linux 下的两大著名文本编辑器,是每一个 Linux 系统上工作的人都会接触的程序。
荐歌:Video Killed the Radio Star(The Buggles)
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:Video-Killed-the-Radio-Star(The Buggles)
1979 年,影视干掉了电台明星。
这首歌和皇后乐队 Queen 的 《Radio Ga Ga》 遥相呼应。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。逛知乎:做饭真的很费时
在美国生活过几年,现在国内带娃,发现最大的问题是中国人吃饭太麻烦了。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:千禧新娘(刀郎)
最近,沉寂许久的刀郎以一首「罗刹海市」再次引爆江湖。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 18 期。图灵奖:托尼·霍尔(1980)
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。
本文来自 wiki:Tony Hoare,翻译基于 谷歌翻译.
快排,霍尔逻辑,空指针,ALGOL,哲学家就餐!大神啊!
托尼·霍尔爵士(Sir Charles Antony Richard Hoare)生于 1934 年 1 月 11 日),是一位英国计算机科学家,对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。
霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑,这是验证程序正确性的公理基础。在并发语义中,他引入了形式语言通信顺序过程(CSP)来指定并发过程的交互,并与 Edsger Dijkstra 一起提出了哲学家就餐问题。
他还因空指针的开发(以及后来的自我批评)而受到赞誉,并将其引入了 ALGOL 系列语言中。
自 1977 年以来,他一直在牛津大学和剑桥微软研究院任职。
他于 1980 年获得图灵奖。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。2023:一周速览,29
一周速览为每周日晚固定栏目,将会回顾本周的热点事件。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:曾经的你(许巍)
周末好!
夏天,炎热。
每天在办公室听起这首歌的时候,就会想着远方,想着仗剑走天涯。
许巍的这首《曾经的你》,绝了。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。逛知乎:科研的本质就是一堆人炒概念?
科研本质就是一堆人炒概念。一个圈子的人一起骗国家经费。
很多新的概念其实是几十年前做烂的东西改个高大上的名字,包装,炒冷饭。
所谓多学科结合就是一个领域搞不下去了。把另一个领域的东西加进来,排列组合,继续灌水。
文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。2023:一周速览,28
一周速览为每周日晚固定栏目,将会回顾本周的热点事件。