致敬:“请帮助乌干达的可怜孩童!”

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

VIM 和 EMACS 是 Linux 下的两大著名文本编辑器,是每一个 Linux 系统上工作的人都会接触的程序。

Read more

荐歌:Video Killed the Radio Star(The Buggles)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:Video-Killed-the-Radio-Star(The Buggles)

1979 年,影视干掉了电台明星。

这首歌和皇后乐队 Queen 的 《Radio Ga Ga》 遥相呼应。

Read more

荐歌:千禧新娘(刀郎)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:千禧新娘(刀郎)

最近,沉寂许久的刀郎以一首「罗刹海市」再次引爆江湖。

Read more

图灵奖:托尼·霍尔(1980)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 18 期。图灵奖:托尼·霍尔(1980)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Tony Hoare,翻译基于 谷歌翻译.

Tony Hoare

快排,霍尔逻辑,空指针,ALGOL,哲学家就餐!大神啊!

托尼·霍尔爵士(Sir Charles Antony Richard Hoare)生于 1934 年 1 月 11 日),是一位英国计算机科学家,对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。

霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑,这是验证程序正确性的公理基础。在并发语义中,他引入了形式语言通信顺序过程(CSP)来指定并发过程的交互,并与 Edsger Dijkstra 一起提出了哲学家就餐问题。

他还因空指针的开发(以及后来的自我批评)而受到赞誉,并将其引入了 ALGOL 系列语言中。

自 1977 年以来,他一直在牛津大学和剑桥微软研究院任职。

他于 1980 年获得图灵奖。

Read more

2023:一周速览,29

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。2023:一周速览,29

一周速览为每周日晚固定栏目,将会回顾本周的热点事件。

本周发布回顾

  • 尬聊:尊重别人的成就感
  • 大运会:明天下午新一轮售票
  • 逛知乎:科研的本质就是一堆人炒概念?
  • 女足世界杯:赛程表
  • 荐歌:曾经的你(许巍)
  • 足球:女足世界杯首战
Read more

荐歌:曾经的你(许巍)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。荐歌:曾经的你(许巍)

周末好!

夏天,炎热。

每天在办公室听起这首歌的时候,就会想着远方,想着仗剑走天涯。

许巍的这首《曾经的你》,绝了。

Read more

逛知乎:科研的本质就是一堆人炒概念?

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。逛知乎:科研的本质就是一堆人炒概念?

原答案:有哪些东西是你读博士以后才懂的?

科研本质就是一堆人炒概念。一个圈子的人一起骗国家经费。

很多新的概念其实是几十年前做烂的东西改个高大上的名字,包装,炒冷饭。

所谓多学科结合就是一个领域搞不下去了。把另一个领域的东西加进来,排列组合,继续灌水。

Read more

2023:一周速览,28

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。2023:一周速览,28

一周速览为每周日晚固定栏目,将会回顾本周的热点事件。

本周发布回顾

  • 尬聊:成都大运会买票
  • 看球去了:成都蓉城乐山主场第一战
  • 米兰·昆德拉去世:他不需要诺奖承认,他自己就是一部传奇
  • 尬聊:苹果开启暑期教育优惠活动
  • 荐歌:园游会(周杰伦)
  • 看球去了:四川队流浪遂宁第一战
Read more