xkcd.com 在 Netscape Navigator 4.0 或更低版本浏览器中浏览效果最佳，需运行在由 Apple IIGS 模拟的 Pentium 3±1 处理器上，且屏幕分辨率设置为 1024x1。请启用广告拦截器，关闭高温烘干功能，并将您的设备从“飞行模式”切换为“游艇模式”。出于安全考虑，浏览时请保持大写锁定键开启。
每日HackerNews RSS
这篇 Hacker News 帖子讨论了关于贸易与关税的最新 xkcd 漫画，并将其与伊索寓言《肚皮与四肢》进行了类比。评论者认为该漫画是经济政策的一种隐喻，并指出虽然生物体具有即时反馈机制，但国家在推行有害政策与显现后果之间往往存在显著的滞后。
讨论强调了这种滞后在政治上的“好处”，因为领导者常能将长期的经济损害归咎于继任者。然而，有评论者指出，在现任政府领导下，美国工业部门已变得如此脆弱，以至于贸易政策的负面影响比历史上预期的显现得更快，实际上缩短了这一典型的反馈周期。
麻省理工学院人工智能教学与科研应用特设委员会 MIT's Ad Hoc Committee on AI Use in Teaching, Learning, and Research Training
8 小时前
本报告概述了一个将生成式人工智能整合到麻省理工学院（MIT）本科教育中的战略框架，强调学院必须主动重塑其教育模式，而非仅仅修补现有系统。 为保持“边做边学”式住宿教育的完整性，相关建议聚焦于以下三大支柱： 1. **调整教育流程**：教师应重新定义学习成果与评估方式，使其具备“人工智能意识”。这涉及从高风险的居家作业转向体验式、项目制学习及现场评估，旨在保护“富有成效的钻研过程”，同时培养人工智能素养。 2. **优先考虑人际联结**：为应对过度依赖人工智能引发的社会孤立，MIT必须重振住宿生活与面对面指导。各系应促进结构化的社交学习，并制定明确政策，阐明各课程使用人工智能的理由。 3. **构建持续改进系统**：MIT必须通过人工智能教育委员会、专门的实施团队以及各系的“人工智能负责人”建立持续监督机制。此外，学院还必须提供公平的人工智能工具访问权限，确保数据隐私，并对人工智能带来的环境与社会成本保持透明。 归根结底，MIT的方针应倾向于“增强”而非“自动化”，确保人工智能能够强化MIT学位以人为本、协作创新的核心本质。
麻省理工学院（MIT）发布了一份由其“人工智能教学与研究应用特设委员会”撰写的报告，概述了将人工智能融入大学体验的框架。该委员会的指导原则强调以人为本、有目的的教学以及灵活性，并建议学校持续调整教育流程，以保持“人工智能感知能力”。
该报告在 Hacker News 上立即遭到批评。用户认为该文件充斥着模糊且堆砌流行语的“空话”。批评者指出，这些指导方针缺乏实质内容，且认为麻省理工学院推动人工智能整合是为了取悦企业捐赠者的逐利之举，而非优先考虑学术诚信或学生成果。
**RealDiff** 是一款行为分析工具，能够检测软件在运行时发生的、传统源代码审查往往会忽略的变更。源代码差异分析展示了“代码改动了什么”，而 RealDiff 则揭示了这些改动“实际产生了什么影响”，从而识别出未编辑文件及外部组件中非预期的副作用。
### 工作原理
1. **插桩 (Instrumentation)：** RealDiff 通过特定语言的手段（如 .NET IL 编织、Java ASM 代理，或 Node/Go/Rust 源码重写）将追踪器注入代码，以记录方法调用、返回值及调用拓扑。
2. **基准学习 (Baseline Learning)：** 工具会运行三次“基础”代码以建立噪声基准，从而过滤掉非确定性行为。
3. **行为边界 (Behavior Frontier)：** 工具会运行一次提议的变更并进行结果比对。它会识别“行为边界”——即任何调用树中第一个被修改的方法——以精准定位重构对系统的影响点，即使被编辑的文件仅是一个基础设施辅助程序。
4. **验证 (Validation)：** 它会验证现有测试是否真正覆盖（并断言）了这些变更，并标记出测试未能响应修改的“行为差距”。
RealDiff 支持 .NET、Java、Node.js、Go、Rust 和 Python，提供统一的命令行界面 (CLI) 以及 GitHub/Azure DevOps 集成，可直接在 Pull Request 中呈现这些洞察。
Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Show HN: RealDiff – 用于拉取请求的运行时行为差异分析工具（支持六种语言）(github.com/issacnitin)
11 分，由 issacnitin 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
**confdiff** 是一款语义化且具备格式感知能力的工具，旨在通过比较配置和结构化数据文件（JSON、YAML、TOML、INI、.env、properties、CSV 和 XML）的“含义”而非原始文本来进行差异对比。
与 `git diff` 不同，`git diff` 在键值重新排序、添加注释或格式更改时会产生干扰信息，而 confdiff 会将文件解析为数据模型。它会忽略外观上的差异，仅报告数据中的实际变更，例如数值漂移或类型不匹配（例如 `80` 与 `"80"`）。
**主要功能：**
* **安全脱敏：** 使用 `--redact` 可将敏感值（密码、令牌）掩码为稳定的指纹信息，防止在 PR 评论或 CI 日志中泄露。
* **跨格式对比：** 轻松比较不同格式的文件，例如将 JSON 配置与迁移后的 YAML 版本进行对比。
* **灵活过滤：** 使用路径通配符（glob）忽略易变字段或专注于特定的子树。
* **Git 集成：** 可设置为 git diff 驱动程序，以便在终端日志中输出语义化差异，并支持通过 GitHub Actions 进行 CI/CD 以及输出机器可读的 JSON 格式。
* **鲁棒性强：** 支持多文档 YAML，并能按行键（而非位置）处理 CSV/TSV 文件。
confdiff 由 AI 智能体构建，是一个轻量级、无冗余依赖的解决方案，用于实现可靠的配置追踪。
**Confdiff** 是一款语义化差异比对工具，旨在解决传统基于文本的配置文件比较中存在的干扰问题。通过解析 JSON、YAML、TOML 等多种格式，Confdiff 会自动忽略键值重排或引号变化等琐碎格式改动，仅高亮显示实际的数值变更。它支持跨格式比较、路径过滤，并可集成到 Git 工作流或 GitHub Actions 中。
该工具的一大亮点是其 `--redact` 功能，能够将密码或 API 密钥等敏感数据转换为稳定且不可逆的指纹，从而进行遮蔽。这确保了开发人员在查看变更时既能发现与密钥相关的变动，又不会在日志或合并请求（Pull Request）中泄露敏感信息。
值得一提的是，该项目由一个 AI 智能体（Esperanza Volkov）维护，并提供网页版演示。目前关于该工具的讨论包括改进遮蔽功能的建议，例如在现有的键名启发式算法基础上，引入基于熵的检测方法，以更精准地识别并遮蔽数据。
心盲症（Aphantasia）是指无法在脑海中浮现视觉图像的能力，通常被称为“无图像思维”。虽然许多人能在“心眼”中构想出栩栩如生的场景，但心盲症患者是以概念化的方式处理信息，即在不产生视觉图像的情况下理解物体的属性。
如果你最近发现自己有心盲症，请不必担心，这是一种自然的认知差异，而非某种障碍。“心盲症网络”（Aphantasia Network）提供了一些资源，包括“苹果测试”和“桌上的球”实验，可以帮助你了解自己独特的思维方式。视觉化思考者依赖心理图像，而概念化思考者则擅长处理想法和抽象信息。
发现这种差异可能会令人惊讶甚至感到不知所措，因为许多人曾以为“数羊”之类的短语仅仅是隐喻。然而，你并不孤单，大约 4% 的人口以这种方式体验世界。如果你觉得这一发现带来了压力，寻找在线社区或专业的心理健康咨询可以提供宝贵的支持。通过转变视角，你将不再把心盲症视为一种缺陷，而是将其视为一种独特且富有创造力的世界体验方式。
这篇 Hacker News 的讨论凸显了许多成年人在发现自己患有**心盲症（aphantasia）**——即无法在脑海中想象图像——时所产生的惊人认知。
评论者们在得知“想象海滩”或“想象听众一丝不挂”这类常用短语对大多数人而言是字面意思而非比喻时，普遍感到震惊。许多参与者此前认为，正是由于自己无法构建心理意象，才导致阅读小说时感到乏味，或无法进行标准的冥想练习。
该讨论帖还探讨了心盲症更广泛的影响，指出其与以下方面存在关联：
* **严重缺陷型自传体记忆（SDAM）：** 难以重温过往经历或“回放”记忆，这可能导致社交方面的误解。
* **神经多样性：** 与多动症（ADHD）有显著重叠。
* **认知差异：** 许多人惊讶地发现，其他人竟然拥有“内在独白”（脑海中真实的声音）或视觉闪回，而他们此前曾认为这些只是电影中懒惰的叙事手法。
最终，用户表达了一种释然与接纳，并指出虽然他们缺乏这些心理机能，但由于从未拥有过，所以并不觉得“缺失”了什么。
AC2 协议是 Algorand 基金会推出的一个开源项目，旨在通过硬件绑定认证和点对点通信来解决人工智能的信任挑战。 作为一款非托管钱包，AC2 确保用户能够独享对其助记词和资产的控制权。用户需自行负责个人安全；Pera 钱包无法找回丢失的密钥或账户。由于加密货币交易不可逆，且资产具有波动性和流动性风险，用户务必谨慎行事，并自行管理相关的税务与法律义务。 此外，智能代理商务（Agentic Commerce）的集成带来了一些特定风险，包括潜在的欺诈行为和身份验证问题。强烈建议用户和商家核实所有代理身份，并遵循既定的安全与合规最佳实践，以降低这些风险。
AC2 协议是一项开源标准，旨在通过将敏感凭据与智能体运行环境解耦来保护 AI 智能体。该项目由 Pera Wallet 团队开发，旨在解决智能体可能被攻破（如恶意插件）的风险，确保 API 密钥和会话令牌不会进入运行环境。
AC2 不直接向智能体授予凭据访问权限，而是在用户的本地设备与 AI 智能体之间建立基于硬件的端到端加密连接。当需要执行支付或代码部署等操作时，智能体会请求授权，由用户通过 FIDO2 密钥签名来批准特定的意图。这一过程在保持私钥安全存储于用户设备的同时，创建了可验证的审计追踪。
该协议构建于 DIDComm v2.0、WebAuthn 和 WebRTC 等现有标准之上，在技术上与区块链无关。尽管如此，它与 Algorand 的关联引起了 Hacker News 社区的质疑。批评者认为，对于该工具的核心安全功能而言，加密货币集成是不必要的；而支持者则强调，其基于硬件的“人在回路”审批流程在智能体商业化和自动化方面具有重要价值。
工程构建 Harness Engineering
8 小时前
“约束工程”（Harness engineering）通过实施确定性约束和基于代理的约束，确保人工智能生成的代码保持连贯且正确。受 Birgitta Boeckeler 工作的启发，该框架旨在解决“静默漂移”问题，即 AI 助手逐渐削弱代码库标准的情况。 该系统依赖于三大支柱： 1. **上下文工程：** 维护一个 `HARNESS.md` 文件作为知识库，告知 AI 架构规则和命名约定。 2. **架构约束：** 使用“验证插槽”来执行规则。这些手段涵盖了从用于精确检查的确定性工具（代码检查器），到用于理解语义意图的 AI 代理。 3. **垃圾回收：** 通过定期审计来清除死代码和陈旧模式，防止长期的熵增。 该流程遵循**“渐进式加固”**原则，即随着对约束条件的理解加深，约束方式会从人工审查的代理演进为自动化的确定性测试。该插件通过三个执行循环来实现这些目标：**内部循环**（编辑时建议）、**中间循环**（PR 提交时阻塞）和**外部循环**（定期报告）。 归根结底，这是一个**活跃的、自我完善的系统**。该约束机制会审计自身的准确性，并使用“学习日志”来优化约束条件，在减少人工维护成本的同时，确保 AI 始终是一个守纪律的助手，而非技术债务的源头。
关于“Harness Engineering”（源自 Habitat-Thinking 项目）的 Hacker News 讨论反映了社区内部的分歧。支持者认为该项目在 AI 治理与工程领域具有价值，将其方法论比作 AI 系统的“混沌工程”，并对作者 Russ Miles 提供的免费开源资源表示赞赏。
然而，批评者大多持怀疑态度。许多用户认为这些内容是过度设计的“垃圾”或 AI 生成的营销套话。评论中反复出现的一个主题是，人们对行业倾向于创造缺乏精确技术含义的流行词（如“harness”、“skills”和“habitats”）感到沮丧，认为这些词汇常被用于推销咨询服务或建立伪权威。
怀疑论者认为，这些术语不仅没有起到阐释作用，反而模糊了重点。他们建议行业应转向更精确、具体的语言（如“代理循环”或“CLI 工具”），而非依赖抽象的营销术语。总的来说，这一讨论串凸显了试图将新兴 AI 工作流程规范化的人群与将此类尝试视为矫揉造作、定义模糊或商业化炒作的人群之间更为广泛的张力。
请启用 JavaScript 并关闭广告拦截器。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Meta 的巨额和解金真的帮到它了吗？ (nytimes.com)
8 点，由 thm 发布于 34 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
josefritzishere 4 分钟前 | 下一条 [–]
Facebook 需要解决这个问题。扎克伯格犯下了滔天大罪。
https://www.wired.com/story/meta-ran-ads-that-contained-ai-g...
回复
Eddy_Viscosity2 4 分钟前 | 上一条 [–]
付费墙
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
Emacs 31 引入了 `markdown-ts-mode`，这是一个基于 tree-sitter、功能丰富且处于实验阶段的 Markdown 模式。尽管标为“实验性”，它依然是一个强大的工具，涵盖了 CommonMark 和 GitHub Flavored Markdown (GFM) 规范，包括代码块、目录工具以及通过 Pandoc 进行外部转换的功能。
**入门指南：**
由于该模式默认未启用，你必须在配置文件中加载它（使用 `use-package` 或 `load`）。由于它基于 tree-sitter，因此需要相应的语言语法文件；首次打开文件时，Emacs 会提示你下载并编译这些语法。如果代码块或标题缺少语法高亮，通常意味着缺少相应的语法文件，你可以通过 `M-x treesit-install-language-grammar` 进行安装。
**主要功能：**
* **编辑：** 支持用于强调、标题、列表和任务复选框的直观键盘快捷键。
* **结构：** 包含大纲折叠和子树移动功能。
* **表格：** 全面支持表格创建、对齐和操作。
* **其他：** 提供图像渲染、生成目录 (TOC) 及导出功能。
作者诚邀用户试用此模式，并通过 `M-x report-emacs-bug` 反馈漏洞。尽管它仍在不断完善中，但其稳定性已足以支持日常使用，是旧版 Markdown 模式功能强大且现代化的继任者。
```
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Emacs 31：Markdown-ts-mode 非官方指南 (rahuljuliato.com)
14 点积分，由 RahulMJ 发布于 39 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
```
CoMaps 是一款完全免费且开源（FLOSS）的导航应用程序。在坚持严格保护用户隐私的同时，该应用近期引入了新的互操作性功能，以支持更广泛的 FLOSS 生态系统。
CoMaps 现已集成 **Gadgetbridge**，允许用户将逐向导航指令直接推送到支持的智能手表上。此外，它还集成了 **OpenVitals**，使用户能够在骑行或徒步等户外活动期间，将 CoMaps 的导航数据叠加到健康与活动仪表盘上。
这些集成功能均需用户主动开启；在 CoMaps 与外部应用程序共享任何数据之前，必须获得用户的明确许可。通过优先考虑用户控制权和透明度，CoMaps 继续为寻求替代专有软件的用户提供了一款私密且功能多样的工具。有意利用 CoMaps 数据构建自有工具的开发者，可在 Codeberg 上查阅相关文档。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
CoMaps 与更广泛的 FLOSS 生态系统的集成 – CoMaps (comaps.app)
11 分，由 janandonly 于 31 分钟前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：