PostgreSQL 19 前瞻：查询提示（Query Hints）全面解读
Postgres 19 终于引入了查询提示功能——pg_plan_advice 和 pg_stash_advice。本文回顾了社区关于查询提示长达十五年的争论，以及新方案如何巧妙地避开了所有反对理由。
你真的要跑五个 Python 类型检查器了吗？
你真的要跑五个 Python 类型检查器了吗？ Mypy、Pyrefly、Pyright、ty、Zuban——未来可能还会更多……库维护者们该怎么办？ TL;DR：优先在你的测试套件上跑尽可能多的类型检查器。在你的源代码上至少跑一个就行。 最重要的类型检查（以及为什么你可能搞反了） 如果你只读这一篇
小米 MiMo-V2.5-Pro-UltraSpeed：千亿参数模型生成速度突破 1000 TPS
小米 MiMo-V2.5-Pro-UltraSpeed：千亿参数模型生成速度突破 1000 TPS 2026 年 6 月 8 日 1. 小米 MiMo-V2.5-Pro-UltraSpeed：速度即终极优势 从内燃机时代第一辆咆哮的赛车，到撕裂音障的声爆，人类对速度的渴望深植于我们的 DNA 之中。
LLM 正在侵蚀我的软件工程职业生涯，我不知道该怎么办
一名拥有 10 年经验的软件工程师反思 LLM 如何逐步侵蚀其领域知识、调试能力和代码架构三个专业支柱，以及面对 AI 时代就业市场变化的焦虑与困惑。
Linear 为什么这么快？技术深度解析
Linear 为什么能在毫秒级内完成 issue 更新？本文深度解析 Linear 的性能秘诀：浏览器中的数据库、本地优先的同步引擎、激进代码拆分、渲染优先认证靠后的架构设计，以及为速度而思考的 UX 决策。
通过 SQL 注入绕过机场安检
安全研究员发现 TSA 的 Known Crewmember（KCM）机组人员安检绕过系统和驾驶舱门禁系统（CASS）存在严重 SQL 注入漏洞，可让攻击者添加任意人员获得免安检和进入驾驶舱的权限。
zeroserve：用 eBPF 当配置文件的极速 HTTPS 服务器
zeroserve 用 eBPF 替代配置，实现零配置 HTTPS 服务。单核性能超 nginx 17%，eBPF 脚本比 Lua 快 50%，内存仅 15M。
Tokenomics：量化智能体软件工程中的 Token 消耗
多智能体编程系统 Token 消耗研究：代码审查吞掉近 60% Token，输入 Token 占 53%。AI 编程真成本不在写代码，而在反复审查验证。
Meta 确认数千 Instagram 账户遭黑客利用 AI 聊天机器人劫持
Meta 披露超 2 万 Instagram 账户遭黑客利用 AI 客服漏洞劫持。攻击者只需“询问”聊天机器人，就能重置目标密码，实现完全账户接管。
pg_durable：PostgreSQL 内部的持久化执行框架
pg_durable 是 Microsoft 开源的 PostgreSQL 持久化执行扩展，让 SQL 函数通过检查点机制在崩溃后自动恢复，无需外部服务或编排器。