Hacker News new | past | comments | ask | show | jobs | submit
drfloyd51 | on: Postgres 19 is late because so many more bugs are being found now
It’s a good article. Easy to read. You should read it.
noosphr | parent
It doesn't mention formal methods once.