Programs are mathematical proofs. If maths cannot be patented, software can’t be, either.
Programs are mathematical proofs. If maths cannot be patented, software can’t be, either.
From a private end user point of view yes. But in enterprises Windows and Office is successful. Lots of money is going to Microsoft here.
Of course, but I can see and understand what is patched and can see if I’m affected or not. In the previous version I haven’t been affected for 500 days.
You mean when you update the kernel? No one updates init on BSDs. This is mostly a entire world upgrade. But I’d never reboot from cron. My servers run 100 days without a reboot on average. In most cases there is no reason to update world, only the packages.
Reboot? Since when does Linux need a reboot? I’ve been thinking about migrating from FreeBSD to Linux, but now I am confused.
I use LaTeX. I needed to learn a lot about it to use it, but it’s the only thing that can set letters, paragraphs and book structure properly.
93000 mails since 2008 are just 2,1 GB. I have an archive on my home server where I also host my main IMAP server. I just move them from the inbox to Archives.YEAR.
I used plain Kerberos. I stopped, because sometimes I don’t want to be logged in automatically. Privacy and multi-account systems get more difficult.
SimpleX Chat has got many features that these kinds of tools need. It’s also open and focused on security. You’ll need it eventually, if you’re in a hostile environment.
That’s why it’s also called Curry-Howard isomorphism.