antirez
banner
antirez.bsky.social
antirez
@antirez.bsky.social
Reproducible bugs are candies 🍭🍬
Needed context
December 22, 2025 at 4:32 PM
Reflections on AI at the end of 2025

antirez.com/news/157
Reflections on AI at the end of 2025 - <antirez>
antirez.com
December 20, 2025 at 8:59 AM
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...
Impariamo il C, lezione 28: le funzioni con un numero variabile di argomenti
YouTube video by Salvatore Sanfilippo
www.youtube.com
December 9, 2025 at 9:10 PM
🇪🇺❤️ 🇮🇹🇦🇹🇧🇪🇧🇬🇭🇷🇨🇾🇨🇿🇩🇰🇪🇪🇫🇮🇫🇷🇩🇪🇬🇷🇭🇺🇮🇪🇱🇻🇱🇹🇱🇺🇲🇹🇳🇱🇵🇱🇵🇹🇷🇴🇸🇰🇸🇮🇪🇸🇸🇪 = 🕊️🏛️📜
December 7, 2025 at 8:25 PM
There is a new port of zx2040 to the PicoCalc!
github.com/ohm69/zx-pic...

@flohofwoe.bsky.social
December 3, 2025 at 5:57 PM
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
November 26, 2025 at 4:04 PM
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.
November 24, 2025 at 2:58 PM
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.
November 19, 2025 at 11:49 AM
LOL I can't resist retweeting this
November 19, 2025 at 10:15 AM
"We use Rust, nothing can do wrong! Let's propagate a configuration to all the servers in the blink of an eye".
November 19, 2025 at 9:55 AM
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.
November 18, 2025 at 3:36 PM
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.
November 14, 2025 at 12:26 PM
I wrote a very long blog post about all I learned about HNSWs in the last year: "Scaling HNSWs" -> antirez.com/news/156
Scaling HNSWs - <antirez>
antirez.com
November 11, 2025 at 12:55 PM
Reposted by antirez
@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
November 10, 2025 at 5:14 PM
Required remark about Fil-C
November 7, 2025 at 7:25 AM
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/...
Redis vector sets
Introduction to Redis vector sets
redis.io
November 6, 2025 at 12:16 PM
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.
October 29, 2025 at 4:56 PM
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
October 21, 2025 at 7:50 AM
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.
October 17, 2025 at 11:11 AM
Why I believe there are a lot of misleading papers about LLM reasoning.
October 10, 2025 at 6:08 AM
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.
October 4, 2025 at 8:02 AM
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...
Vector databases and recall: exploring the concept in a more deep way.
YouTube video by Salvatore Sanfilippo
www.youtube.com
September 30, 2025 at 3:01 PM
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...
Made On YouTube 2025: Auto-Dubbing
YouTube video by Updates From YouTube
www.youtube.com
September 27, 2025 at 3:41 PM
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.
September 19, 2025 at 7:02 AM
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.
September 17, 2025 at 6:08 PM