1. 我从科技界退休，回归线下生活；
2. 请使用AI；
3. 死经济理论；
4. GTA 6 开发者正式成立工会；
5. 持久工作流，SQLite 足矣；

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

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

1. 我从科技界退休，回归线下生活

🔗 openpath.quest: I am retiring from tech to live offline

Chad Whitacre 在2026年宣布退出科技行业，因人工智能彻底浇灭了他在开源领域的最后热情。他曾供职于 Sentry，如今选择告别网络，转向完全线下的生活方式，并向所有人致以祝福。

2. 请使用AI

🔗 shawnsmucker.substack.com: Please Use AI

这篇讽刺散文以“请使用AI”的反语，辛辣地揭穿了我们用人工智能取代真实人际互动与亲身创造的空洞。作者逐一列举场景：用AI制定菜谱，以免打电话给爱做饭的朋友，听到她父亲的癌症或孤独；用AI规划最后一次亲子露营，以免跟懂野钓的朋友聊天，得知他每夜酗酒；用AI写孩子婚礼祝词，以免掏出那个换过几百片尿布、半夜喂奶、为其晚归恐惧到心碎的父母粗糙但却充满血肉的真实话语；用AI创作艺术，因为谁还愿意忍受笨拙、漫长的修炼，只消一句提示便能唾手可得。最终，连葬礼挽歌也将由算法从讣告和帖子里拼凑，在“洁净的甜美”中潸然泪下。而“我”则抱紧怀中熟睡的小女儿，感伤于大孩子渐行渐远、身体不断衰败、笔下故事总难及脑海的完美。文章直指：那种笨拙、痛苦、尤其是起初的不得其法，以及听见另一个人类声音时感受到的生命之美，恰恰存在于所有细微的不完美之中。

3. 死经济理论

🔗 owenmcgrann.com: The dead economy theory

人工智能产业数千亿美元的投资唯有一个足够大的市场——全球劳动力市场——才能支撑其估值，产品本质是劳动替代而非辅助。企业裁减人类员工可获股价暴涨，但大规模失业导致需求毁灭，消费者即被消除的劳动者，形成“AI裁员陷阱”：每个企业理性追逐自动化，却共同摧毁市场基础，陷入囚徒困境。历史经验显示技术转型的阵痛可能持续一生，而此次通用AI的广度与速度远超以往，如莱昂季夫所言，人可能如马匹般被经济淘汰。当劳动不再是民主制度中普通人施加影响的筹码，民主的议价基础将瓦解，税基萎缩、财富加速集中于极少数人，而建设者明知后果却仍在推进，同时转向专制势力，因此留下的是深刻的政治危机。

4. GTA 6 开发者正式成立工会

🔗 rockstarintel.com: GTA 6 Developers Unionize

GTA 6 的开发者们已宣布组建 Rockstar游戏工人工会，并加入 独立工人联合会（IWGB），准备就此前30多名员工被解雇事件与 Rockstar 对簿公堂，指控公司存在破坏工会的行为。这场法律战反而促使爱丁堡、伦敦、利兹等多地员工纷纷加入。工会的核心诉求聚焦于 薪酬透明、灵活工作制以及彻底结束过度加班，目前已开放募捐与社交渠道以争取支持。

5. 持久工作流，SQLite 足矣

🔗 obeli.sk: SQLite is all you need for durable workflows

对于大量持久工作流，尤其突发性强的 AI代理 实验，SQLite 配合 Litestream 异步备份至 S3，即可在本地提供事务性持久状态，无需额外数据库服务与编排层。工作流状态存为文件，无网络跳转，成本低且故障隔离好。虽然异步复制不保证高可用，但恰好适合按代理或租户隔离的微容器架构，方便调试与重放。需要更高可用与共享扩展时再选用 Postgres。

6. Mistral AI Now峰会深度观察：不做AGI竞赛者，做欧洲全栈AI伙伴

🔗 koenvangilst.nl: Notes from the Mistral AI Now Summit

