1. Claude 系统提示词：为何只见加载占位符？；
2. Firefox iOS 版现已内置原生广告拦截器；
3. 第三世界嵌入式工程师回应RISC-V批评：自由与可达性才是关键；
4. 研究论文中的“肾脏失望”：当“肾衰竭”被误译；
5. 模型正在被故意变笨；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. Claude 系统提示词：为何只见加载占位符？

🔗 platform.claude.com: Claude: System Prompts

这段文本的正文没有提供任何实际可读信息，只是连续重复 “Loading” 这一英文加载提示。它看起来像是一个页面或接口在加载 系统提示词 时出现的占位状态，可能由网络延迟、前端渲染异常或数据未成功返回导致。因此读者无法从中获取关于 Claude 系统提示词的具体规则、结构或示例。若要继续使用，需要刷新页面、检查请求状态或等待后端内容加载完成，才能看到真正的提示词内容。

2. Firefox iOS 版现已内置原生广告拦截器

🔗 support.mozilla.org: Firefox for iOS now has a native adblocker

虽然标题宣称 Firefox iOS 版新增原生广告拦截能力，但当前正文并未展示具体功能，而是显示访问受阻提示。系统提示 JavaScript 被禁用，导致必要组件无法加载。问题可能来自浏览器扩展、网络连接或浏览器设置。页面建议用户启用 JavaScript、检查网络状况、关闭广告拦截器或尝试更换其他浏览器后再访问。若继续阻止脚本，正文内容将无法正常显示。

3. 第三世界嵌入式工程师回应RISC-V批评：自由与可达性才是关键

🔗 rvembedded.com: A 3rd World Embedded Engineer Responds to “RISC-V They Should Have Known Better”

作者从特立尼达和多巴哥的视角反驳 Grinberg：最该关注的不是编码缺陷，而是芯片能否到达开发者手中。Grinberg 自己推导出的廉价 MCU 核心，正是十美分级的 RV32EC，并承认 RISC-V 将主导该市场。作者用 CH32V003、CH32H417、Baochip、ESP32C3 等说明，从十美分 MCU 到 Linux 开发板共享 同一基础指令集，不到 100 美元即可打通全栈。他认为 ARM 在 Cortex-M 与 Cortex-A 之间的隔离是 产品授权边界，而 RISC-V 的可选 MMU 和开放规范无需许可与版税，这才是真正的自由。

4. 研究论文中的“肾脏失望”：当“肾衰竭”被误译

🔗 scholar.google.com: Research papers using “kidney disappointment” instead of “kidney failure”

这段内容来自谷歌学术搜索结果，显示约有 189 条结果 使用 “肾脏失望” 这一非标准表达来代替 “肾衰竭”。相关论文涵盖多个主题，例如利用 机器学习 技术检测早期慢性肾病、肾衰竭患者的抗氧化状态、慢性肾病的护理管理，以及持续不卧床腹膜透析患者的医疗法律问题等。这种用词可能反映了部分学术文献在翻译或写作中的术语不规范现象。

5. 模型正在被故意变笨

🔗 w4g1.dev: Models Are Getting Dumber on Purpose

当前模型在数学和代码基准上得分飙升，但事实知识大幅缩水：最佳模型在 SimpleQA 上也只有 53%，小模型幻觉率高达 80% 以上。文章认为这是用世界知识换推理能力的刻意取舍——事实占用大量参数且会过时，而推理程序更紧凑且不易腐坏。保留的是广而浅的通识，深度知识改由检索与工具在运行时提供。未来几年，专家层中的事实存储被剥离后，前沿级推理模型有望在消费级 GPU 上运行。更大的好处是，事实移出权重后，错误答案有了可检查、可修改的来源，幻觉更像普通数据缺陷，可以定位、修复和回归测试。

6. AI 额度转售经济

🔗 vectoral.com: The AI Credit Resale Economy

这篇文章追踪了AI 额度经纪人的兴起：他们从初创公司收购未使用的推理额度，再以大幅折扣转售。作者通过创始人收到的推销邮件和直接接触发现，部分卖家声称每天可供应 10 万美元等值额度，并通过代理池转发请求而非直接提供密钥。市场上出现了 AI Credits、AICreditMart、CheapCredits、Tokvana、Neokens 等平台，折扣普遍在 30% 到 80% 之间，Telegram 和 Reddit 上也有零散交易。作者估计公开渠道中待售额度达数千万美元规模，并警告 AI 额度正成为伪货币，流动性增加可能带来滥用，供应商或许很快就会收紧政策。

7. 周末100岁：从福特的双休日到“周五摸鱼”，它变味了吗？

🔗 theguardian.com: The weekend is 100 years old

