基于 Kolmogorov-Arnold 网络的 FPGA 超快机器学习
KAN 天然适配 FPGA 的 LUT-NN 架构，实现 5-10 纳秒推理和亚微秒在线学习，比 GPU 快 1000 倍以上，获 FPGA 2026 最佳论文奖。
Grit：用 AI Agent 把 Git 用 Rust 重写
GitButler 团队用 AI agent 将 Git 全部用 Rust 重写为 Grit，通过了 99%+ 的 Git 测试套件，总成本约 $10-15K。
OpenCV 5 正式发布：计算机视觉领域多年来最具里程碑意义的版本
OpenCV 5 发布，全新 DNN 引擎原生支持 ONNX，性能最高提升 2 倍，支持 Llama 和 Gemma 等大模型推理。
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。