在巴黎举办的Mistral AI Now峰会上，Mistral正从模型公司转型为全栈AI企业，自主建设40兆瓦数据中心并规划更多基础设施，提供从计算、模型、平台到咨询的完整服务。其核心差异化在于高效、开放且可本地部署的专用小模型——Document AI用于大规模OCR、Voxtral驱动亚马逊Alexa+的多语言语音、Robostral助力ASML工业机器人，这些小巧专注的模型在速度和能效上反而超越了大型通用模型。峰会的重心并非新技术发布，而是合作伙伴关系的展示，同时也强调了AI智能体的”驾驭系统”理念：仅有模型远远不够，必须叠加上下文、持久性和推理能力，智能体才能真正回溯错误、保持透明并持续学习。本地部署与数据主权成为面向欧洲受监管行业的关键卖点，法国巴黎银行在本地运行Mistral模型处理KYC敏感数据，Abanca则通过智能体编排为百万级客户提供安全服务。令人动容的是人文领域的应用——奥地利科学院的研究团队微调代码模型Codestral，解读尘封千年的古埃及纸莎草残片，将原本需要两千年的工作变为现实，让十八万件文献重见天日。总体来看，Mistral的愿景并非追逐AGI竞赛，而是成为当下为欧洲企业带来实际投资回报的全栈AI伙伴，在欧洲日益希望摆脱对美国科技巨头盲目依赖的背景下，这种开放、本地化与企业深度合作的路径或许正逢其时。

7. AI 是否正在重演前端失落的十年？

🔗 mastrojs.github.io: Is AI causing a repeat of frontend’s lost decade?

前端领域曾因框架引入而经历去技能化，将高度专业化的语义 HTML、可访问性和性能优化等手艺，降格为任何通用开发者都能摆弄的编译目标。如今 AI 代理编码正在以相同逻辑席卷编程世界，通过让半熟练工人操作大语言模型来降低成本、削弱议价能力，尽管它带来的是一种极不稳定的抽象泄露——就像从谷歌搜索复制粘贴一样，看似省力，但细节迟早会渗漏并需要真正懂行的人去修复。作者借鉴包豪斯运动的启示指出，工业化虽催生大量粗制滥造，但优秀的设计与手艺仍存续；软件质量与商业成功关联微弱，但工匠精神不会消亡，只是能在意用户、在乎品质的工作机会将变得更稀缺，我们需要像工业设计师熟悉材料那样，始终深入代码本身。

8. 很难为购买 Framework 12 找到理由

🔗 jeffgeerling.com: It’s hard to justify buying a Framework 12

作者在为刚高中毕业的侄子选购笔记本时，将 MacBook Neo 与 Framework 12 进行对比。尽管 Framework 12 主打模块化接口与高可维修性，但其起售价高达 749美元，远超仅售 499 美元的 MacBook Neo。后者在性能、能效、静音表现、显示素质与做工上全面领先，而 Framework 12 风扇噪音大、屏幕色彩不准、触控笔体验老旧，整体体验明显更差，却要溢价 20-40%。对学生群体而言，可维修性的优势完全无法弥补 性价比 上的巨大缺口，最终侄子毫不犹豫选择了 Neo。

9. Bijou64：一种从安全漏洞中诞生的高性能变长整数编码

🔗 inkandswitch.com: Bijou64: A variable-length integer encoding

bijou64 是专为 Subduction CRDT 同步协议设计的变长整数编码，初衷是彻底杜绝 LEB128 因同一数值可被多种字节序列（如零有无数种非规范写法）表示而导致的签名验证漏洞。它通过两个关键设计实现天然规范唯一性：首字节双重角色（直接表示 0–247 或作为长度标签）和引入偏移量，让每个数值只有唯一编码，无需解码器额外运行规范检查。这种安全设计意外带来性能飞跃：在 Apple M2 Pro 和 AMD Zen 5 上，bijou64 解码比 LEB128 快 2–10 倍，且因为格式即规范，规范解码完全零开销。性能优势源于解码时无需逐字节扫描延续位、负载为连续大端整数可一次载入并用 CPU 字节交换指令，以及分支预测极为稳定。编码速度在中段数值上略慢约 1.24 倍，字节开销与 LEB128 相当。尽管尚未如 LEB128 般久经考验，但对签名、内容寻址等需字节严格一致的场景，它提供了结构上更安全且更快速的选择。

10. 标准GPU上的实时LLM推理：单请求每秒3000 Token解码突破

🔗 blog.kog.ai: Real-time LLM Inference on Standard GPUs: 3k tokens/s per request

