标签： 图灵

1953 年，计算机之父 Alan Turing 和 Christopher Strachey 创作出情书生成器，科技与情感早在 70 年前以情书为载而交汇。 在 20 世纪 50 年代初，曼彻斯特大 … Continue reading 70 年前的阿兰・图灵情书！计算机之父和一段「有罪」的罗曼史

8 月 8 日至 11 日，计算机图形学国际顶级会议 SIGGRAPH 在加拿大温哥华举办。2019 年图灵奖和多次奥斯卡奖「双料得主」Pat Hanrahan 和 Ed Catmull 在大会上亮相 … Continue reading 图形学人物简史：两位图灵奖与奥斯卡得主的图形学研究往事

Leslie Lamport 可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如 Paxos 算法、排版程序 LaTeX、规格语言 TLA+、「面包店 … Continue reading 2013 年图灵奖得主 Leslie Lamport：程序员需要更多的数学知识

当地时间 5 月 3 日，美国国家科学院（National Academy of Sciences）公布了 2022 年新一批当选的院士名单。120 名美国科学家和 30 名外籍科学家因其在原创性研究 … Continue reading 2022 美国科学院院士名单公布：图灵奖得主、龙书作者 Alfred V. Aho 当选