程序员新逻辑（及本通讯的未来）
作者发布了《程序员逻辑》一书 0.14 版本，主要涉及排版、文案和技术编辑的改进，并计划在六月底前推出印刷版。更大的消息是，从八月起作者将全职加入 Antithesis 公司担任开发者教育者，负责让属性测试、模糊测试、故障注入等概念对普通工程师变得可理解。这也意味着本通讯的内容将有所调整，可能会减少形式化方法等理论话题，增加历史与软件趣事类内容；同时更新频率可能从每周一次降至每两周或每月一次。
相关报道
The author shows that LLM-generated text is inflating usage of certain words (like "substrate") in coding sessions and Google Trends, and argues this AI slop is flooding platforms, eroding trust, and making human interaction harder to distinguish from machine output. They call for more friction, transparency, and rate-limiting in digital communication.
A developer building an AWS cost optimization tool asks the Hacker News community for advice on finding companies that use AWS and are looking to reduce their monthly cloud spending, covering services like S3, Lambda, DynamoDB, and Redshift.
WorkOS provides APIs for authentication, SSO, SCIM, and audit logs, helping B2B SaaS and AI companies add enterprise-ready features. Over 2,000 companies, including OpenAI and Vercel, use it to offload auth infrastructure development.