## 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) 中找到演示项目。
每日HackerNews RSS
对不起。
仅在四次事件中，美元的购买力就损失了72%。
72% of the dollar's purchasing power was destroyed in just four episodes
4 天前
## 美国通货膨胀历史：一个世纪的冲击
这项来自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?
4 天前
布尔巴基小组在20世纪深刻地重塑了数学，并非通过新的发现，而是通过对抽象和严格形式化的彻底强调。他们优先考虑一般陈述和逻辑推导，而非直觉和具体例子，创造了一种高度“严谨”且无懈可击的风格，并被广泛采用。 虽然这种方法提高了数学的可靠性和清晰度，但也存在缺点。诸如组合学和图论等领域，依赖于具体的视觉化，最初被边缘化。一些数学家现在担心布尔巴基的成功助长了同质化，通过掩盖替代方法（例如历史上几何的意大利代数几何学派）而降低了数学的“文化多样性”。 目前，新一代数学家正试图使用计算机“证明助手”（如Lean）来实现*真正*的形式化证明，旨在验证每一个逻辑步骤，甚至基本的算术。这个雄心勃勃的项目，在大量资金的支持下，寻求形式化所有数学，并可能解决人类严谨性的局限性。
## 幻影：拥有自己电脑的AI
幻影是一种新的AI代理方法，超越了可抛弃的聊天机器人，旨在创造一个持久的、自我改进的合作者。 与每次会话都会丢失上下文的传统代理不同，幻影在一个专用的虚拟机上运行，允许它安装软件、构建工具并*记住*过去的交互。
这意味着幻影可以自主构建复杂的解决方案——例如从原始数据创建分析仪表板，或通过Discord等新的通信渠道扩展其功能——而无需持续的人工指导。 它甚至监控自己的基础设施并主动提高性能。
主要功能包括持久内存、创建动态工具的能力、加密安全以及可共享的公共URL，用于它构建的任何内容。 幻影不受您笔记本电脑资源的限制，并且全天候运行。 它会随着时间的推移学习和进化，变得越来越符合*您的*特定需求，并且可以通过MCP服务器与其他AI工具集成。
幻影专为任何人设计，即使是没有编码经验的人，也提供了一种强大的自动化任务和构建定制解决方案的方式。 它可部署在专用虚拟机上，并通过Anthropic API密钥提供免费试用。
对不起。
在深夜刷Reddit时，我偶然发现了一个有趣的故事：新西兰的道路工人困惑于交通锥子不断被一种叫做“kea”的本地、调皮的鹦鹉移动。结果发现，这些“马戏团”般的鸟类有策略地重新摆放锥子，*故意*让交通停止，希望从下车的司机那里得到施舍——本质上是发明了收费站！ 这引发了我对鸟类智力的深入研究。虽然没有单一的“鸟类智商测试”，但研究人员使用诸如镜子测试（自我识别）、伊索寓言（解决问题）和延迟满足测试等方法。鸦科鸟类（乌鸦、渡鸦、喜鹊）和鹦鹉始终表现出卓越的能力——工具使用、未来规划、沟通，甚至理解他人的认知。 令人惊讶的是，鸟类的大脑虽然较小，但神经元密度是同等大小的灵长类动物大脑的*两倍*。一只渡鸦的10克大脑在计算能力上可以与一只黑猩猩相媲美！虽然鸦科鸟类擅长解决问题，但鹦鹉在沟通方面表现出色，其中一些，比如非洲灰鹦鹉Alex，展现了令人印象深刻的词汇量和抽象思维。讽刺的是，最“笨”的鸟，鸮鹦鹉，在没有天敌的环境下进化，当受到威胁时只是会僵住。 结论？智力不是关于大脑的大小，而是效率。称某人为“鸟脑”可能恰恰是一种赞美。
## 自制路由器：对美国新政策的回应
美国政府最近宣布了一项 фактически 禁止进口新型消费级路由器型号的政策。作为回应，并且作为一个有趣的科技项目，利用现有硬件自制路由器是一个可行的选择。本质上，任何运行Linux的计算机——迷你电脑、旧笔记本电脑，甚至重新利用的服务器——都可以充当路由器。
这个过程包括安装轻量级的Linux发行版（如Debian或Alpine），配置WAN和LAN网络接口，并利用诸如`hostapd`（用于Wi-Fi）、`dnsmasq`（用于DHCP & DNS）和`nftables`（用于防火墙/NAT）等软件。 多个以太网端口是理想的，但USB适配器可以作为补充。
虽然看似复杂，但核心思想很简单：路由器只是计算机。这种方法提供了稳定性和控制力，作者的设置即使使用旧硬件也能可靠地处理家庭流量。 除了基本的路由之外，这些系统还可以扩展到VLAN、VPN和入侵检测等功能，但为了获得最佳性能，建议保持路由器软件的精简。 这不一定是每个人都能实用的解决方案，但它展示了硬件的灵活性和软件的力量。