A new era for software testing(antirez.com)

108 points by Chrisszz 4 months ago | 39 comments

Scaling HNSWs(antirez.com)

198 points by cyndunlop 11 months ago | 42 comments

Redis is open source again(antirez.com)

1808 points by antirez 1 year ago | 718 comments

Blog post by Redis creator antirez announcing Redis is switching to the AGPL license, making it open source again after the SSPL change, and explaining why.

ZX Spectrum Raytracer(gabrielgambetta.com)

193 points by ggambetta 2 years ago | 57 comments

Synthesizing Loop-Free Programs with Rust and Z3 (2020)(fitzgen.com)

16 points by karelpeeters 1 month ago | 0 comments

Redis array: short story of a long development process(antirez.com)

301 points by antirez 5 months ago | 108 comments