1926年，亨利·福特推行每周五天工作制，现代周末由此诞生。文章梳理了苏联取消周末的失败、英国Boots缩短工时的成功，以及周末如何催生消费主义、迷你假期和足球文化。如今混合办公、四天工作周和智能手机让工作侵入休息日，“周五摸鱼”成为远程办公者心照不宣的半天班；劳动者也分化为能掌控时间的“时间所有者”与受时钟束缚的“时间奴隶”。作者认为，周末不仅是休息，更是社区联结的协调机制，它代表着集体时间对市场时间的胜利，这一意义百年后依然关键。

8. 圣露西核电站1号机组手动停堆，3根控制棒落入堆芯

🔗 wptv.com: St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

佛罗里达州圣露西核电站1号机组于2026年8月13日上午9时47分在满功率运行时，因3根控制棒落入堆芯而手动停堆。美国核管理委员会将事件定性为非紧急事件，停堆过程顺利，所有系统响应正常。机组稳定在Mode 3热备用状态，衰变热通过蒸汽排放至主冷凝器并依靠主给水系统排出。2号机组未受影响，设备问题解决后1号机组已恢复满功率运行。

9. Anthropic 在 Claude 中给文本加“水印”是对写作的败坏

🔗 daringfireball.net: Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing

约翰·格鲁伯批评 Anthropic 计划在所有 Claude 生成文本中植入水印。该技术并非使用不可见字符，而是采用语义隐写术：在生成每个词时按秘密密钥把候选词分为“绿名单”和“红名单”，略微提高选择绿名单词的概率，从而使长文本可被概率检测。作者指出，同义词并非完全等价，刻意改变措辞会牺牲精确性、清晰度和写作质量，即使用户只是私下使用也受影响。他认为这是在为欧盟《AI 生成内容透明度行为准则》而牺牲用户利益，监管本身不切实际，容易被改写工具绕过；谷歌 SynthID 对文本的做法同样荒谬。

10. 《美国阻止“镜像生命”问世的战略》

🔗 rand.org: A U.S. Strategy to Prevent the Creation of Mirror Life

RAND报告指出，镜像生命是由手性相反的生物分子构成的假想生命，虽尚未出现，但可能在未来几十年内成为现实。其反向分子取向可使镜像细菌逃避免疫、引发致命感染、抵抗降解并在生态系统中扩散，造成不可逆的全球灾难性风险。由于首个镜像生物一旦诞生，遏制和防御可能立即失效，美国必须在窗口期内采取预防战略。报告建议与科学大国尤其是中国开展透明科学合作与早期规范建设，推动国内、盟友及全球科学界的集体克制，并明确承诺不发展镜像生命；同时并行推进立法、条约等长周期措施，将反制与韧性仅作为受约束的应急选项。

11. ICE枪击记者并拘禁近300天

🔗 theintercept.com: ICE Shot a Journalist and Threw Him in Detention. He’s Approaching 300 Days

记者帕里亚斯以“Richard Noticias LA”为名报道移民执法。2025年6月他被联邦探员驾车撞伤却未获救治；10月被捕时遭未警告破窗，并被枪击中肘部。检方指控其袭警，但关键监控被删除，法官最终以政府侵犯宪法权利为由驳回全部刑事指控且不得再诉。他仍被关押在阿德兰托拘留中心近300天，期间揭露饮用水有虫、蟑螂横行，枪伤仅得到维生素D和止痛膏。政府还计划将其转移至更远设施，以终止他的狱中报道。该案被视为美国记者遭遇政府暴力、起诉与拘押最久的案例，引发对新闻自由的严重担忧。

12. Protobuf 迎来首个生产级 LSP：Buf 重新定义现代 IDE 支持

🔗 buf.build: Protobuf has LSP support. You’re welcome

Buf 宣布推出首个全功能、生产级的 Protobuf LSP 服务器，让 Protobuf 首次获得与其他主流语言一致的现代 IDE 体验，包括跳转定义、代码补全、引用查找和语义高亮。该服务器由 Buf CLI 提供，VSCode 用户只需安装 Buf 扩展，Neovim 用户可通过 nvim-lspconfig 或 vim.lsp.config 配置 buf lsp serve 即可使用。底层基于 Buf 自研的 查询驱动前端 protocompile，支持增量编译和更精准的诊断，例如能正确报告重复的 repeated 修饰符，并且内存占用低，可处理大型 Buf 模块。Buf 表示将继续改进诊断，并计划加入自动导入、自定义选项补全、字段编号建议及 Protovalidate 支持等功能。

13. 卡西欧计算器上跑起真正的 Telnet BBS

🔗 ei3lh.eu: A True Telnet BBS on a Casio Calculator

