标签
一位软件工程师回顾了设计一副54张卡片（Algodeck）的过程，该卡片将计算机科学概念提炼为易于理解的插图，并分享了关于图形设计和软件工程如何通过系统思维解决问题的见解。
Gergely Orosz 强调了使用UTC时间戳或纪元时间以及合适的日期库来正确处理时区和夏令时的重要性。
本文探讨了领域特定语言（DSL）如何在使用 LLMs 进行代码生成时提高可靠性和设计洞察力，强调迭代设计和受限语法。
本文提出智能体服务计算（ASOC）作为新的研究领域，阐述了六项基本原则，并规划了一个五维研究议程，旨在将基于大语言模型的智能体工程化为分布式生态系统中可靠的服务。
一条推文表达了对AI进步可能对软件工程造成重大颠覆的担忧。
文章认为，随着AI编码模型达到超人水平，工程瓶颈从编写代码转向将判断编码到智能体框架中，这些框架负责规划、测试、审查和部署。预测软件组织将变得扁平化，基于云的多智能体系统取代传统工程工作流程，客户洞察和产品判断成为人类的主要优势。
一篇博客文章，为关系模型中键和规范化的必要性辩护，认为它们反映了关于现实进行连贯话语所需的本体论条件，反驳了关于定义键和域的实际困难之类的批评。
Armin Ronacher 反思了软件项目的共享语言——即对概念、边界和不变量的共同理解——如何存在于文档、代码和对话中，以及协调的摩擦如何同步人们，而这一过程可能会被AI代理所打乱。
这篇文章借用巴别塔的故事来论证，AI辅助编程消除了软件开发中的摩擦，而这可能会破坏大型项目所必需的共同理解和协作，导致代码库混乱。
这是一篇评论，讨论软件工程师应如何意识到自己何时在进行“氛围编码”（AI辅助编码），并指出在开发实践中存在类似模型的锯齿状专业知识。
本文研究了编码智能体中的语言模型如何在迭代编辑过程中内部表示不断演变的程序。作者发现，线性探针可以从残差流中解码程序属性（例如解析、测试通过率），并且令人惊讶的是，这些表示在代理实际进行编辑之前就能预测未来结果，揭示了一个“潜在编程视野”。
本文探讨了Forward Deployed Engineer (FDE)角色，其起源于Palantir，被OpenAI和Ramp等AI初创公司采纳，并分析了其在2025年需求增长的原因。
讨论库是否应该自行记录错误还是将错误传播给调用应用程序的争论，突出展示了不同生态系统（如Go的slog）中的不同实践。
一位科技评论员指出，公司发布的关于重写和迁移的成功故事只是半真半假，省略了负面因素和内部激励，并警告说，在不了解背景的情况下照搬会导致失望。
本文批评了Anthropic关于AI将取代软件工程的说法，讨论了围绕Bun从Zig重写为Rust的争议，并赞扬了Zig创始人Andrew Kelley对该迁移理由的直接回应。
本文形式化描述了'拼凑问题'——即LLM生成的代码在局部正确但在整个代码库中结构上不连贯的现象，提出了一个八类故障分类法和一个混合验证框架，并证明许多故障能够避开现有工具。
Amy J. Ko 分享了她对AI辅助软件开发的批判性观点，探讨了使用LLM编写代码的前景与陷阱，并讲述了她为期三个月的实验，以评估对生产力和实践的真实影响。
Gergely Orosz 观察到关于AI推动形式验证走向主流的讨论已经消退，并质疑为什么AI没有影响该领域。