标签
An opinion piece discussing the Bun migration from Zig to Rust, Andrew Kelley's critical response, and a broader philosophical debate about whether software engineering is a craft or industrial process.
一位非工程师分享,在AI辅助的“氛围编程”中,最大的陷阱不是提示词,而是如何验证AI的修复是否真正解决了根本原因,还是仅仅修补了某个特定情况,导致代码脆弱。他提供了实用技巧,比如询问修复是通用的还是针对特定情况的,以及维护一份持续更新的设计文档。
一条推文报道,有人一边照顾新生儿,一边使用 DeepSeek Flash 0731 在手机上对《Super Smash Bros Melee》进行了反编译和逆向工程,将其转换为大约 5000 行 C 代码。
一篇博客文章展示,经形式化验证的Lean实现的DEFLATE压缩算法在典型级别上,其速度和压缩比均优于纯Rust实现。作者将此归因于能够安全地让AI代理优化代码,并依赖形式化证明来保证正确性。
本指南介绍了如何使用测试、黄金数据集、可靠性检查和人工审查来评估AI生成代码的质量。它提供了一个实用工作流,帮助捕获回归问题,并更有信心地交付AI辅助代码。
在AI辅助编程的时代,作者认为深入理解编程语言概念对工程仍然至关重要,并列出来自不同语言的关键思想,这些思想扩展了解决问题的思维模型。
Honeycomb工程团队借助Claude Code等AI工具,将每日合并峰值从约30个提升至约74个,AI生成的代码占比到2026年6月升至82.6%,同时按比例管理事故。他们分享了与AI协同放大的实践,如持续交付、快速CI和可观测性。
一位开发者借助AI构建了一个完整的3D开放世界赛车游戏,详细说明了AI表现出色的地方(样板代码、孤立系统)以及失败的地方(空间推理、系统集成、游戏手感)。该游戏已上线并有真实的日常玩家。
在这篇博文中,antirez认为在人工智能时代,程序员应该专注于掌控软件背后的思想,而非阅读每一行代码,因为AI可以生成局部最优的代码,而人类擅长大局设计和方向。
文章警告说,依赖LLM编写代码而不保持良好模式,会教会AI不良习惯,导致代码库充满重复逻辑,代码质量不断恶化。
一个开源CLI工具,扫描Python、JavaScript和TypeScript项目,识别模块并提供架构指标,同时提供AI辅助编程。
一位Hacker News用户向社区询问使用LLM编程的实验性方法,表达了当前提示-回应循环的不满,并寻求根本不同的方式。
A discussion about using AI Agent for system design and coding in a microservices environment, highlighting the need for the AI to understand service boundaries and business concepts.
VikingMute 分享了其开发新功能和点子的主要流程:使用AI(Grill)进行细节拷问,Research分析难点,生成PRD,拆分为独立Issue,分步实现,最后Review。这是对Matt Pocock AI开发七阶段方法的补充。
一位开发者分享了他这个周末的项目,即构建一种编译为WebAssembly的低级中缀语言,并提供了从上下文自动补全到前沿模型等AI编码工具的个人排名。
对开发者在使用AI辅助编码时经历的各个阶段的反思,从最初的惊叹到平衡的理解,并担忧经验不足的开发者如何在严重依赖AI代理的情况下学会判断代码质量。
LLMs 通过生成过度设计的代码,使代码审查变得更加昂贵,但重写现在变得廉价,从而将开发者的工作转向更多的前期规划和迭代简化。
讨论了术语“vibecoding”的两种矛盾含义——一种指不加思考地将代码全部丢给AI,另一种指借助AI进行重大代码辅助——并指出这种歧义导致了沟通中不必要的摩擦。
对rsync发布历史的一项分析检验了Claude辅助的提交是否引入了更多bug,使用每10次提交的bug数的排列检验。结果表明,与历史分布相比,Claude辅助的发布在bug数量上没有统计学上的显著增加。
oh-my-pi 是一个开源的编码 Agent,将 IDE 的核心能力(如语言服务、调试器)集成到终端中,内置 32 个工具,支持多子智能体并行处理和 40 多家模型供应商。