証明駆動開発、ちょっとトライしたことあるけど自分の証明能力が低すぎて無理だった
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。