Kog的技术预览展示了通过在架构、引擎与内核层面进行协同设计，在标准数据中心GPU上实现极速单请求LLM解码，达到每秒3000个token。文章强调，对AI智能体而言，单请求解码速度才是关键指标，而非高批处理下的总吞吐量。解码的瓶颈在于内存带宽而非算力，现有推理软件栈在核启动、CPU调度、同步等环节浪费大量微秒级时间，导致实际带宽远低于理论值。Kog通过持久单内核运行时消除内核边界并实现全GPU驻留逻辑，搭配微秒级低延迟的KCCL集合通信库，以及通过延迟张量并行将跨GPU通信与计算重叠的Laneformer模型架构，系统性地回收了这些时间损耗。以2B稠密模型为例，在8路H200或MI300X节点上理论速度可达约7700或8400 tokens/s，而现有框架因开销常限于不足2000。该方案还展示了针对MI300X芯片拓扑的访存优化，证明无需专用推理芯片，仅靠现有GPU也能将智能体的推理迭代时间从数分钟压缩到20秒内，解开专有硬件的锁定。

11. 你大可直说

🔗 noperator.dev: You can just say it

传统观点常以人类产出质量优于AI来论证其价值，但这依赖不断缩小的能力差。作者主张人类的价值是固有的，无需用产出质量来证成。创作是意图凝结为形式的过程，生成式AI极易产生大量形式却缺失可辨识的意图，即“AI糟粕”；但人类同样能制造意图空洞的形式。因此，人的尊严不在能力，而在于存在本身，正如引文所言：“人的尊严不取决于其能力。” 所以，你大可直说“人类是有价值的”，无需附加条件。

12. 加州议会通过《保护我们的游戏法案》，玩家永久访问权获立法突破

🔗 invenglobal.com: The California state assembly has passed the ‘Protect Our Games Act’

加州议会以43:16通过源自“停止杀死游戏”运动的《保护我们的游戏法案》。它要求付费在线游戏提前60天公告停服，并供离线补丁保障游玩，否则退款；豁免订阅与免费游戏，并禁售已停服游戏。法案仍需州参议院与州长批准，但加州为EA和动视暴雪总部，意义非凡。

13. 微软零日争端白热化，研究员威胁7月14日“碎骨”级大规模释出

🔗 theregister.com: Microsoft 0-day feud escalates as researcher threatens another exploit dump

一名自称 Nightmare Eclipse 的激进漏洞猎人已披露六个 Windows零日漏洞，其中三个正被大规模利用，并预告将于7月14日进行更致命的“碎骨”式攻击。微软回应称这些漏洞从未经过协调披露，并扬言动用数字犯罪部门采取法律行动。但研究员声称其用于上报漏洞的微软账户被删除，沟通渠道被切断，反遭微软公开羞辱。包括前微软专家 Katie Moussouris 在内的安全业界批评微软的回应措辞具有威胁性且未缓和局势，可能令其他研究者寒心，同时指出漏洞从披露到武器化的窗口已缩短至数小时，企业补丁压力剧增。

14. 我们应当比模型更疲惫

🔗 vickiboykis.com: We should be more tired than the model

作者在使用代理式代码生成时感到失控，尽管完成了代码，却缺失了手动编写时大脑工作记忆将短时与长时记忆整合理解的内部过程。代码生成的默认模式如同老虎机，拉杆即得奖励，不利于技能保留。为了对抗这种“脑雾”，作者采纳建议，在开发中重新有意增加摩擦：先手写实现再请代理评审，借助代理追问不解之处与文档，让代理提出两种方案并相互批评，与人讨论代理的方案，延迟二十分钟再求助，重新阅读书籍和实现基础数据结构等。这些做法短期抵消了LLM的速度优势，但长期巩固了自身基础而非基础模型，让我们在使用工具时更清醒扎实。我们应该比模型更累。

15. Liquid AI 发布 LFM2.5-8B-A1B：专为设备端工具调用打造的推理模型

🔗 liquid.ai: Liquid AI reveals 8B-A1B MoE trained on 38T

