{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 20:34:27.272Z","domain":"mathstodon.xyz","followerCount":216,"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":"z21ac6o3g2z1oej","inbox":"https://mathstodon.xyz/users/thegregyang/inbox","iri":"https://mathstodon.xyz/users/thegregyang","isLocal":false,"last_fetched":"2025-08-11 14:52:17.058Z","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-08-11 14:52:17.059Z","user":"","username":"Greg Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 18:20:02.965Z","domain":"functional.cafe","followerCount":740,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":16,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"23e049x6k400qp2","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-08-11 14:52:17.198Z","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-08-11 14:52:17.199Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 12:26:00.819Z","domain":"mastodon.social","followerCount":8493,"followers":"https://mastodon.social/users/Edent/followers","following":"https://mastodon.social/users/Edent/following","followingCount":1640,"icon":"https://files.mastodon.social/accounts/avatars/000/007/112/original/37df032a5951b96c.jpg","id":"668e2ts1bs0lp04","inbox":"https://mastodon.social/users/Edent/inbox","iri":"https://mastodon.social/users/Edent","isLocal":false,"last_fetched":"2025-08-11 14:52:17.291Z","outbox":"https://mastodon.social/users/Edent/outbox","preferred_username":"Edent","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsYMEs4waqk/6gaS+xn1T\nYygElTtNIFNkBcEdEBMaeoGVhyZiVKtSjJCS4z+X+394PKvcfSTcFILIt2GI2jOB\nHD0M2fFgxc8mmdSdCQkgEh9jF3bFI3kopDvzYf726iioYKlHXKpfPKvFt7EJgKH7\naCtS25NQkek3YUd6y3VBcT3R6Xhze9P3QNoZMIsFXklgXDKj+EllfbUqLf1vxt3s\nmD9ETxy2bJi9FheE0uY2WhARn49XAvwczM5Wzt+zqxVEtgpi5v2+ZZAVKhDnJkiC\nCCuI6hrSnKNIx/5mSlX0a0S5h5d03djrCkYsqmwelu01rhOXP2grsz4BXp0y2wrO\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-11-01 00:00:00.000Z","summary":"

Longer hair than you.
Got the ⏻ symbol into #Unicode.
Open Standards / Source / Data geek.
Known as @Edent on most social platforms.

Bit obsessed with #SolarPower but not quite a #SolarPunk.
Please read the link before replying. Yes, that means you!

","updated":"2025-08-11 14:52:17.292Z","user":"","username":"Terence Eden"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 22:46:22.307Z","domain":"mathstodon.xyz","followerCount":19003,"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":"8pan1vu8f8991fj","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-08-11 14:52:17.332Z","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-08-11 14:52:17.333Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

anupamasridhar

Following