{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 22:46:22.307Z","domain":"mathstodon.xyz","followerCount":18270,"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-07-29 01:26:15.578Z","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-07-29 01:26:15.578Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 01:37:37.975Z","domain":"mastodon.social","followerCount":433,"followers":"https://mastodon.social/users/jcreed/followers","following":"https://mastodon.social/users/jcreed/following","followingCount":208,"icon":"https://files.mastodon.social/accounts/avatars/000/018/832/original/918310099fb11f81.png","id":"1eonltv7r24f5ij","inbox":"https://mastodon.social/users/jcreed/inbox","iri":"https://mastodon.social/users/jcreed","isLocal":false,"last_fetched":"2025-07-29 00:39:04.507Z","outbox":"https://mastodon.social/users/jcreed/outbox","preferred_username":"jcreed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwk6nXz7Zf1m27aq7opSk\nso0zEkY25ySka0x9MIm5S4LO93EgvRwUHH9t54qX3wiSUHlj2A6MgDNeP8DloILW\nB/TjsKImNNpQRkBSbbMP+qH8SRBGoII6kUc0VKVrloGshD56KTMlqOfyJRoB9P9A\nxybzAPVD+9qeL+OuwC7rgIO8+iWRnW4OAjvCf9Mq6kwzfsVvPRhqpR5ond8jDSu/\nah9Kp3SO55mkEHB1SasgBlfh/YjcuI1xqLm1Dv2mA3x1X8yWby+54+u8qV3gf2mV\nxCU+wqoyYD4+0BgpbCmOfW3M2tS/12cz2PYjEOB17dRJBzDznU0atbH59ru6gIT7\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-01-03 00:00:00.000Z","summary":"

theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]

","updated":"2025-07-29 00:39:04.508Z","user":"","username":"jcreed"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 17:05:11.693Z","domain":"mathstodon.xyz","followerCount":1375,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1038,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"w8388rxplwjlc4p","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-07-29 02:12:16.743Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2025-07-29 02:12:16.744Z","user":"","username":"José A. Alonso"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Alexander Nekrasov

Following