Bitwarden 已经发布了 Agent Access SDK，为 AI 代理访问凭据提供了一种更安全的方式。 传统上，代理将 API 密钥存储在内存中，存在安全风险。这个新系统利用人工参与的审批流程：代理请求凭据，用户通过 Bitwarden CLI 批准，凭据在*不*让代理看到明文值的情况下被注入。
OneCLI 作为关键网关，拦截 API 请求，从 Bitwarden 获取凭据，并直接将其注入到请求中。 这确保了代理和 LLM 提供商永远不会处理敏感信息。
主要优势包括通过人工审批增强安全性、运行时策略执行（如速率限制）以及全面的审计跟踪。重要的是，此解决方案与框架无关，适用于 NanoClaw 和 OpenClaw 等代理。 Bitwarden 的 SDK 和 OneCLI 都是开源的，目前处于 alpha 阶段，为安全的代理操作提供了一个有前景的“信任层”。
每日HackerNews RSS
## Bitwarden 与 OneCLI Agent Vault 集成
Bitwarden 通过新的API与 OneCLI Agent Vault (onecli.sh) 集成。讨论的焦点在于这是否是真正的集成，还是仅仅是 Bitwarden 开放其API供他人使用。一些评论者认为集成是双向的，而另一些人则指出当大型实体向小型项目提供API时的权力动态。
有人对 OneCLI 本身的安全性表示担忧，用户指出其缺乏依赖项固定和安全审计，质疑 Bitwarden 与其集成的决定。另一些人则为该集成辩护，认为使用代理进行密钥管理是一个好主意，并且推荐开源解决方案问题较小。
一个反复出现的主题是对AI生成内容的怀疑，以及对平台“沦陷化”的更广泛讨论，引用了 Cory Doctorow 的框架。最后，对话涉及了 1Password 等密码管理器替代品，最近的价格上涨促使用户重新评估他们的选择，包括 Bitwarden（Bitwarden 最近也提价了，但仍然更便宜）。
游戏浏览工作室 重启 游戏显示名称 主题：天堂鸟 CobaltDawn Espresso Libre GitHub Idle Fingers I PlasticMagic WB Amiga Merbivore Sunburst Textmate Mac Classic KR Theme Twilight Zenburnesque Active4D All Hallows Eve Amy Blackboard Brilliance Black Chrome DevTools Clouds Midnight Clouds Dracula Dreamweaver Eiffel GitHub Dark GitHub Light Katzenmilch Kuroir Theme LazyMono Industrial Monokai Night Owl Nord Oceanic Next Pastels on Dark Slush and Poppies Solarized Dark Solarized Light Space Cadet Tomorrow Night Blue Tomorrow Night Bright Tomorrow Night Eighties Tomorrow Night Tomorrow Vibrant Ink Xcode 默认字体大小：字体连字
## 编码字体选择器总结
这次Hacker News讨论围绕[codingfont.com]展开，这是一个旨在帮助用户发现理想编码字体的游戏。该网站以配对字体的方式呈现，要求用户选择偏好，最终通过类似锦标赛的淘汰方式缩小选项范围。
用户分享了他们的结果，**Fira Code、JetBrains Mono、Ubuntu Mono 和 Source Code Pro** 经常作为赢家出现。许多人遗憾自己喜欢的字体（如 **Iosevka、Berkeley Mono 和 Cascadia Code**）没有被包含在内。
贯穿评论的关键主题是字体偏好的主观性，讨论涉及连字、字符区分（尤其是'0'与'O'、'i'与'l'）以及不同环境下的渲染一致性的重要性。一些用户强调了定制和像素级完美字体对于最佳可读性的价值。
虽然这个游戏受到赞赏，但反馈包括对诸如基于Elo等级的排名系统、进度跟踪、根据特征排除字体（连字、衬线）以及包含用户提交字体等功能的要求。
抱歉，您请求的页面当前不可用。请求看起来像是滥用的自动化请求。如果您认为这是一个错误，请联系我们，我们将协助解决问题。您可以发送电子邮件至[email protected]，并提供以下信息：错误参考ID 0.d4753617.1774886726.c1b9cabd IP地址 47.245.80.60
## Coasts：轻松打造本地开发环境
Coasts 是一款 CLI 工具，可在单台机器上运行多个隔离的完整开发环境，并提供本地可观察性 UI。它旨在与您现有的设置协同工作——无论您是否使用 Docker Compose——只需在仓库根目录下放置一个 `Coastfile` 即可。
Coasts 只需构建一次，即可运行多个实例，并根据需要管理卷和网络。您可以“检出”特定的环境，将其绑定到标准端口，或使用动态端口进行监控。它与提供商无关，这意味着它可以与任何 AI 工具或代理 Harness 配合使用，并且仅依赖于 Git 工作树来实现灵活性。
重要的是，Coasts 优先考虑离线使用，并且没有托管服务依赖，从而避免了供应商锁定。目前它主要针对 macOS，并提供 Linux 支持。开发涉及一个三终端工作流程：一个守护进程、一个 Rust 重建过程和一个具有热重载功能的 Web UI。
您可以在 [coasts.dev](https://coasts.dev) 上找到安装说明和文档，并在 [coasts-demo 仓库](https://github.com/coasts-dev/coasts-demo) 中找到演示项目。
对不起。
仅在四次事件中，美元的购买力就损失了72%。
72% of the dollar's purchasing power was destroyed in just four episodes
3 天前
## 美国通货膨胀历史：一个世纪的冲击
这项来自Eco3min Research的数据集追踪了1913年至2026年2月美国的消费者价格指数（CPI），揭示了购买力侵蚀并非渐进的，而是集中爆发式的。在113年间，美元失去了96.9%的价值，但72%的损失发生在四个通货膨胀时期：第一次世界大战、二战及战后繁荣、大通货膨胀（1968-1982）以及新冠疫情后的激增（2021-2023）。
20世纪70年代的大通货膨胀最具破坏性，占所有累积购买力损失的30%以上。自1914年以来，13%的月份出现了通货紧缩，但自2015年以来一直没有出现。目前（2026年2月），CPI同比通货膨胀率为2.4%，接近历史中位数2.7%。
该研究挑战了对稳定通货膨胀的普遍认知，强调这些由战争、政策失误和经济冲击驱动的“制度性转变”是长期价格变化的主要驱动因素。该数据集可免费用于研究和分析，采用CC BY 4.0许可。
对不起。
## build123d：Python 参数化 CAD 建模
build123d 是一个 Python 框架，用于使用边界表示 (BREP) 建模创建精确的 2D 和 3D 模型，由 Open Cascade 几何内核提供支持。它专为“代码即 CAD”而设计，能够实现可维护和可编程的制造设计，例如 3D 打印和 CNC 加工。
该库提供了一个简洁、Pythonic 的接口，具有显式几何类和运算符驱动的建模（例如 `obj += sub_obj`），从而实现可读且可组合的设计。它支持导出为 STEP 和 STL 等格式，以与 FreeCAD 和 SolidWorks 等工具兼容。
build123d 具有两种主要模式：**代数模式**（无状态，显式对象跟踪）和 **构建器模式**（有状态，类似历史的设计）。强大的选择工具允许根据长度、面积或几何类型等属性过滤和操作形状。可以通过子类化创建自定义可重用对象。
安装通过 `pip` 非常简单，并且 VS Code 扩展 (`ocp_vscode`) 提供了一个方便的查看器。该项目正在积极开发中，并欢迎贡献 – 详情请参见文档。它是一个从 CadQuery 衍生出的经过重构和独立的框架。
## Build123d：一个Python CAD库 - 摘要
Hacker News的讨论围绕Build123d展开，这是一个用于CAD编程的Python库，以及它作为传统GUI CAD软件的、以代码为先的替代方案的潜力。虽然承认基于代码的方法在参数化设计和自动化方面的优势，许多评论者强调它们最好是*补充*图形界面使用。
Onshape的FeatureScript被强调为一个成功地将脚本直接集成到基于历史的建模器中的例子，从而扩展了其功能。用户讨论了对混合系统的渴望——一个利用Build123d引擎的GUI前端，允许选择实体进行代码输入，并将脚本输出无缝集成回模型。
提到了几个相关的工具：OpenSCAD、FreeCAD（及其Python API）、Rhino3D/Grasshopper和CADquery。一个关键的讨论点是需要强大的约束求解器，类似于FreeCAD中的那些，以便更容易地创建模型。solve123d等项目被指出是解决这一问题的尝试。最终，对话表明人们渴望更高效、更灵活的CAD工作流程，将代码的精确性与图形工具的直观性相结合。
启用 JavaScript 和 Cookie 以继续。
最近，Hacker News 上爆发了一场争议，内容是微软 Copilot 向超过 150 万个 GitHub 拉取请求中注入广告。用户对此表示强烈不满，认为这种做法具有侵入性，滥用了平台。
这些广告是“产品提示”，旨在向开发者介绍 Copilot 的功能，但被广泛认为是令人不快的营销行为。微软通过 GitHub 产品经理 Tim Rogers 迅速做出回应，宣布他们已禁用这些针对由 Copilot 创建或修改的拉取请求的提示，并为糟糕的判断表示道歉。
这场讨论凸显了人们对编程未来以及开发者工具和工作流程中广告可能日益普遍的担忧。多个讨论该问题的帖子被整合在一起，承认了其影响范围超越了最初的报道。虽然有些人认为这是未来的趋势，但许多用户仍然批评这种策略。
亨尼·吉·维切尔斯探讨了如何通过“机制设计”——战略性地重写激励措施——来促进在看似无法解决的冲突中的合作。文章以马里兰州蒙哥默里县的农业保护区为例，该保护区并非通过限制措施而是通过可转让开发权（TDR）得以保护。该系统允许土地所有者将其开发潜力出售给指定增长区域的开发商，从而为农场保护提供资金，同时也实现了必要的建设。
这种方法植根于经济理论，并受到规划者如罗伊斯·汉森等人的倡导，将零和博弈转变为有效的市场。例子包括纽约市的空中权销售以保护地标建筑，休斯顿的住房密度改革，以及日本尽管存在土地所有者抵制但仍成功进行的铁路建设。
核心原则是将分析现有规则转变为*设计*使合作成为理性选择的规则。现代思想家如格伦·韦尔倡导“多元性”——承认不同动机并建立跨越分歧关系的机制，例如二次投票和资金。
最终，文章认为成功的机制不仅仅是关于经济效率，而是关于理解和适应人类行为。它们需要持续的维护、透明度和适应性，为解决气候变化和民主复兴等复杂挑战提供了一条希望的道路，重点在于构建更好的合作*架构*。
## 住房短缺与博弈论：摘要
一篇黑客新闻的讨论围绕着一篇文章，探讨“逆向博弈论”——本质上是应用标准的博弈论原理——是否能解决住房短缺问题。核心论点是，改变激励机制可以改变行为，鼓励更多的住房建设。
对话很快超越了文章的框架，许多评论者一致认为解决方案就是**建造更多住房**，无论意识形态如何。然而，他们指出了显著的障碍：NIMBY主义（通常来自优先考虑环境问题或反对地主利益的自由派），限制性分区法规，以及由投资驱动的人工稀缺。
几个要点浮出水面：可转移开发权（通过从其他地方购买权利来允许在一个区域增加密度）作为一种可持续的解决方案受到了质疑。其他人强调了人口增长、移民和投资者投机的作用。一个反复出现的主题是，政府干预，虽然通常旨在提供帮助，但经常通过过度监管加剧问题。
最终，讨论指出这是一个复杂的问题，没有简单的解决方法，强调需要调整激励机制以鼓励增加住房供应并减少对开发的人为限制。许多人认为，自下而上的方法，赋予地方社区决定住房密度的权力，可能比自上而下的指令更有效。
在数学中，严谨性至关重要。但数字化的证明是否过于严苛？
In math, rigor is vital, but are digitized proofs taking it too far?
3 天前
布尔巴基小组在20世纪深刻地重塑了数学，并非通过新的发现，而是通过对抽象和严格形式化的彻底强调。他们优先考虑一般陈述和逻辑推导，而非直觉和具体例子，创造了一种高度“严谨”且无懈可击的风格，并被广泛采用。 虽然这种方法提高了数学的可靠性和清晰度，但也存在缺点。诸如组合学和图论等领域，依赖于具体的视觉化，最初被边缘化。一些数学家现在担心布尔巴基的成功助长了同质化，通过掩盖替代方法（例如历史上几何的意大利代数几何学派）而降低了数学的“文化多样性”。 目前，新一代数学家正试图使用计算机“证明助手”（如Lean）来实现*真正*的形式化证明，旨在验证每一个逻辑步骤，甚至基本的算术。这个雄心勃勃的项目，在大量资金的支持下，寻求形式化所有数学，并可能解决人类严谨性的局限性。