My second short story release in English is ready: Tales of Illustrious Computer Scientists: Iola Varga, nun and computer scientist. invece.org/iola.html
Today I'm stepping down as Redis leader and maintainer. I published a blog post about this:
antirez.com/news/133
Thanks Redis community, you have my love <3
Thanks Redis Labs for the joint adventure so far.
I look at the web today. Not as a programmer, but as a user of broken sites that are unable to obey the most basic rules of navigation and usability, terribly slow despite the hardware progresses. And I can only think that modern frontend development has failed.
Flipper Zero: The Thread. I received a Flipper Zero a few days ago, and since I'm idling here at my parent's house, for the holidays, I spent a lot of time playing with it. This thread captures my impressions about the device.
"After 20 years as a software engineer, I've started commenting heavily. I used to comment sparingly. What made me change was a combination of reading the SQLite and Redis codebases" <3 false myth: code should be auto-explaining. Comments tell you about the state, not the code.
A little known story about how @paulg, writing a comment in the newborn Hacker News, inspired the creation of Redis. At some point he wrote that in certain Lisp programs he wrote there was this pattern of just storing data in memory, logging on disk what it was stored in memory.
A few words about the coronavirus for my dear followers. I'm in Italy right now and we are closed in our homes. We reached a very critical situation because, when it was time to act, the measures required looked too restrictive from the POV of western countries culture.
If you read about O3 finding a SMB bug in the Linux Kernel, I did a few tests and I what I suspected looks true: 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:
In some way C is a fundamental language like Lisp, emerging from the nature of computation. C whole point is "struct" + low level memory access. The act of allocating a structure and have pointers to other structures maps 1:1 to how algorithms books represent data structures.