Hacker News: antirez

New comment by antirez in "Claude Fable produced a counterexample to the Jacobian Conjecture"

antirez — Mon, 20 Jul 2026 09:35:46 +0000

So many mathematicians over the years tried hard and failed, but now Anthropic just for some PR magically did it? And this after LLMs obtaining different math wins? What is your logic here really escapes my understanding.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 16:00:21 +0000

Execution is not the code, but how do you decide to do every part. "Idea does not matter, execution does" always meant: "big generic ideas don't matter, it is how you organize it in the myriad of details it is composed of (in a given incarnation of the general idea) that matters."

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 14:03:06 +0000

Because Redis is not "my project", it is a piece of software many relies upon, so I use, for that software, what the community at large agrees to be ok: AI-assisted coding with human careful reading and evaluation of every line.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:57:00 +0000

Never comment till you read the whole post, since your question is exactly addressed at the end.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:55:28 +0000

I'm against using AI to write text targeting other humans.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:54:49 +0000

Thanks! And sorry for not yet merging many of those. The problem is, I'm dealing with tensor parallelism for the CUDA and Metal-RDMA fork right now, so was not albe to care about PR / issues for a lot of time.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:29:54 +0000

Thanks, I believe that as a whole choosing the BSD created a more positive effect, so I'm happy with that. It is just that it is really unfair to read a comment where people use ValKey to accuse you of AI slop :D It means that our community, and this site itself, is at this point really low quality. This will in turn discourage the many great folks that are here. A replacement is needed. But TLDR, I would release Redis again with the BSD license if I could go back in time.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:21:12 +0000

Sure, it costs less, and AWS is in a dominant position. Users here are playing the side of the bully since they don't care about what is right and wrong with the hyperscalers. "BSD is better than AGPL!" And give money to the wrong side of the history. Nor that I expected anything better, the single person has a given sensibility, the mass, as a whole, do whatever is in a given moment convenient or believed to be more pure (license wise). However thanks to that, you will see how little progresses we will have (and we are having) in the space of open source system software with very open licenses. Developers of software mostly are not happy to bring OSS to the success to see them used by hyperscalers to capture all the value. However I did it again, with DwarfStart, to release code under the BSD license: even in the current situation, I think it is better to give back than to have a personal gain, but this is a position that very little folks can afford to take.

However: this conversation is completely out of topic but people instead of talking about AI and code, which is a tabu, will move the conversation to personal attacks and shit like that.

New comment by antirez in "Control the Ideas, Not the Code"

antirez — Mon, 13 Jul 2026 13:16:46 +0000

Do you understand Redis and ValKey have mostly overlapping code bases? And of that intersection, a big part of the code was written by myself by hand. So no, that's not the case. Also as I wrote in the blog post, Redis is currently not using AI if not as AI-assisted coding. Of course I'm not writing this reply for you, since I believe if you write a comment like that, you are part of that HN slice that makes this site at this point a slop place (no need for AI for very low quality), but for others that may find this information useful.

New comment by antirez in "GLM 5.2 and the coming AI margin collapse"

antirez — Tue, 07 Jul 2026 08:34:36 +0000

The flaw is here:

> 1. Compute costs collapsed since the advent of Cloud and yet hyperscalers still have fat margins.

Cloud opposes switch inertia. To setup a complex system in a different environment is a complex operation. Changing AI provider is switching an endpoint.

New comment by antirez in "Why Switzerland has 25 gbit internet and America doesn't"

antirez — Fri, 03 Jul 2026 06:49:49 +0000

In Catania 10 gbit Internet costs 35 euros/month and is available everywhere in the city and even in a big slice of the small towns around Catania. And indeed public incentives played a big role. But what I believe it is more interesting is that 1 gigabit was common like 10 years ago or even more. Infrastructure is a bit too important to be left to what the market believes will be profitable.

Btw the paradox I have is that my local lan is 1 gbit...

New comment by antirez in "European digital ID wallets rely on safety services of Google and Apple"

