{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-01 09:28:07.362Z","domain":"functional.cafe","followerCount":902,"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":"ynev2qxpstpn9sb","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-02-18 08:48:23.386Z","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":"2026-02-18 08:48:23.386Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 08:11:11.645Z","domain":"mathstodon.xyz","followerCount":6533,"followers":"https://mathstodon.xyz/users/christianp/followers","following":"https://mathstodon.xyz/users/christianp/following","followingCount":3933,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/001/original/b81854b430500fd9.png","id":"18d67u09053idy2","inbox":"https://mathstodon.xyz/users/christianp/inbox","iri":"https://mathstodon.xyz/users/christianp","isLocal":false,"last_fetched":"2026-02-18 08:48:23.417Z","outbox":"https://mathstodon.xyz/users/christianp/outbox","preferred_username":"christianp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7styOSrv0MtxMtLfyGqy\niUhAkywIDZKHIeXwBaQoIEM33miw5NJDZIpYazlvi5K1pUsTsFbOXhHFwG39i3yW\nbz7KJeAMp1gqHssmRnkABf1kbVOoY5g2xzMwuIx/yVqmzoYBlgpUDKjwWfHSCwjN\nqWLbsHYUSCoRWKoRzAHBfm5rhXE5BIbB2eaKCCjsIlXLOuRfRPF4x7s7+v+El9d8\nuMFnIivF6H4xQthp6cdfTSEKtNgcbzEYOFmBro12f1Svx98ncylPIxmyG2em6I3m\nVMnoIQf4t/z1dW/vQV1dh+f3QJlx8AMWX4pk2G1C6lT5ji+NST8RY+jFKTIxu4ke\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-12 00:00:00.000Z","summary":"

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him

","updated":"2026-02-18 08:48:23.417Z","user":"","username":"Christian Lawson-Perfect"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 08:46:21.760Z","domain":"mathstodon.xyz","followerCount":21555,"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":"evlh74a4ge1m46e","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-02-18 08:48:23.446Z","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":"2026-02-18 08:48:23.447Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

undefined

Following