<antirez>
2 days ago
- Worked on a new Array data type for Redis over four months, with AI assistance from GPT 5.x, Opus, and Codex.
- AI helped refine the specification, design, implementation, and testing, enabling higher complexity like a super directory structure.
- Chose and optimized the TRE regex library for ARGREP functionality, fixing inefficiencies and security issues.
- AI provided a safety net for massive tasks (e.g., 32-bit support) and ensured no obvious bugs in complex algorithms.
- The initial detailed specification was key to the success of the project.
- Believes Redis should have a data type where numerical index is part of the semantics, opening new use cases.