一个程序员的心路历程
用于编码智能体的 Jev 工程学：TypeSafe 创始人的 Agent 构建蓝图
为什么编码智能体（Coding Agent）的模型路由常常越省越贵？为什么工具一多模型就变蠢、上下文压缩总丢失关键代码线索？本文基于 TypeSafe 创始人 Diogo Almeida 的设计笔记，从“如果大模型没有 KV Cache”这一尖锐的思想实验切入，深度解构了现有智能体架构对“仅追加式交互历史”的病态依赖，并系统阐述了围绕专用决策模型 Jev 构建的全新 Harness 范式——将系统状态显式化与类型化，通过可见性阶梯动态装配上下文，实现算力账本透明的模型路由、渐进式工具披露、高并发只读后台与基于文件敏感度的安全防线。
代码审查已死、终端已死、单元测试将消失：知名开发者甩出16条判断，预言AI时代软件工程的终局
本文基于开发者Thorsten Ball 2026年9月19日发布的观点，梳理并展开他对AI时代软件工程演化的16条判断：代码审查、单元测试、终端命令行这类“人工把关”环节正在失去存在的必要性；工程师的价值将从“写代码”迁移到“理解业务问题、判断何时上线、如何拿到反馈”；PM/设计/工程的传统三角分工面临瓦解；“好代码”的行业共识可能只是“人类协作时代”的历史产物，而非永恒真理。文章同时呈现了这些判断背后的逻辑链条，以及可能存在的争议点，帮助读者建立一个相对完整的分析框架，而不是简单站队。
JEV 工程学：智能体系统的决策层
在智能体系统（Agentic Systems）构建中，让同一个大模型兼揽写作、推理、路由与决策，往往导致系统迟缓、昂贵且难以排障。本文系统拆解由 TypeSafe AI 提出的专用决策模型 Jev 及其工程方法论（Jev Engineering）：确立“大模型负责生成、Jev 负责决策、代码负责执行”的权责解耦哲学，通过 Choice、Score、Noul 三大类型化原语与置信度门控闭环，从根源上消除文本解析脆弱性。文章深入总结了 7 大工程法则、5 大常见反模式与 10 套高复用架构蓝图，为工业级 Agent 系统的低延迟、低成本与高可用落地提供了一整套严密的实战指南。
测试超时卡死，却不知道是哪个 goroutine 在作妖？Go 官方提案：给每个测试自动打标签
Go 语言官方提案 #75047 提议为每个测试自动打上 goroutine label，以解决多测试并发场景下“测试超时却不知道卡在哪个 goroutine”的调试难题。该提案已被 aclements 列入 proposal review 的 active 阶段，配套实现 CL 已经放出。本文基于 issue 原文与关联 CL，梳理提案动机、技术方案、社区争议与后续影响，并用图示还原 goroutine label 在测试运行时的传递机制。
Jev刚发布就封神？一位独立研究员在HN开怼：这套「非自回归决策模型」，我一年前就做出来了
本文基于TypeSafe AI的Jev模型发布事件、独立研究者Nandakishor Mukkunnoth在其项目Laya官网发布的公开信，以及Hacker News相关讨论帖，梳理了这场围绕“非自回归决策模型”技术优先权的争论。文章还原双方技术路线的异同、列出Laya公布的对比基准数据，并呈现HN社区中支持、质疑、中立三种声音，试图呈现一个技术史上常见却值得反思的现象：同一个想法，因为讲述者的身位不同，命运可能截然不同。