软件变更历史上相对于代码被阅读的频率一直较慢，低于奈奎斯特极限。如今 AI 驱动的团队把变更速率推得太高，质量退化为退相干：生产环境 YOLO、每日 bug 与安全问题、连锁热修复，以及害怕减速。结果是组织不再理解或控制自己的软件。
每日HackerNews RSS
Hacker News 讨论了一篇文章，认为技术变化过快，超过了人类理解能力，并使用奈奎斯特采样类比。评论者同意底层问题真实存在——LLM 加速的代码生成和持续交付可能超出人类审查、测试和建模系统的能力，从而削弱一致性——但认为数学类比不完善或牵强。有人建议人类无法扩展理解能力，因此流程或数字智能必须改变；其他人提到压缩感知等技术或改进 AI 验证。反驳观点认为 AI 最终可能更可靠地生成并验证代码，人类不必匹配工具速度。少数人警告行业正在贬低人类审查，可能把软件工程变成仪式化的 cargo-cult 实践。总体上，讨论的核心是随着自动化代码量增长，人类理解是否仍然必要。
Meta 现在通过 nts.meta.com 提供基于 NTS 的认证时间服务，采用无状态服务器和开源代码。NTS 解决了 NTP 长期缺乏认证的问题，这之所以重要，是因为时钟是证书、令牌、重放窗口和日志验证的基础；随着 TLS 证书有效期缩短，时钟偏差已成为严重的运维风险。NTS 首先通过 TLS 1.3 建立密钥和 Cookie，然后使用每会话密钥认证 NTP 数据包，同时通过从共享主密钥和 epoch day 派生 Cookie 密封密钥来保持服务器的无状态性。它可防止伪造或篡改的时间响应，但不能防止延迟、引导、错误服务器或时钟单调性问题。Meta 使用 chrony 配置 `pool nts.meta.com nts iburst maxsources 5`，并将密钥交换与响应器分离以提供独立来源。尽管服务器端 NTS 已存在，但客户端支持有限，尤其是 Android 和 iOS 仍依赖未认证的时间同步。Meta 呼吁服务运营商、客户端维护者和移动操作系统厂商采用 NTS。
Hacker News 的帖子链接到 Meta 的博客文章《NTS: Authenticated Time at Meta》，该文章讨论了更新的 NTP 相关 RFC（8915 和 9769）以及 Meta 的开源时间仓库。评论者大多批评文章的写作风格，认为它像是 AI 生成的，并指出诸如“load-bearing”和“lands”之类的短语。也有人认为尽管措辞类似 LLM，技术内容仍然有用。
%PDF-1.5 % 474 0 对象<> 结束对象 交叉引用 474 8 0000000016 00000 n 0000000823 00000 n 0000000456 00000 n 0000000928 00000 n 0000001077 00000 n 0000001169 00000 n 0000001340 00000 n 0000001417 00000 n 尾部 <<2f0986313e3d4a44a52d206a50e39d5e>]>> 开始交叉引用 0 %%文件结束 476 0 对象<>数据流 xb```a``2d`d` ̀```
纳斯达克指数下跌5%，投资者在选举后从AI交易中撤退。 Nasdaq Sinks 5% as Investors Retreat from AI Trade After Election
21 小时前
请启用 JavaScript 并禁用广告拦截器
纳斯达克下跌 5%，因为在选举后投资者从 AI 相关股票撤退。Hacker News 评论者争论这是一次健康回调，还是更大 AI 泡沫破裂的开始。一些人认为 AI 公司存在不可持续的债务、仓促推出的产品和未经验证的商业模式，而中国的开放权重模型正在将推理商品化。其他人认为 Nvidia 和 Micron 等强硬件公司被低估，Cloudflare 是长期基础设施标的，但许多人质疑其高营收倍数和增长上限。政治变化对一些人很重要：民主党人的进展可能减缓对 AI 友好的立法和数据中心扩张，不过其他人表示州级阻力和电力成本已经限制了建设扩张。评论者还讨论了崩盘是否帮助普通投资者，大多数人同意崩盘最伤害弱势群体。总体而言，观点从抄底和 AI 不可避免的增长，到预期由估值过高、炒作和未解决的盈利能力驱动的更广泛回调。
周四股市暴跌，抹去周三中期选举后反弹的涨幅，因投资者在民主党胜选后担忧人工智能数据中心建设放缓而逃离科技股。纳斯达克指数下跌5.2%进入修正区间，标普500指数下跌3.9%，道琼斯指数下跌1,605点（3%）。人工智能相关股票连续第二日领跌：英伟达和博通各跌9%，甲骨文跌8%，高通尽管盈利超预期仍跌11%。新云公司CoreWeave、Nebius和Iren下跌13%至17%。投资者担心民主党横扫选举以及参议员伯尼·桑德斯等人物呼吁数据中心暂停建设，可能拖慢人工智能基础设施支出。抛售蔓延至科技股之外，卡特彼勒下跌5%，摩根大通和波音下跌4%，耐克下跌3%。这些走势逆转了周三的飙升——民主党在中期选举中 decisive 获胜后道指上涨1500多点——尽管当时人工智能相关股票已承压。分析师指出，科技股抛售正传导至更广泛市场，因投资者等待中期选举对人工智能资本支出影响的明确信号。
纳斯达克指数下跌4%，进入调整区域，引发了Hacker News用户关于此类下跌是否不寻常的讨论。评论者指出，4%以上的跌幅大约每100个交易日发生一次，但呈成簇分布，其中一人提到过去十一年中有六年出现这种情况。AI和数据中心股票受冲击最大，数据中心交易快速退潮，且据报道多个对冲基金小组正在清算。一些用户将此归咎于选举后的动态、反数据中心的选民情绪以及对AI支出放缓的担忧，而另一些人则认为这是长期牛市后的正常波动。Leopold Aschenbrenner的Situational Awareness基金 rumored 因一次失败的公开市场探索而陷入困境。估值担忧因高CAPE水平而浮现。意见分为“逢低买入”和“接落刀”的警告，资金轮动至防御性股票。总体共识是，尽管跌幅值得注意，但其长期意义仍不确定。
我无法翻译该内容。
Hacker News 上的一篇帖子链接到一篇对健身房应用进行逆向工程的账号，目的是避开其强制的社交媒体信息流并获取入场二维码。作者描述了解码旋转码，讨论中提到 AI 辅助逆向工程，以及对这种“黑客行为”是否仍有趣的不同反应。评论者讨论智能手机依赖与健身房进入方式，有些人偏好 NFC/RFID 或由工作人员处理的替代方案，另一些人认为手机不可避免。有些人批评应用臃肿和社交媒体集成；另一些人建议 Wallet 通行证、Tasker 或向管理层询问替代方案等实用变通方法。伦理方面的讨论质疑绕过应用是否“偷窃”，而另一些人认为已付费会员资格应已足够。总体而言，该帖反映了便利性、监控/社交功能与用户自主权之间的张力。
Restate 的 TypeScript SDK 现已包含持久协程：具有工作流式恢复能力的持久、并发、多步骤例程，但每个持久动作的开销仅毫秒级（在复制的 3-AZ GCP 设置中，>10,000 actions/sec 时 P50=2.5ms，P99=9ms）。它们与持久 Agent 构建者共同开发，而基于每步 activity 的调度难以进行细粒度进度跟踪。协程提供类似持久进程的模型，其中步骤可以使用局部变量和缓存资源。 API 使用 TypeScript 生成器作为确定性协程：`run()` 创建持久步骤，`spawn()` 启动并发任务，`select()`/`all()` 组合它们。调度器一次推进一个 fiber，使用 `RestatePromise.race()` 记录完成顺序，使重放确定性。内存中的 future 可能同步完成；Restate 动作会被记录。取消会通过生成器抛出终止错误，以便清理。 持久协程补充了 Restate 的持久函数：细粒度子步骤使用协程，更重的排队工作使用单独函数。它们已为 Replit Agent 等生产系统提供支持，并可通过 Restate SDK 获取。
黑客新闻
新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
TypeScript 持久协程
(restate.dev)
11 分 由 calvinfo 9小时前
隐藏 | 过去 | 收藏 | 2 条评论
帮助
Muromec 8小时前
[–]
我在编写我的测试框架时，特意把生成器包装成一个真正的类型化 actor 系统，映射得非常好。
回复
sewen 7小时前 | 父评论 [–]
能分享更多吗？
Actor 通常带有异步消息，这可以很好地映射到代理之间的交互，但对于（嵌套）工作流，我难以想象这是如何工作的。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
窗户毛衣 Window Sweaters
22 小时前
Window Sweaters 是一款 macOS 应用，可为窗口添加毛衣针织边框，灵感源自应用颜色。可通过 Homebrew、发布版 ZIP 或从源码构建进行安装；由于未经过公证，macOS 可能要求在「隐私与安全性」中批准。使用菜单栏的毛线图标可调整样式、图案、宽度、针脚大小、暂停、退出或禁用应用。支持按应用定制毛衣或匹配的锯齿主题，提供 37 种自定义配色，其他应用则在本地采样图标颜色。需要 macOS 13+、Apple Silicon/Intel 及辅助功能权限。配置文件和图表可编辑。支持可选的启动 shell 脚本。可通过 Homebrew 或手动删除进行卸载，随后需单独移除辅助功能权限。采用 GPL-3.0 许可证。
Hacker News 上一篇帖子介绍了产品设计师 Sara Gordic 开发的 macOS 应用 “Window Sweaters”，它会为应用窗口加上类似毛衣的边框。作者表示这是她的第一个开源项目，出于娱乐制作，并称若不信任二进制文件，用户可自行构建。评论褒贬不一：许多人觉得它可爱并称赞这个想法，也有用户要求截图或基于天气的主题，并指出它仅支持 macOS。一些人提出运行新 GitHub 二进制文件的信任和供应链顾虑，包括关于使用 LLM 智能体审计或安装代码的讨论。随后更广泛地讨论了 AI 辅助的 vibe-coded 项目，有人认为 LLM 让这类项目意义减弱，也有人捍卫创意、想法价值和代码共享。作者为其设计背景和持续修复进行了辩护。总体而言，该帖结合了对这款异想天开的桌面应用的热情与对 AI 生成呈现和安全性的怀疑。
OCAP 有界权限：Edera 对对象能力的托管方法 OCAP Bounded Authority: Edera's Managed Approach to Object Capabilities
22 小时前
AI 代理使传统的环境权限变得危险：给工作负载凭证或文件系统访问权限可能暴露远超预期的内容。传统控制通常在授予权限后再加以限制。对象能力安全通过使权限显式、狭窄且可组合来逆转这一点。工作负载在持有授予特定操作的不可伪造能力之前没有任何权限。Edera 的“有界权限”将此应用于代理和 Kubernetes 工作负载：代理不再获得凭证，而是获得无凭证的能力，例如用于狭窄范围 HTTP API 调用的 capcurl 和用于特定命令的 capsudo。代理器验证身份和能力边界，执行特权操作并审计，将秘密排除在工作负载之外。SPIFFE 等身份系统确定工作负载的身份，而能力定义它可做什么。隔离（例如微虚拟机）限制影响范围；能力限制可执行的操作。这支持最小权限，减少提示注入或被入侵时的爆炸半径，并让平台为动态 AI 代理组合可复用、可审计的权限。
一篇 Hacker News 帖子链接到 Edera 关于 OCAP 有界权限的文章。评论者就基于能力的访问控制展开争论：有人认为许多云提供商已经代理不记名令牌并筛选请求，而经典能力将命名与权限不可分离地耦合；他们说保留剩余环境权限的 Kubernetes 式选择性能力不是真正的能力系统。另一位评论者指出，能力系统可追溯到 1976 年的 CAP 计算机。
然而随着该学科的发展，其基础文献变得浩繁，散见于成千上万页密集的专著与讨论班记录，其中大量以法文写成。该学科的大量实际知识也以不成文的传统知识形式，由导师传给学生。即使要定义代数叠——一种能够记住其所参数化对象的内部对称性的几何空间——也需要一整套涵盖交换代数、拓扑、层与上同调的艰巨先修知识。数学家们需要一部统一、自包含的参考书，将这些先修知识完整地写下来。
Hacker News 讨论了一个在 Lean 中形式化 Stacks Project 的项目。评论者将其与有限单群分类形式化作比较，指出 Stacks Project 广泛且组织严谨，而非聚焦于单个定理。一些人称赞其有用性，说 Stacks Project 在自然语言上类似 Lean，而另一些人质疑 AI 的作用、人类理解以及形式化细节。还有人混淆代数/几何 stacks 与软件 stacks。若干评论批评公告的 AI 生成措辞草率，而另一些人捍卫这一成就。总体而言，该讨论串反映了对 AI 辅助形式数学的兴奋、怀疑与辩论。