mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

サーバーの情報

3
人のアクティブユーザー

らりお・ザ・何らかの🈗然㊌ソムリエ

ハードリアルタイムな処理がチューリング完全でない言語で証明付きで書かれてたりしたら安心感あるなと思うんですが、そんなことはないんでしょうね
(とはいえ形式証明くらい付いてても不思議ではないが、そっちの業界のことはわからん)