英国计算机科学家Tony Hoare去世,享年92岁。他创建了快速排序算法,并参与了空引用的开发(后来他称之为"价值十亿美元的错误")。他的形式化方法、编程语言以及计算机编程公理基础方面的工作影响了几代计算机科学家。计算复杂性博客文章回顾了他对计算机科学的巨大贡献,包括他在开发ALGOL 60中的作用以及他在并发编程方面的工作。
本文调查了神秘的Unicode字符U+237C,即带向下之字形箭头的直角,多年来一直困扰着开发者和排字员。通过广泛的研究和与Unicode专家的咨询,作者揭示了这个符号代表"方位" - 一个航海术语,表示从天体子午线起顺时针测量的水平方向。揭开这个含义的旅程涉及检查历史文献、Unicode提案文件和学术来源,最终解决了Unicode标准中这个长期存在的谜团。
Cloudflare推出了一个新的爬取端点,允许开发者通过编程方式启动跨其爬虫网络的爬取作业。这个API提供了一种标准化的方式来请求网站内容,具有速率限制、内容类型指定和作业完成通知回调URL等功能。这个端点代表了Cloudflare向网络爬取服务的扩展,可能会与现有解决方案竞争,同时利用其巨大的全球基础设施。
作者描述了构建自主AI代理来运行任务,这些任务可以在他们睡觉时运行,专注于实际应用,如数据处理、内容生成和系统监控。这些代理利用现代AI模型和调度系统独立运行,在指定时间唤醒以执行预定义任务并报告结果。文章详细介绍了创建可靠后台代理的架构和实现挑战,这些代理可以优雅地处理故障并提供有意义的通知。
Yann LeCun,Meta的首席AI科学家和图灵奖得主,获得了10亿美元资金用于开发能够理解和推理物理世界的AI系统。他的愿景涉及创建超越语言模型的AI,开发物理常识和推理能力,有可能使机器人和自主系统能够在复杂的真实环境中导航。这一巨额投资表明对具身AI的强烈信心,可能加速向通用智能系统的进步。
文章展示了性能基准测试,显示RISC-V处理器的速度明显低于x86和ARM同类产品,一些测试显示性能损失达2-3倍。作者考察了导致这一性能差距的各种因素,包括不太成熟的编译器优化、有限的硬件实现以及与已建立架构相比相对年轻的生态系统。尽管承认RISC-V在开放性和可定制性方面的优势,但文章认为原始性能仍然是许多应用的关键弱点。
RunAnywhere,一家YC W26创业公司,推出了一款用于在Apple Silicon硬件上进行更快AI推理的命令行工具。该工具通过利用Apple的Metal GPU框架和专门的ML加速器来优化模型执行,与传统的基于CPU的推理相比,可能提供显著的速度提升。这一发展可能使Apple设备对AI开发工作流程更具吸引力,特别是对于已经在Apple生态系统中工作的开发者来说,他们希望在没有云依赖性的情况下运行本地模型。
Debian项目决定不对是否应接受AI生成的贡献到其开源软件存储库中采取正式立场。在社区就AI生成代码的含义进行了广泛辩论之后,包括对许可、归属和质量的担忧,Debian的领导层得出结论,现有的贡献指南已经足够。这种不干预的方法意味着个别软件包维护人员将继续根据具体情况评估AI生成的提交,反映了开源社区在如何处理AI生成内容方面更广泛的不确定性。
Mozilla引入了Invoker Commands API,这是一个新的网络标准,允许网站注册可被浏览器、操作系统或其他应用程序调用的自定义命令。这个API使开发者能够为他们的网络应用程序创建丰富的命令界面,类似于原生应用程序可以注册全局快捷键或命令的方式。规范包括安全考虑,并提供了一种结构化的方式,让网络应用程序可以暴露功能,这些功能可以被各种用户界面发现和触发,超越传统的网络交互。
斯坦福大学的研究人员开发了一种通用疫苗候选者,对多种呼吸道感染和过敏原显示出希望。这种疫苗通过针对不同病原体之间的保守区域起作用,可能提供对引起呼吸道疾病的各种病毒和细菌的广泛保护。早期动物研究已经证明对多种流感毒株、冠状病毒和其他常见呼吸道病原体有效,表明这种方法可能导致一种单一疫苗,减少季节性疾病和新出现传染病的负担。