<antirez>
2 days ago
- 在四个月的时间里，借助 GPT 5.x、Opus 和 Codex 等 AI 的帮助，为 Redis 开发了一种新的数组数据类型。
- AI 帮助完善了规范、设计、实现和测试，实现了更高的复杂性，比如超级目录结构。
- 选择并优化了 TRE 正则表达式库以实现 ARGREP 功能，修复了低效和安全问题。
- AI 为大规模任务（例如 32 位支持）提供了安全网，并确保复杂算法中没有明显错误。
- 初始详细规范是项目成功的关键。
- 认为 Redis 应该有一种数据类型，其中数字索引是语义的一部分，从而开辟新的用例。