Hacker News new | past | comments | ask | show | jobs | submit
noosphr | on: Postgres 19 is late because so many more bugs are being found now
They found a more efficient way to play Whac-A-Mole with bugs, they didn't find a way to reduce bugs.
drfloyd51 | parent
It’s a good article. Easy to read. You should read it.
noosphr | root | parent
It doesn't mention formal methods once.