I’m willing to contribute financially to a Metamath server. We might want to consider hosting on a cloud service so we only pay big when there’s high traffic. I don’t know enough about traffic to us.metamath.org to know if that makes sense, though.
> On Mar 18, 2022, at 8:02 PM, David A. Wheeler <[email protected]> > wrote: > > Currently the public metamath web pages are generated on us2.metamath.org, > a computer in Norm's home, and then transferred to us.metamath.org (hosted by > Linode) > where most people see the results. > > Susan Cass, Norm's partner, is currently paying for Linode hosting > and providing a home for us2.metamath.org. However, she'd like someone else to > pay for Linode hosting, and wants to transfer the work elsewhere > (so she doesn't need to be responsible for it). > She'd like that done preferably by mid-June 2022 or so. I think that's > perfectly reasonable. > > I'll find out the cost of the Linode server, and I'm willing to help fund it. > I may not be able to pay for it all, depend on its costs. > If others are willing to contribute financially please let me/us know. > > In addition, does anyone have suggestions for how to replace us2.metamath.org > to generate the website? I think it should be a cloud service so we aren't > dependent on someone's home. > One obvious option is to also move site generation to us.metamath.org on > Linode. > Then the site can be re-created each day, & then moved over to its public > display, > on the same machine. I don't know if that would significantly increase our > Linode bill; > does someone else know? If there are other reasonable options, please reply! > > There are many other ways to distribute information, but I think it's nice to > have > simple static HTML files, so I don't think we need to rewrite it all use > dynamic generation. > In any case, I think it'd be safer to switch computers first, and then > consider massive > changes to approach as a separate step. > > --- David A. Wheeler > > -- > 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/0B163B4E-D5C8-4455-9599-C5FF768CAC62%40dwheeler.com. -- 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/9C20F71E-F7AC-4589-95F7-50E177650FA1%40gmail.com.
