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

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

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

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…

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

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

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

转自 http://www.iruanmi.com/visual-studio-2013/ 微软已经向MSDN订阅用户提供了Visual Studio 2013正式版镜像下载,只是非MSDN用户能够在微软的Visual Studio 2013官方站点上下载到正式版镜像(通过下载专业版本号,已验证与MSDN版本号一致).以下为大家整理一下个版本号下载地址. Microsoft Visual Studio Ultimate 2013(中文简体旗舰版) 文件名称: cn_visual_studio_u…

 昨天微软的Visual Studio 2013 Update 3(Visual Studio 2013.3)正式公布(RTM)了,做为微软认证金牌合作的葡萄城控件,我们组织力量第一时间进行翻译.分享给大家: 下载 Visual Studio 2013 Update 3 此更新程序是最新的一个累加了新功能和错误修复的Visual Studio2013,您能够从下面链接获得Visual Studio2013和Team Foundation Server 2013: Download Visua…

http://lamport.azurewebsites.net/pubs/pubs.html paper…

作为全球最大中文 IT 社区和服务平台.中国最大技术管理者平台的 CSDN 在中国北京总部举办了一场 2015 年开发工具及服务年度大奖评选活动,此次活动目的在于推动开发服务及工具质量的提升,提高行业的专业性,表彰行业内的优秀工具,从而激励整个行业的从业者,推进互联网时代的发展. 经过国内多名知名技术专家组成的评审团层层筛选,结果近日出炉,Bugtags 作为初创公司,凭借着优质的服务和良好的用户体验从参赛的几百家公司脱颖而出,荣获了 2015 年最具成长潜力奖.   随着近几年互联网行业的飞速…

InfoWorld年度科技奖是每年一月由InfoWorld评论家对过去一年的表现最好的信息产品的褒奖.产品包括硬件.软件.开发工具和云服务等. InfoWorld2014年度科技奖,包括35个获奖产品,它们都是各个领域的佼佼者.其中被开发者誉为Web开发神器的JetBrains公司旗下产品WebStorm也是其中之一. 著名信息技术评论家Martin Heller对WebStorm的总结评论是“an incredibly productive and capable IDE for Web de…

很多话说得很透彻,把一些觉比较精彩的摘抄一下. ... 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…

A Personal View of Computer Science at Berkeley 赤裸裸的吊炸天…

分布式一致性 分布式文件系统.缓存系统和数据库等大型分布式存储系统中,分布式一致性都是一个重要的问题. 什么是分布式一致性?分布式一致性分为哪些类型?分布式系统达到一致性后将会是一个什么样的状态? 如果失去了分布式一致性,分布式系统是否还可以依赖? 如果一味地追求一致性,对系统的整体架构和性能会有多大的影响? 每次写需求的时候总会思考,在某些特殊恶劣的条件下,这些代码的运行结果会是什么? 尽管在实习期间,已经遇到了很多次 因为代码漏洞导致线上环境数据不一致而导致被迫改数据库的问题,对此已见怪不怪…

java番外茶余饭后闲聊 **本人博客网站 **IT小神 www.itxiaoshen.com 今天聊点题外话没事时可以作为平时沟通交流的谈资,接下来一起简单了解下个人知晓对Java界开发产生深远影响的五位大神级人物 Java并发大神Doug Lea 中文名为道格·利,计算机科学教授,专门研究并发编程和并发数据结构的设计,Java社区进程执行委员会的成员,并主持了JSR 166, 从JDK 1.1到JDK 1.2很重要的一项新创举就是Collections,其Collections的概念可以说承…

早在1990年,Leslie Lamport(即 LaTeX 中的"La",微软研究院科学家,获得2013年图灵奖)向ACM Transactions on Computer Systems (TOCS)提交了关于Paxos算法的论文The Part-Time Parliament.几位审阅人表示,虽然论文没什么特别的用处,但还是有点意思,只是要把Paxos相关的故事背景全部删掉.Leslie Lamport心高气傲,觉得审阅人没有丝毫的幽默感,于是撤回文章不再发表.直到1998年,用…

转:http://blog.csdn.net/cloudresearch/article/details/23127985 背景: 在分布式中,最难解决的一个问题就是多个节点间数据同步问题.为了解决这样的问题,涌现出了各种奇思妙想.只有在解决了如何进行信息同步的基础之上才衍生出形形色色的应用.这里开始介绍几种分布式通信协议.   简单即有效——totem协议: totem协议也许你还比较陌生,但是corosync就是totem协议的一个开源实现.比较火的HA软件pacemaker就是基于coro…

TLA+介绍 TLA+(WIKI,官网)是一门领域特定语言,主要用于数理逻辑计算和并发系统的正确性验证.TLA+中的TLA代表的是"行为时序逻辑(Temporal Logic of Actions)",Action 是纯函数:"+"代表"Data Logic".这是由 Dr. Lamport所提出的学说,他也因此获得了2013年图灵奖.Lamport在分布式计算和并发系统领域研究40多年,发布了180多篇高价值论文,是有志于此领域的必读材料.官网…

背景: 拜占庭将军问题很多人可能听过,但不知道具体是什么意思.那么究竟什么是拜占庭将军问题呢? 本文从最通俗的故事讲起,并对该问题进行抽象,并告诉大家拜占庭将军问题为什么在区块链领域作为一个重点研究问题. 什么是拜占庭将军问题: “拜占庭将军问题”也被称为“拜占庭容错”. 拜占庭将军问题是Leslie Lamport(2013年的图灵讲得住)用来为描述分布式系统一致性问题(Distributed Consensus)在论文中抽象出来一个著名的例子. 这个例子大意是这样的: 拜占庭帝国想要进攻一个…