Liquid AI 正式推出 LFM2.5-8B-A1B，这是一个在消费级硬件上实现快速、可靠 工具调用 的边缘混合专家模型。相比前代，它拥有 128K 上下文窗口，预训练数据从 12T 大幅扩展至 38T token，并经历大规模强化学习。词汇量翻倍至 128K，对印地语、泰语等非拉丁语言的编码效率显著提升。该模型首次采用纯推理模式，在给出最终答案前生成显式思维链，在不拖慢速度的前提下大幅提升质量。训练过程特别针对难点进行优化：通过原地扩展词表并两阶段适应保持原有语义，利用偏好优化和奖励塑造消除长推理中的死循环，并引入基于 avg@k 的强化学习奖励来 减少幻觉，促使模型在知识不可靠时主动克制。基准测试表明，它在指令遵循、数学和代理任务上与数倍激活参数的更大模型抗衡，幻觉率大幅降低。得益于对 llama.cpp、MLX、vLLM 等推理生态的首日支持，该模型在笔记本电脑甚至手机上均能高效运行，单块 H100 GPU 可达超 18.5K token/s 输出，真正将私密、实时的代理体验带到各种边缘设备。

16. 郁金香狂热：当一朵花比一栋房子还贵

🔗 dutchreview.com: Tulip mania: when a single flower was worth more than a house (2025)

17世纪30年代，荷兰郁金香球茎的价格飙升至荒唐地步，稀有品种 “永远的奥古斯都” 单颗就能抵一栋运河豪宅。人们在酒馆用期票疯狂投机，把花朵炒成 世界上第一个金融泡沫。1637年一次流拍引发恐慌，价格一夜崩盘，虽未摧毁经济，却留下了永恒的耻辱印记。这股 投机狂热 成为非理性繁荣的代名词，从豆豆娃到NFT，历史教训一再被翻出。如今荷兰仍是全球最大郁金香出口国，花田灿烂依旧，只是再没人敢拿房子换一朵花。

17. 如何渲染任意规模的代码差异？

🔗 pierre.computer: On Rendering Diffs

本文介绍了Pierre Computer Company发布CodeView组件以解决大型Pull Request差异渲染性能瓶颈的过程。面对DOM膨胀、内存和处理开销，团队独创了反向粘性定位技术，让渲染内容区域底部粘住视口底部，彻底杜绝滚动空白，同时保持原生滚动体验。结合虚拟化窗口与精确的行高估算，CodeView能近乎即时地加载任意规模的公开代码差异，将代码审查从性能问题中解放出来。

18. 英国政府低值采购系统：一个浪费时间的官僚主义笑话

🔗 shkspr.mobi: The UK government’s Low Value Purchase System is a waste of time

作者指出，英国政府的RM6237低值采购系统本意是简化小企业向政府销售的流程，却设下了一道荒谬的月度汇报要求。即便供应商当月完全没有交易，也须登录并提交“无业务”报告。通过信息自由请求获取的数据显示，从2025年3月至2026年2月，每月提交的报告中无业务比例始终高达94.9%至97.4%，真正产生销售的企业最多仅59家。即便按每次登录填表仅耗时2分钟计算，每月也浪费了超过2天的全国小企业生产力。作者质疑，既然采购方掌握全部交易数据，为何不将报告义务转移给买方，反而让上千家小企业每月进行毫无意义的点击。更令人沮丧的是，该流程配套的用户反馈评分被匿名化处理，无法定位到具体系统问题，意味着这一纯粹的官僚形式主义既得不到纠正，也不追踪其带来的集体烦恼，彻底成了耗时费力、毫无价值的制度负担。

19. 你的天气，你的罗斯科

🔗 rothko.joonas.wtf: Rothko for your current weather conditions

这个页面将实时天气与马克·罗斯科的画作悄然相连。定位获取你所在地的温湿度，你可以在摄氏与华氏间切换，浏览逐小时预报，甚至标记心情或查看别处的天气。而后，系统为你匹配一幅“当前罗斯科”，画作来自专属收藏。画家简介揭示：罗斯科在四十年代后期放弃具象，彻底转向光线、色彩和情感，在巨幅画布上铺展两三个软边矩形，反复揉搓表面，直到色彩内部仿佛聚积起自身的阴晴雨雾。他要求画廊把画挂得极低，调暗灯光，让人沉坐画前，因为那画不该只是被看——绘画本就该有所作用。

20. Headway治疗平台强制患者扫描面部才能继续接受治疗

🔗 404media.co: Headway Therapy Patients Forced to Scan Their Faces to Keep Getting Care

