Linear 近期对 CI 流水线进行了全面升级，旨在应对不断上涨的基建成本和开发者等待时间。尽管测试套件的规模扩大了四倍，他们仍成功将合并请求的等待时间缩短了超过一分钟，并将每个测试的运行时间减少了约 50%。 改进主要集中在四个关键领域： 1. **基础设施**：迁移至更快的第三方运行程序并升级了工具链，例如改用 `tsgo` 以加快类型检查速度。 2. **Linting 优化**：重写了自定义规则，改用静态分析而非耗时的 TypeScript 类型信息，显著降低了内存占用和执行时间。 3. **工作流效率**：通过限制抓取深度、消除冗余检出以及批量处理小型任务，优化了“关键路径”作业。他们还通过在基础镜像中预装共享依赖项并避免不必要的缓存，降低了每个作业的设置成本。 4. **测试执行**：增加了测试分片（sharding），并在 Vitest 中引入了受控的模块状态共享，这是性能提升最显著的部分。 通过系统性地最小化设置开销并将非关键任务卸载，Linear 确保了 CI 速度能够随着代码库的快速增长而同步扩展。这些改动每月节省了约 87,000 分钟的运行时间，在测试负载增加的情况下，依然保持了高效的开发周期。
每日HackerNews RSS
请启用 JavaScript 和 Cookie 以继续。
NASA的火星样本返回（MSR）任务旨在取回“毅力号”火星车采集的地质样本，但由于成本激增至110亿美元且项目周期延长至2040年代，该任务实际上已被取消。
Hacker News上的讨论反映了关于现代太空探索现状的广泛争议。批评者认为，NASA的任务设计过于复杂且效率低下，受制于陈旧的采购模式以及受政治利益驱动的预算膨胀。相反，一些参与者主张转向利用SpaceX等商业合作伙伴的“更廉价、更快捷”的模块化任务，而非依赖大型、政府主导的“一次性”项目。
讨论的很大一部分集中在地缘政治竞争上，指出中国正在积极推进其计划于2028年进行的火星采样返回任务（天问三号）。虽然一些评论者担心美国在太空探索领域的领先地位正在丧失，但另一些人认为，目前对超定制、高成本探测器的关注已经过时。讨论总结认为，尽管MSR项目110亿美元的特定架构已经终结，但取回火星样本的目标对于科学发现和国家声望而言，依然是一个高风险、高回报的重要目标。
Grok 4.7 (xhigh) 是目前智能水平领先的模型之一，与同价位模型相比具有很高的性价比。该模型支持文本和图像输入，输出文本，并拥有 50 万 token 的上下文窗口。 Grok 4.7 (xhigh) 在人工智能分析智能指数（Artificial Analysis Intelligence Index）上得分为 46 分，远高于同类模型的平均水平（中位数：11）。在智能指数评估过程中，它生成了 2.4 亿个 token，与 9200 万的中位数相比非常冗长。 Grok 4.7 (xhigh) 的定价为每 100 万输入 token 0.00 美元（极具竞争力，中位数：0.17 美元），每 100 万输出 token 0.00 美元（极具竞争力，中位数：0.57 美元）。
许多城市正在用 Axon 的类似技术取代 Flock 的自动车牌识别（ALPR）摄像头，这主要是由于公众对执法部门利用 Flock 数据进行有争议用途（包括追踪堕胎行为和协助美国移民及海关执法局）表示强烈不满。
调查媒体 404 Media 目前正在发起一项调查，旨在了解警方如何使用 Axon 的监控系统，以及他们与谁共享这些数据。这些系统会生成“活动报告”，详细记录具体的警员搜索信息，包括时间戳、车牌号码以及查询理由。
为了扩大这项调查，404 Media 请求公众通过向当地警察局提交公开记录申请来提供帮助。他们提供了一份模板，供公民申请关键文件，例如内部活动报告、网络共享报告和黑名单管理报告。通过获取这些日志，404 Media 希望揭示执法机构如何利用 Axon 的监控功能。收到相关记录的读者被鼓励将其分享给 404 Media，以协助调查。
请启用 JavaScript 和 Cookie 以继续。
本分析探讨了如何利用“参数化假设-保证”（PAG）契约来建模分布式系统中的亚稳态故障，特别是重试风暴。尽管 2017 年提出的 PAG“小增益定理”提供了一种无需分层即可解决循环论证的方法，但其标准形式（假设组件无记忆且增益为标量）无法涵盖依赖积压的队列及多变量耦合的情况。 通过追踪两个耦合队列（新请求和重复请求）及其与服务器容量的交互，作者推导出一个描述系统行为的四斜率矩阵。线性稳定性分析显示，当跨队列耦合（一个队列如何影响另一个队列）导致系统行列式减小时，特征值会超过 1，从而使系统变得不稳定。这一数学结论验证了重试预算或队列上限等常用修复手段的有效性，这些措施通过消除耦合来恢复系统稳定性。 作者总结认为，虽然 PAG 形式化为按“坏度”级别对契约进行索引提供了一个有用的框架，但目前的组合理论尚不足以应对具有显著记忆和状态交互的系统。未来的工作必须弥合抽象标量增益与分布式队列中多组件、状态依赖现实之间的差距。
这篇 Hacker News 帖子讨论了研究员 Murat Demirbas 的博文《寻求自稳定的组合理论》。讨论重点在于维持系统稳定性的挑战，特别是在分布式系统和排队系统中。
评论者强调了“亚稳态”的相关性，并指出系统往往会进入难以管理的非稳定状态，除非采取清理队列等激进的干预措施。参与者认为，虽然原文在概念上极具挑战且抽象，但其基本原理与控制理论和锁相环（PLL）相关。这些机制正越来越多地被应用于从超材料、信息论到人工智能对齐等各个领域。最终，讨论将自稳定定义为系统工程中一个关键但复杂的领域。
请启用 JavaScript 并关闭所有广告拦截器
研究人员在 `mathmain`、`mathsbase` 和 `math-universe` 等多个 npm 软件包中发现了隐藏的远程访问植入程序。这些软件包伪装成合法的 `mathjs` 库，其中包含经过混淆的休眠代码，只有在执行特定的数学运算时才会被激活。 该触发条件要求调用者向软件包的求解器函数提供特定的 3x3 帕斯卡矩阵。此操作会生成一个密钥（矩阵的 JSON 编码下三角因子），并使用 AES-GCM 算法解密隐藏的有效载荷。 解密后的有效载荷作为一个复杂的后门运行，能够捕获主机数据、生成加密密钥并执行 Shell 命令。该植入程序利用 Slack、Telegram 以及 Base Sepolia 测试网上的区块链网络等公共服务作为命令与控制通道，以接收攻击者的指令。 这些恶意代码并未出现在相关软件包的公共 GitHub 存储库中，表明它是通过 npm 发布过程注入的。虽然该攻击需要特定的触发条件（在公共代码中并未发现），但其有效载荷的复杂性以及共享的基础设施（包括一个共同的 Alchemy 项目密钥）表明，这是一次旨在对受影响系统进行未经授权远程访问的有组织行动。
西雅图市议会一致通过了一项禁止租赁住房中“垃圾费用”的法规，旨在提高市场透明度和住房可负担性。该条例将于2027年7月1日起生效，要求房东提供清晰、透明的预付定价，包括每月总费用、强制性收费以及公用事业责任。 此举旨在解决常见的“隐形收费”问题，即房东往往在租客已经投入时间和金钱进行申请后才披露额外费用。为确保合规，法律授权市检察官办公室将违规者告上法庭，违规者可能需承担非法收费金额三倍的赔偿责任。 此举符合全美范围内对租赁透明度日益加强监管的趋势。联邦贸易委员会和多个地方司法管辖区目前也正在评估类似法规，以打击住房市场中的欺骗性广告。尽管全国公寓协会等行业团体认为现行的披露做法已足够，但西雅图官员坚持认为，新规是保护租客免受成本上涨和掠夺性收费侵害的必要措施。