I’m also willing to contribute financially to a Metamath server. 

On Saturday, March 19, 2022 at 6:23:43 PM UTC+1 Cris Perdue wrote:

> Hi Dear (Meta)math heads,
>
> On Sat, Mar 19, 2022 at 3:47 AM Mázsa Péter <[email protected]> wrote:
>
>> On 3/19/22, Mingli Yuan <[email protected]> wrote:
>> > I would like to raise an issue of cybersecurity if any one wants to take
>> > charge of any server.
>> > We heard of the news that the linux code repository was hacked before.
>> > That means we need to patch the server routinely and upgrade the OS at
>> > least.
>>
>> https://serverpilot.io/features/#security
>> does this for you (combined with a digitalocean server)
>>
>
> Please try not to worry too much about the details of different services.  
> I have no doubt Linode will be a more than adequate platform. And I say 
> this as someone with quite a bit of real-world experience running and 
> managing mission-critical Linux servers.
>
> It is good to document operational practices including security practices, 
> and I'll bet David and whoever helps him will be glad to do that. Norm made 
> a good start toward that.
>
> About OS upgrades, Linode has a pretty slick system for upgrading your 
> kernel. You just select your new kernel from a list in their web interface 
> and ask it to reboot your server. The Linux package managers do a great job 
> making it easy to update installed packages.
>
> -Cris
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/c4f114b0-5a22-4e80-8b03-f6bbf384a489n%40googlegroups.com.

Reply via email to