So thanks to Claude Code if my PRs will get into Redis, "make test" will pass again on slower (i5, in this case) computers. Incredibly boring tasks to do, for humans, to detect timing related failures in tests. But not for the AI, that unstoppably debugged the problems.

So thanks to Claude Code if my PRs will get into Redis, "make test" will pass again on slower (i5, in this case) computers. Incredibly boring tasks to do, for humans, to detect timing related failures in tests. But not for the AI, that unstoppably debugged the problems.

Recently I got a Dell Latitude 7420, refurbished. I installed Fedora with Plasma. And after a few days of using it: 1. I severely overestimante the MacBook experience. This hardware is a lot less capable, but the keyboard is better, the plastic feel and the small weight are awesome.

First LLM coded Redis patch? github.com/redis/redis/...

So right now for MANY new projects I would: 1. Create the first core alone or with LLM web interface assistance if needed. Shape *every* line. 2. Start building more with agents, using specification.md files, to put the agent in the right design direction. 3. Coffee as it codes. 4. Review. GOTO 2

I believe we are no more into the stage where the LLM + human in the loop is the best approach for many projects. Sure, reviews are needed, but at this point what coding agents can do is simply incredible. Last few weeks were as shocking as the first ChatGPT version.

StackOverflow chart of death interpretation: LLMs killed it so fast because it was already losing users because of the social issues generating inside the site. Otherwise, SO could be the place where certain quality conversations continued to happen, and also a great source of LLM training.

Wars for oil, again. Since I'm a small child I see the United States bombing other countries to control oil. This also shows that Trump is not just generally a disaster for Americans but *at least* the foreign policy is less aggressive. It's 360 degrees bad.

At this point the average level of discussion within Hacker News threads when the topic is AI is: a bunch of normies drinking beer in some café and cursing the government, their football team coach, and their ailments.

Needed context

Reflections on AI at the end of 2025 antirez.com/news/157

In this video of mine, you can hear the new YouTube AI dubbing if you select the English audio track. It is *incredibly* good, and a huge step forward compared to the past version. www.youtube.com/watch?v=cvWb...

🇪🇺❤️ 🇮🇹🇦🇹🇧🇪🇧🇬🇭🇷🇨🇾🇨🇿🇩🇰🇪🇪🇫🇮🇫🇷🇩🇪🇬🇷🇭🇺🇮🇪🇱🇻🇱🇹🇱🇺🇲🇹🇳🇱🇵🇱🇵🇹🇷🇴🇸🇰🇸🇮🇪🇸🇸🇪 = 🕊️🏛️📜

There is a new port of zx2040 to the PicoCalc! github.com/ohm69/zx-pic... @flohofwoe.bsky.social

Running the Redis test several times today for a fix I'm operating in Redis Streams: it's one of the few times my computer spins the fan, other than when I spin llama.cpp or when I use Davinci Resolve. I'm 100% positive that, I would start it again, the Redis test would be C coded

Random idea for when you need a totally deterministic LLM and can't control the kernels: when there are N top logits (N>=2) separated by less then a given epsilon (chosen so that reordering may produce such delta), among all them, take the token that is lexicographically greater.

One morning on tests in complex C code: GPT 5.1 > Gemini 3.0 Yes, it's just a specific use case: code reviews. And a single person testing. But to say, it is not obvious how is leading right now. If GPT 5.1 can correctly reason on things Gemini 3 PRO can't I could say the landscape is complex.

LOL I can't resist retweeting this

"We use Rust, nothing can do wrong! Let's propagate a configuration to all the servers in the blink of an eye".

Gemini 3 finds the Redis Streams bug I was talking about a few days ago like (and better) GPT 5.1 could. It's a complex bug and yet it creates a clear causal model of what is happening in the crash report.

Interestingly ChatGPT 5.1 just discovered and fixed a complicated bug in Redis Streams (of my fork: no bug in the official Redis) that Gemini 2.5 could not handle. Curious to see if Gemini 3 will be able to spot it.

I wrote a very long blog post about all I learned about HNSWs in the last year: "Scaling HNSWs" -> antirez.com/news/156

@antirez.bsky.social's C course is the first time I'm seeing YouTube auto-dubbing: www.youtube.com/watch?v=-1Zh... I'm not sure how I feel about it, but it probably is a net positive due to being able to consume that content in English? Still prefer original audio with English auto-subtitles though

Required remark about Fil-C

