Hacker News 中文摘要

这篇文章批评了直接引用AI回复而不加思考的行为，指出这样做既懒惰又无意义，无法体现个人思考价值。作者讽刺这种行为证明人与AI无异，并暗示这类人将最先被AI取代。核心观点是：面对他人真诚提问时，应该提供经过自己思考的答案，而非简单复制粘贴AI的格式化回复。

Models.dev是一个开源的AI模型数据库，提供模型规格、价格和功能信息。该项目由社区共同维护，支持API查询，用户可通过Model ID查找模型数据。数据库以TOML文件形式存储，按供应商和模型分类，并包含SVG格式的供应商logo。项目鼓励用户贡献数据以保持更新。

这篇文章介绍了一个受Forth启发的堆栈式编程语言Forge，用于编写网站内容。作者创建了一套词汇库来简化HTML微格式的添加，通过定义类似h1、p等标签的单词来生成网页内容。整个网站由页面集合、词汇库和样式表组成，通过一个二进制程序编译运行，后端会将.forge文件编译成HTML输出。

作者在攻读学位时结识了刚果难民Django，他在乌干达难民营靠太阳能和有限网络坚持学习。当Django的笔记本电脑损坏后，作者试图邮寄一台闲置MacBook给他，但最初低估了国际邮寄到难民营的复杂性。文章主要讲述了这段跨越国界的援助故事。

美国国会议员要求网络安全与基础设施安全局(CISA)就承包商在GitHub公开泄露大量内部系统凭证事件作出解释。CISA仍在努力控制数据泄露影响并撤销泄露的凭证。此前报道显示，该承包商故意禁用GitHub保护机制，将包含AWS政府云密钥等敏感信息的代码库设为公开。专家分析该数据已暴露较长时间。

美国两大科研资助机构近期对科学家与外国合作者发表论文实施新限制，要求提前报批外国机构合作者署名，甚至要求删除已发表论文中的外国合著者。这些未公开的政策导致研究人员困惑，可能促使学者主动避免与外国合作者联合署名。

Anthropic公司发起的"Project Glasswing"项目旨在利用AI模型Claude Mythos Preview检测关键软件漏洞。项目启动一个月来，已与约50个合作伙伴共同发现上万高危漏洞，当前挑战在于漏洞验证和修复速度跟不上AI检测速度。文章分享了初期成果，包括Mythos Preview在开源项目扫描中的表现，以及对未来发布Mythos类模型的规划。

KanBots是一个开源看板工具，支持在每张卡片上并行运行AI代理（如Claude Code和Codex）。用户可本地部署或使用云端团队协作，所有操作都在独立工作树中完成，保证数据隐私。提供免费个人版和付费团队版，兼容现有开发工具链，采用MIT许可协议。

微软曾推广Anthropic的AI编程工具Claude Code，但因其过于流行影响了自家GitHub Copilot CLI的使用，现计划在6月底前逐步停用Claude Code，转而推动开发者使用Copilot CLI作为主要命令行工具。

文章探讨财富税与所得税的换算关系，指出1%的财富税相当于20%的所得税。换算依据是资本回报率，假设无风险回报率为5%时，两者转换系数为20。通过具体例子说明，两种征税方式最终获得的税后资产总额相同。