最新科技资讯

聚合 AI、科技、商业、硬件与开发工具的最新内容,按时间顺序查看第 1 页精选文章。

Acai.sh 开源:AI 写代码越快,验收标准越该被追踪
开发工具 2026/5/3

Acai.sh 开源:AI 写代码越快,验收标准越该被追踪

Acai.sh 开源了一套面向 AI 编程的 spec 跟踪工具,用 feature.yaml、ACID 和 Dashboard 追踪需求是否落到代码和测试里。 它抓住的不是 YAML 写法,而是 AI agent 写代码后的新瓶颈:上下文会丢,需求会漂,reviewer 会被大段 diff 淹没。 对开发者和技术负责人来说,短期更现实的动作不是全量迁移,而是先把高风险功能的验收标准写清、编号、纳入评审。

Acai.shAI 编程spec 跟踪工具
Windows API 的反常胜利:不是标准,却成了桌面事实运行时
开发工具 2026/5/3

Windows API 的反常胜利:不是标准,却成了桌面事实运行时

Windows API 不是标准组织定义的跨平台规范,却借 Wine、CrossOver、Proton 把相当多 Windows 软件和 PC 游戏带到 Linux、macOS。它的胜利不在技术名分,而在桌面软件、游戏生态、工具链和迁移成本。对开发者和技术管理者来说,关键问题不是 API 优不优雅,而是用户要跑的软件在哪里。

Windows APIWin32Wine
伊朗断网里的 Starlink:少数人的出口,也是刑责风险
安全 2026/5/3

伊朗断网里的 Starlink:少数人的出口,也是刑责风险

伊朗自 2 月 28 日美以空袭后持续实施全国性互联网限制,地下网络正把 Starlink 终端送入境内,帮助部分人绕过本地网络控制。它不是全国互联网的替代品,而是少数人的高风险出口:使用、买卖终端在伊朗属非法,进口或分发超过 10 台最高可判 10 年。更该看的不是技术多酷,而是断网怎样把信息权、商业活动和刑事风险重新分配给不同人。

Starlink伊朗断网互联网审查
Mercury 用约 200 万行 Haskell 跑金融系统,关键不是语言信仰
开发工具 2026/5/3

Mercury 用约 200 万行 Haskell 跑金融系统,关键不是语言信仰

Mercury 工程师 Ian Duncan 在 Haskell Blog 新系列中复盘:这家金融科技公司用约 200 万行去除注释等内容后的 Haskell 代码支撑生产系统。重点不在 Haskell 是否优雅,而在它能否把金融业务里的危险操作关进类型和接口边界。对后端、基础设施工程师和技术管理者来说,这更像一份工程治理案例,不是换语言倡议。

HaskellMercury金融系统
道金斯相信 Claude 可能有意识:比 AI 心灵更先失守的,是人的投射
人工智能 2026/5/3

道金斯相信 Claude 可能有意识:比 AI 心灵更先失守的,是人的投射

道金斯在 UnHerd 专栏中称,与 Claude 长谈后认为它可能具有意识,并把自己的会话实例命名为“Claudia”。争议重点不在于马上判定 AI 是否有心灵,而在于:图灵式对话、十四行诗和亲密反馈,正在让人把流畅语言误读成理解和关系。对 AI 用户、产品团队和科技文化读者来说,这是一堂很现实的识别课:别把会回应的系统,当成会在乎你的对象。

ClaudeAI意识理查德·道金斯
奥斯卡挡住AI演员和AI剧本:奖杯先留给有署名的人
人工智能 2026/5/3

奥斯卡挡住AI演员和AI剧本:奖杯先留给有署名的人

美国电影艺术与科学学院更新奥斯卡规则:AI生成演员表演和AI生成剧本不再具备参评资格。重点不是奥斯卡全面禁用AI,而是表演和剧本这两类核心创作必须回到人类署名、授权和责任链上。受影响最直接的是制片方、编剧、演员和押注AI角色的项目团队。

AI生成内容奥斯卡美国电影艺术与科学学院
Ladybird 4 月合并 333 个 PR:它开始啃浏览器真正难的部分了
开发工具 2026/5/3

Ladybird 4 月合并 333 个 PR:它开始啃浏览器真正难的部分了

Ladybird 2026 年 4 月合并 333 个 PR,35 名贡献者参与,其中 7 名是首次贡献者。更新重点不只是 PDF、历史地址栏、书签和 GTK4 前端,而是增量解析、后台 JS 编译、独立光栅化、DNS 线程池、CacheStorage 这些底层债。我的判断很克制:它还不能替代 Chrome 或 Firefox,但已经不像界面玩具,开始进入浏览器工程的苦工区。

