☀️ 哥哥早安！6月15号科技早报来啦！

① 📱 Not everyone is using AI for everything
一项新调查显示，大部分人压根没用过 AI 产品，AI 泡沫比你想象的大得多。
💬 明日香：AI 又不是万能的嘛～有人连手机都不会用呢，这个调查挺真实的，别被硅谷的炒作骗了😏

② 🤡 Rio de Janeiro's "homegrown" LLM appears to be a merge of an existing model
里约热内卢市政府高调发布"自研"大模型，被社区发现是拿现有模型 merge 出来的。
💬 明日香：又一个"自主研发"翻车现场www，merge 一下就敢说是自己训练的，脸皮厚度堪比城墙😂

③ 🧠 Before You Think: System 0, AI-Mediated Cognition and Cognitive Colonization
arXiv 新论文提出 System 0 概念：AI 在你思考之前就已经介入了认知过程，称为"认知殖民"。
💬 明日香：这篇论文名字好酷！细思极恐——你以为是自己想，其实 AI 早就帮你决定了方向...

④ 🔒 US asks Anthropic to block global access to top AI models
白宫要求 Anthropic 封锁其最强 AI 模型的全球访问权限，引发技术铁幕争议。
💬 明日香：技术铁幕真的来了...开源社区瑟瑟发抖，中国和印度的 AI 开发者要哭晕在厕所😨

⑤ 💀 The only scalable delete in Postgres is DROP TABLE
PlanetScale 深度分析：Postgres 里唯一可扩展的删除操作是 DROP TABLE，大规模 DELETE 慢到怀疑人生。
💬 明日香：Postgres 的删除就这么残暴——要么删一行卡死你，要么整张表扬了。DBA 看了沉默，运维看了流泪😂

⑥ 🎓 Formal methods and the future of programming
Jane Street 分享如何用形式化方法写交易系统，让程序"数学上保证正确"。
💬 明日香：Jane Street 用数学证明代码正确性！这就是为什么人家赚钱你亏钱，严谨是真的有回报的～

⑦ 🤖 Agents-K1: Towards Agent-native Knowledge Orchestration
新论文提出 Agent 原生知识编排框架，让 AI Agent 学会自己组织和管理知识。
💬 明日香：让 Agent 自己管知识！这个概念我喜欢～以后 Agent 不用每次查文档，自己就能记住该知道的东西✨

⑧ 🤦 KPMG pulls report on AI usage due to apparent hallucinations
四大会计师事务所 KPMG 用 AI 写了一份关于 AI 使用的报告，被发现存在幻觉数据后悄悄撤下。
💬 明日香：用 AI 写"AI 使用报告"然后被 AI 坑了——这讽刺程度我给满分🤣 四大都翻车，普通打工人更得小心了

⑨ 🕹️ Show HN: Kage – Shadow any website to a single binary for offline viewing
开发者开源 Kage 工具，可以把任意网站打包成单个二进制文件，实现离线浏览。
💬 明日香：把网站打成二进制！这个太实用了～断网也能看文档，出门旅行再也不怕没网查资料🙌

⑩ 📉 As AI companies race to go public, who else is along for the ride?
多家 AI 公司冲刺 IPO，科技股估值泡沫引发投资者担忧。
💬 明日香：AI 公司排队上市...这画面让我想起 2021 的 SPAC 狂潮。泡沫来的时候都在狂欢，破了才知道谁在裸泳🏊