标签
作者回顾了自己从在老旧Macintosh上手动输入代码到使用Copilot和Claude等AI辅助代码补全工具的历程，并得出结论：尽管AI行业存在问题，但技术本身是有用的。
Humanly是一个可配置的写作平台，记录写作过程以提供人机协作的可追溯证据，具有密封证书和异常检测等功能。
本文探讨了为什么一些开发者从AI辅助中获得了显著的编码生产力提升，而另一些人几乎看不到任何好处，并探索了可能解释这种差异的因素。
一位开发者反思了使用AI快速编写代码与深入理解代码之间的权衡，并质疑如何在AI辅助与真正学习之间取得平衡。
本研究论文探讨了AI建议如何降低人们表达不确定性的意愿，即使建议错误且准确性受到激励，从而改变元认知阈值。
Android Studio Quail 2 现已稳定，引入并行AI代理聊天、集成 LeakCanary 内存泄漏检测（分析速度提升5倍），以及由 Gemini 驱动的崩溃修复。
本文介绍了一个案例研究：一位数学家在Lean证明助手中指导AI对Vlasov方程的平均场推导进行形式化，并将此过程视为一种策略游戏。该形式化工作约在一个月内完成，AI在人类的指导下执行证明。
一位16岁的少年分享了如何利用vibecoding（AI辅助编程）帮助他们克服高二的困难，并成功在App Store上发布了他们的第一款应用。
作者复活了他的自定义字节码虚拟机（UVM），并借助AI解析文本LLVM IR构建了一个Clang后端，成功将Doom移植到该虚拟机上。
在一篇个人随笔中，Craig Mod 描述了他对使用 Claude Code 构建定制软件的痴迷，最终构建了一个自定义会计系统，用于处理他在多个国家和货币中的复杂财务需求。
Matt Pocock 认为，代码审查中是否阅读代码的决定并非二元，而是一个范围，他列出了从阅读每一行到让模型处理一切的七个参与级别。
反思使用ChatGPT和Claude等AI工具，究竟是真正提升了技能，还是因为过度依赖捷径而削弱了基础能力，并将这一现象与计算器和搜索引擎进行类比。
一位开发者概述了软件开发中的三项主要准备活动（讨论、研究、原型），并询问为什么AI在这些领域的实用性没有更早显现。
作者分享了自己如何将AI从搜索引擎转变为团队成员，从而同时开发4个产品的经验。
本文介绍了论文助手工具（PAT），这是一种用于深度科学评审的代理型AI框架，利用推理缩放技术识别数学错误及其他缺陷，在召回率上比零样本方法提升了34%。在STOC和ICML的试点部署表明，它能够在提交前捕捉关键错误，减轻人类审稿人的负担。
这篇来自OpenAI的白皮书介绍了使用Codex作为持久工作区的实用策略，以保持上下文、管理复杂工作流，并通过将目标分解为可验证的步骤来在长期项目中维持进度。
本文介绍了如何在Obsidian中使用Claude作为AI引擎构建知识图谱以发现关联，并指出当笔记相互链接而非孤立时，笔记系统会随着时间推移变得更有价值。