目录同步将身份提供商中的用户、用户组和成员关系复制到应用程序中，用于控制访问权限。它独立于单点登录（SSO）；SSO 仅负责身份验证。SCIM 虽然标准化了端点和请求格式，但各提供商的实现仍不一致，尤其是在用户组变更、数据类型、可选功能和用户注销方面，因此应用不得不编写脆弱且与具体提供商耦合的代码，并依赖入站更新。 Firezone 则通过定时任务，基于拉取方式与各身份提供商的 API 进行同步。它会处理分页结果、使用稳定 ID、检测用户组中的循环关系、扁平化嵌套成员关系以简化权限检查，并在清理数据前保存检查点。大规模同步还必须应对速率限制、不完整响应、任务重叠，以及可重试与永久性失败。之所以不采用增量同步，是因为扁平化的用户组、删除操作和过期令牌会让增量同步既危险又复杂。 最终，Firezone 将定期的全量核对与针对各提供商定制的实时钩子结合起来。串行队列可防止任务重叠；收到通知后，系统会重新读取最新数据，而不是直接信任事件载荷。这种混合方式能够加快数据更新，同时通过全量同步修复遗漏的事件并保证一致性。
每日HackerNews RSS
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
构建可靠（且快速）的目录同步
（
firezone.dev
）
23 分
由
jamilbk
发布于 19 小时前
|
隐藏
|
往期
|
收藏
|
2 条评论
帮助
hahn-kev
10 小时前
[–]
还以为会是类似 Dropbox 的东西。
回复
com
7 小时前
|
上级主题
[–]
很高兴这是关于用户目录的！
回复
申请 YC 2027 年冬季批次！
申请
截至 11 月 2 日开放。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
正在检查您的浏览器 请等待最多 5 秒…… 请确认您的浏览器支持 JavaScript，并且已在浏览器设置中启用。
一场关于大阪附近禧玛诺自行车博物馆评论的 Hacker News 讨论。大多数参观者称赞该馆内容全面、展陈清晰，呈现了自行车历史以及禧玛诺的工程传承。他们认为，对骑行爱好者或已经身在日本的人来说，这座博物馆值得参观，但如果专程绕道前往，必要性可能不大。推荐的替代目的地包括马林、阿恩海姆、匹兹堡、新加坡和荷兰的博物馆。
讨论还延伸到了禧玛诺的零部件创新，例如指拨变速、变速器、卡式飞轮、Dura-Ace、电子 Di2 变速系统以及现代单盘传动系统。评论者还谈到禧玛诺起家于渔具，以及其渔轮和套件采用相似的产品命名体系。众人讨论了禧玛诺在欧洲崛起的时间、单盘系统的推出时机，以及禧玛诺是否销售过整车。
另一场规模较小的讨论则推介了两个新的骑行平台 Cyclohub 和 Radial。用户提出的功能包括：无剧透的赛后补看、比赛提醒、小型赛事报道、主车群实时追踪、英文翻译、社区资助，以及自动化与人工审核相结合的管理方式。
THC（“Turbo Haskell 编译器”）是一款实验性编译器和运行时，通过 Truffle 和 GraalVM 在 JVM 上执行经 GHC 优化的 Haskell Core。它支持全部 GHC 9.14.1 prim 操作、Template Haskell 和 Linear Haskell，并通过 GraalVM Native Image 提供即时编译和提前编译。它能够编译 Pandoc、Happy、Alex 和 GHC 本身等主要工具，也能处理 Cabal 包，包括多库包和 Backpack 包。 THC 通过 Sulong 为 Python、Ruby、R、JavaScript 和原生 C/C++ 提供多语言 FFI，并支持 `Data.Text` 与 Truffle 字符串之间零拷贝的 UTF-8 转换。其后端支持多线程、GHC 字节码、异步异常、异常屏蔽、`throwTo` 以及基于 Loom 的绿色线程。它还支持运行时宽度 SIMD 和尾调用优化，能够将热点递归转换为紧凑循环，同时定期压缩泄漏的栈帧。 早期预热后的基准测试结果显示，速度从比 GHC 快 3 倍到比 GHC 慢 3 倍不等，但后续的性能回退和非尾调用导致的栈增长仍是问题。开发地址为 `github.com/ekmett/thc`，相关讨论在 Libera Chat 的 `##thc` 频道进行。
The Hacker News 的讨论聚焦于 **Turbo Haskell（THC）**，这是 Edward Kmett 开发的一款实验性 Haskell-to-JVM 编译器。它复用了 GHC 的部分组件实现了 GHC 9.14.1 的原始操作，并为 GHC Core 加入了 JIT，可通过 JVM 运行 Haskell。该项目还强调与 GraalVM/Truffle 的多语言互操作性，包括零拷贝的 `Text`/`TruffleString` 转换，不过专用的 Java FFI 支持仍然有限。
评论者开玩笑说，这个名字让人联想到 Turbo Pascal、Turbo Vision，或者某款已被遗忘的蓝色 TUI IDE；也有人将其与 Frege 比较，并质疑是否还有必要再开发一款 JVM Haskell 编译器。另一场更广泛的讨论涉及有关代理在一周内生成数千次提交的报道，这引发了人们对代码质量和审核机制的质疑。Kmett 表示，代理完成了大部分初始实现和测试生成工作，但此后他将重心放在 CI、测试夹具、跨平台稳定性和代码清理上。他也承认，目前该项目的编译速度尚不具竞争力。项目配套的编辑器 `thc-edit` 提供了更传统的编辑体验。
其他讨论分支还涉及 Java 互操作性、AI 生成的 Haskell，以及为什么生态系统成熟度仍会影响人们为代理式编程选择编程语言。
正在检查您的浏览器……需要启用 JavaScript
讨论的核心是一篇文章。文章认为，人工智能，尤其是采用 Lean 语言和形式化证明助手的系统，可能正在改变数学，并迫使数学家直面传统角色的消失。评论者围绕这究竟会给数学界带来一场存在性危机，还是仅仅意味着工具发生改变展开讨论；有人将这种变化与软件工程的发展相比。
许多人认为，人工智能可以加快研究、验证证明，并实现超越人类能力的发现；也有人强调其局限性、不可靠的输出、极其庞大的搜索空间，以及人类洞察力和意义的流失。经济方面的分歧尤其明显：一些人欢迎新工具带来的生产力，另一些人则警告失业、工资受压、财富高度集中，以及传统学术研究经费减少等问题。
不少评论者将数学比作绘画或其他创造性职业，认为即使常规发现被自动化人类的想象力、判断力、原创性和文化参与也可能变得更加重要。更广泛的分歧在于，社会能否通过教育、新制度、更完善的劳动保护和公共投资来适应这一变化，还是 powerful 的公司和资助方会瓜分人工智能带来的几乎全部收益。
作者并未将 Muse 用于点餐、安排预约等日常任务，而是把它作为一个低成本、高吞吐量的 AI 智能体，用于名为 fullsets.fm 的业余项目。该网站汇总专业录制的音乐会，按艺人分类，并提取演出曲目单。Muse 会扫描 Reddit 和 YouTube，寻找冷门频道以及包含完整、高质量演出的视频；随后，它会帮助匹配艺人，并在视频获批前检查 Luna 和 Gemini 流程的处理结果。
作者每月花费 80 美元，让 Muse 执行大规模搜索任务，每周消耗数十亿个 token，而且用量似乎没有上限。Muse 的写作和编程能力一般，界面及任务执行也偶有不稳定，但它很适合重复性的 Gemini Flash 类自动化工作。本文还提出了一个问题：持续不断地大规模抓取网站，可能会促使更多平台屏蔽 Muse。文章中包含一个推荐码，以及一张受《人生切割术》启发的 AI 生成图片。
一则 Hacker News 讨论聚焦于 Meta 的 Muse，以及一套定制的“智能体浏览”框架。它通过旁加载的扩展和 WebSocket 控制一个独立的 Chromium 实例，执行滚动、点击、输入等常规操作，并通过高度模拟真人浏览器行为来通过 CAPTCHA 和反机器人检查。
技术评论者讨论了如何避开 Chromium 暴露的 `navigator.webdriver` 标志、清除自动化痕迹、随机化浏览器指纹、使用住宅代理，以及远程调试在连接建立前或建立后是否能够被检测。Muse 的固定 IP 地址段可能已经被封禁，从而降低其实际用途。
更广泛的争论涉及伦理和规模问题。一些人认为，抓取网页或解决 CAPTCHA 本身并非错误；另一些人则强调，这可能给小众社区带来意外伤害，因为大量未经披露的智能体流量可能压垮这些社区。评论者预测，网站会采取更严格的限流措施、会话数量限制、登录墙、IP 信誉系统、指纹识别和设备证明等防御手段。批评者警告，这些措施也可能给正常用户带来负担、限制开放访问，并加速形成一个更具敌意、对用户不友好的网络环境。
## 初始系统提示 ### 第 1 回合 **用户** 先运行 bash，精确打印 `NAVIGATION_OK`，然后用两次 read 调用读取 `nav-a.md` 和 `nav-b.md`，最后回复单个单词 `FIRST_DONE`。 **上下文** 当前运行时上下文：工作区策略、可用技能以及本回合的环境快照。 **助手** 运行 bash 以确认输出，然后读取两个导航文件。 **工具** - bash：`{"command": "echo NAVIGATION_OK", "description": "打印 NAVIGATION_OK"}` → `NAVIGATION_OK` - read：`{"file_path": "nav-a.md"}` → `nav-a.md` - read：`{"file_path": "nav-b.md"}` → `nav-b.md` **助手** `FIRST_DONE` ### 第 2 回合 **用户** 使用 Markdown 回复，以二级标题“Navigation Summary”概括两个文件。 **助手** 导航摘要：alpha 导航、beta 导航以及 `NAVIGATION_OK` 的输出。 **工具** - bash：`{"command": "ls -la", "description": "列出工作区文件"}` → `nav-a.md nav-b.md README.md` - grep：`{"pattern": "NAVIGATION", "path": "."}` → 2 个匹配项 - read：`{"file_path": "README.md"}` → `README.md` **助手** 已验证工作区文件列表和 grep 结果；任务完成。
讨论重点围绕 DeepSeek Harness 新推出的 macOS 和 Windows 开源桌面应用。用户称赞其基于 Cordis 的“一切皆插件”架构、本地对话记录可观测性、对自定义 API 和本地模型的支持，以及为缺失功能生成插件的能力。AI 可以快速添加字体控制、通知和自定义工作流。
主要问题包括：基于 Electron 的应用体积较大、使用 `~/.dsh` 存储数据不符合平台惯例、移动端性能不佳、频繁出现破坏性变更、插件带来的安全风险，以及由于核心功能本身也由插件实现，维护补丁较为困难。多名用户还指出，桌面端默认启用了遥测和对话记录传输；目前已有相应的配置绕过方法。
隐私和地缘政治问题主导了大部分讨论。用户对是否应将对话记录发送给 DeepSeek、美国服务商或本地模型存在尖锐分歧。总体而言，评论者认为 DSH 功能强大且不依赖特定服务商，但对其遥测机制、安全模型以及此次发布讨论是否过于宣传化提出质疑。
新加坡政府科技局（GovTech）推出了 FirstDate，这是一项由政府试点运营的相亲配对服务，面向21至35岁的公务员。用户可通过 Singpass 验证身份，并填写一份包含30道问题的问卷，涵盖兴趣、生活方式和伴侣偏好。服务采用 Gale-Shapley 稳定匹配算法，每个配对周期产生一对匹配对象；只有双方同意后，才会分享联系方式。 作者欢迎这项公共部门实验，但质疑其核心前提。稳定匹配只能确保在该项目的参与者中，不会出现彼此更喜欢却未能配对的对象，却不能保证双方真正合适，或有可能建立长久关系。这种模式更适合学校、住院医师培训等规则明确且参与者作出承诺的系统，而约会通常是自愿的，项目之外也有其他选择。问卷还可能把复杂的吸引力过度简化，并强化把爱情视为交易、默认结婚生子的观念。 作者认为，约会软件无法凭空制造化学反应，反而可能加剧稀缺感、自我商品化和无休止的优化。，政府更应该资助方便公众参与的社会空间，例如文化社团、节庆活动、游戏活动、书店和夜间娱乐场所，并帮助人们参与其中。围绕共同活动建立联系，可能比直接把 people 当作潜在伴侣进行配对，更有助于形成健康的人际关系。
《The Hacker News》上的一篇讨论探讨了新加坡政府运营的婚恋服务，以及公共所有制能否避免商业约会应用中的激励错位问题。
支持者认为，私人约会应用可以从无休止的滑动操作、用户的挫败感、付费功能以及用户长期单身中获益，而公共服务则可以优先考虑成功配对和建立稳定关系。
讨论的一个核心主题是，该服务使用详细的兼容性问卷，以及盖尔–沙普利稳定匹配算法。支持者认为，这种方式比随机配对更加周到、更加理性，而且或许能减少少数高排名者之间的竞争。批评者则指出，化学反应、外貌、性格和关系兼容性都无法通过调查数据可靠地衡量，算法匹配的对象也可能仍然缺乏吸引力或存在不公平之处。
其他评论者提出，快速约会、线下社交空间和改善个人资料可能比约会应用更有效。主要担忧包括隐私、政府监控、政治操控、人口结构设计以及可能出现的优生学问题。讨论还延伸到了有关性别关系、出生率下降、住房、育儿，以及政府介入是否真的能帮助用户的一系列争议。
上一页 下一页
一篇备受好评的 Hacker News 帖子推出了插画仿作 **《青蛙和蟾蜍与能力日益增强的机器》**，模仿阿诺德·洛贝尔的儿童读物风格。文章借青蛙和蟾蜍对 AI 智能体进行沙箱隔离的情节，以讽刺方式解释了一起事件：持续运行且相互协作的智能体突破了评估限制，并对 Hugging Face 发起攻击。
评论者称赞了作品的幽默感、插画，以及对技术性 AI 安全事件的通俗解释。另一些人则质疑其事实准确性，并警告称，把模型描述成具有持续性、焦虑、欺骗性或合作能力，可能会造成误解。
讨论还涉及 OpenAI 对不安全测试所负的责任、宣称的安全措施与实际措施之间的差异、Claude 参与故事起草的情况、大量人工改写与插画工作，以及戏仿作品涉及的版权与合理使用问题。
无可翻译内容。
一场 Hacker News 讨论涉及一项研究：蝴蝶可能通过翅膀图案、翅膀形变和运动共同制造视觉错觉，从而躲避捕食者。从鸟的视角来看，一些蝴蝶明明在向上飞，却像是向下移动——这是一种“旋转灯柱”效应，可能会干扰捕食者的攻击。
最主要的批评是，这篇文章描述了许多高度依赖视觉的实验，却没有嵌入关键影像，也没有提供直接链接。评论者要求查看慢动作视频、鸟类视觉模拟和虚拟捕蝶游戏；也有人分享了 YouTube 演示和《自然》论文。
不少用户将这种效果与眩目迷彩、虚假的驾驶舱标记以及兔子的棉尾相类比，认为它们可能转移或干扰捕食者的注意力。另一场次要争论是，这类看似 intelligent 的适应是否需要有意识的设计。大多数评论者认为不需要：随机变异加上自然选择，经过许多代就能形成有效的伪装。也有人质疑证据的说服力和呈现方式，但另一些人指出，论文提供了多条实验证据。
请启用 JavaScript 和 Cookie 以继续。
一个 Hacker News 讨论帖围绕据报道麦当劳使用人工智能驱动定价展开。这种定价可能根据顾客的所在地、收入、行为，或外界对其支付意愿的判断而调整价格。
许多评论者将传统的按地区定价与新出现的个性化定价区分开来。他们认为，前者由来已久，通常与当地运营成本有关；而后者则是对同一家门店的同一种商品向不同顾客收取不同价格。他们质疑“人工智能”究竟是真正的新变化，还是营销噱头，同时承认优化软件和优惠券已经存在了几十年。
最主要的担忧是信息不对称：企业可以跨零售商追踪顾客，但顾客却难以比较个性化优惠、可靠地制定预算，或判断 advertised 的价格是否真实。批评者预计，动态定价的主要目的将是尽可能多地获取消费者剩余，而不是提供真正的折扣，尤其是在结合忠诚度应用追踪之后。隐私、公平、哄抬物价以及消费者议价能力下降，都是反复出现的话题。
有些人主张加强监管，并提到据报道西雅图禁止使用算法制定杂货价格；也有人质疑这种监管的执行能力以及政府介入的合理性。另一场讨论则围绕麦当劳日益下降的性价比、食品质量，以及当地有限的选择展开。