Thank you. This was perfect.

I have been using Memmy too. It has been excellent.

Oh gotcha. Thanks!

This was certainly an engaging article, but I wish it had gone into more detail about mathematical applications of the proofs or specifically about how to apply the concept to the nuclear warhead inspections.

Is m/<community name> the notation for any fediverse community or for a specific platform like Lemmy or mastodon?