PA Semiはシリコンバレーだから日本では有名ですが、本来はTexas AustinのIntrinsityの力が大きいというのがIEEEの見解です。
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。