Hacker News 中文摘要

MCP-Use是一个开源工具，允许开发者将任何大型语言模型（LLM）连接到MCP服务器，并构建具有工具访问权限的自定义MCP代理，无需使用闭源或应用客户端。它支持快速连接LLM到网页浏览、文件操作等工具，提供TypeScript版本，并可通过官方网站和文档快速上手。

Kaleidos是一种便携式核微反应器，旨在替代柴油发电机，为偏远村庄、医院、数据中心和军事设施提供电力。它采用空气冷却技术，无需现场用水，可在任何地方运行。Kaleidos不仅发电，还能提供热能用于供暖或海水淡化。其核心使用氦气传热，不会产生放射性泄漏，且采用被动冷却设计，简化了监管审批。反应器使用TRISO燃料，安全可靠，已在多个电网规模反应器中应用多年。Kaleidos在工厂组装、加燃料和测试，便于快速部署，可通过卡车或飞机运输，灵活适应不同需求。

Carbon Language 是一个实验性的 C++ 后继语言，旨在提供与 C++ 相当的性能，并通过 LLVM 实现低级别的位和地址访问。它能够与现有的 C++ 代码互操作，支持继承和模板，并具备快速、可扩展的构建系统。Carbon 语言设计现代且易于学习，尤其适合有 C++ 经验的开发者，同时提供基于工具的简单升级路径。目前，Carbon 尚未准备好正式使用。

Orion浏览器由Kagi开发，基于WebKit，适用于Mac、iPhone和iPad，提供轻量级、快速的浏览体验。内置广告拦截器，支持Web扩展，无用户数据追踪。Orion完全由用户资助，无广告和第三方交易，提供Orion+订阅服务。其深度集成原生技术，如Keychain和Live Text，确保在macOS和iOS/iPadOS上的流畅使用体验。

gVisor是一种工具，用于在运行任意代码时提供更强的隔离性，尤其是在共享操作系统内核的容器环境中。与标准Docker容器不同，gVisor通过额外的安全层防止不受信任的代码访问主机系统，确保代码之间的隔离性。

文章核心内容是关于用户被随机选中进行CAPTCHA验证以确保请求的合法性，用户需完成验证并提交。同时提供了登录、忘记密码、使用OpenID登录等选项，以及创建账户和浏览网站的功能。

文章反驳了反垄断运动对住房问题的批评，指出住房供应的主要瓶颈在于法律障碍，如分区法和最小地块面积限制，而非大型建筑商故意减少供应以牟利。主流经济学家和学者长期研究支持这一观点，认为解决住房问题的关键在于消除这些法律障碍，而非归咎于建筑商的垄断行为。

OpenAI宣布启动“Stargate Norway”项目，这是其在欧洲的首个AI数据中心计划，旨在通过大规模计算能力推动AI技术发展，惠及挪威及欧洲的开发者、研究人员和初创企业。该项目由Nscale和Aker合作建设，预计由双方合资拥有，进一步推动AI基础设施的扩展与应用。

丹佛的租金在2025年第二季度下降，已回落至2022年的水平。

Krea与Black Forest Labs合作发布了FLUX.1 Krea的开源版本，该图像模型注重美学控制和图像质量，兼容现有生态系统。模型开发过程中强调特定美学偏好，并分享了预训练和后训练的见解及未来研究方向。