作者从对计算器毫无兴趣到痴迷，因 BASIC 与 RS232 入门，最终在 卡西欧 VX-4 计算器（仅 8KB 内存）上实现了 Telnet BBS。软件用 BASIC 编写，通过 RS232 串口连接 Raspberry Pi Zero W 作为联网桥接与消息存档，计算器本身仍是主机。BBS 支持呼叫登录、阅读和撰写留言、关于页与断开，每次仅限一人连接，速率 4800 波特；目前通过 Tailscale 邀请制安全开放。项目仍处 alpha，作者计划完善后开源到 GitHub，并探索业余无线电分组网络接入。

14. 五十年后再看“反对形式化验证”的理由

🔗 ivan-gavran.github.io: The Case Against Formal Verification, 50 Years Later

作者重读1979年经典论文，在2026年AI编程热潮下重新审视其反对形式化验证的六个论点。文章认为，规范从非形式需求转化时可能丢失信息，但现代规范语言可交互检查边界；自动验证曾被认为不可实现，如今AI 编程代理正在缩小差距。作者指出，完全验证并非软件可靠性的万能药，工程流程、监控和限流等防御层同样重要；但规范、模型检查和部分验证等形式化方法有助于理解、设计和提速，尤其在AI生成代码时，让人专注于定义“正确”并检查代码是否符合规范。

15. AI编程，但别丢了手艺

🔗 peterbloem.nl: AI Coding Without the Vibes

本文讨论学生和研究者应如何正确使用AI编程：既不能假装AI不存在，也不能完全“氛围编程”把一切交给机器。关键在于区分“做”与“查”——AI做你查，或你做AI查；后者更可行也更有趣。作者建议把AI当作代码审查员：自己手写代码，再让AI找漏洞、提建议，但不接受不理解的修改。这种理念叫手艺编码，强调逐行理解代码，重视内在质量，同时接纳能提升质量的工具。文中用面包师比喻：手工艺人难以规模化，商业氛围编码者只关心销量，手艺面包师则在规模与品质间平衡。作者认为科学代码尤其适合这种风格，因为论文作者必须为代码正确性负责，只有逐行理解才能保证实验无误。最后他提出“手写、AI审查”的实践原则和十条教条，包括不在IDE中用AI、不让AI运行代码、不复制AI代码、先自己检查再请AI审查、不实现不懂的建议等。核心是保持人的理解与责任，让AI成为辅助判断的审稿人，而非替代思考的自动生成器。

16. 年轻人对 AI 企业 CEO 的厌恶程度几乎令人难以置信

🔗 futurism.com: Young People Hate AI CEOs So Passionately That It’s Almost Hard to Believe

CNBC Generation Labs 对一千多名 18 至 34 岁美国成年人调查显示，受访者对九位 AI 公司高管普遍不信任，无人获得多数信任：Palantir 的 Alex Karp 不信任率最高达 81%，微软的 Satya Nadella 最佳也仅 35% 信任；Peter Thiel、扎克伯格、马斯克和 Sam Altman 的不信任率分别为 79%、71%、70% 和 69%。这种态度折射出科技行业因数据隐私、平台衰败与民主侵蚀而人气暴跌。有趣的是，AI 技术和数据中心本身的看法比这些 CEO 稍好：45% 认为 AI 会对职业产生负面影响，40% 支持政府监管，60% 认为数据中心建设应放缓。

17. 美国紧急石油储备跌至40年新低，储油盐穴恐遭永久损伤

🔗 independent.co.uk: US oil reserves are so low, the caverns holding them could be damaged

美国战略石油储备已降至40年来最低，为应对伊朗战争的大量释放可能破坏地下盐穴结构。专家指出，频繁快速抽提会冲刷盐壁、削弱支撑，若库存低于约2.5亿至3亿桶，地质风险将明显上升；当前释放计划完成后库存或仅约2.43亿桶。但美国能源部否认存在坍塌风险，称洞穴始终充满液体，只是油水比例变化。政府问责局报告也警告，反复部分抽取和回注会侵蚀洞穴、降低长期稳定性，部分设施老旧问题如同用“创可贴”勉强维持。与此同时，美国汽油价格创下8月中旬历史新高。

18. GPS与失落的迷路艺术

🔗 newyorker.com: GPS and the Lost Art of Getting Lost

文章从一位神经科学家在以色列遭遇GPS干扰与欺骗的经历讲起，反思现代人对卫星导航的深度依赖。GPS本是军事技术，如今却像一只隐形之手主导着日常出行。研究发现，逐向导航更偏向刺激-反应策略，削弱了以地标和方位感为基础的认知地图能力，长期使用还可能损害空间记忆。作者通过不使用GPS开车和参加定向越野的亲身实践体会到，迷路虽然令人不安，却能锻炼专注、耐心和应对不确定性的能力，而这些正是过度依赖技术后容易退化的生存技能。

19. 一个 AI，一段所有人共享的记忆

🔗 wildstatic.com: Show HN: A public AI whose memory is shared across all users