antirez — Tue, 30 Jun 2026 13:11:13 +0000

Europeans do a lot of stupid things, but I believe in light of all the scandals we saw in recent times, you can't explain EU behavior and choices without accounting for corruption. EU division and different level among the different countries of wealth, integrity of political sphere, and different cultural biases make us the perfect target for bribes in order to control votes and choices. Not just promoted by external actors. The Chat Control is a great example: everybody understands how bad this is, the arguments are mostly a shield to avoid revealing the real agenda.

New comment by antirez in "Caffeinated and decaffeinated coffee lower stress, depression and impulsivity"

antirez — Mon, 29 Jun 2026 13:40:10 +0000

I love coffee, I take 2 to 3 every day (Italian espresso, so very short, little total caffeine), however for some reason taking the decaffeinated one in the evening interferes with my sleep in a similar way than the caffeinated one. Any hint?

New comment by antirez in "GLM-5.2 – How to Run Locally"

antirez — Tue, 23 Jun 2026 13:49:36 +0000

DwarfStar work in progress numbers: I see 14 tokens/sec generation, that slopes to 10 t/s with longer 10k or more context size. Consider that the indexed attention requires evaluating 2048 selected rows, 2x DeepSeek and with less compression, so the performances with larger contexts here to south faster. Prefill can be 180 t/s on small contexts to 150 t/s and less with larger contexts. I used DeepSeek v4 PRO in this conditions, it is usable but it is far from the 35 t/s 400 t/s prefill you get with DeepSeek v4 Flash 2 bit on a MacBook m5 max. But likely my implementation is yet not optimized enough, so a bit more performance can be obtained. I'm using 4 bit quants. The model is also definitely less sparse than DeepSeek v4, so it activates a bigger percentage of parameters. If it works decently at 2-bit, that would be a win even for machines where 4-bit fits, since this would mean 2x memory (equivalent) bandwidth basically for the routed experts.

Local inference needs really hard a 1.2 / 1.5 T/s memory bandwidth system with 512GB and 2/3 times the GPU compute of Mac Studio M3 Ultra, at an affordable 10/15k price point. A variant with 1TB memory would also be welcomed at 20k price point.

New comment by antirez in "I hate compilers"

antirez — Thu, 18 Jun 2026 11:54:00 +0000

So to avoid those energy-hungry LLM companies from scraping your website, you force each browser to compute a lot of hashes in a necessarily energy-hungry loop, creating, at the same time, all the kind of accessibility problems?

New comment by antirez in "Feds freaked over Fable 5 after 'fix this code', not jailbreak, say researchers"

antirez — Wed, 17 Jun 2026 14:26:28 +0000

Why Anthropic can't ask users for passports and provide Fable only to the ones that certify?

New comment by antirez in "Feds freaked over Fable 5 after 'fix this code', not jailbreak, say researchers"

antirez — Tue, 16 Jun 2026 14:50:51 +0000

They didn't freaked since the order was to still allow 350 million people using it: there is, in such large population, everything, including single persons very against the country, the government and so forth. If they really freaked they would say "we need to investigate, you have to retire the model". That would be a more defensible POV at least.

New comment by antirez in "Ask HN: Has anyone replaced Claude/GPT with a local model for daily coding?"

antirez — Tue, 16 Jun 2026 12:04:35 +0000

Interestingly if we assume 16 concurrent users, prefill drops to 600 t/s and generation to 61 t/s, and this starts to be dangerously near to M5 Max 35 t/s generation and 400 t/s prefill you get with DwarfStar in your own laptop (that you use for many other things) that costs ~6500 usd/eur.

New comment by antirez in "Apple WWDC 2026"

antirez — Mon, 08 Jun 2026 17:40:02 +0000

They try so hard to do a polished presentation that everything is kinda fake and unauthentic. I don't understand how this attitude survived so many years.

New comment by antirez in "A new era for software testing"

antirez — Sun, 07 Jun 2026 18:15:15 +0000

Not a single word of this post was written by AI. You are hallucinating.