David, thank you very much for your efforts. I like the way you solved these problems.
On Sat, Jul 30, 2022 at 11:20 PM David A. Wheeler <[email protected]> wrote: > These could hurt my wallet, since I get charged for requests more than a > certain amount. On Sun, Jul 31, 2022 at 2:31 AM David A. Wheeler <[email protected]> wrote: > I think it would be good to eventually create a non-profit "Metamath > Association' whose purpose would be to support & encourage the formalization of mathematics. It'd be paid by dues, and it would do stuff like pay for DNS registration & website fees. The idea would be to enable this to outlast any of us. However, I doubt that it would be flush, so I think we need to limit our costs even if that's the eventual plan. Hopefully some people here would be willing to join :-). I intended to suggest that you should register some crypto wallet shorthand names https://unstoppabledomains.com/search?searchTerm=metamath.wallet&searchRef=home&tab=all but somebody already registered them all. P. -- 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/CAJJTU5r1-%3DNQxJR3dvEm-k%3DP1w7YfcnJJvsODeOnAi49WF%2BMLQ%40mail.gmail.com.
