Hasty Briefsbeta

全部标签

ai coding

共 14 篇

双语

The Curve is Bending
5 days ago
- AI模型已达到一个转折点，其输出在真实开发工作中的价值超过了成本，导致推理支出增加。
- 作者每年的AI推理支出从2023年的100美元增长到2025年的5000美元，反映了实用性的提升。
- o1-pro是第一个在专业编码中持续有用的模型，能够调试大文件并每周节省数小时。
- 像Claude Code和Zed编辑器中的提示库这类AI工具大幅减少了任务时间（例如，将样板函数的编写从20分钟缩短到2分钟）。
更多...
Testing AI For C Programming
5 days ago
- 作者是一位拥有25年编程经验的老手，起初对AI编码工具持怀疑态度，但测试了新的AI代码代理（Opus 4.5、gpt-5.2-codex）后，想看看它们能否节省时间。
- 在一项使用Claude Code的对照实验中，AI辅助将一项繁琐的4小时任务（编写UTF16转换和审计字符串使用）缩短到30分钟，即使AI犯错误，审查其代码也能帮助作者更快地理解问题。
- AI代码代理最适合像实习生或律师助理一样使用——在人类指导下处理繁琐、具体的任务，而程序员负责规划和审查。
- 这些代理能够很好地处理反馈（例如，在要求时将O(n²)算法重写为O(n)），但仍需要熟练的程序员来识别和纠正问题。
更多...
Welcome to My Blog
5 days ago
- Started a blog built with Claude Code in about an hour.
- Shifted from viewing LLMs as mostly useless to rarely opening the IDE now.
- Plans to document experiences with AI-assisted web development, MCP, and agentic workflows.
- Will cover real experiences with tools like Claude Code and Cursor, MCP integrations, valuable agentic workflows, performance optimization with AI, and the intersection of commercial needs and technical execution.
更多...
AI is not another abstraction because god plays dice
5 days ago
- AI辅助编程常被比作历史上的编程抽象（机器码到汇编再到高级语言），但这种类比存在缺陷。
- 编译器这类抽象具有确定性：相同输入总能产生相同输出，可预测且可信。
- 当前AI是概率性的，而非确定性的；它更像一个按高级规范灵活执行的承包商，而非编译器。
- 将任务委托给AI意味着失去传统抽象层（如内联汇编、LLVM扩展）固有的确定性控制。
更多...
<antirez>
5 days ago
- 历史上的重新实现，例如GNU的UNIX用户空间，是通过添加独特功能以避免侵犯版权、仅使用规范和行为而非源代码而合法完成的。
- 版权法禁止复制“受保护的表达”（实际代码），但允许重新实现思想和行为，只要不复制代码或进行机械翻译。
- 人工智能极大地加速了重新实现过程，使其更便宜、更快速，但也引发了类似于GNU项目时期面临的担忧。
- 从伦理上讲，软件进化依赖于共享和渐进式创新；即使借助人工智能，只要重新实现增加新颖性并避免复制受保护的表达，就是公平的。
更多...
<antirez>
5 days ago
- 传统开源软件遵循固定的开发周期，分为稳定版和不稳定版分支，在发布前修复漏洞。
- AI编程改变了软件的开发和使用方式，用户现在可以直接要求AI修改软件。
- 代码仓库应作为解决问题的模板或示例，允许用户根据特定需求调整代码。
- 不稳定或未经证实的代码对某些用户仍有价值，例如需要Redis内存节省功能的用户。
更多...
Prompts are technical debt too
5 days ago
- 提示词是一种技术债务，会随着模型更新而悄然贬值。
- 为某一模型精心设计的提示词可能在下一版本发布时变得过时甚至有害。
- 与代码不同，提示词退化往往不易察觉，因为模型能力难以量化。
- 大多数用户应依赖受维护的AI编码工具，并尽量减少自定义配置，以从持续的提示调优中获益。
更多...
I Tried Building a Real App with AI. It Took a Year
8 days ago
- 作者想要一个习惯追踪应用，具有特定功能，如长列表、本地存储、自定义表情符号图标、灵活的目标、笔记和提醒，但现有的应用如Streaks、HabitKit和Grit缺乏某些功能或过于昂贵。
- 使用AI（Cursor）用Swift构建应用，作者在6小时内创建了一个可工作的原型，但代码很混乱——视图有1000行长，不一致，且充满bug，比如iCloud同步不工作和性能问题。
- 手动重构修复了代码结构，但iOS 26更新带来了AI无法处理的新问题，需要数月时间来调试和清理代码库。
- 最终应用HabitTed在一年后发布到App Store，最多6个习惯免费，并提供一次性购买选项，但这次经历凸显了80/20法则：AI能完成80%的工作，但最后的20%需要80%的时间。
更多...
AI Coding Will Prevent Expertise
9 days ago
- AI编码工具对经验丰富的开发者比新手更有益，造成了‘熟练指挥悖论’：使用工具需要专业知识，但工具可能阻碍专业知识的形成。
- 研究（JetBrains、宾夕法尼亚大学、Anthropic）表明，过度依赖AI生成代码会导致‘能力幻觉’、跳过规划以及更差的学习效果；有节制地使用则能改善学习。
- 避免使用AI辅助的新手开发者表现更好，形成了‘否定性专业知识’来忽略不良建议，而依赖AI的开发者常常迷失方向，无法建立真正的理解。
- AI创造了一种‘倒置学习’模式，新手必须在不知道正确答案的情况下引导AI，导致错误的自信和潜在的技能萎缩。
更多...
Not just development, distribution of software may change as well
9 days ago
- 传统软件开发涉及一个稳定分支和一个不稳定分支，在发布前有一个冻结和测试期。
- AI编程改变了开发和使用方式，使用户能够通过AI代理修改软件，使代码更易于调整。
- 仓库可以作为用户实现专业化的模板，而不仅仅是成品，允许针对特定需求进行适配。
- 像DwarfStar这样的项目受益于提供坚实的示例，编码代理可以将其外推到新的配置和模型。
更多...
Everyone says Chinese AI is dirt cheap
9 days ago
- Kimi K3并非廉价选择；其价格与西方旗舰产品相当，且在每次测试成本上表现处于中等水平。
- 中国模型在作为'执行者'（编码执行）方面占据主导地位，实现相同结果时比西方同类产品便宜19倍。
- 三个陷阱包括：推理令牌的隐藏计费、尽管在排行榜上排名靠前但在实际工具中失败的模型，以及廉价聚合器上的不稳定路由。
- 最佳配置是使用一个前沿规划器（例如Grok-4.5或GPT-5.6 luna）搭配一个廉价的中国执行者（例如DeepSeek flash）。
更多...
Beyond grep: The case for a context-rich AI coding harness
12 days ago
- 近期AI编码的发展聚焦于管理模型的软件，而非模型本身。
- Anthropic的Claude Code团队维护着一个‘轻量级控制层’，避免因模型快速改进而过度规划或限制功能。
- 控制层是介于AI模型与开发者项目之间的软件层，负责控制模型输入、操作及与代码库的交互。
- Claude Code信任模型来引导未来发展，而不强加僵化的意见。
更多...
SigMap: 97% token reduction for AI coding sessions
a month ago
- SigMap将编码任务所需的提示数量大幅降低了48.4%（从2.84个提示降至1.47个提示），这一结果基于90个真实任务。
- 它通过86.7%的hit@5检索准确率和97.0%的令牌缩减，为AI代码工作提供确定性、可验证的上下文基础，完全离线运行，无需外部依赖。
- 该工具采用六步工作流程：生成上下文、询问相关文件、将上下文复制至AI助手、保存响应、验证覆盖范围以及评估上下文完整性。
- 基准测试显示，SigMap将任务成功率从10%提升至66.7%，在所有测试仓库中完全消除了GPT-4o的溢出问题（0/21对比16/21），并通过图谱增强将检索准确率提升至87%。
My AI-built PHP engine in Rust passes 17% of PHP-src tests, renders WordPress
a month ago
- 作者在不懂Rust的情况下，开发了一个名为Phargo的基于Rust的PHP解释器，依赖AI编写代码。
- 该项目使用PHP官方包含22,000个文件的测试套件作为无偏见的验证器，以确保正确性并衡量进展。
- 作者的角色非常有限：指导AI修复失败的测试、运行测试套件并提交改进。
- 最初的问题包括由于测试中的CRLF换行符未检测到的失败，凸显了准确度量的重要性。
更多...

ai coding

The Curve is Bending

Testing AI For C Programming

Welcome to My Blog

AI is not another abstraction because god plays dice

<antirez>

<antirez>

Prompts are technical debt too

I Tried Building a Real App with AI. It Took a Year

AI Coding Will Prevent Expertise

Not just development, distribution of software may change as well

Everyone says Chinese AI is dirt cheap

Beyond grep: The case for a context-rich AI coding harness

SigMap: 97% token reduction for AI coding sessions

My AI-built PHP engine in Rust passes 17% of PHP-src tests, renders WordPress