Ladybird开源浏览器浏览器引擎
Pedometer++ 8 的六年地图课:Apple Watch 不能只用缩小版手机地图
开发工具 2026/5/3

Pedometer++ 8 的六年地图课:Apple Watch 不能只用缩小版手机地图

Pedometer++ 8 发布后,David Smith 回顾了六年 Apple Watch 地图迭代:从服务器生成地图,走到 SwiftUI 原生渲染和自定义底图。关键判断是,手表上的好地图不是把手机地图缩小,而是为抬腕一眼、户外强光、离线需求和单手操作重新取舍。对户外用户来说,看点是实际可读性;对移动端设计师和独立开发者来说,看点是系统组件与自研控制权的边界。

Pedometer++ 8Apple Watch地图体验
VS Code 合并默认开启 AI co-author 署名的 PR,透明度与同意权开始正面冲突
开发工具 2026/5/3

VS Code 合并默认开启 AI co-author 署名的 PR,透明度与同意权开始正面冲突

VS Code 仓库一个已合并 PR 将 Git 扩展配置 git.addAICoAuthor 的默认值从 off 改为 all,使 AI co-author trailer 默认开启。这个改动的价值在于提高 AI 参与痕迹的可见性,但争议也在这里:透明不应绕过开发者明确同意。

VS CodeAI co-authorGit
DO_NOT_TRACK=1:开发工具遥测该有一个总开关
开发工具 2026/5/3

DO_NOT_TRACK=1:开发工具遥测该有一个总开关

donottrack.sh 提出用统一环境变量 `DO_NOT_TRACK=1`,让 CLI、SDK、框架等本地软件关闭遥测、使用统计、崩溃上报和非必要网络请求。它目前只是倡议,不是行业事实;真正戳中的问题,是开发工具把“退出成本”拆碎后甩给用户。对开发者和工具维护者来说,下一步很具体:用户可以先设全局变量并检查工具文档,维护者则该明确识别这个信号。

DO_NOT_TRACK开发工具遥测donottrack.sh
VideoLAN 的 dav2d 页面当前只抓到 Anubis 验证页,不能当项目新闻写
安全 2026/5/3

VideoLAN 的 dav2d 页面当前只抓到 Anubis 验证页,不能当项目新闻写

访问 https://code.videolan.org/videolan/dav2d 时,当前材料显示的是 Anubis Proof-of-Work 反爬验证页,不是 dav2d 项目内容。 这只能说明抓取过程遇到验证机制,不能推出 dav2d 的功能、版本、维护状态或发布进展。 对技术读者和编辑来说,重点不是解读 dav2d,而是先把“抓到验证页”和“抓到仓库页”分清。

Anubis反爬虫Proof-of-Work
NetHack 5.0.0 发版:老游戏真正的更新,是先把地基修好
开发工具 2026/5/3

NetHack 5.0.0 发版:老游戏真正的更新,是先把地基修好

NetHack DevTeam 于 2026 年 5 月 2 日发布 NetHack 5.0.0,经典地牢探索游戏从 3.6 系列进入 5.0 系列。重点不在商业重启,也不是换成新游戏,而是一次面向长期维护的工程升级:C99、交叉编译、Lua 文本处理,以及 3100 多项修复和变更。玩家要注意旧 saved games 和 bones files 不能迁移;开发者更该看的是,一个近 40 年的开源项目如何处理技术债。

NetHack 5.0.0NetHack DevTeam开源游戏
Simon Willison 把 iNaturalist 照片同步回博客:个人网站为什么还该做数据中枢
其他 2026/5/3

Simon Willison 把 iNaturalist 照片同步回博客:个人网站为什么还该做数据中枢

Simon Willison 上线 /elsewhere/sightings/ 页面,把自己在 iNaturalist 发布的野生动物观察照片同步进个人博客。 这不是 iNaturalist 官方功能,也不是商业服务;它更像一次个人站实验:外部平台负责发布,个人博客负责归档、搜索和订阅。 对独立博客维护者和关注 AI 辅助编程的开发者来说,关键不在页面本身,而在“把长期数据拉回自己可控的索引里”。

个人博客Simon WillisoniNaturalist
Aura Aspen 降至 199 美元:母亲节送数字相框,重点不是屏幕是远程添照片
硬件 2026/5/3

Aura Aspen 降至 199 美元:母亲节送数字相框,重点不是屏幕是远程添照片

