antirez

17 ms·

331.
by antirez 1y ago
No bizantine distributed agreement (work / stake), no blockchain. Otherwise we can name everything as everything.
332.
by antirez 1y ago
The problem with all that, is the fact it remains possible to create a protocol with N big institutions (governments and large tech companies, big non profit organizations and so forth) signing every block, to create a collaborative system
333.
by antirez 1y ago
This is true for the pre-training step. What if advancements in the reinforcement learning steps performed later may benefit from more compute and more models parameters? If right now the RL steps only help with sampling, that is, they only
334.
by antirez 1y ago
Indeed, but in some way the Redis version is a bit too Redis-ish, that is, memory saving concerns are taken to the extreme instead of having a more balanced approach about simplicity. In my YouTube channel C course, I'm showing somet
335.
by antirez 1y ago
Hi! The Redis tree contains more advanced versions of this library. Most of the development continued there, eventually.
336.
by antirez 1y ago
I always thought that the POSIX threads semantics that forces the thread acquiring the lock to be the same thread that releases it, is too strict and not needed. In certain use cases it forces you to redesign the code in more complicated wa
337.
by antirez 1y ago
I'll cover in my YouTube why this is wrong but TLDR: you need to evaluate quality not process. AI can be used in diametrically different ways and the reason why this policy could be enforced is because it will be obvious if the code is
338.
A new 3D platformer for the ZX Spectrum(timeextension.com)
2 points by antirez 1y ago|0 comments
339.
by antirez 1y ago
This is not inherent to AI, but how the AI models were recently trained (by preference agreement of many random users). Look for the latest Krea / Black Forest Labs paper on AI style. The "AI look" can be removed. Songs right
340.
by antirez 1y ago
To understand why this is too optimistic, you have to look at things where AI is already almost human-level. Translations are more and more done exclusively with AI or with a massive AI help (with the effect of destroying many jobs anyway
341.
by antirez 1y ago
The point is that you don't have to "trust" me, you need to argue with me, we need to discuss about the future. This way, we can form ideas that we can use to understand if a given politician or the other will be right, when
342.
by antirez 1y ago
Feistel networks are another way to map your index from linear sequence to a pseudorandom permutation.
343.
by antirez 1y ago
I too believe that a mostly autonomous work world would be something we could handle well assuming the leadership was composed of smart folks picking the right decisions, without also being too much exposed to external powers opposing an
344.
by antirez 1y ago
The post is based on a misconception. If you read the blog post linked at the end of this message, you'll see how a very small GPT-2 alike transformer (Karpathy nano-gpt trained to a very small size) after seeing just PGN games and not
345.
by antirez 1y ago
I guess this attack is against the keeloq protocol. There are no known total breakage of this kind AFAIK, against the cryptography implemented in the chip. This will be interesting to understand, I mean: what they are exactly doing here.
346.
by antirez 1y ago
Because the sentence makes no sense, but what the author wanted to say was: - You are in front of the attacker site that looks like a legitimate site where you have an account (you arrived there in any way: Whatsapp link, SMS, email, whatev
347.
by antirez 1y ago
LLMs also write good C, if well directed. My feeling is that this is not really about C or something inherent to Python (where I get not stellar results), but to the large low quality Python code bases that are out there. Basically my hypot
348.
by antirez 1y ago
Enough forks of dump1090 that eventually it changed name to... readsb :D Nice new features, but I opened the source tree and most of the original simplicity / understandability of the code is no longer there.
349.
by antirez 1y ago
For folks that like old Italian movies: I suggest watching everything with Gian Maria Volontè as actor.
350.
by antirez 1y ago
There are other ways to use AI for coding. Watch this, if you want to see my (different than the vibe coding approach) way: https://www.youtube.com/watch?v=3Z7T0DgHrWM&ab_channel=Salva...
351.
by antirez 1y ago
Please note that the Redis supported there is not "Vector Sets" (the new Redis data type) but one of the indexes types of RedisSearch. And, about such benchmarks: I tested another vector db benchmark, investigated it a bit, found
352.
by antirez 1y ago
Totally possible. In general I believe that while more powerful in their best outputs, Sonnet/Opus 4 are in other ways (alignment / consistency) a regression on Sonnet 3.5v2 (often called Sonnet 3.6), as Sonnet 3.7 was. Also model
353.
by antirez 1y ago
Thanks. Also based on the coding rig you use models may not match the performance of what it is served via web. Or may not be as cheap. For instance the Gemini 2.5 pro 20$ account is very hard to saturate with queries.
354.
by antirez 1y ago
Terminal with vim in one side, the official web interface of the model in the other side. The pbcopy utility to pass stuff in the clipboard. I believe models should be used in their native interface as when there are other layers sometimes
355.
by antirez 1y ago
It’s not that bad: K2 and DeepSeek R1 are at the level of frontier models of one year ago (K2 may be even better: I have enough experience only with V3/R1). We will see more coming since LLMs are incredibly costly to train but very sim
356.
by antirez 1y ago
Did you read my post? I hope you didn’t. This post has nothing to do with Redis and is even a follow up to a post I wrote before rejoining the company.
357.
by antirez 1y ago
Agree with that. Read it as expert-level knowledge without all the other stuff LLMs can’t do as well as humans. LLMs way to express knowledge is kinda of alien as it is different, so indeed those are all poor simplifications. For instance a
358.
by antirez 1y ago
LLMs performance will suffer from both insufficient context and context flooding. Balancing is an art.
359.
by antirez 1y ago
Yep when I use agents I go for Claude Code. For example I needed to buy too many Commodore 64 than appropriate lately, and I let it code a Telegram bot advising me when popular sources would have interesting listings. It worked (after a few
360.
by antirez 1y ago
I believe it’s the same as for humans: different files implementing different parts of the system with good interfaces and sensible boundaries.

More ›