News for hackers. Stuff that matters.

A comment on 1Sub.dev – A world where people pay for software. Parent comment

Re:1Sub.dev – A world where people pay for software by steveBK123 on Wednesday July 26, 2023 @11:27AM (#36879356)
> there's nothing inherent to them that would prevent them from being made perfect, finished and never updated again.

theres this thing called the internet, to which the OS connects, filled with adversarial actors, so no this is not correct at all

[ Parent | on HN ]
Re:1Sub.dev – A world where people pay for software by grishka on Wednesday July 26, 2023 @11:40AM (#36879569)
And? How do updates help any of this? Firewalls are a thing. Memory-safe languages are a thing. And it is not an OS's job to protect the user from themselves (i.e. social engineering). If you've installed malware, you deserve the consequences and you will be more careful next time. It's okay for powerful technologies to require a minimum level of education.
[ Parent | on HN ]
Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @11:36AM (#36879501)
> this is not correct at all

Why?

There's a thing called formal verification of software.

[ Parent | on HN ]