大语言模型并非懒惰，而是效率低下：它们倾向于从零开始构建，而不是使用现有的库，因为在它们看来，编写复杂的代码与简单的调用库文件所耗费的“认知成本”是一样的。因此，审查人工智能生成的代码变得成本更高，因为开发人员必须花费大量时间来核实并抵制那些过度设计的实现方案。 然而，开发的经济逻辑已经发生了转变。尽管现在审查的成本很高，但重写的成本却很低且速度很快。作者调整了工作流程，将重点放在前期规划上，以最大限度地减少初始复杂性。如果人工智能仍然生成臃肿的代码，作者不再将其视为必须接受的沉没成本，而是将其视为人工智能重写的便捷对象。通过在初稿中优先考虑快速迭代而非追求完美，开发人员可以将精力集中在细化范围和实现上，而不是去争论每一行生成的代码。
每日HackerNews RSS
抱歉。
亚马逊云科技（AWS）宣布将投资数十亿美元，在密苏里州蒙哥马利县建设一个新的数据中心园区。该项目旨在支持云计算和人工智能工作负载，将创造 400 多个长期技术岗位及数千个建筑相关职位。 该计划强调可持续发展与社区融合。AWS 已与密苏里州阿默伦公司（Ameren Missouri）合作，确保该项目不会提高当地公用事业费率，并已投资于无碳能源。该设施还将采用先进的节水技术，包括雨水收集和现场循环利用，以最大限度减少对地下含水层的影响。 除运营基础设施外，该项目还是重要的经济催化剂，预计将产生数亿美元的税收收入。AWS 已承诺提供超过 700 万美元的直接社区捐款，用于资助紧急服务、公共基础设施、STEM 教育以及在蒙哥马利县展览中心建设一个新的社区空间。州长迈克·基奥（Mike Kehoe）及当地官员对此次投资表示欢迎，指出该开发项目确立了蒙哥马利县作为中西部新兴科技中心的地位。工程预计将于未来几个月内动工。
抱歉。
Cohere 发布了其首个开源智能体编程模型 **North Mini Code**。该模型专为软件开发而设计，采用混合专家（MoE）架构，拥有 30B 总参数及 3B 激活参数，在强大的性能与硬件效率之间实现了平衡。
主要亮点包括：
* **性能与效率：** 该模型针对代码生成、架构映射和代码审查进行了优化。内部测试显示，其输出吞吐量比 Devstral Small 2 等同类模型高出 2.8 倍，Token 间延迟优化了 30%。
* **智能体能力：** 专为处理复杂的智能体工作流而构建，擅长编排子智能体和终端任务。
* **易用性：** 模型采用 Apache 2.0 许可证发布，旨在推动“主权 AI”，允许开发者在本地或私有环境下部署，从而避免厂商锁定。
* **可用性：** 模型权重已在 Hugging Face 上发布，可通过 Cohere 的 Model Vault 进行托管部署，并支持通过 OpenCode 使用各种编程智能体。
Cohere 希望 North Mini Code 能够成为新一代开源模型的开端，并邀请社区通过 X、Discord 和 Reddit 提供反馈，以指导未来的开发方向。
抱歉。
“Claude Code for Visual Studio” 是一款社区驱动的扩展插件，旨在将 Claude Code CLI 与 Visual Studio 2026 进行连接，实现原生的 IDE 集成。Claude CLI 负责执行智能代理工作，而该插件则作为 IDE 协议处理器，通过精简的原生体验取代了手动终端交互。
**主要功能包括：**
* **原生差异对比工作流：** Claude 的编辑内容直接在 Visual Studio 的差异对比查看器中打开，支持一键“接受”或“拒绝”。
* **上下文感知：** 该插件可向 Claude 提供当前选中的文件及编译器诊断信息（C#/C++），以提高代码准确性。
* **实时仪表盘：** 一个可停靠的面板，用于监控连接状态、编辑历史记录以及估算的 Token 使用量。
* **灵活控制：** 用户可以选择“带反馈拒绝”以进行迭代优化，或启用“自动接受”以实现快速执行。
该插件仅作为协议桥梁，不直接进行模型调用，并要求安装已通过身份验证的 Claude Code CLI。它通过 localhost WebSocket 和特定项目的钩子（hooks）进行集成。该项目目前仅适用于 Visual Studio 2026，采用开源协议（MIT），并鼓励社区贡献，以保持与不断演进的 Claude 集成协议的兼容性。
“幽灵域名”是指当注册局或注册商暂停某个域名（因联系信息验证失败、过期或滥用）时，该域名在在线状态检测工具中仍显示为“健康”的现象。之所以会出现这种情况，是因为递归 DNS 解析器缓存了该域名的权威域名服务器记录（即“顶点 NS RRset”）。只要缓存保持“有效”，解析器就会继续查询权威服务器，而这些服务器可能并未获知注册局层面的暂停指令，因此不会去重新查询父区域。
由于标准的在线状态检测工具同样依赖这些缓存解析器，它们往往无法检测到域名已被从父区域中移除，从而可能连续多日报告站点“在线”，而实际上公众已无法访问该网站。
为了解决这一问题，我们正在升级基础设施，在每个探针上使用自定义的 Unbound 递归解析器。通过缩短 `cache-max-ttl` 并启用 `harden-referral-path`，我们强制要求更频繁地重新验证委派路径，从而显著缩短了“幽灵域名”的存续时间。虽然这并不能彻底解决 DNS 层面的问题，但该方法缩小了检测盲区，并强调了在进行标准的 HTTP 在线状态检查之外，同时使用专门 DNS 监控的必要性。
抱歉。
旧金山在公用事业成本飙升之际考虑收购太平洋天然气与电力公司（PG&E） San Francisco Weighs PG&E Takeover Amid Soaring Utility Costs
2 天前
旧金山正加大力度，试图切断与太平洋天然气和电力公司（PG&E）的联系，转而建立由市政拥有、服务用户的公用事业系统。此前，由于电费上涨、频繁停电以及对企业提供的财务赔偿不足，引发了广泛不满，不仅导致了集体诉讼，也带来了长期的政治压力。
旧金山对PG&E当地基础设施的估值为34亿美元，PG&E则认为该估值严重偏低。支持者认为，通过取消股东分红和降低高管薪酬，市政接管可以在十年内将费率降低15%至20%；但批评者警告称，这一过程将耗资巨大且极其复杂。
专家指出，如果旧金山脱离该系统，可能会给该地区其他用户带来沉重的财务负担，因为旧金山目前为其他地区的关键野火预防基础设施提供了补贴。虽然市政化承诺了地方控制权和较低的非营利成本，但对于这是否是最佳的前进道路，目前尚无共识。最终，许多居民——包括那些正在为目前电价苦苦挣扎的企业主——仍持怀疑态度，认为公平的服务和稳定性远比接管公用事业带来的物流不确定性更为重要。
旧金山正在探讨接管太平洋瓦电公司（PG&E）的配电基础设施，其动力源于不断飙升的公用事业成本，以及对该公司在山火责任和管理方面历史表现的不满。尽管旧金山已经拥有赫奇赫奇（Hetch Hetchy）发电系统，但批评人士指出，这仅能满足全市约20%的能源需求，且城市若接管将承担沉重的维护压力和火灾风险责任。
这场争论凸显了鲜明的观点分歧：支持者以硅谷电力公司（Silicon Valley Power）等市政公用事业的成功为例，指出其费率远低于PG&E；相反，怀疑论者认为市政府缺乏管理复杂公用事业运营的能力，并对市政腐败、官僚效率低下以及升级老化电网的巨额成本表示担忧。
目前的讨论主要集中在：高零售电价究竟是源于供应短缺、企业利润过高，还是源于加州将山火预防成本分摊给所有纳税人的政策。尽管加州的电力批发价格相对便宜，“最后一公里”的配电成本和监管负担仍是争议的核心，这也使得居民们仍在争论：市政化究竟是一个可行的解决方案，还是会导致进一步市政管理不善的祸端。
本摘要概述了 NPTEL MOOC 平台互动式浏览器课程《OCaml 函数式编程》的开发过程。
为了消除安装环境这一初学者常遇到的“从零到一”的障碍，作者开发了一本集成了开发环境的教材。通过利用 `js_of_ocaml` 和 `v86`（在浏览器中运行 Linux）等技术，学生无需安装任何软件或依赖外部服务器，即可直接在浏览器标签页中执行 OCaml 代码、编译程序并交互使用完整的 Linux 环境。
该课程采用统一的流水线：通过单一 Markdown 源文件生成课程网站、reveal.js 幻灯片以及具有自动检查功能的互动编程练习。为确保教学质量，作者利用大语言模型（LLM）进行草稿撰写，并遵循有关概念排序和练习设计的严格规则，同时由人工进行审核。
作者强调，该课程是一个不断演进的“可执行”项目。未来的目标包括集成 LLM 导师，根据匿名学生反馈提供个性化、自适应的教学指导。该项目为开源，欢迎对函数式编程或互动式浏览器教学基础设施感兴趣的人士使用。
受短篇小说《图书馆》启发，作者创作了“禁书图书馆”项目。该项目将廉价的WiFi智能灯泡改造为“赛博朋克数字死信箱”。其目标是提供一个隐蔽、公开且本地化的禁书档案，任何拥有WiFi设备的个人均可访问。
该项目涉及对基于ESP32C3的智能灯泡进行大量的逆向工程。在确定通过microSD卡进行物理存储扩展不可行后，作者转而致力于优化灯泡内部的4MB闪存。通过从Tasmota固件切换至定制的ESP-IDF/Arduino环境，作者成功重新分区了闪存，从而为Web服务器和文件系统腾出了更多空间。
最终的设备具有一个强制门户（Captive Portal），可拦截用户请求并将其引导至一个受密码保护的定制网站，其中托管了一系列精选禁书。尽管该项目受限于灯泡较小的存储容量，但作者将其视为一种个性化的契机。该项目作为硬件黑客技术的成功探索而告终，展示了廉价且普及的智能设备如何能被重新利用，以实现隐私保护和开放的信息获取。
这个 Hacker News 帖子讨论了一个将支持 Wi-Fi 的智能灯泡改装成用于托管“禁书”服务器的项目。作者使用 Tasmota 固件设计了该系统，允许用户通过局域网托管和访问数字文件（主要是 ePub 格式）。
该项目在评论区引发了长篇讨论，主要集中在以下方面：
* **“禁书”的定义：** 许多用户认为在美国语境下滥用了这个词，因为大多数被“禁”的书籍只是在特定的学校图书馆中受到质疑或被移除，而非法律禁止。批评者指出，项目中的示例书籍（如《野性的呼唤》）不仅广为流传，而且属于公有领域作品。
* **版权与内容策展：** 作者解释说，他们选择公有领域作品是为了避免在公共存储库中产生法律问题，并指出用户可以自由添加自己的文件。一些参与者建议，如果该项目能托管真正难以获取的资料，影响力会更大。
* **技术实现：** 评论者称赞了使用常见的、不起眼的硬件（灯泡）作为基础设施的创意，并探讨了诸如电池备份和网状网络等潜在改进方案。
瑞典议会投票赞成政府的提案，其中包括取消给予需要保护人士、瑞典长期居民及其亲属的永久居留许可。该提案旨在使瑞典有关国际保护和庇护程序的监管框架，符合欧盟法律规定的最低保障标准。此次调整旨在通过减少与庇护相关的移民，为改善社会融合及减少社会排斥创造更好的条件。修正案将于2026年7月12日起生效，并附带某些过渡性条款；除《新接待法》中的修正案外，该法案将于2026年10月2日生效。委员会报告（瑞典语）：取消永久居留许可 (SfU30)
瑞典议会已投票决定，取消针对寻求庇护者及获得保护者的永久居留许可，旨在使瑞典的法规与欧盟最低标准保持一致。此项政策旨在减少与庇护相关的移民，并改善融合成果。
关键在于，此次变动专门针对庇护途径；基于就业或学术目的的移民渠道则保持不变。观察人士指出，从历史上看，瑞典的永久居留权在功能上类似于公民身份，赋予了临时签证持有者所不具备的广泛权利。通过将永久居留权与长期保护脱钩，政府正在居民与公民之间建立更明确的界限。
此项立法举措引发了激烈辩论，反映出欧洲对于大规模移民态度转变的普遍趋势。支持者将其视为解决社会凝聚力和福利国家可持续性问题的必要措施。批评者则认为该决定对融入过程施加了压力，而另一些人则指出，瑞典等国面临着长期经济挑战——如生育率下降——单靠移民政策难以解决。这一发展凸显了欧洲在履行人道主义义务与应对当代移民在经济、社会及现实层面挑战之间持续存在的张力。
``` BAS SMITS 的网站 欢迎 指挥官基恩 ```
抱歉。