DATE ARCHIVE
2026-09-25
当日发布的文章 2026-09-25.
理解 Haskell 中的 foldl 和 foldr：结合律、求值和空间使用
本文解释了 foldl 和 foldr 在严格和惰性语言中在结合律、求值顺序和空间使用方面的差异，以及何时应优先使用每种变体。
自动车牌识别系统在林赛·艾萨克斯冤案中的角色
23岁的佛罗里达州居民林赛·艾萨克斯因自动车牌识别系统数据错误地将其车辆与一起致命车祸关联，遭到错误逮捕并被单独监禁了13天。
人工智能驱动数学发现时代下人类能动性的未来
随着人工智能系统开始产生日益复杂且影响深远的数学见解，研究界正面临一项严峻挑战：如何保持人类的理解力与能动性。Amit Sahai 在 Terence Tao 的博客上发表的一篇客座文章指出，社会必须优先培养一支由数学家组成的“可部署智力储备”队伍，以解读并验证这些突破性成果。
研究人员发现微软内部分析服务中缺失的 JWT 签名验证
一名16岁的安全研究人员发现，微软内部的 Titan 分析服务接受未签名的 JWT 令牌，使他们能够以管理员身份登录并在报告和修复该漏洞之前，对17万亿行数据执行 SQL 查询。
用连续 AI 模型将《波斯王子》移植到 C#：每一轮的收获
Priyan R. 开展了一项多轮实验，将 1989 年 Apple II 游戏《波斯王子》从 6502 汇编移植到 C#，每一代新模型获得的都是相同的源代码且不得修改。前几轮生成的架构一塌糊涂；直到模型能把自己输出的结果与 DOSBox 中运行的真实 DOS 版游戏进行比对，才迎来突破——最终 Opus 5.5 依据开源 SDLPoP 重建项目中的房间绘制例程完成了移植。
新墨西哥州陪审团裁定Facebook在剑桥分析事件中欺骗用户需承担责任
新墨西哥州陪审团裁定Facebook在剑桥分析丑闻中就隐私保护和数据处理实践误导用户需承担责任，这是该州作为唯一继续推进此案的州所取得的重大法律成果。
《Lemmings》如何失去了大众市场魔力
《Lemmings》最初是一款看似简单却大获成功的作品，但后续作品增加了复杂性，改变了角色的基调，并追随 3D 潮流。结果是，该系列最初的吸引力与其后期发展方向之间的差距越来越大。
土耳其哥贝克力石阵出土首批完整墓葬，揭示侵蚀如何将数百块人骨散落全遗址
考古学家在土耳其哥贝克力石阵发现了首批两座未遭扰动的墓葬，年代可追溯至公元前8700年至8000年。这一发现解释了为何928块破碎人骨会散落在宏伟建筑的填土中：它们极可能源自高地建筑地基下的普通地基葬，后因侵蚀被冲刷至低处，而非出于单一的特殊丧葬仪式。
对Meta Muse智能体的分析揭示了其整合第三方人工智能模型的潜力
近期对Meta Muse智能体文件系统的分析表明，尽管该平台主要依赖内部基础设施，但它可能会有选择地将任务路由至外部人工智能模型，包括来自OpenAI和Anthropic的模型。