作者 | 维克多 编辑 | 青暮 近日，CACM（Communications of the ACM）官方网站公布了关于对原佛罗里达大学教授李涛违反“道德原则”的处理决定。 “开除其ACM会员资格，断绝与李涛的一切联系” “COPE further recommended that Li's ACM membership be revoked, and Council voted in agreement to officially cut all ties with him.” 这是ACM少有的公开点名
该范式，主要提到一个人，Dijkstra，该范式主要由他提出，为行文方便，下文简称大壮。
点击上方蓝色“程序猿DD”，选择“设为星标” 回复“资源”获取独家整理的学习资料！ 来源 | https://www.oschina.net/question/4518194_2319246 世界上保存最久的计算机被认为是 Zuse Z4，现在被保存在慕尼黑的德国博物馆。Zuse Z4制造于1945年，在1949/1950年有大修和扩展，1950年至1955年间在苏黎世联邦理工学院(ETH Zurich)外借运行。但 Z4的操作说明书丢了很长时间，前几天，有人说她朋友的父亲保存着罕见的历史文件RenéBo
在大型工程中尽可能使用绝对位置是第一要义。对于一个独立的项目，所有的模块的追寻方式，最好从项目的根目录开始追溯，这叫做相对的绝对路径。
选自cacm 作者：Gary Marcus 编辑：袁铭怿 本文是刊载于 ACM 网站的一篇博客，作者 Gary Marcus 是纽约大学著名心理学教授、认知科学家。 在人工智能领域，不可思议的事情正在悄然发生，有好有坏。每个人都在谈论 chatGPT (OpenAI)、Dall-E 2 和 Lensa 这样的系统，它们生成的文本和图像看起来既自然又不费力。 这些系统玩起来非常有趣。以 Henry Minsky （AI 创始人之一 Marvin Minsky 的儿子）用 chatGPT 生成的这个例子来说，他
2010年至今，中国AI创业迅速发展。不仅互联网巨头在AI领域投入巨资，大量新兴的AI创业企业也如雨后春笋般浮现。然而，2020年突如其来的疫情使得中国更加高度重视AI产业的数字化转型升级。
GitHub Copilot、ChatGPT 等 AI 产品的火爆出圈，让更多人看到 AI 在编程方面展现出的极强能力。一时间，关于“AI 取代程序员”、“AI 当立、编程已死”的言论不绝于耳。
选自garymarcus.substack 作者：Gary Marcus 机器之心编译 编辑：泽南、陈萍 ChatGPT 让死对头 Yann LeCun 和 Gary Marcus 达成了空前一致。 ChatGPT 的技术上个星期被微软装上必应搜索，击败谷歌，创造新时代的时候似乎已经到来了。然而随着越来越多的人开始试用，一些问题也被摆上前台。 有趣的是，每天都在登上热搜的 ChatGPT 似乎也让以往观点相悖的著名学者，纽约大学教授 Gary Marcus 和 Meta 人工智能主管、图灵奖得主 Yann
近日，ACM Fellow、美国里普罗维登斯布朗大学计算机科学卓越教学的罗伊斯家族教授迈克尔·利特曼（Michael L. Littman）在ACM通讯上发文，痛斥部分学者威胁计算机科学研究的完整性。
Zuse Z4 可以说是目前世界上现存的最古老的计算机。这台数字计算机建造于 1945 年，在 1949 到 1950 年间进行过大修和扩建。
美国东北大学体验式人工智能研究所的高级研究科学家 Walid S. Saba 从组合语义的角度出发，提出一个观点：深度学习无法构造一个可逆的组合语义，所以它无法实现可解释AI。 作者 | Walid S. Saba 编译 | Antonio 编辑 | 陈彩娴 1 可解释AI （XAI） 随着深度神经网络 (DNN) 用于决定贷款批准、工作申请、批准法院保释等与人们利益息息相关或者一些生死攸关的决定（例如在高速公路上突然停车），去解释这些决定，而不仅仅是产生一个预测分数，是至关重要的。 可解释人工智能 (X
来源 | CACM 编译 | 孙薇 过去五年中，机器学习技术获得了长足的进步。之前，这只是一个很有希望但并不成熟的技术，而如今在很多任务上，机器学习这项技术都可以达到与人类接近的水平。在不久的将来，
大数据文摘授权转载自AI科技评论 作者 | Walid S. Saba 编译 | Antonio 编辑 | 陈彩娴 美国东北大学体验式人工智能研究所的高级研究科学家 Walid S. Saba 从组合语义的角度出发，提出一个观点：深度学习无法构造一个可逆的组合语义，所以它无法实现可解释AI。 可解释AI(XAI) 随着深度神经网络 (DNN) 用于决定贷款批准、工作申请、批准法院保释等与人们利益息息相关或者一些生死攸关的决定（例如在高速公路上突然停车），去解释这些决定，而不仅仅是产生一个预测分数，是至关重要
创立八年，短视频平台快手目前已经有超过两亿人在每天登陆使用，每天还有超过 1500 万条短视频被制作和上传，每天的累计观看数更是达到 150 亿。
斯坦福大学的教授李飞飞在距今最近的一次人工智能寒冬期间开始了她的职业生涯，但是她提供了一个帮助寒冬解冻的想法。通过创建包含一千五百万张图像的层级组织图像数据库 Image-Net，她证明了丰富的数据集在开发算法方面的重要性——并发布了一项竞赛，使得 Geoffrey Hinton、Ilya Sutskever 和 Alex Krizhevsky 在深度卷积神经网络方面的工作得到了广泛关注。最近被评为 ACM fellow 的李飞飞如今主管着斯坦福人工智能实验室（Stanford Artificial Intelligence Lab）和斯坦福视觉与学习实验室（Stanford Vision and Learning Lab），致力于开发能够使计算机和机器人会看、会思考的智能算法。在本次采访中，她谈到了计算机视觉和神经科学，以及如何增加这一领域的多样性。
新智元报道 来源：综合cacm.acm.org等 编译：肖琴、小潘 【新智元导读】近日，ACL（计算语言学协会）更新了其会议论文的投稿、评审和引用政策。其中最受争议的一项要求是，为了双盲评审的有效
金磊 发自 凹非寺 量子位 报道 | 公众号 QbitAI 撤销佛罗里达大学计算机工程系教授、IEEE Fellow李涛的ACM会员资格。 这就是ACM理事会在近期公开的一项重大决定。 至于缘由，在官方说明中解释是： 职业道德委员会（COPE），在考虑收到有关李涛多次违反ACM道德准则的证据后，向理事会建议采取这一行动。 这是自今年2月份，ACM和IEEE对李涛事件处分的进一步加强。 “李涛故意违反科研诚信标准” 此前，ACM和IEEE都收到了关于李涛的投诉。 投诉内容主要与两个计算机体系结构会议相关，
超级计算机可以说是科学计算界的奥运冠军。通过数值模拟，超级计算机丰富了我们对世界的理解：无论是宇宙中数光年之外的恒星、地球的天气和气候，还是人体的运作机理。
选自cacm.acm.org 作者：Logan Kugler 机器之心编译 编辑：rome rome 在电子竞技中，AI 可以打败人类选手，也可以推动电竞发展。 电子竞技也就是职业电子游戏直播，让电子游戏不再仅仅是好玩。 电竞比赛中，职业玩家组队在《英雄联盟 LOL》、《Dota 2》等游戏中对战。职业玩家的每一个动作和操作都会通过现场直播的方式呈现给数百万观众、参与现场互动、并且观众可以通过观看比赛集锦进行技术分析。世界顶级选手通常因其游戏中的别名而闻名于世，职业玩家也会因此获得可观的收入。电竞比赛直播
自 1966 年设立以来，图灵奖一般每年仅授予一名计算机科学家，奖励对计算机事业作出重要贡献的个人。当然，获奖的人数有时会是两位或者三位，比如 2018 年图灵奖就授予了深度学习三巨头 Yoshua Bengio、Geoffrey Hinton、Yann LeCun，2020 年图灵奖得主授予了「龙书」作者 Jeffrey David Ullman 和 Alfred Vaino Aho。多人同时获奖基本上是因为他们是某一成果的共同贡献者。
《ACM通信》有一篇论文《为什么 Google 要把几十亿行代码放在一个库？》，作者是谷歌基础设施小组的工程师。作者详细讲述了Google的代码为什么全部放在一个库里面。
而让这位AI大牛无法再继续保持沉默的，正是震荡发酵至今的佛罗里达大学中国博士生被逼学术作假后自杀事件。
作者丨Samuel Greengard 编译丨维克多 机器学习已经成为各行各业的宝藏工具，常被用来构建系统，帮助人们发现那些容易忽略的细节，并辅助决策。尽管已经取得了惊艳的结果，但是也有很多痛苦，例如如何在已经成型的模型中修改、删减某些模块或者数据记录？ 有学者表示，在大多数情况下，修改往往意味着重新训练，但仍然无法避免纳入可疑数据。这些数据可能来自系统日志、图像、客户管理系统等等。尤其是欧洲GDPR出台，对模型遗忘功能提出了更高的要求，企业如果不想办法将会面临合规处罚。 确实，完全重新训练的代价比较高，也
覃宇，Android开发者/ThoughtWorks技术教练//译者，热衷于探究软件开发的方方面面，从端到云，从工具到实践。喜欢通过翻译来学习和分享知识，译作有《Kotlin实战》、《领域驱动设计精粹》、《Serverless架构：无服务器应用与AWS Lambda》和《云原生安全与DevOps保障》。
据外媒报道，伊隆 · 马斯克收购推特后大幅裁员，原有的 7500 名员工现在已经被裁了约一半，整个推特原有团队几乎完全被摧毁。
【新智元导读】编程语言有很多，但并非每一种的需求或工资都相同。人工智能和机器学习走热，让 Python 从众多编程语言中脱颖而出。本文将综合各种信源，比较与不同编程语言在美国市场的相关薪资水平、人气和
【导读】编程语言有很多，但并非每一种的需求或工资都相同。人工智能和机器学习走热，让 Python 从众多编程语言中脱颖而出。本文将综合各种信源，比较与不同编程语言在美国市场的相关薪资水平、人气和前景，为你提供一些参考。大量统计数据袭来，你准备好了吗？
关于代码的管理问题已经讨论多年，随着企业业务的复杂度提高、软件行业技术栈的选择度变宽泛，现代软件的代码仓库也变得越来越庞大和复杂。一个中型项目，将测试代码、核心业务代码、编译构建、部署打包等基础设施的代码全部加起来，几十万行都是家常便饭。并且一个项目往往由多个团队进行协作，如何让多团队在对同一个项目的代码进行协作时不会相互干扰、相互制约，也是每个企业研发团队在实践中不断摸索的难题。 多仓库与单仓库 对于上文所说的一些问题，业界已经归纳了常见的代码仓库存放方式，常见的如单仓库和多仓库。大部分企业会针对不
关于代码的管理问题已经讨论多年，随着企业业务的复杂度提高、软件行业技术栈的选择度变宽泛，现代软件的代码仓库也变得越来越庞大和复杂。一个中型项目，将测试代码、核心业务代码、编译构建、部署打包等基础设施的代码全部加起来，几十万行都是家常便饭。并且一个项目往往由多个团队进行协作，如何让多团队在对同一个项目的代码进行协作时不会相互干扰、相互制约，也是每个企业研发团队在实践中不断摸索的难题。
2022年12月29日，IEEE发布公告，宣布开除前佛罗里达大学电子和计算机工程系终身教授李涛IEEE Fellow资格的决定。
近日，美国乔治敦大学安全与新兴技术中心（CSET）发布了一份名为“China is Fast Outpacing U.S. STEM PhD Growth” 的报告，称到 2025 年，中国的 STEM 博士毕业生数量将是美国的两倍！
85 岁的图灵奖得主 Raj Reddy 参加了最近举行的第九届海德堡获奖者论坛。他发出由衷感叹：「我在人工智能领域工作了近 60 年，没想到这种技术会在有生之年实用化。」
随着芯片工艺制程逐渐进入瓶颈，计算机设计者越来越关注摩尔定律的终结。近半个世纪以来，行业依靠「逻辑电路的密度每两年翻一番」这一论断，但如果不再这样了，那意味着什么呢？这可能意味着用户对软件的思考方式发生根本性改变。
最新一期《ACM通讯》发表专栏文章，以深度神经网络从备受怀疑，到2018年Geoffrey Hinton、Yoshua Bengio和Yann LeCun获得图灵奖的一段漫长历史为例，提醒人们“将研究视为一场漫长的竞赛，才有可能获得真正的突破”。
选自cacm.acm.org 作者：Keith Kirkpatrick 机器之心编译 编辑：赵阳 6G 时代还没来，场子先热起来了。 尽管 5G 技术仍处于相对初级的阶段，但从无线运营商到芯片组制造商再到元技术供应商等顶级技术公司都在积极致力于开发无线通信的下一个里程碑，即第六代（6G）。 众多研究者希望使用支持更复杂、数据更加密集的应用程序，这样一来就能连接更多的设备和数据源，并享受持久、无延迟的数据连接。这些愿望进一步推动了对速度更快、容量更大的网络的需求。 有朝一日当 6G 技术全面开发完成时，其可能
从事网络安全研究的 19 岁德国男孩 David Colombo 最近有一个大发现。
实际上，真实世界中的网络安全往往致力于解决非代码的漏洞，也就是说，除了传统的计算机网络安全之外，还会涉及到网络安全的管理、政策、法律和国际事务。借鉴于我们所熟知的OSI 7层协议模型，可以在之上增加组织、政府和国际事务的新分层，从而可以对与代码无关的网络安全问题进行分类，进而提出应对措施。
现在好像人人都爱说“大数据”，就像平时我去开会，不是用大数据分析这个，就是用大数据建构那个。可是我最近看《美国计算机学会通讯》（CACM）上面提到了几次小数据，我觉得大家也有必要了解一下这个有趣的概念。 什么是小数据？小数据就是个体化的数据，是我们每个个体的数字化信息。比如我天天都喝一两酒，突然有天喝完酒了胃疼，我就想了，这天和之前有何不同？原来，这天喝的酒是个新牌子，可能就是喝了这个新牌子的酒让我胃疼。这就是我生活中的“小数据”，它不比大数据那样浩瀚繁杂，却对我自己至关重要。 第一个意识到“小数据”
AI 科技评论按：曾经，人工神经网络在AI领域内可谓是饱受争议，很多学者并不看好该技术方面的研究。而就在不久前， 有“深度学习三巨头”之称的Yoshua Bengio、Yann LeCun、Geoffrey Hinton 共同获得了 2018 年的图灵奖；同时他们在该领域的研究成果也成为了当今从搜索到内容过滤等各个方面不可或缺的组成部分。
每周两更！李沐老师已在GitHub 开源了《深度学习论文精读》，挑选了近10 年来深度学习必须文章！
编译 ｜ 核子可乐、Tina AI 在回答问题和编写代码方面已经变得相当出色。在一项新的研究课题中，ChatGPT 尝试查找示例代码中的 bug 并给出修复建议。其表现远超现有程序，成功修复了 40 个 bug 中的 31 个。AI 开始显现出强大的能力，一些人又开始担心程序员会失业了，在软件开发和编程的历史中，这又是一次“狼来了”的故事吗？ 1 ChatGPT 现可查找并修复代码中的 bug 最近几周，AI 新贵 ChatGPT 迎来了一系列评测挑战。一项最新研究来自约翰内斯古腾堡大学和伦敦大学学院
选自Communications of the ACM 作者：Subbarao Kambhampati（美国人工智能学会前主席） 机器之心编译 编辑：rome rome 当部分人工智能正偏离其工程本源，AI 研究的方向变化，超出了我们的预料。 当前的人工智能（AI）处在一个奇妙的时代，时常会出现让人惊叹的隐性知识（Polanyi 的复仇和人工智能的新型浪漫与隐性知识，https://bit.ly/3qYrAOY），但可以确信在未来相当长的一段时间，计算机无法完成这个任务。最近出现的让人感兴趣的研究是基于
早在1948年，香农就提出将信源符号依其出现的概率降序排序，用符号序列累计概率的二进值作为对芯源的编码，并从理论上论证了它的优越性。1960年， Peter Elias发现无需排序，只要编、解码端使用相同的符号顺序即可，提出了算术编码的概念。Elias没有公布他的发现，因为他知道算术编码在数学上虽然成 立，但不可能在实际中实现。1976年，R. Pasco和J. Rissanen分别用定长的寄存器实现了有限精度的算术编码。1979年Rissanen和G. G. Langdon一起将算术编码系统化，并于1981年实现了二进制编码。1987年Witten等人发表了一个实用的算术编码程序，即CACM87（后用 于ITU-T的H.263视频压缩标准）。同期，IBM公司发表了著名的Q-编码器（后用于JPEG和JBIG图像压缩标准）。从此，算术编码迅速得到了 广泛的注意。
上个月27日，ACM通讯爆出论文作者与审稿人串通欺骗盲审的学术欺诈事件，在计算机科学研究领域掀起了一阵讨论风暴。人们就此发表了不同看法与评论，其中，来自加拿大Mila实验室的 AI 博士生 Jacob Buckman 甚至发表了一篇博客文章，控诉了更为“看似合理”的学术欺诈行为。
现在关于人工智能的讨论远多于您刚开始研究生涯的时候——有些您可能听说过，有些可能没有。那么，您希望人们不再问哪些问题呢？
布朗大学计算机科学系教授、机器学习研究者、2018 年 ACM Fellow 迈克尔 · 利特曼（Michael L. Littman）在 ACM 通讯上发文斥责「部分学者正在威胁计算机科学研究的诚实性」。他在文章中指出了同行评审中可能普遍存在却无人注意到的学术道德乱象：论文作者串通一气，不择手段使自己的论文被接收。
在CAP理论中, 对partition tolerance分区容错性的解释一般指的是分布式网络中部分网络不可用时, 系统依然正常对外提供服务, 而传统的系统设计中往往将这个放在最后一位. 这篇文章对这个此进行了分析和重新定义, 并说明了在不同规模分布式系统中的重要性.
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
