▲Redis array: short story of a long development process(antirez.com)
72 points by antirez 1 hour ago | 8 comments
▲wood_spirit 2 minutes ago
Sharing my current MO:

I start with a high level design md doc which an AI helps write. Then I ask another AI - whether the same model without the context, or another model - to critique it and spot bugs, gaps and omissions. It always finds obvious in hindsight stuff. So I ask it to summarize its findings and I paste that into the first AI and ask its opinions. We form an agreed change and make it and carry on this adversarial round robin until no model can suggest anything that seems weighty.

I then ask the AI to make a plan. And I round robin that through a bunch of AIs adversarially as well. In the end, the plan looks solid.

Then the end to end test cases plan and so on.

By the end of the first day or week or month - depending on the scale of the system - we are ready to code.

And as code gets made I paste that into other AIs with the spec and plan and ask them to spot bugs, omissions and gaps too and so on. Continually using other AI to check on the main one implementing.

And of course you have to go read the code because I have found it that AI misses polishes.

▲dsecurity49 1 minute ago
AI is a fantastic co-pilot, but you still need to know how to fly the plane when the edge cases start hitting the fan.
▲localhoster 12 minutes ago
Let's make it very clear - this is the original creator of redis, or one of them.

He is not "your avg dev" and it took him 4 months with llm.

This is not a seal of approval for you to go and command all your developers to move to Claude code/codex/any other ai coding tool fully.

I'm looking at you - any avg CEO of a startup.

▲SuperV1234 1 hour ago
Closely matches my own experiences with current SOTA AI. Extremely useful collaborator, far from being a replacement for human intelligence and creativity.
▲antirez 1 hour ago
There are projects that I develop mostly not looking at the code, but owning the concepts, algorithms and ideas asking questions and giving hints, and owning especially the product. But, not for Redis, not yet at least. When in the future this will be possible, server software, the way it is developed today, will be over. I bet there will be still projects and repositories, as accumulation of features, fixes and experiences will still be worth it, but the role of programmers will be very similar to what Linus did so far for the kernel. And for certain projects I'm developing, like the DeepSeek v4 inference engine, I'l already working like that.
▲foobarian 1 hour ago
I like to say, AI is the duck programming duck I always wanted
▲bonesss 50 minutes ago
LLMs are the insensitive Asmovian robots I’ve always wanted, who translate and do the hardest part of my job: ensuring my emails are polite and none of my true thoughts or feelings are revealed…

Now I just need a way to protect my chats from any potential discovery, and <pew pew> business’ll be easy.

▲genghisjahn 3 minutes ago
I occasionally type into slack "Future lawyers, the previous conversation is a joke. No one is doing cocaine to get through writing requirements docs."
▲ok123456 5 minutes ago
Is this an apologia since the PR is +22,212 -34?
▲antirez 4 minutes ago
Haha, ~5000 LOC with comments. The rest is tests + TRE code + TRE tests.
▲jdw64 22 minutes ago
It feels like Redis is becoming a small database, which seems to make it more convenient to use. Could you add more examples that clarify where the boundary should be?
▲antirez 16 minutes ago
Well, Redis is a data structures server, and has very complicated and edgy data structures like the HyperLogLog, so I have very little doubts that a fundamental data type like the Array will fit :) Also the actual complexity added is mostly two C files that are quite commented and understandable.

    wc -l t_array.c sparsearray.c
        2012 t_array.c
        2063 sparsearray.c
        4075 total (including comments)
Sure there are also the AOF / RDB glues, the tests, the vendored TRE library for ARGREP. But all in all it's self contained complexity with little interactions with the rest of the server.

A quick note: if we focus only on that part of the implementation, skipping tests and persistence code which is not huge, 4075 lines in 4 months are an average of 33 lines per day, which is quite low.

▲jdw64 8 minutes ago
I’m a big fan of your work, and I honestly didn’t expect to receive a reply from you. Thank you. Also, thank you for pointing out exactly where I was misunderstanding the issue. In the past, I used Redis for temperature measurements in a smart farm project. I used Hashes back then, but it seems like Array would fit that use case much better.

This looks like a very useful feature. Thank you again for the reply.

▲antirez 4 minutes ago
I appreciate your kind reply as well :)
▲leetrout 22 minutes ago
On safari mobile it's a page with the title header and a footer. Theres no content rendering.
▲antirez 15 minutes ago
Checking, thanks. EDIT: works very well on my iPhone, so without being able to reproduce is not easy to fix.
▲tobr 9 minutes ago
Same here, I need to turn off content blockers for the article content to load.
▲revscat 15 minutes ago
[dead]
▲gbalduzzi 1 hour ago
Is it possible to see the specification file you created and used for AI assisted development?

Very cool anyway! Can I expect a youtube video about this soon?

▲antirez 1 hour ago
Yep I will release it, it is a bit out of sync at this point, but will do a pass of updating and will release it.