背景: 在分布式中,最难解决的一个问题就是多个节点间数据同步问题.为了解决这样的问题,涌现出了各种奇思妙想.只有在解决了如何进行信息同步的基础之上才衍生出形形色色的应用.这里开始介绍几种分布式通信协议. 简单即有效--totem协议: totem协议也许你还比较陌生,但是corosync就是totem协议的一个开源实现.比较火的HA软件pacemaker就是基于corosync来提供各种服务的.说起totem协议,最简单的形象就是,他将多个节点组成一个令牌环.多个节点手拉手形成一个圈,大家依次的…

介绍 Paxos算法是一个高容错性的分布式一致性算法.去年学习过Paxos算法,一直没将整理到博客.现在将经典Paxos算法相关内容整理到博客上. 经典Paxos算法本身也并不是太难理解,Lamport从期望的结果出发,通过增强条件一步步反推,最终发掘出可以保证了系统一致性的Paxos算法.如果能仔细体会到这其中一步步的反推,就会觉得Paxos是个很自然的东西了. 首先了解一下Paxos算法的作者Leslie Lamport (个人官网),由于对分布式领域的贡献获得2013年度图灵奖. 这里有一…

Latex基本语法 注意点:Markdown 斜杠/ 转义字符! LaTeX 是大神Leslie Lamport 的杰作,该神是2013年图灵奖的获得者,感兴趣可以去瞻仰一下神人的相关著述: http://lamport.azurewebsites.net/pubs/pubs.html LaTeX是一种基于ΤΕΧ的排版系统,对于生成复杂表格和数学公式表现得尤为突出.LaTeX也是当今世界上最流行和使用最为广泛的TeX格式.它构筑在 PlainTeX的基础之上,并加进了很多功能以利用TeX的强大功…

Content LaTeX的用途 LaTeX文件布局 LaTeX的文档格式 公式环境 图的排版 表格的排版 有序列表和无序列表 引用 伪代码 参考文献 LaTeX的用途 LaTeX是一种基于TeX的排版系统,由美国计算机科学家Leslie Lamport开发.对于生成复杂表格和数学公式,这一点表现得尤为突出.因此它非常适用于生成高印刷质量的科技和数学类文档. LaTeX文件布局 使用LaTeX生成PDF文档一般有两种方式: LaTeX -> dvi2pdf -> pdf document pd…

关于Latex,收到网友的鼓励,决定好好整理下相关的信息. 在初次使用相关的程序时,遇到很多迷惑的概念,下面这篇帖子汇总得很详细. 关于latex各种概念与理解 帖子中提到了三个概念,引擎,宏集(即下面的格式),发行版. 引擎(engine):pdfTeX,pTeX,LuaTeX和XeTeX. 格式(format):plain TeX,LaTeX,ConTeXt,TeXinfo,AMSTeX. 发行版(distribution):TeX类似于Linux,有很多不同的发行版(distributio…

Kubernetes与云原生应用简介 随着Docker技术的发展和广泛流行,云原生应用和容器调度管理系统也成为IT领域大热的词汇.事实上,云原生应用的思想,在Docker技术火爆之前,已经由云计算技术的领导者和分布式系统架构的推广者广泛传播,例如云原生应用的12要素早在2011年就由Heroku的工程师提出了:只不过以虚拟机技术作为云原生应用的基础实施,由于虚拟机镜像大.镜像标准不统一以及打包流程和工具不统一,无法业界广泛接受的云原生应用标准,限制了云原生应用的流行.而Docker的出现正好解决…

前言在文章2PC/3PC到底是啥中介绍了2PC这种一致性协议,从文中了解到2PC更多的被用在了状态一致性上(分布式事务),在数据一致性中很少被使用:而Paxos正是在数据一致性中被广泛使用,在过去十年里,Paxos基本成为了分布式领域内一致性协议的代名词.Google的粗粒度锁服务Chubby的设计开发者Burrows曾经说过:“所有一致性协议本质上要么是Paxos要么是其变体”.Paxos的提出者LeslieLamport也因其对分布式系统的杰出理论贡献获得了2013年图灵奖.在介绍Paxos…

目前微软已正式发布了VS 2013的开发工具,但安装VS 2013开发工具前必须安装或升级到IE10,否则无法进行安装.本文主要介绍在Windows Server 2008 R2 SP1下离线安装IE10,IE10的官方各版本下载地址如下:     English Windows 7 SP1 (32-bit) Windows 7 SP1 (64-bit) Windows Server 2008 R2 SP1 (64-bit)    Chinese (Simplified) Windows 7 S…

先来看一下Visual Studio的版本历史: 1. Visual Studio.NET 2002 2. Visual Studio.NET 2003 3. Visual Studio.NET 2005 4. Visual Studio.NET 2008 5. Visual Studio.NET 2010 6. Visual Studio.NET 2012 几乎每2年MS发布一个新版本,使我们的开发最来最便利了. 刚结束的Build大会,微软发布了Visual Studio 2013 Prev…

IT之家(www.ithome.com):Windows Embedded Compact 2013升级:VS2013也能编译 今天,微软为Windows Embedded Compact 2013送来一次功能更新, 新增支持Visual Studio 2013编译,可以使用VS平台的开发工具.编译器等资源.本次更新也新增面向TI SDP44xx系列芯片组的WiFi网卡驱动等内容. Windows Embedded Compact 2013同样也是一款嵌入式操作系统,可以同时工作于x86和ARM…