当前的 AI 营销叙事——即 AI 即将取代人类专家——是一种在投资者要求实现实际盈利之前，为了最大化投资和依赖度而采取的愤世嫉俗的策略。通过将复杂的专业工作简化为单纯的“产物”（可见的输出），AI 公司忽视了人类专家所提供的关键性、非确定性推理、架构判断力以及商业洞察力。 历史先例表明，电子表格和 CAD 系统等强大的工具并不会取代专业人士，而是增强了他们的产出，使他们能够处理更复杂的任务。AI 本应遵循这一路径。然而，目前各公司优先考虑的是耸人听闻的“网络武器”言论和消费者未来主义，而非实际效用。这种营销贬低了专家们一丝不苟的工作，掩盖了一个事实：真正的价值在于过程，而不仅仅是产出。 作者认为，AI 高管们应该摒弃那种威胁性的“取代”叙事。相反，他们应专注于开发能够赋能专家、使其工作更高效的专业化工具。正如游戏引擎让小团队能够构建宏大的项目一样，AI 应被定位为人类专业能力的倍增器，而不是取代专业工作价值核心的智慧的替代品。
每日HackerNews RSS
软件开发往往陷入一种虚假的二元对立：即“快速而粗糙”的实用主义与“过度设计”的完美主义。作者提出了一种第三条路径：**“当下最佳简约系统”（Best Simple System for Now，简称 BSSN）**。
BSSN 的定义是：在满足当前需求的前提下，以最简单、最高质量的方式构建系统，且不去预判未来的需求。通过专注于“当下”，开发者可以避免臆测性接口和“镀金”带来的复杂性，同时通过整洁且具有意图表达的代码（CUPID 原则）保持高标准。
其核心原则包括：
* **针对当下：** 避免过早抽象。应为当前问题进行设计，并相信一个简单、模块化的系统比复杂的系统更容易演进。
* **保持简约：** 当无法再删减任何东西时，才达到了完美。应确保复杂性严格契合当前的约束条件。
* **追求最佳：** “简单”不是代码邋遢的借口。稳健性应基于具体语境，且在有纪律的前提下，“草拟”也是一种有效的技能。
通过 BSSN 的迭代交付，可以降低延迟成本并支持快速、有根据的调整，从而提高风险调整后的收益。归根结底，BSSN 需要抵御“既定思维”的勇气、适应变化的谦逊，以及只解决眼前实际问题的习惯。
抱歉。
本指南详细介绍了如何构建一台无需依赖云服务商、能够运行顶尖模型的高端本地人工智能计算平台。
为了实现性能最大化，作者将显存（VRAM）的优先级置于昂贵的最新一代 CPU/内存架构之上。通过使用从 eBay 采购的上一代 EPYC 系统并结合 **c-payne PCIe Gen4 交换机**，该配置实现了 GPU 到 GPU 之间线速的直接通信。这种架构最大限度地减少了张量并行处理过程中的延迟，为构建旗舰级服务器提供了一种高性价比的替代方案。
作者提供了详细的物料清单（总价约 52,000 美元，其中 4.6 万美元用于 4 块 RTX 6000 Pro 显卡）以及具体的软件优化方案，包括：
* **BIOS 调优：** 禁用 ASPM 和 SR-IOV，并配置 PCIe 分支（Bifurcation）以稳定 Gen4 链路。
* **内核与操作系统调整：** 禁用 IOMMU，并使用 `setpci` 禁用 ACS，以确保流量保留在交换机结构内，而非通过 CPU 路由。
* **部署：** 将模型权重存储在本地 ZFS 文件系统中，并通过独立的 Docker 容器提供模型服务，以实现模块化管理。
该资源库包含可直接运行的语音转文字（Whisper）和大规模 LLM 推理配置，旨在提供一个私密且高性能的计算环境。
这篇 Hacker News 帖子对在本地运行顶尖（SOTA）大语言模型的可行性持怀疑态度，并专门批评了一套价值 4 万至 5.5 万美元的硬件配置。
**主要观点如下：**
* **边际效用递减：** 批评者认为，本地部署顶尖模型大多是“冤大头游戏”。高端硬件不仅购置成本高昂、能耗巨大，还需要大量的维护工作。
* **质量问题：** 本地构建通常依赖量化（有损压缩）和剪枝技术来将模型塞入显存。评论者指出，这些模型与“原始”版本存在偏差，在长上下文或复杂推理任务中，其表现逊色于云端模型。
* **经济现实：** 基于 API 的服务商（如 OpenAI、Anthropic、DeepSeek）以极低的成本提供了远超本地高端配置的智能水平。对于特定任务，租赁云端 GPU 通常比组装一台昂贵的“拼凑”机器更高效。
* **为什么还要本地部署：** 业界对于本地托管的唯一共识是：极高的隐私要求、物理隔离的安全需求，或是出于避免依赖第三方服务提供商的考量。
* **更好的替代方案：** 对大多数用户而言，在消费级显卡或统一内存的 Mac 上运行中等规模模型（如 Qwen 3.6 27B 或 Gemma 4）是本地 AI 更为实用的“黄金分割点”，而非强行堆砌硬件去运行顶尖模型。
Canonical 的 dqlite 团队近期调查了 SQLite 中一个存在了 16 年的漏洞，该漏洞涉及预写日志（WAL）检查点机制，理论上可能因罕见的数据竞争导致数据库损坏。 由于该漏洞极难复现，团队利用 TLA+ 对 SQLite 的行为进行了建模。通过对写入者和检查点进程之间的交互进行形式化处理，他们成功生成了一个包含 20 个状态的追踪记录，从而触发了数据损坏。这证实了 WAL 重置导致检查点跳过有效数据的具体条件。 随后，团队将该模型应用于 dqlite 以评估其脆弱性。他们发现 dqlite 本身不受此漏洞影响。由于 dqlite 在执行检查点时采用了“停止一切（stop-the-world）”的方法——通过获取写锁来防止并发追加和检查点操作——因此不会产生数据竞争所需的条件。 SQLite 官方已通过增加一项验证检查修复了该问题，确保 WAL 在检查点期间不会被重置。dqlite 团队通过更新其 TLA+ 模型验证了这一修复，确认了新的检查机制能够成功保障数据库的完整性。
这篇 Hacker News 讨论聚焦于一篇关于使用 **TLA+**（由 Leslie Lamport 创建的一种形式化建模语言）来验证 dqlite 中的并发性，并分析 SQLite 中一个长达 16 年罕见漏洞的文章。
该讨论帖的重点内容包括：
* **漏洞本身：** 作者澄清文章的重点在于使用 TLA+ 来证明 dqlite 不存在某个特定的 SQLite 漏洞。而该 SQLite 漏洞的实际发现过程是一个独立事件，涉及 Tailscale 工程团队；他们购买了企业级支持，才得以调查这个极难复现的罕见问题。
* **TLA+ 语法：** 评论者讨论了该工具“不一致”的语法，指出它混合了 LaTeX 风格的符号和 ASCII 艺术，这源于其作者在 LaTeX 和 TeX 方面的双重背景。
* **实用性：** 参与者称赞了 SQLite 的多功能性，并指出它在主流操作系统和浏览器中可以作为简单文件存储的稳健替代方案。
* **未来展望：** 讨论中推测了将 TLA+ 等形式化方法集成到基于大语言模型（LLM）的编码工作流中，以提高软件可靠性，从而超越传统的单元测试。
arXivLabs 是一个框架，允许合作者直接在我们的网站上开发和共享 arXiv 的新功能。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于践行这些价值观，并仅与遵循这些价值观的合作伙伴开展合作。您是否有为 arXiv 社区增值的项目想法？了解更多关于 arXivLabs 的信息。
抱歉。
它依然无法胜任我的工作：四年来的目标漂移（2022–2026） It Still Can't Do My Job: Four Years of Moving Goalposts (2022–2026)
2 天前
这段叙述追溯了人工智能辅助编程从 2022 年末到 2033 年的快速演变。故事从 ChatGPT 早期的“幻觉”以及开发者社区的怀疑态度开始，记录了这项技术如何从无法完成基础任务，进化到生成谷歌 25% 的代码，并实现“直觉编程”（vibe coding）项目。 在此期间，批评者不断“改变目标”——先是将 AI 工具斥为噱头，继而说是预设演示，最后称其为玩具，尽管有证据表明 AI 的实用性在不断增强。虽然研究表明 AI 有时会降低开发速度并引入安全隐患，但这些局限性并未阻碍其发展。 作者捕捉到了双重现实：AI 既有缺陷，又具有变革性。随着这些工具从简单的自动补全演变为能够管理遗留系统和整个公司的自主智能体，人类的反应却始终停留在贬低其威胁上。总结指出，即使 AI 完成了之前被认为不可能的任务，最后的防线可能依然不变：“那不过是高级一点的自动补全罢了。”
抱歉。
大多数电子表格模型将结构、逻辑、布局和展示混合在一起，这往往会导致模型脆弱且容易出错。OM Core 提供了一种替代方案，通过多维建模引擎将这些要素分离。OM Core 不再依赖单元格坐标，而是使用维度、立方体、层级和语义规则来定义模型，并将网格和视图仅视为底层数据的投影。
通过基于模型轴线（而非特定的行或列地址）来定义业务关系（例如计算毛利率），OM Core 模型变得更容易审计、扩展和维护。
该项目目前处于 Alpha 阶段，提供了一个完整的技术栈，包括建模引擎、REPL、GUI/TUI 以及运行时环境。它专为那些希望构建超越传统电子表格限制、结构化且透明的财务和分析模型用户而设计。
该平台是开源的（AGPL v3.0）并处于活跃开发中，这意味着在 v1.0 版本发布之前，API 和文件格式可能会发生变化。用户可以通过[文档网站](https://cloudcell.github.io/om-docs/)探索该项目，其中包含安装指南、快速入门教程以及对模型驱动设计理念的详细解释。
抱歉。
在本期《PWNED》中，两名专业红队人员成功演示了物理安保漏洞如何导致整个网络被攻破。他们在冒充新进 IT 员工并主动帮维修人员铲雪以博取信任后，成功进入大楼，并在会议室发现了一个未受保护的以太网端口。 他们将一台树莓派（Raspberry Pi）隐藏在垃圾桶后，从而获得了内部网络的远程访问权限。尽管该设备曾被维修人员发现并引起保安调查，但两周内仍未被察觉。利用这一初始立足点，测试人员执行了密码喷洒攻击，使用弱密码“winter2023!”获得了数十个有效凭据。最终，他们利用活动目录证书服务（ADCS）的漏洞，取得了域管理员权限。 此次事件凸显了三个关键的安全缺失： 1. **人为因素：** 员工过于轻信，仅凭表面上的乐于助人就允许未经授权的人员进入。 2. **网络控制：** 会议室端口缺乏网络准入控制（NAC），导致未经授权的硬件能够接入。 3. **身份安全：** 弱密码策略和缺乏多重身份验证（MFA）使攻击者能够轻易提升权限。 核心启示：安全漏洞很少像好莱坞电影中那样惊心动魄；它们往往是利用了人性中的善良与糟糕的基础设施防护。
抱歉。
GitHub 上的 Gemini Code Assist 是一款自动化 AI 审查工具，它通过总结代码变更和提供深入的代码反馈来加速拉取请求（Pull Request）的处理流程。开发人员可以在拉取请求的评论中直接与该代理互动，通过提问或使用 `/gemini` 标签来获取具备上下文感知能力的建议。 主要操作细节包括： * **功能：** 它会自动提取存储库数据以协助审查，但出于安全考虑，排除了 `.github/workflows` 目录。 * **版本：** 用户必须使用企业版，该版本通过 Developer Connect 连接到 Google Cloud。 * **重要通知：** GitHub 上的 Gemini Code Assist 消费者版本即将停止服务，最终停用日期为 2026 年 7 月 17 日。建议用户迁移至企业版。 该工具专为熟悉 GitHub 工作流程的各级开发人员设计。
新世界螺旋蝇是一种以动物和人类活体组织为食的寄生虫，在消失数十年后，现已重返美国。历史上，这种毁灭性的瘟疫曾导致数以百万计的牲畜死亡，迫使牧场主必须对畜群进行持续且残酷的监视。后来，美国和中美洲通过开创性的“不育雄蝇技术”根除了该害虫。 美国农业部通过培育数百万只蝇并利用辐射使其绝育，成功在巴拿马与哥伦比亚边境建立了一道“螺旋蝇屏障”，有效地阻止了该害虫向北迁徙。然而，这一成就导致了自满情绪。随着时间的推移，相关基础设施被拆除，检查规程被废止，加之森林砍伐、非法牲畜走私增加以及大流行带来的干扰，达连隘口的屏障已遭到破坏。 目前，这种寄生虫已向北蔓延，重新侵扰了中美洲和墨西哥，并抵达了美国。尽管农业机构目前正争分夺秒地建设新的生产设施并加大不育蝇的投放力度，但相关官员警告称，要彻底根除该害虫，可能需要十年持续不断的跨国努力。此次死灰复燃，给长期生物安全的脆弱性敲响了警钟。