## Claude Code：法律与合规摘要
本文档概述了使用Claude Code的法律和合规方面。您的使用受**商业条款**（团队、企业、Claude API）或**消费者服务条款**（免费、Pro、Max）管辖，具体取决于您的计划。现有的商业协议适用于Claude Code的使用，除非另有约定。
**合规性：** 对于已激活业务伙伴协议（BAA）和零数据保留（ZDR）的客户，BAA扩展到Claude Code的使用。所有使用还受Anthropic **使用政策**约束。
**身份验证至关重要：** 免费、Pro和Max计划仅对Claude Code和Claude.ai使用OAuth – 在其他地方使用这些令牌是被禁止的。使用Agent SDK或通过API构建的开发者*必须*使用API密钥。第三方开发者不能通过这些计划提供Claude.ai登录。
**安全性：** Anthropic优先考虑信任和安全，Trust Center & Transparency Hub中提供相关资源。应通过HackerOne报告安全漏洞。
每日HackerNews RSS
Anthropic 正式禁止使用订阅授权用于第三方用途。
Anthropic officially bans using subscription auth for third party use
2 天前
## Respectlytics：注重隐私的移动分析
Respectlytics 是一款自托管的移动分析服务器，其核心设计原则是隐私保护——通过最小化数据收集来优先考虑*规避回报* (ROA)。它仅存储每个事件的 5 个必要字段：`event_name`、轮换的 `session_id`（仅在 RAM 中，每 2 小时刷新一次）、`timestamp`、`platform` 和近似 `country`（从 IP 推断得出，并立即丢弃）。**不保留任何个人数据、用户 ID、设备 ID 或精确的位置数据。**
该服务器易于使用 Docker 或 Python/PostgreSQL 环境部署。提供快速入门指南，以及全面的 API（包含事件摄取、摘要和漏斗分析端点）和 SDK。
主要功能包括基于会话的分析、严格的数据限制以及可选的 GeoIP 集成（使用 MaxMind）。数据保留时间可通过 `purge_old_events` 命令进行配置。
Respectlytics 采用 AGPL-3.0 许可，鼓励开放贡献。对于不兼容的使用场景，提供商业许可。还提供完全托管的云版本。**请咨询法律顾问，以确保符合相关的隐私法规。**
## Respectlytics：注重隐私的移动分析
Respectlytics 是一款新的开源移动分析解决方案，其核心原则是保护隐私。创建者 cesncn 对现有 SDK 的数据收集行为以及缺乏真正的隐私合规性感到沮丧。
与竞争对手不同，Respectlytics 采用“规避回报”方法——通过*不*收集不必要的信息来最小化数据收集。它每个事件仅存储五个字段：事件名称、会话 ID、时间戳、平台和国家/地区。IP 地址仅在确定位置时短暂使用，然后被丢弃。
该项目包含适用于 Swift、Flutter、React Native 和 Kotlin 的 SDK（MIT 许可），以及一个可自我托管的分析服务器（Django + PostgreSQL，AGPL-3.0）。 托管 SaaS 选项也可提供。开发者欢迎反馈，特别是关于他们主动拒绝额外数据字段的决定。
该项目已经引起了类似领域开发者的兴趣，例如 OpenAttribution 的创建者，并且正在寻找示例应用程序来展示其用法。
十五年来，英伟达一直有策略地限制消费级GPU的双精度（FP64）性能，使其与企业级GPU相比存在明显市场划分。虽然消费级显卡的FP32性能大幅提升（从2010年到2025年增长了77.63倍），但FP64仅提升了9.65倍，性能差距持续扩大——目前RTX 5090上为64:1。
这种差异并非技术限制，而是一种刻意的商业策略，因为FP64对于高性能计算至关重要，但对于游戏等典型的消费者任务来说并不必要。然而，人工智能的兴起正在打破这种模式。人工智能训练通常*更喜欢*较低的精度（FP16、BF16），这使得消费级GPU在计算工作负载方面出乎意料地强大。
现在，英伟达正在转变重点。随着FP64仿真技术（使用FP32甚至FP8张量核心）变得可行，并且人工智能推动了对低精度计算的需求，该公司最新的企业级GPU（如B300）正在*减少*专用的FP64硬件，转而采用更高效的人工智能核心。这代表着一种逆转——企业级硬件采用了以前与消费级显卡相关的限制——并预示着FP64将越来越多地通过仿真实现，潜在地模糊了消费级和企业级芯片之间的界限，低精度浮点数将成为新的分界因素。
Mojang 正在将《我的世界：Java 版》的渲染从 OpenGL 过渡到 Vulkan，作为“鲜活视觉效果”更新的一部分，承诺带来视觉增强和性能提升。这一重大改变旨在利用现代特性，并保持与包括 macOS（通过翻译层）和 Linux 在内的 PC 操作系统兼容。
此次切换将要求模组制作者更新他们的作品，放弃 OpenGL，Mojang 鼓励提前准备并利用现有的渲染 API 以简化过渡。虽然缺乏 Vulkan 支持的旧硬件可能会变得不兼容，但 Vulkan 具有广泛的 GPU 支持。
玩家不会立即被强制切换；Mojang 计划今夏在开发快照中发布 Vulkan 和 OpenGL 并存的版本，允许在两者之间切换。最终，一旦 Vulkan 稳定且性能良好，OpenGL 将被移除。此次更新代表了《我的世界：Java 版》未来发展的重要一步。
## HM 与双向类型系统：为你的语言提出的错误问题 关于 Hindley-Milner (HM) 和双向 (Bidir) 类型系统的争论，常常被框定为二选一的选择，但这是一种错误的二分法。核心问题不是 *选择哪个* 系统，而是 *你的语言是否需要泛型*。 泛型需要合一——推断和求解类型变量的过程（例如 Rust 中的 `Vec<T>`）。HM 本质上包含合一。然而，双向类型系统并不局限于缺乏合一；它 *支持* 合一，使其成为 HM 的超集。你可以实现一个带有或不带有合一的双向系统，提供灵活性。 如果没有泛型，一个更简单的依赖于类型注解的双向系统就足够了，尤其是在学习练习或领域特定语言 (DSL) 中，在这些情况下，最小化复杂性是关键。然而，对于通用语言，泛型越来越被认为是必不可少的，从而推动了对合一的需求。 最终，双向类型系统提供了一种更具适应性的方法。选择它并不会排除合一，并且允许你根据语言的特定需求定制系统——无论是一个功能齐全的泛型语言，还是一个精简的、注重注解的 DSL。
## Hacker News 讨论总结：类型推断方法
一个 Hacker News 帖子讨论了一篇比较 Hindley-Milner (HM) 和双向类型推断的博文。 讨论迅速扩展到初始主题之外，涉及类型系统和语言设计的复杂性。
关键点包括：
* **HM vs. 双向：** HM 依赖于合一解决全局类型约束，而双向类型推断遍历语法树，通过向上和向下流动信息来推断类型。 大多数实用语言最终使用双向方法来处理子类型等 HM 难以处理的特性。
* **合一 vs. 双向作为核心概念：** 有人认为核心区别在于 *如何* 解决类型（合一作为全局约束问题 vs. 双向流动），而不仅仅是 HM vs. 双向。
* **权衡：** 复杂的类型推断并不总是受益。 一些人提倡要求显式类型声明以提高清晰度和更好的错误消息，或者采用渐进式类型以获得灵活性。
* **实用性与历史：** 许多流行的语言由于从早期的设计选择演变并试图适应现有的代码库而具有“混乱”的类型系统。
* **个人经验：** 几位评论员分享了关于学习类型理论、早期编程探索的乐趣以及后来生活中保持个人项目专注的挑战的轶事。
最终，讨论强调选择类型系统涉及平衡力量、简单性、错误报告和实际考虑因素。 没有一种万能的解决方案。
## 486.713通往罗马的路线：摘要
“486.713通往罗马的路线”是一个数据可视化项目，通过大规模的移动模式来研究“殊途同归”的说法。该项目利用路由算法和OpenStreetMap数据与GraphHopper，绘制了从各个地点到罗马的大量可能路线。
结果以大尺寸lambda打印（120厘米 x 80厘米）和交互式网络地图的形式呈现，提供详细信息和“探索”应用程序。这些可视化展示了道路基础设施如何反映地理、政治和区域背景。 除了罗马，该项目还扩展到分析东京、柏林和旧金山等城市的城市流动“指纹”和“街道DNA”，从而深入了解独特的城市结构。 最终，它将数据艺术和信息可视化巧妙地结合在一起。
一个黑客新闻的讨论强调了2015年的项目“通往罗马之路”（benedikt-gross.de），该项目以视觉方式绘制从罗马辐射的路线，展示了道路基础设施如何反映地理和政治。该项目显著提高了GraphHopper路由引擎的知名度。
评论者分享了相关资源，包括一个详细介绍古罗马道路的网站([https://itiner-e.org/](https://itiner-e.org/))，并指出moovel/FreeNow等相关公司的演变（现在被Lyft收购）。
讨论还涉及了该项目的研究方法，一些人质疑强调严格遵循政治边界的路线是否显得人为，指出现实世界的交通通常优先考虑效率而非意识形态（例如使用非申根路线或渡轮）。对话也幽默地推测了未来交通技术，如传送，可能会如何进一步扰乱此类可视化效果。
CMake 对 Swift 6.0 的完整支持目前受到 Swift 编译器 (swiftc) 和 Ninja 构建系统的一些兼容性问题阻碍。具体来说，Swift + Ninja 会忽略 `CMAKE_OSX_DEPLOYMENT_TARGET`，导致版本不匹配和警告。一个临时解决方法是手动设置 Swift 编译器的目标。 另一个问题与 CMake 策略 CMP0157 相关，swiftc 无法正确处理安装名称，需要一个构建后命令来调整库 ID。对此的修复已于 2024 年 8 月 2 日合并，并将回移植到 CMake 3.29 和 3.30 版本。 最后，swiftc 无法识别在导入目标依赖项中定义的某些编译和链接选项，因此需要一个解决方法来修改这些标志在导入之后。这些问题正在积极解决，以在 CMake 中实现稳定、非实验性的 Swift 6.0 体验。
都一样吗？
All Look Same?
2 天前
请记住，食物文化不断地相互引进和输出。这不是测试食物的起源地。答案基于图片拍摄地点。例如，面条起源于中国，但韩国和日本都以不同的方式进行了改良。
## 一次性软件的兴起与API的力量
成为新手父母激发了他对睡眠追踪的需求，现有的Fitbit无法满足。现有的用户体验并非为新生儿父母的零碎睡眠而设计，因此这位工程师利用AI编码工具快速构建了一个自定义界面，以可视化他的数据并解答关于他疲惫程度的关键问题。
虽然有用，但他意识到这并非一个可行的产品——它缺乏基本功能，并且完全依赖于Fitbit的核心功能。这突显了“一次性软件”的出现，这种软件可以利用AI轻松创建，以满足高度特定且临时的需求。
关键在于**API**的持久价值。Fitbit现有的API实现了这种个性化，展示了暴露核心产品能力如何培养客户忠诚度，*而无需*企业构建所有可能的功能。
展望未来，AI代理正在进一步扩展“界面表面”，可能会完全绕过应用程序。那些在*服务层面*（如订阅）进行盈利的企业将处于最佳的蓬勃发展地位，因为他们控制着潜在的价值。未来在于拥抱开放的API，认识到在界面廉价的世界里，持久的产品本身就是服务——核心能力，而不是它的呈现方式。
## 一次性接口与向服务器端计算的转变
一则Hacker News讨论集中在软件接口日益普及和可能回归服务器端计算模型上。核心观点呼应威廉·吉布森的“街头会为事物找到自己的用途”，即软件的个体价值正在下降，凸显了对连接这些短暂工具的强大、可重用系统的需求。
评论者认为API对于产品相关性至关重要，WebMCP提供了一种将用户体验与API控制相结合的强大方式。一个关键点是与“维修权”运动的相似之处——访问API能够实现定制化。
此外，一种普遍情绪表明，正在从个人计算和微电子投资转向大规模数据中心和私有高速互联网接入。这意味着未来信息访问将日益集中和隔离，处理能力将回归服务器。最后，一位评论员指出，接口可以降低用户身份的重要性，而用户身份是许多盈利策略的关键组成部分。