闇ぶいれこ @yami_vreco@mastodon.social

これによって、MTGの未解決問題の一つである「無限ループの厳密な定義」というのは、MTGがチューリング完全である限り永久に未解決のままであるということが示されました。やったね！

はじめてnote記事を書いた。みんな大好きMTGのルールの重箱の隅のお話です！ #MTG MTGの「無限ループ」を形式的に定義することは可能か｜闇ぶいれこ @yami_vreco #note https://note.com/yami_vreco/n/n8c3af203a38c

mstdn.jp, an instance of Mastodon will have past away on July 30th, 2020. R.I.P.

Mastodonの思想はすごく好きだけれど、これセキュリティ的なことを考えると、それぞれのインスタンスが本当にセキュアかどうか、ケアしなければいけないことが多すぎて厳しいお気持ちになっている。