News for hackers. Stuff that matters.

A comment on Moral lessons from free software and GNU Emacs. Parent comment

Re:Moral lessons from free software and GNU Emacs by rixed on Wednesday December 22, 2021 @02:14AM (#29646372)
> unfortunately neither of them are formally verified operating systems with any kind of guarantees about correctness and security, so you've just got to keep up with patches.

I'm unsure that conclusion follows from those premises, since patches are not formally verified either.

[ Parent | on HN ]
Re:Moral lessons from free software and GNU Emacs by shatteredgate on Wednesday December 22, 2021 @09:06AM (#29649424)
I should have explained it better. Good practice would be to add a regression test when making a bugfix patch, it's not as good as formal verification but it's better than nothing.
[ Parent | on HN ]