标签
一篇提出验证学习理论（VLT）的预印本。该理论是一个形式化过程模型，用于描述人工智能辅助的主张核查如何影响独立判断能力的保持，并预测：意识到助手可能出错，可以通过证据核查提高延迟测试中无辅助条件下的表现。
三项随机实验（共1222名参与者）发现，人们在使用AI助手后虽然初始表现更好，但失去访问权限后独立解决问题的能力反而下降，表现出更低的坚持度和更高的弃题率。
该论文研究了GPT模型在帮助润色学术论文时出现的"防御性写作"现象——即无依据地收窄或撤回作者论点，发现这主要源于模型在为预期的审稿人写作，而非修正过度声明，且AI审稿人倾向于给防御性改写更高评分，可能形成正反馈循环。
作者分享了一个从预期寿命数据项目中学到的教训，强调了在 AI 构建的数据管道中保留脚注等元数据的重要性，以确保数据准确性和可比性。
一位开发者分享了使用Codex后添加到AGENTS.md中的编码指南，旨在减少过度工程化、提高效率，并遵循使用开源库和编写有意义测试等最佳实践。
一位作者分享了他们使用小型e-ink阅读器的经历，该阅读器在安装开源固件后遇到了显示故障，并使用了Codex中的GPT-6 Astra来诊断和修复问题。
Doneit 3.2 正式发布，重新设计的 Doneit Assist 功能支持 Siri AI、照片附件用于任务规划，并新增任务摘要和提醒等新能力。
一位用户指示Claude AI将“添加到购物车”按钮更改为蓝色，而不更改其他元素，展示了AI在UI自定义中的辅助作用。
这个实验利用OhmJS和RWR的管道在Emacs中隐藏代码实现细节，通过专注于结构来提高代码可读性。
本文提出了ProSE-Plan，一个贝叶斯自适应规划器，通过考虑用户在有限理性下的可评估性来改进AI辅助，使用提议作为探测来学习偏好并增强决策。
这期 Pragmatic Engineer 播客节目邀请了 Casey Muratori，讨论软件性能以及使用 AI 辅助学习 Assembly。
X上的一位用户向X和Space xAI寻求帮助，以解决另一位用户不提供署名的窃取内容问题。
文章探讨了AI辅助如何简化了创建具有亚微秒级编译时间的快速JIT编译器的过程，并通过一个基于Rust的正则表达式引擎示例进行了演示。
Linus Torvalds 描述了一次具有挑战性的调试过程，AI助手提供了显著帮助，但也显示出局限性，建议放弃。他通过坚持克服了这一点。
本文分享了一种使用 agent.md 文件定义LLM辅助开发中编码风格偏好的方法，通过减少重复反馈来提升代码质量。
作者讨论了他们在个人财务追踪方面的历程，并介绍了纯文本记账作为一种可靠的方法，使用纯文本文件和复式记账法，比传统的财务应用如Rocket Money和Origin更受青睐。
一位用户分享道，Claude AI帮助优化了他的Ubiquiti UniFi Wi-Fi设置，在25分钟的流程后，Wi-Fi速度提升了54%，有线速度提升了25%。
作者回顾了自己从在老旧Macintosh上手动输入代码到使用Copilot和Claude等AI辅助代码补全工具的历程，并得出结论：尽管AI行业存在问题，但技术本身是有用的。