据404 Media报道，知名在线治疗平台Headway近日通知用户，将强制推行生物识别身份验证，用户没有选择退出的余地。4月3日的邮件要求用户上传政府签发的带照片身份证，并用设备摄像头拍摄清晰面部照片，甚至必须按照指示转动头部完成动态扫描。平台声称这些面部图像仅用于身份验证，不会用作他途，以确保服务的安全可靠。然而，若想继续获取治疗，无论是患者还是服务提供者，都无法绕开这一强制面部扫描流程，拒绝配合的唯一选择就是离开该平台。

21. AI 时代的专业技能

🔗 moderndescartes.com: Expertise in the age of AI

在AI时代，专业技能的价值正在重塑。文章以计算器类比切入：计算器淘汰了人工计算职位，但人类仍需学习数学以培养操作现代计算工具的数学直觉，这为理解AI编程代理对软件工程的影响提供了镜鉴。如今，编程代理大幅提升高级工程师产出，初级工程师却因缺乏多年手写代码积累的编程直觉而价值下降，仅少数能在2‑3年内快速获取直觉的毕业生被顶尖公司争抢；顾问型开发者市场扩大但薪酬增长缓慢。作者强调，所有人都应学习编程，哪怕是短期接触，也能学会何时以及如何求助AI并验证其输出。但关键原则是：在亲手完成之前，切勿依赖AI，唯有先亲手实践才能建立真正的专业掌控力。

22. TV Explorer：为免费在线电视带来高级交互体验

🔗 tvexplorer.live: Show HN: TV Explorer. Adding advanced UI to free online TV

TVExplorer 是一个旨在提升免费在线电视观看体验的开源项目。它通过构建现代化、直观的用户界面，将散落各处的免费电视流聚合在一起，提供统一的分类浏览与快捷搜索。用户无需繁琐设置，即可轻松探索来自全球的数千个免费频道，涵盖新闻、娱乐、体育等多种类型。项目注重界面响应速度与易用性，支持自定义部署，适合热衷于 DIY 的技术爱好者进一步完善和扩展，让免费电视也变得赏心悦目。

23. 这可持续吗？

🔗 jamiehurst.co.uk: Is this sustainable?

作者亲历三年AI深度整合后反思：原型构建成本骤降，AI工具使演示想法变得极快，但组织协调成为新瓶颈，团队各自交付方案反致凝聚力下降。高级工程师同时陷入更多编码、战略写作与会议中，而指导与思考时间被严重挤压，角色变得不可持续。对GenAI的专精虽换来行业位置，却窄化了通用广度，且知识易过时。开发者体验因“智能体体验”需求而范围剧增，但期望膨胀远超生产力提升，人际与思考等非技术性工作被边缘化。

24. 我的开源项目竟成钓鱼利器，14,000 人收到诈骗邮件

🔗 andrej.sh: Someone used my open source project to phish people

作者的开源项目管理工具 Kaneo 云版被恶意用于网络钓鱼。攻击者批量注册 949 个账户，利用正常邀请功能，从作者已验证的邮件域名发送了 14,520 封诈骗邮件，主题行直接包含钓鱼诱饵。没有漏洞利用，仅滥用开放注册。清理后作者加装验证码和速率限制，但核心反思在于：云版本的威胁模型与自托管截然不同，它捆绑了作者的域名信誉，任何用户行为都可能玷污域名。云版不再是沙箱，而是需为陌生人行为负责的基础设施。

25. Robinhood 推出AI代理交易：让AI替你炒股

🔗 techcrunch.com: Robinhood now lets your AI agents trade stocks

Robinhood 宣布推出 AI代理交易 功能，用户可为AI代理创建独立账户并连接专用钱包，代理可分析投资组合、制定策略并执行交易，仅能用预存余额下单。所有交易会通知用户，部分需预览批准，并配有欺诈检测保护。该功能目前以测试版推出，仅支持股票交易，计划扩展到期权、加密货币等。同时，Robinhood 还发布了供AI代理使用的 虚拟信用卡，持卡人可设定月度限额及每笔审批要求，仅对Gold卡用户开放。公司还开放 模型上下文协议(MCP)，让代理分析风险敞口、挖掘投资机会。这一系列举措顺应AI代理支付潮流，彰显 Robinhood 对AI的持续投入。