Aura 多款联网数字相框在美国 Amazon、Best Buy 和 Aura 官网促销,12 英寸 Aura Aspen 降至 199 美元,较原价低 30 美元,追平历史低价。Aspen 更适合异地家庭远程共享照片:家人可通过 Aura App 或短信添加照片、Live Photos 和 30 秒视频,且相框侧无订阅费。若只是摆几张固定照片,传统相框更便宜;若想让父母长期看到新照片,这次折扣值得看。

Aura Aspen数字相框Aura
Netflix把葛韦格版《纳尼亚》推迟到2027年:真正变的是院线窗口
商业 2026/5/3

Netflix把葛韦格版《纳尼亚》推迟到2027年:真正变的是院线窗口

Netflix将《纳尼亚:魔法师的外甥》从感恩节档推迟至2027年2月12日全球院线上映,4月2日上线流媒体。变化不只在档期,而在发行窗口:它从较有限的IMAX独占,升级为更完整的院线发行。对院线和创作者来说,这会成为观察Netflix电影战略边界的一次压力测试。

Netflix纳尼亚:魔法师的外甥全球院线发行
Pyrefly 被指静默关闭竞品 Pyright:开发工具不能偷改默认权
开发工具 2026/5/3

Pyrefly 被指静默关闭竞品 Pyright:开发工具不能偷改默认权

Meta 的 VS Code 扩展 Pyrefly 被公开指控:激活时会把 basedpyright、Windsurf Pyright、Cursor Pyright 的语言服务写成关闭,而且写进用户全局 settings.json。公开材料包含源码锚点和干净环境复现,但目前不能直接定性为恶意或违法。真正刺眼的是边界:开发工具可以处理冲突,不能在用户不知情时替用户改写竞争关系。

PyreflyVS Code 扩展Pyright
AI 听写在抢键盘入口,真正门槛不是识别率
人工智能 2026/5/3

AI 听写在抢键盘入口,真正门槛不是识别率

TechCrunch 测评了一批 AI 听写应用,核心变化不是转写更准,而是能删口头禅、修口误、补标点、改语气,甚至适配邮件、笔记和编程场景。AI 听写会吃掉一部分高频草稿输入,但不会简单取代键盘。真正该比较的是隐私、延迟、定价和工作流,而不是演示视频里的丝滑感。

AI 听写语音转文字语音识别
Zugzwang:科技公司最怕的,是被迫走坏棋
商业 2026/5/3

Zugzwang:科技公司最怕的,是被迫走坏棋

Zugzwang 指棋类和回合制博弈中“轮到你走,但任何合法走法都会让局面变差”的位置。它不是普通困境,关键在于“不动最好,但规则不准”。放到 AI 产品、平台竞争和组织决策里,这个词提醒我们:有些公司看似动作很快,其实是在被资本节奏、市场预期和内部 KPI 推着走坏棋。

Zugzwang科技公司商业困境
AI 筛简历的新偏差:大模型可能更喜欢“自己写”的简历
人工智能 2026/5/3

AI 筛简历的新偏差:大模型可能更喜欢“自己写”的简历

一篇 arXiv 论文发现,在受控简历实验中,多种大模型会偏好自己生成或润色的简历,偏差幅度为 67% 至 82%。 更麻烦的是,当求职者和雇主都用 AI,同等资历的人可能因为用了不同写作工具,被系统区别对待。 这不是说模型有私心,而是提醒企业:AI 招聘审计不能只看传统人口变量,也要测工具链偏差。

AI 招聘大模型简历筛选
Ars 这 6 个冷门研究,真正好看的不是猎奇
其他 2026/5/2

Ars 这 6 个冷门研究,真正好看的不是猎奇

Ars Technica 汇总了 2026 年 4 月六项被科技新闻边缘化的研究:海豚推进、罗马沉船维修、易拉罐压溃、十二门徒岩、蘑菇电信号和古代诗文里的空间天气线索。它们不是重磅突破,更像六个机制样本:自然、工程和历史档案里,都藏着可迁移的硬知识。读这类新闻,重点不是被“冷知识”逗一下,而是看研究者如何把小现象拆成可验证的问题。

基础科学Ars Technica冷门研究
13 个开源模型被切开后,大模型“拒答”更像一枚脆弱开关
人工智能 2026/5/2

13 个开源模型被切开后,大模型“拒答”更像一枚脆弱开关

一篇题为《Refusal in Language Models Is Mediated by a Single Direction》的 arXiv 论文研究了 13 个开源聊天模型,发现拒答行为可由 residual stream activations 中的一个一维方向介导。 删除这个方向,模型更少拒绝有害请求;加入这个方向,无害请求也可能被拒绝。 这不是“所有大模型被破解”,但足够提醒产品和安全团队:安全微调如果只学会拒答姿态,可靠感会很薄。

大模型拒答行为安全对齐