很多话说得很透彻,把一些觉比较精彩的摘抄一下. ... It seems to me that if the authors I studied were writing today, they would agree with the following characterization: Science is knowledge which we understand so well that we can teach it to a computer; and if we don't fu…

高德纳(Donald Ervin Knuth,1938年),美国著名计算机科学家,斯坦福大学电脑系荣誉教授.高德纳教授被誉为现代计算机科学的鼻祖,在计算机科学及数学领域发表了多部 具广泛影响的论文和著作,与Edsger Wybe Dijkstra并称为我们这个时代最伟大的计算机科学家的人. 高德纳还是The Art of Computer Programming(中译本<计算机程序设计艺术>)的作者以及TeX和Metafont排版软件的发明人.   简历 1963年高德纳获得加州理工数学博士学…

Lamport荣获2013年图灵奖" title="微软科学家Leslie Lamport荣获2013年图灵奖"> 编者按:Leslie Lamport,新晋图灵奖得主,一个在计算机领域拥有辉煌成就的大师,他关于时间时钟.面包店算法.拜占庭将军等问题的思考令人乍舌.亲近他的人还会告诉你,他是个年愈古稀仍爱穿旱冰鞋上下班的幽默老头.全球无数人受益于他的成就,却很少听说他的名字. 来源:Leslie Lamport Receives Turing Award Leslie…

[2011图灵奖得主]我眼中的Judea Pearl 来源: 叶星遥的日志 2011年的图灵奖花落UCLA计算机系的Judea Pearl教授.图灵奖是计算领域的最高奖,由于近年来这个领域的兴盛也算是很有名气了.奖是今年3月份公布的,所以已经不是新闻了.不过我在UCLA这几年,跟这个老师算是有点缘分,就借这个奖的东风,讲一点我所知道的八卦吧. Judea Pearl是犹太人,这点从名字里也可略知一二.Judea在英语里念“朱迪亚”,但系里相熟的老师会按照希伯来语的本来念法念成“Yuda-于达”.…

ACM 宣布,2018 年图灵奖获得者是号称深度学习三巨头的 Yoshua Bengio, Yann LeCun 和 Geoffrey Hinton,得奖理由是:他们在概念和工程上取得的巨大突破,使得深度神经网络成为计算的关键元素(For conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.). Yoshua Bengio Yo…

为了调用各种经典机器学习模型,今后你不必重复造轮子了. 刚刚,Facebook宣布推出PyTorch Hub,一个包含计算机视觉.自然语言处理领域的诸多经典模型的聚合中心,让你调用起来更方便. 有多方便? 图灵奖得主Yann LeCun强烈推荐,无论是ResNet.BERT.GPT.VGG.PGAN还是MobileNet等经典模型,只需输入一行代码,就能实现一键调用. 厉不厉害! Facebook官方博客表示,PyTorch Hub是一个简易API和工作流程,为复现研究提供了基本构建模块,包含预…

历届图灵奖 (Turing award)得奖名单 一.总结 一句话总结:各个方面都有. 二.历届图灵奖 (Turing award)得奖名单 Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人,而这些贡献必须对计算机科学与技术有长远而重要的影响.1966年,A. J…

Personal Control of Digital Data 图灵奖获得者Butler W. Lampson主题演讲" title="第十六届"二十一世纪的计算"学术研讨会 图灵奖获得者Butler W. Lampson主题演讲"> 我想,我们将会在今后几年面临一个非常重大的问题,也就是我要讨论的问题,我们现在有各种各样的方法让人们去收集关于个人的数据.并且把它储存在因特网说进行搜索.同时,从中获得一些其他的信息. 在目前大多数情况下,人们是没有…

Go所提供的面向对象功能十分简洁,但却兼具了类型检查和鸭子类型两者的有点,这是何等优秀的设计啊! Duck typing in computer programming is an application of the duck test 鸭子测试 鸭子类型 指示编译器将类的类型检查安排在运行时而不是编译时   type checking can be specified to occur at run time rather than compile time. <代码的未来> https:…

1. 关于多输入流: 由于本Mission是双输入, 导师要求尽量能使用Inception之诸, 于是输入便成了问题. 思考: 在Github上找到了keras-inceptionV4进行对网络头尾的改进, 面对多输入, 询问别人, 给我推荐了keras中对层的操作, 用于merge各个输入, 但是那样做的话, 这两个的输入之间的关系就定死了, 我需要的是求得温度$ T = f(x_1, x_2) $, 而非 $ T = x_1 + x_2 + x_1 * x_2 + x.... $, 这种即便…