frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Redis array: short story of a long development process

https://antirez.com/news/164
84•antirez•2h ago

Comments

SuperV1234•1h ago
Closely matches my own experiences with current SOTA AI. Extremely useful collaborator, far from being a replacement for human intelligence and creativity.
antirez•1h 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•1h ago
I like to say, AI is the duck programming duck I always wanted
bonesss•1h 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•17m 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."
gbalduzzi•1h 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•1h 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.
leetrout•36m ago
On safari mobile it's a page with the title header and a footer. Theres no content rendering.
antirez•28m ago
Checking, thanks. EDIT: works very well on my iPhone, so without being able to reproduce is not easy to fix.
tobr•23m ago
Same here, I need to turn off content blockers for the article content to load.
jdw64•35m 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•30m 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•22m 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•18m ago
I appreciate your kind reply as well :)
localhoster•26m 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.

simonw•8m ago
It's a pretty strong endorsement for the idea that coding agents, used skillfully by experienced developers, can further amplify their expertise.
ok123456•19m ago
Is this an apologia since the PR is +22,212 -34?
antirez•18m ago
Haha, ~5000 LOC with comments. The rest is tests + TRE code + TRE tests.
wood_spirit•16m 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•15m 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.

Removable batteries in smartphones will be mandatory in the EU starting in 2027

https://www.ecopv-eu.com/en/blog-en/replaceable-smartphone-batteries-2027-eu-regulation/
223•rdeboo•1h ago•198 comments

Redis array: short story of a long development process

https://antirez.com/news/164
85•antirez•2h ago•20 comments

GitHub Is Down

https://www.githubstatus.com/incidents/72q3n8yxthcy
144•gen220•41m ago•66 comments

Talking to 35 Strangers at the Gym

https://thienantran.com/talking-to-35-strangers-at-the-gym/
588•thitran•4h ago•294 comments

PyInfra 3.8.0 Is Out

https://github.com/pyinfra-dev/pyinfra/releases/tag/v3.8.0
147•wowi42•3h ago•50 comments

GameStop makes $55.5B takeover offer for eBay

https://www.bbc.co.uk/news/articles/cn0p8yled1do
447•n1b0m•7h ago•379 comments

Newton's law of gravity passes its biggest test

https://www.science.org/content/article/newton-s-law-gravity-passes-its-biggest-test-ever
72•pseudolus•3h ago•40 comments

Pomiferous: The most extensive apples (pommes) database

https://pomiferous.com/
14•Ariarule•1h ago•6 comments

I tracked 7,700 UK petrol stations every 10 minutes for 3 months

https://www.fuelinsight.co.uk
26•theazureguy•1h ago•12 comments

Hallucination Is Inevitable: An Innate Limitation of Large Language Models

https://arxiv.org/abs/2401.11817
5•drob518•59m ago•2 comments

How Monero's proof of work works

https://blog.alcazarsec.com/tech/posts/how-moneros-proof-of-work-works
78•alcazar•2h ago•54 comments

Alberta voter list leak is a potential public safety disaster

https://globalnews.ca/news/11828244/alberta-voter-list-leak-public-safety-disaster/
18•Teever•47m ago•10 comments

Why are neural networks and cryptographic ciphers so similar? (2025)

https://reiner.org/neural-net-ciphers
78•jxmorris12•2d ago•25 comments

Using “underdrawings” for accurate text and numbers

https://samcollins.blog/underdrawings/
320•samcollins•2d ago•118 comments

Trademark violation: Fake Notepad++ for Mac

https://notepad-plus-plus.org/news/npp-trademark-infringement/
468•maxloh•6h ago•188 comments

Does Employment Slow Cognitive Decline? Evidence from Labor Market Shocks

https://www.nber.org/papers/w35117
3•littlexsparkee•1h ago•0 comments

Texico: Learn the principles of programming without even touching a computer

https://www3.nhk.or.jp/nhkworld/en/shows/texico/
139•o4c•2d ago•11 comments

World's biggest RC A380 [video]

https://www.youtube.com/watch?v=wr9YLGbhxng
90•NaOH•1d ago•43 comments

BYOMesh – New LoRa mesh radio offers 100x the bandwidth

https://partyon.xyz/@nullagent/116499715071759135
435•nullagent•22h ago•138 comments

DAG Workflow Engine

https://github.com/vivekg13186/Daisy-DAG
18•blobmty•4h ago•11 comments

DeepClaude – Claude Code agent loop with DeepSeek V4 Pro

https://github.com/aattaran/deepclaude
596•alattaran•18h ago•249 comments

Someone allegedly used a hairdryer to rig Polymarket weather bets

https://www.engadget.com/big-tech/someone-allegedly-used-a-hairdryer-to-rig-polymarket-weather-be...
95•cdrnsf•3h ago•51 comments

1966 Ford Mustang Converted into a Tesla with Working 'Full Self-Driving'

https://electrek.co/2026/05/02/tesla-1966-mustang-ev-conversion-full-self-driving/
14•Brajeshwar•1h ago•2 comments

Discovering hard disk physical geometry through microbenchmarking (2019)

https://blog.stuffedcow.net/2019/09/hard-disk-geometry-microbenchmarking/
143•TapamN•3d ago•6 comments

A treasure trove of fossils rewrites the story of early life

https://www.quantamagazine.org/a-treasure-trove-of-cambrian-fossils-rewrites-the-story-of-early-l...
80•worldvoyageur•3d ago•16 comments

Southwest Headquarters Tour

https://katherinemichel.github.io/blog/travel/southwest-headquarters-tour-2026.html
297•KatiMichel•23h ago•90 comments

Fun with polynomials and linear algebra; or, slight abstract nonsense

https://guille.site/posts/abstract-nonsense/
46•LolWolf•3d ago•5 comments

US–Indian space mission maps extreme subsidence in Mexico City

https://phys.org/news/2026-04-usindian-space-mission-extreme-subsidence.html
202•leopoldj•3d ago•72 comments

Let's Buy Spirit Air

https://letsbuyspiritair.com/
495•bjhess•16h ago•482 comments

OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors

https://www.theguardian.com/technology/2026/apr/30/ai-outperforms-doctors-in-harvard-trial-of-eme...
467•donsupreme•1d ago•416 comments