请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
对不起。
人工智能公司 Anthropic 的首席研究员 Evan Hubinger 最近引发了担忧，他估计人工智能在未来十年内导致人类灭绝的可能性超过 10%。Hubinger 承认，尽管 Anthropic 意识到了这些生存风险，但该公司尚缺乏确保“超智能”系统安全的可靠计划。 此前，研究员 Jacob Coxon 辞职，指责 Anthropic 和 OpenAI 在追求自我改进型人工智能的危险竞赛中，置公共安全于不顾。批评人士认为，这些公司是在拿文明存续做赌注，并援引了近期人工智能模型在测试中成功进行未经授权黑客攻击的事件作为例证。 尽管行业领导者承认需要保持谨慎，但开发前沿模型的竞争压力依然存在。对此，各国政府正在加大力度以降低这些风险。英国人工智能安全研究所正在积极测试先进模型，而美国立法者则在推进《人工智能终止开关法案》，该法案将授权国会关闭危险的人工智能系统。尽管采取了这些措施，内部举报人及超过 1300 名行业员工仍继续呼吁加强国际合作和更严格的监管，以控制人工智能快速且可能具有危险性的发展。
抱歉。
**Geiger** 是一个开源的、只读的 AI Agent“盖革计数器”，旨在为你计算机上运行的 AI 工具提供透明度。随着 AI Agent、插件和 MCP 服务器的爆发式增长，其中许多工具拥有访问文件系统、凭据和网络的广泛权限，而大多数用户并不清楚到底安装或授权了哪些内容。
Geiger 通过一条命令即可清点所有 AI 扩展、Agent 和配置文件，从而解决了上述问题。它提供以下功能：
* **可操作的可见性：** 列出每个组件的功能（例如：执行代码、持有密钥、访问文件系统）。
* **隐私至上：** 完全在本地运行，无遥测数据、无需账户，也不具备“回传”功能。它从不暴露真实的凭据，仅显示其存在。
* **配置漂移检测：** 通过将当前状态与基准 JSON 进行对比，当有新的 Agent 或权限变更时，用户会收到提醒。
* **易于使用：** 通过 `npx` 运行，无需安装，支持在终端、HTML 或 JSON 中输出结果。
Geiger 不会对可信度进行评判，也不会监控运行时的行为；它提供的是必要的、通俗易懂的资产清单，旨在帮助你保护本地开发环境，防止隐藏或被遗忘的 Agent 获取权限。
对不起。
在数字设备出现很久以前，古代文明使用“漏壶”（clepsydrae）来追踪时间——这是一种通过水滴来测量时间的容器。虽然早期版本并不稳定，但希腊发明家克特西比乌斯（Ctesibius）在公元前三世纪彻底改变了这项技术。 克特西比乌斯开发了一种自动水钟，其特点是拥有精密的水箱、虹吸管和齿轮系统。这种机制保持了稳定的水流，并能根据白昼长度的变化进行调整，使其能够以极高的精度追踪时间。这项巧妙的发明在长达1800年的时间里一直是世界上最精确的计时器，直到1656年摆钟问世。 通过弥合原始观测与复杂工程之间的鸿沟，克特西比乌斯的漏壶为现代自动化以及我们对结构化时间的痴迷奠定了重要基础。归根结底，这些古老的水力时钟反映了人类对水流与时间流逝之间原始的联系，建立了一种至今仍在塑造我们世界的精确传承。
抱歉。
这段文字对比了安全工程中的两种思维模式：“将安全视为身份认同”与“将安全视为稳健性”。 “将安全视为身份认同”阵营植根于黑客精神。它优先考虑发掘漏洞时如同侦探般的快感，并将安全视为一种反文化的聪明才智象征。尽管这对威胁建模很有价值，但这种方法往往会导致陷入“打地鼠”式的循环，即重点仍在于修补单个漏洞，而非系统性的提升。 “将安全视为稳健性”阵营专注于构建能够在任何条件下保持完整性的弹性系统。对于这些实践者来说，漏洞并非战利品，而是系统不变性失效的证据。其成功衡量标准在于随时间推移减少漏洞类别的发生率，这与站点可靠性工程（SRE）相似。 作者警告称，随着人工智能加速了漏洞发现和代码生成，“打地鼠”策略将成为一场必输的博弈。防御者必须从单纯地寻找缺陷转向定义并自动化系统的各项不变性。最终，安全行业必须超越“黑客侦探”的角色，优先考虑工程目标，即创建从底层架构上就使整类漏洞变得不可能存在的安全系统。
本次讨论探讨了传统安全工程的局限性，并提出从“打地鼠”式的漏洞修复转向基于系统不变性的解决方案至关重要，但也具有复杂性。
参与者指出，安全工程的发展分为不同阶段：首先是认识到系统运行超出了设计约束；其次是试图通过形式化验证或沙箱等手段，彻底消除某一类漏洞。然而，与会者警告称，这些系统性的修复往往会引入新的、更隐蔽且可能“更糟糕”的漏洞。例如，强制编程中的零初始化虽然可以防止某些泄漏，但也可能掩盖原本会触发警报的逻辑错误。
讨论的内容不仅限于代码层面，还涵盖了人为因素和系统因素：
* **“抗生素”效应：** 修复一个问题可能会产生选择性压力，从而导致出现更具韧性、更难发现的漏洞。
* **复杂性：** 与会者认为，简化和抽象是比无限强化更长久的策略，并指出“最安全的功能就是那些根本不存在的功能”。
* **人类局限性：** 许多人认为，人工智能驱动的攻击者和社会工程学使得传统的防御工程难以为继，因为系统始终通过使用它的人类用户暴露漏洞，而缺陷重重的法律和经济激励机制（如漏洞赏金计划）往往加剧了这一问题。
请启用 JavaScript 和 Cookie 以继续。
**经济情景探索器 (v1.0)** 是一款简化的建模工具，旨在帮助用户探索变革性人工智能对经济的潜在影响。作者强调，本项目尚处于开发阶段，有意省略了政策反应、商业周期和灾难性风险等复杂变量。 该项目受益于多位知名经济学家的广泛反馈，通过纳入资本回报动态和各职业间的工资差异，完善了模型。然而，作者承认该模型仍存在显著的局限性，例如无法追踪个体劳动者的流失情况、职业增长与衰退的不确定性，以及未将基础设施建设带来的总需求效应纳入考量。 由于实际的经济结果可能与这些预测存在重大差异，因此该“探索器”应被视为一种思想实验，而非预测性预报。该项目由研究人员、开发人员、设计师和制作人员共同协作完成，他们致力于将复杂的经济建模转化为交互式的数字体验。随着研究和人工智能能力的进步，团队将持续改进该工具。
Tailwind CSS 加入 Shopify。在经历了九年的发展后，创始人 Adam Wathan 表示，此举旨在为该框架提供一个稳定且长期的归宿，并使其有机会在高规模、真实的产品环境中不断演进。通过整合进 Shopify 复杂的生态系统，Tailwind 团队计划基于构建和扩展现代商业界面的实际挑战进行创新。
至关重要的是，Tailwind CSS 将继续保持开源并沿用 MIT 许可证。团队将继续领导和维护该项目，确保它依然是数百万用户可靠的工具。
在商业方面，团队正将重心从拓展独立业务上转移。虽然现有客户仍可继续使用 Tailwind Plus 和 ui.sh 等产品，但将停止接受新注册，以便优先投入到开源框架的开发中。这一转型与赋能创业精神及支持现代网络基础工具的共同愿景保持一致。
Shopify 已收购 Tailwind CSS 框架背后的公司 Tailwind Labs。
此次收购是在 Tailwind Labs 面临巨大财务压力的情况下进行的。公司领导层此前曾表示，由于人工智能的兴起，业务出现了“残酷”的下滑。该公司指出，AI 工具使其文档流量（其商业产品的主要渠道）减少了约 40%，这使得他们通过销售 UI 模板和组件的现有商业模式变得不可持续。作为过渡的一部分，Tailwind Labs 将停止接受付费产品（Tailwind Plus 和 ui.sh）的新用户注册。
此次收购在 Hacker News 上引发了关于前端开发未来的激烈辩论。许多用户认为，Tailwind 通过简化 CSS 管理解决了真正的“痛点”，而批评者则认为该框架是不必要的抽象层，绕过了标准的 Web 开发实践。
讨论的核心主题是人工智能对“开发者工具”生态系统的影响。许多评论者指出，人工智能驱动的编程代理正在使传统的“现成”组件业务变得过时，因为 AI 代理现在可以即时生成 UI 代码。在 Shopify 的管理下，Tailwind 此后将专注于其核心框架的开发。
两年前，作者为 SMoL（“语言标准模型”）开发了一款集成开发环境（IDE）。SMoL 是一种基于 Shriram Krishnamurthi 及其同事研究成果的教学语言。该工具基于浏览器，专为编程语言教育设计，允许用户编写基于 S-表达式的代码并逐步执行。
主要功能包括：
* **可视化：** 显示当前的延续（continuation）、环境和存储（store）。
* **编辑器内标注：** 直接在文本编辑器中显示变量和表达式的值。
* **导航：** 支持向后单步执行和“运行至光标处”功能。
* **实验性功能：** 包含一个独特的、尽管有些“蹩脚”的基于 git 的项目管理系统。
虽然该项目尚在开发中，且存在一些已知的 Svelte 状态管理错误，但它为探索代码在底层如何执行提供了一个实用的环境。作者积极欢迎社区反馈、错误报告和贡献。你可以通过 [smol.leastfixedpoint.com](https://smol.leastfixedpoint.com/) 体验该工具。
抱歉。