antirez's Avatar

antirez

@antirez.bsky.social

Reproducible bugs are candies ๐Ÿญ๐Ÿฌ

7,032 Followers  |  376 Following  |  719 Posts  |  Joined: 26.04.2023  |  1.8334

Latest posts by antirez.bsky.social on Bluesky

I believe it's time to build stuff more connected with the low level services. Highly abstracted AWS services are more of a marketing strategy than a real technological need, often times. So one could go for European companies and at the same time develop just what is available via OSS.

04.08.2025 22:38 โ€” ๐Ÿ‘ 6    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
me wearing a hardhat and safety vest

me wearing a hardhat and safety vest

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

04.08.2025 21:17 โ€” ๐Ÿ‘ 65    ๐Ÿ” 10    ๐Ÿ’ฌ 8    ๐Ÿ“Œ 0

Can't avoid noticing no crowbar to exit vim in the most extreme situations.

04.08.2025 22:25 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

04.08.2025 22:24 โ€” ๐Ÿ‘ 57    ๐Ÿ” 9    ๐Ÿ’ฌ 6    ๐Ÿ“Œ 2

and I speak slowly :)

01.08.2025 15:54 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Many folks told me they learned italian following my channel! Incredible.

01.08.2025 13:22 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

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.

01.08.2025 12:25 โ€” ๐Ÿ‘ 35    ๐Ÿ” 2    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0
Post image

I just posted this on Linked In, but @codinghorror.bsky.social talked about this many times. In 2025, it is still so relevant. In fact @antirez.bsky.social live solved this in his YouTube channel. The question remains: why so many developers cannot write code?

01.08.2025 12:09 โ€” ๐Ÿ‘ 10    ๐Ÿ” 1    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 1

New systems are fine if well designed :)

30.07.2025 10:45 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

6. Companies discover that complexity is a form of vendor lock-in, among the other things. People that created a mess get promoted, since IT no longer evaluates design quality as one of the metrics for success. GO TO 1.

30.07.2025 09:07 โ€” ๐Ÿ‘ 9    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

5. The designer / implementers of the new system lack the passion, design abilities, taste, love for simplicity of the original system replaced. A good part of computing / Internet is substituted with something worse and complicated. Again and again.

30.07.2025 09:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

4. The IT company decides to replace this old good system with something new. However, they need to impose it to the world, to some extend, otherwise they would still forced to support the old one, or to deal with incompatible systems. A team is created.

30.07.2025 09:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

3. This large IT company realizes that such old system they are using is creating a friction for what the company is using it for. Sometimes this is true, oftentimes this feeling arises because the company development process itself is dysfunctional, or the software culture wrong

30.07.2025 09:07 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

2. Some large IT company is capitalizing such system in one way or the other. Systems evolve, computers and networks are faster, also the way computers work shift, now many of them are phones. Software as a service also changes requirements and dynamics.

30.07.2025 09:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

In recent years, in applied computer science there is this phenomenon that repeats itself slowly ruining everything we have:

1. Many years ago a well designed system was created: simplicity and orthogonality of ideas are often part of the system. Such system is well understood.

30.07.2025 09:07 โ€” ๐Ÿ‘ 19    ๐Ÿ” 1    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1

But to do so, what is needed is to make the quantization format documented, and part of the API. Which... may not be a bad idea after all.

29.07.2025 18:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

FP32 is totally the way to go... Even if the API looks like "float array in input", I believe a client should go for the FP32 format. It's much faster and smaller. However I would like to implement too the ability to send INT8 as well. 1/4 of the bandwidth.

29.07.2025 18:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Implementing the Redis VRANGE command using AI: to learn a few things
YouTube video by Salvatore Sanfilippo Implementing the Redis VRANGE command using AI: to learn a few things

[new Youtube video] Writing Redis VRANGE using AI: how I prepare the context, and how the human in the loop is crucial to obtain good results:

www.youtube.com/watch?v=3Z7T...

24.07.2025 20:32 โ€” ๐Ÿ‘ 19    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

It's a lexicographical iterator, you can get all the elements in ranges

24.07.2025 14:04 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

In order to implement the Redis Vector Sets VRANGE, I used AI to show better my point about the latest blog post and why vibe coding is *not* the way. Soon I'll release a video in my YouTube channel (in English) to see how Claude and Gemini perform and how the human is the key.

24.07.2025 10:40 โ€” ๐Ÿ‘ 15    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I have Gemini Code with a plan and never experienced improvements in reviews / discussions using the agent instead of the plain web chat.

22.07.2025 09:00 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Haha I would say it's invariable. One Redis many Redis. Otherwise Redises sounds kinda ok? Not sure being not mother tongue. What's your best pick?

21.07.2025 10:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Coding with LLMs in the summer of 2025 (an update) - <antirez>

Blog post: Coding with LLMs in the summer of 2025 (an update)

antirez.com/news/154

20.07.2025 10:59 โ€” ๐Ÿ‘ 24    ๐Ÿ” 3    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 1
Vector Sets: the implementation and biases of VRANDMEMBER
YouTube video by Salvatore Sanfilippo Vector Sets: the implementation and biases of VRANDMEMBER

Just published a new video about Vector Sets: how is VRANDMEMBER implemented? What is its distribution? And how do you extract a random element out of an HNSW graph?

www.youtube.com/watch?v=Xreg...

17.07.2025 17:14 โ€” ๐Ÿ‘ 12    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Random variables
YouTube video by Salvatore Sanfilippo Random variables

For my YouTube C course weeks ago I created an intro with some music. People liked it and asked what song it was so yesterday night I turned it into a full song:

youtu.be/HzBqda0Jg3E?...

15.07.2025 15:09 โ€” ๐Ÿ‘ 14    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

I just want to tell everybody that I don't care what price BTC will reach. For me it's a ๐Ÿคก level speculation and I will never invest into it.

15.07.2025 10:49 โ€” ๐Ÿ‘ 39    ๐Ÿ” 1    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0
CLIENT PAUSE Suspends commands processing.

Please also make sure to check this:

redis.io/docs/latest/...

15.07.2025 08:28 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

This is a process that requires some experience (disclaimer about tweet sized support) but the gist of it is:

1. Backup all.
2. Upgrade replicas one by one.
3. Promote to primary, switch clients to new primary.
4 GOTO 2.
5. Don't enter an infinite loop.

2 may depend on the HA solution in place.

15.07.2025 07:35 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Rondรฒ Veneziano - Wikipedia

Do you like Daft Punk? I do. Many years before, in 1979, a few Italian composers created what later inspired many later musicians: the Rondรฒ Veneziano.

en.wikipedia.org/wiki/Rond%C3...

www.youtube.com/watch?v=Y4Fr...

14.07.2025 15:20 โ€” ๐Ÿ‘ 29    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

I mean SSL (Self Supervised Learning) not "SUL" :D

14.07.2025 14:51 โ€” ๐Ÿ‘ 8    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@antirez is following 20 prominent accounts