{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 13:01:44.517Z","domain":"mathstodon.xyz","followerCount":235,"followers":"https://mathstodon.xyz/users/thegregyang/followers","following":"https://mathstodon.xyz/users/thegregyang/following","followingCount":31,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/894/103/947/534/956/original/b0ec821682247193.jpg","id":"5fno459gw96329v","inbox":"https://mathstodon.xyz/users/thegregyang/inbox","iri":"https://mathstodon.xyz/users/thegregyang","isLocal":false,"last_fetched":"2025-11-20 04:23:12.695Z","outbox":"https://mathstodon.xyz/users/thegregyang/outbox","preferred_username":"thegregyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2XCDJZJ1egYzjWFj2Sj6\njNOPCXHjOEvjkbCGX8zs32wSeBdBvyQH18XlrZSUtszuj/s+tjQ0cKZqhy5qcoAP\nlGZOTslWiX0fRUw1XXQ+JbEjeYMYLTQemRuTohDrxbgHPw7FtwQ/+Za7P929+na3\nU7zJIjYHEro4v/U8N3sWRMbN3KtD93E/XIy6Qs/2rqMqzOzsYE3VRag/J4kM4Xl3\nMog2CEyY4TKn+r1J3MmKLjFJ34dAbsZ+J+kArXOzMuD7HpsH5Nzp/MSm6sBgIidk\nvkXnGT+Xnxs4edc04Y4NrAWzqwu26aGcO3HpDWvLkuxUEmxJOskJJYCTjSC/0q73\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-19 00:00:00.000Z","summary":"

math at xAI. Morgan Prize Honorable Mention 2018. Developing the theory of #TensorPrograms and the practice of scaling #neuralnetworks.

","updated":"2025-11-20 04:23:12.695Z","user":"","username":"Greg Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 10:25:54.721Z","domain":"functional.cafe","followerCount":867,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"3920925tk85to39","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-11-20 04:23:12.771Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-11-20 04:23:12.772Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-20 04:23:12.867Z","domain":"m.cmx.im","followerCount":0,"followers":"https://m.cmx.im/users/randomwalk422/followers","following":"https://m.cmx.im/users/randomwalk422/following","followingCount":0,"icon":"https://media.cmx.edu.kg/accounts/avatars/108/258/871/287/943/926/original/f233e9a7fc67a5a4.png","id":"05bc4f4ywe99z0i","inbox":"https://m.cmx.im/users/randomwalk422/inbox","iri":"https://m.cmx.im/users/randomwalk422","isLocal":false,"last_fetched":"2025-11-20 04:23:12.867Z","outbox":"https://m.cmx.im/users/randomwalk422/outbox","preferred_username":"randomwalk422","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5YiW7WeNoXl/zsb/w/sL\nFctkLNDbDYWIx60aNUawHpHJZyGlauRGfH8I5c3Vzus9gBBvtQ/PwT90iTBc639I\nYWXiLwVJcblYFJ6LrlUXGPc3FBEnF8ea0tpFdhzkEVZMom1l+E7Hfe/zj59zvU1V\n7n+4rs3CfXr/0x6jCPNfLpsWenyQoNzQx1YSnKUClOvGj/BRn4au055wi+HkEdWl\nroXYBhxDQ1eMOHq9EPUmUec2V+8UIMYZB+UKZdh3BRjsisCIktVj3gUqF29klYfc\n40MY3qRgHhnSsZi/uFhWwmQzwqdwF9gslnubvHCFseq3aQf3AkA/uhceeVYNQv+E\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-07 00:00:00.000Z","summary":"

集中精神做事，是本世纪最大的挑战。

","updated":"2025-11-20 04:23:12.867Z","user":"","username":"RandomWalk"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 02:59:44.829Z","domain":"mathstodon.xyz","followerCount":20270,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"90489b7odnh80i6","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-11-20 03:39:41.382Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-11-20 03:39:41.383Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Waqar Ali Soomro

Following