antirez

@antirez

Reproducible bugs are candies. I like programming too much for not liking automatic programming. In elenco AGCOM.

Sicily, Italy

Pinned
antirez
@antirez
Nov 22, 2023
My second short story release in English is ready: Tales of Illustrious Computer Scientists: Iola Varga, nun and computer scientist. invece.org/iola.html
20
antirez
@antirez
Oct 6
DeepSeek v4 .1 score in DeepSWE 1.1 is higher than Mistral Large 4. The same for other benchmarks as well. Happy to see more europeans LLMs but unhappy when the comparisons are not the ones obvious.
26
antirez
@antirez
Oct 5
GPT 6 Astra is able to provide interesting safety arguments of the original RedLock algorithm, given the assumption (that was always part of the specification) that clients finish work under the lock auto-expire time and clocks are imprecise but error-bounded. More work needed
7
antirez
@antirez
Oct 3
[Thread] That's interesting, on HN there is a "from Redis creator" news right now (community site, the DwarfStar real site is GitHub) and somebody replied that since it is "from Redis creator" people should probably we skeptical because Jepsen Redis results.
11
antirez
@antirez
Oct 3
Having serious issues to work at Redis with Astra / Sol 6.1 because of continuous firing of cyber checks. No, I'm not doing security work...
59