antirez

23 ms·

1. 361.▲
   Coding with LLMs in the summer of 2025 – an update(antirez.com)

   600 points by antirez 1y ago|414 comments
2. 362.▲
   HNSW as abstract data structure: video intro to Redis vector sets [video](youtube.com)

   49 points by antirez 1y ago|0 comments
3. 363.▲
   by antirez 1y ago

   Excellent article. It is very hard to understand a few things about Prusa, lately: 1. The Nextruder looks 5 years behind Bambulab nozzle switching, without to mention the cost of a new nozzle. A clogged nozzle is a non issue in a Bambulab p
4. 364.▲
   by antirez 1y ago

   I think providers are making a mistake in simplifying prices at all costs, hiding the quadratic nature of attention. People can understand the pricing anyway, even if more complex, by having a tool that let them select a prompt and a reply
5. 365.▲
   by antirez 1y ago

   I have the feeling that's not really MCP specifically VS other ways, but it is pretty simply: at the current state of AI, to have a human in the loop is much better. LLMs are great at certain tasks but they often get trapped into loc
6. 366.▲
   by antirez 1y ago

   About one month ago I applied XOR in a similar (but a bit more complicated way) to Redis Vector Sets implementation, in the context of sanity check of loading a vset value from the RDB file. I believe the way it works is quite interesting a
7. 367.▲
   by antirez 1y ago

   Yep, but: 2A 7805 are less likely to get damaged for the heat. The failure rate of the 7805 can be observed especially in the Commodore 64 PSUs.
8. 368.▲
   by antirez 1y ago

   As a person with a YouTube channel with most Italian content, and only coding content in English: as it is today, it is horrible. But if they fix it to the stop AI standards of voice translation, it will be a game changer. I'm referrin
9. 369.▲
   by antirez 1y ago

   PNG: doing very little with as much complexity as possible.
10. 370.▲
    by antirez 1y ago

    The chain of thoughts is not where the reasoning capabilities of a model happens: models have reasoning capabilities that are part of the next token inference, what CoT does is searching/sampling the model space of representations and
11. 371.▲
    by antirez 1y ago

    Please note that Redis 8 supports vector sets as a native type without building any module. And the API is very simple to use. This may simplify the building / bundling process perhaps.
12. 372.▲
    by antirez 1y ago

    I'm happy ValKey did great work in the area of I/O threading, and we started to incorporate the most interesting changes recently: a big thank you to all the ValKey contributors that did great work. However, this article is a bit
13. 373.▲
    by antirez 1y ago

    The largest Gemma 3 and Qwen 3 you can run. Offload to RAM as many layers you can.
14. 374.▲
    by antirez 1y ago

    Here I tried to use 2D visualization, and it may be more immediate: https://antirez.com/news/150
15. 375.▲
    by antirez 1y ago

    Any Feistel Network has the property you stated actually, and this was one of the approaches I was thinking using as I can have the seed as part of the non linear transformation of the Feistel Network. However I'm not sure that this ac
16. 376.▲
    by antirez 1y ago

    As the person that wrote such documentation, I respectfully disagree, I understand you point but I want to tell you why I believe the way it is, is better for Redis. Redis is a system that is 99% backward compatible across all versions comb
17. 377.▲
    by antirez 1y ago

    Flawed: under specific quantum attacks the yes sometimes may flip to a no.
18. 378.▲
    by antirez 1y ago

    That's a good idea. Adding to the TODO list.
19. 379.▲
    by antirez 1y ago

    Awesome! Thanks! I had in mind of doing a V2 of dump1090 soon (time permitting) I have a few ideas that may improve the performances very significantly.
20. 380.▲
    by antirez 1y ago

    I have a theory, that I call "of the equivalence of modern software systems" that tells a lot about how unimportant Redis and other technologies are, that is: modern computing is so developed that pick any random language, kernel,
21. 381.▲
    by antirez 1y ago

    I always love when people recognize me for kilo or dump1090 or hping and not for Redis :D Side projects for the win. Thanks for your comment!
22. 382.▲
    by antirez 1y ago

    I don't believe the document does a great job in explaining what is otherwise a very simple idea (assuming I understood it well): 1. It creates a bitmap where each bit is a pixel in the image, if from frame 0 to frame 1 a given pixel c
23. 383.▲
    by antirez 1y ago

    Either I'm very lucky or as I suspected Gemini 2.5 PRO can more easily identify the vulnerability. My success rate is so high that running the following prompt a few times is enough: https://gist.github.com/antirez&#x2F
24. 384.▲
    by antirez 1y ago

    It works better when using tools, but the LLM itself it is not powerful from the POV of reasoning. Actually Sonnet 4 seems weaker than Sonnet 3.7 in many instances.
25. 385.▲
    by antirez 1y ago

    I bet automatic this part will be simple. In general LLMs that have a given semantical ability "X" to do some task, have greater than X ability to check, among N replies about doing the same task, which reply is the best, especial
26. 386.▲
    by antirez 1y ago

    Yep, the Gemma 3 1B would be 815MB, with enough margin for a longer prompt. Probably more realistic.
27. 387.▲
    by antirez 1y ago

    Nope, gemma3 and qwen3 exist of many sizes, including very small ones, that 4-bit quantized can run on very small systems. Qwen3-0.6B, 1.7B, ... imagine if you quantize those to 4 bit. But there is the space for the KV cache, if we don&#x27
28. 388.▲
    by antirez 1y ago

    Pontiggia sometimes explained parts of other writers just using rethoric figures, and showing how their application provided new insights into things and concepts.
29. 389.▲
    by antirez 1y ago

    The small gemma 3 and Qwen 3 models can do wonders for simple tasks as bag of algorithms.
30. 390.▲
    by antirez 1y ago

    Great example, love this.