I offer help for free, via email, to people using Redis Vector Sets in production or if they are experimenting with that. Feel free to ping me! If you don't know what I'm talking about, check this: redis.io/docs/latest/...

When you use LLMs to write code in a human-in-the-loop way, you ARE the agent. Multiple LLMs in different web tabs, you write the best prompts, you check the code, ask the right questions, cross-check with some other LLM. Being good agents is not trivial, but very rewarding.

Hi friends, this summer I published my latest sci-fi short story with Urania-Mondadori. I attempted to translate it in English, for the potential English speaking readers here, and I believe the result is truthful to the original. This is the ePub file. antirez.com/sincro-en.epub

It's fantastic, isn't it? LLMs can do incredible things and can use tools in complex ways. Each time we discover some way LLMs can use tools, we call it with odd names and complicate it: MCP, Skills, ..., but it's the same f**king LLM that can do things.

Why I believe there are a lot of misleading papers about LLM reasoning.

Today I discovered that in China there is this concept of "losing face" (mianzi / 面子), which maps 1:1 with Sicilian "perdiri la facci" both as exact wording and conceptually.

Saying that a vector database reaches a given recall percentage is more marketing than anything, HNSWs are more complicated than that. Let's explore why in this video. www.youtube.com/watch?v=LG3q...

Finally YouTube is going to improve the dubbing feature with lipsync and potentially (looking at this example video) voice matching. That's great in general, and I'm very happy for my YouTube channel that can be better experienced by english speakers. www.youtube.com/watch?v=8W3n...

Who are the designers of the new iPhone UI? Would love to hire them in order to create the hardest escape room in the world.

VRANGE was merged into Redis unstable and will be likely back-ported. It allows to get lex ranges of elements in vector sets, which is useful as iterator and for other tasks.

It's a few days that I'm writing a blog post on HNSWs. As usually, writing about a subject raises new questions, that trigger new searches, and in the goal of explaining what you understood, you understand more. Blogging may no longer be cool but surely remains useful.

New EN video: Inspecting LLM embeddings in GGUF format with gguflib.c and Redis www.youtube.com/watch?v=ugba...

ADV: my C course on YouTube is free and can be watched without problems with subtitles or dubbed audio by non Italian speakers :)

We should likely put a large LLM weights and the explanation of how to do inference in some hard-to-degradate material, inside N bunkers in different parts of the world. So that humans are more likely to be able to restart civilization in case of fatal events.

At this stage AI will provide a huge boost to balanced people that don't jump in any extreme hype / anti-hype train, and will create issues to the folks that don't see that judicious application of LLMs is the key. One of those historical moments when wisdom is an advantage.

Playing with adding LLMs embeddings into Redis vector sets, to explore relationships and differences with embedding words models like Word2Vec. Will make a YouTube video and/or blog post.

Why the "declare AI help in your PR" is useless, courtesy of 3000 years ago logic: - If you can't tell without the disclaimer, it's useless: people will not tell. - If you can tell, it's useless: you can tell. Just evaluate quality, not process.

When you use coding agents for something that produces the bulk of the code of an application that will be used for years, also factor in the technical debt that you are happily accumulating. When you use LLMs an an aid, you could, on the contrary, improve your coding culture.

New blog post: AI is different. antirez.com/news/155

GPT-5 seems good at code reviews. The first model from OpenAI in a *long* time I'll likely start using constantly for such an activity, together with the others.

LLM evaluation: only trust people with hard problems. Today models perform decently on most trivial task: this is a win of the technology, but also means that evaluation is more and more a realm of sprcislists.

Prediction: the OpenAI release for GPT OSS 120/20 will weaken the position of US AI OSS in comparison to the Chinese movement and results. And this is happening after the Llama4 fiasco: multiplicative effects.

It's a real shame there are no LLM benchmarks on hallucinating creativity, since GPT OSS 120b is wild in what it invents out of thin air, and would score really high on such a benchmark.

It is possible to do C programming safely. You just need the right gear

This AWS European Sovereign Cloud just does not make much sense, for an Europe POV. Why to pay AWS to run a cloud in Europe? Running software in part written by europeans like Linux, MySQL, Python and many others? If you are from Europe consider buying services from EU companies

My YouTube channel reached 25k subscribers. 5k watch it from outside Italy, with subtitles / dubbed audio, regardless of the fact 80% of the videos are in Italian (soon or later I'll explain the why of this choice). I'm happy about this: YouTube is becoming a cultural media.