首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/409869

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

快速排序(Quicksort)算法之父、图灵奖得主 Tony Hoare 去世

计算机科学界一位奠基性人物、图灵奖得主Tony Hoare(托尼·霍尔)于2026年3月5日去世,享年92岁。这位英国计算机科学家留下了深远的技术遗产,其提出的算法和理论至今仍是软件工程与计算机科学教育的核心内容。 Hoare最广为人知的贡献是快速排序(Quicksort)算法。这一算法以高效的排序性能著称,自20世纪60年代提出以来一直是计算机科学教材中的经典案例,并在实际软件系统中被广泛应用。 当然,Hoare的影响远不止一个算法。他在多个关键领域奠定了理论基础,包括: Hoare Logic(霍尔逻辑):用于证明程序正确性的形式化方法,为软件验证领域提供了数学工具。 Communicating Sequential Processes(CSP):描述并发系统行为的理论模型,对并发编程语言和系统设计产生了深远影响。 ALGOL 编程语言的发展:推动了现代编程语言结构化设计。 空引用(Null reference)概念:他后来将其称为自己著名的“十亿美元错误”。 凭借这些开创性贡献,Hoare在1980年获得了计算机科学领域最高荣誉——ACM A.M. Turing Award(图灵...

亚马逊强化 AI 代码审核流程:要求资深工程师必须审批 AI 辅助变更

美国电商与云服务巨头亚马逊 (Amazon) 因近期多起系统故障事件调整内部 AI 使用策略,决定由更有经验的资深工程师对 AI 辅助的代码变更进行最终审批。 本周,亚马逊召集工程团队召开了例行的“This Week in Stores Tech”深度讨论会,专注审视过去几个月内出现的一系列服务中断情况。内部问题简报将故障归因于“生成式 AI(GenAI)辅助的变更”,并指出相关最佳实践与安全保障机制尚不成熟。 近期最显著的故障包括: 公司零售业务网站与购物应用因软件部署错误而宕机近 6 小时,导致用户无法浏览商品或完成下单。 AWS 内部开发的 AI 编码工具曾在去年 12 月导致某系统服务停摆 13 小时,据称该工具自行删除并重建关键环境。 作为应对措施,亚马逊内部明确要求:初级与中级工程师在将 AI 生成或 AI 协助的代码推送到生产环境之前,必须得到资深工程师的签字批准。此举旨在加强人类审查流程,以减少未来因 AI 代码问题引发的宕机风险。

相关文章

发表评论

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册