Note that mm-web-rs also supports a "server" mode, where you can give it a file and it will serve a live site without much precomputation. All it needs is a live reload feature (i.e. it detects when you save the .mm file and reloads) and you will get instant feedback (loading individual pages takes milliseconds). I've also been contemplating just running this on the server directly, so that we don't need to spend gigabytes of space on all the precomputed HTML files if it is comparably fast to just compute them on the spot.
On Sat, Sep 30, 2023 at 3:04 AM Jim Kingdon <king...@panix.com> wrote: > On 9/29/23 21:52, Mario Carneiro wrote: > > > in my test these are 4893.94 s and 5020.87 s respectively (that is, > > 2h45m total). I just got the new version working, and it takes 10.8 s > > and 11.1 s respectively > > Exciting stuff! > > This has me pondering various possibilities, such as generating the > whole site on my machine (because I'm often proving where I don't have > good internet) rather than just one page at a time as I have been doing. > > > -- > 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 metamath+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/a1613087-36e4-a936-0641-e935315cedda%40panix.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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSvnK5Z81TQGOgSJNz0GZzvr40LSp95woN_51JZwVeU5tw%40mail.gmail.com.