这是一个公共 AI，它的记忆在所有用户之间共享。每个人都在和同一个 AI 对话，而不是各自的独立助手。它会记录每天的经历和所有更新，形成持续累积的公共记忆。如果你不知道该说什么，可以问它“什么值得记住”。用户也可以选择重新开始。这个项目强调“一个 AI，一个记忆”，让陌生人通过同一个 AI 的记忆产生交集，模糊了个人助手与公共空间之间的界限。

20. MathCode：数学编码智能体

🔗 math-ai-org.github.io: MathCode, Mathematical Coding Agent

MathCode 是一个终端 AI 编码助手，内置数学形式化引擎，可将自然语言数学问题自动转换为 Lean 4 定理 并尝试形式化证明。它提供 持久化 Lean REPL，编译检查约 0.4 秒；还包含可复用的定理库与公理库、Lean LSP 集成、Obsidian 定理知识图谱、代理式证明、子目标树分解与多规划器并行策略。安装支持 macOS arm64 和 Linux x86_64，需 codex CLI，运行 mathcode -p "问题" 即可输出到 LeanFormalizations/，也可通过 ./run webui 使用浏览器界面。

21. 停止把每次购物都变成小费索取

🔗 foxnews.com: Stop Turning every purchase into a tip request

作者并不反对为优质服务付小费，但批评美国的小费文化已被数字支付屏幕扭曲成一种内疚驱动的附加费。如今买咖啡、外带、酸奶甚至自取贝果，结账屏幕都会跳出18%、20%、25%等默认选项，15%几乎消失，不给小费还要在店员注视下寻找“不给小费”按钮。商家借这些屏幕把本应计入售价的劳动力成本转嫁给顾客，用社会压力代替明码标价。小费从对出色服务的感谢，变成完成交易就被期待的隐性税。作者呼吁企业诚实定价，停止用预设按钮和尴尬氛围操纵消费者；慷慨只有在自愿时才有意义，否则只会让顾客更怀疑、更少消费，最终伤害顾客、员工和商家自身。

22. 特朗普家族加密项目离成为银行再近一步

🔗 motherjones.com: The Trumps’ Crypto Project Just Got One Step Closer to Becoming a Bank

美国货币监理署（OCC）对特朗普家族控制的加密企业世界自由金融给予有条件批准，使其有望获得银行牌照，可在美国境内发行稳定币“USD1”而无需中介。此举赋予该企业联邦级信用与权力，而特朗普家族在其中持有重大财务利益。报道称，特朗普2025年通过出售相关股份获利6500万美元，并通过稳定币等数字资产获利近6亿美元。民主党人批评这是“最赤裸的自肥行为”。

23. 行业准备好迎接 Token 受限的工作模式了吗？

🔗 blog.alaindichiappari.dev: Is the industry ready for tokens-constrained work?

一位咨询员工用完当日 Token配额 后被告知“和大家一样”，作者由此分析AI代理时代的困境：多个子代理并行且不返回完整思维链，中途接手很不现实，手动介入还可能破坏内部一致性。许多公司仍将薪酬与工时绑定，却同时要求目标导向，导致Token耗尽后员工无所适从。单纯增加配额只会鼓励更草率地产出，无法真正解决工程瓶颈。Uber在四月就烧完全年Token预算，说明工程并未摆脱约束管理，只是从过去挤压内存空间，变成在有限 Token预算 中榨取最有价值的LLM产出，新的 约束管理 已经到来。

24. 英伟达成SpaceX大股东：二季度末持仓达210亿美元

🔗 cnbc.com: Nvidia discloses $21B stake in SpaceX at end of second quarter

英伟达披露，截至第二季度末，其持有SpaceX 1.228亿股A类股，价值约210亿美元，成为该公司第六大投资者。这笔股份源于英伟达此前对马斯克旗下xAI的100亿美元投资，而SpaceX于今年2月以1.25万亿美元收购了xAI。SpaceX在6月完成创纪录的IPO后股价波动，英伟达持仓市值也随之缩水至约172亿美元。马斯克在财报电话会上表示，SpaceX将独家使用英伟达AI芯片，并预计明年获得大量Vera Rubin GPU分配。

25. 财政部下令永久取消美国实益所有权申报并删除既有记录

🔗 home.treasury.gov: Treasury Orders Erasure of Domestic Ownership Records

美国财政部金融犯罪执法网络（FinCEN）于2026年8月11日发布最终规则，自8月14日起永久取消美国公司和美国人的受益所有权信息报告义务，并将删除此前已报告且可合理认定为美国人的信息。该规则落实2025年3月临时最终规则的豁免安排，包括持有FinCEN编号的美国个人无需再更新或更正信息，外国公司无需报告美国“公司申请人”，在美注册的外国集合投资工具也获相应豁免。财政部长贝森特称此举是“常识的胜利”，有利于美国小企业。不过，外国报告公司仍须申报外国个人的受益所有权信息。