Hacker News 中文摘要

OpenAI发布的GPT-5并未达到预期，表现不如前代产品，未能实现技术突破，反而暴露了诸多问题。这一失败打破了人们对AI技术指数级增长的幻想，揭示了当前AI热潮中的泡沫现象，并对企业和普通民众对AI渗透生活的过高期望和担忧产生了深远影响。

本文介绍了AT协议（ATProto）的基本架构及其与Bluesky平台的关系，旨在帮助开发者理解该协议的工作原理及其与Fediverse的区别。文章还提到后续将探讨与Fediverse的对比、常见误解以及网络的去中心化状态。Bluesky一词可能指公司、团队或社交网络平台，容易引发混淆。

Pytype是Google开发的一个静态类型分析工具，用于Python代码的类型检查和推断，帮助开发者发现潜在的类型错误并提高代码质量。

Digg是一个以人为核心的社区平台，致力于打造真实连接与互动的在线环境。平台目前处于邀请制测试阶段，用户可以通过加入等待列表或下载iOS和Android应用参与。Digg旨在帮助用户发现和分享互联网及更广泛领域中的优质内容，强调技术与人文的结合。

Teemu、Tim和Torin向Open Policy Agent社区发表了一封公开信，表达了对社区的支持和感谢，并强调了社区在项目发展中的重要性。他们鼓励成员继续积极参与，共同推动项目的进步和创新。

Anubis是一个结合艺术项目与网络防护措施的工具，旨在通过“衡量HTTP请求的灵魂”来保护网站免受AI爬虫的侵扰。用户访问某些网站时可能会看到动漫猫娘头像，这是Anubis的防护机制。作者在访问Linux内核相关网站时也遇到了Anubis的拦截，尽管他确信自己“有灵魂”，但访问方式可能触发了防护。

文章讨论了从使用Playwright转向直接使用Chrome DevTools Protocol (CDP)的决定。尽管Playwright和Puppeteer在编写QA测试和自动化脚本时非常方便，但它们有时会掩盖浏览器底层的重要细节。通过直接使用CDP，团队显著提高了元素提取、截图等操作的速度，并增加了异步反应能力和跨域iframe支持。文章还提到，构建AI浏览器自动化就像在复杂的积木塔上工作，每一层都有其抽象漏洞和潜在崩溃。

Zedless-editor/zed 是一个专注于隐私和本地优先的 Zed 编辑器分支项目，目前仍在开发中。该项目旨在提供一个更加注重用户数据安全和本地化操作的编辑器版本。

谷歌发布了第十代Pixel手机，搭载全新Tensor G5芯片和Gemini Nano模型，采用环保材料和改进的显示屏设计，提供个性化AI体验。Pixel 10 Pro具备Pro Res Zoom功能，支持高达100倍变焦，Magic Cue功能在应用中主动提供实用信息。手机将于8月28日上市，现已开放预订。

AWS在2025年经历了显著的技术演进，特别是在EC2服务方面。用户现在可以在不关闭实例的情况下更改安全组和IAM角色，调整、挂载或卸载EBS卷，甚至强制停止或终止实例而无需等待。此外，实例的实时迁移功能使得主机故障通知变得罕见，可靠性大幅提升。这些变化表明，AWS的基础服务在不断优化，用户需更新对平台的认知以充分利用新功能。