{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 13:11:12.202Z","domain":"mathstodon.xyz","followerCount":242,"followers":"https://mathstodon.xyz/users/msmathcomputer/followers","following":"https://mathstodon.xyz/users/msmathcomputer/following","followingCount":75,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/196/884/original/93fb05d800bdd112.jpg","id":"szrj280dp36toy6","inbox":"https://mathstodon.xyz/users/msmathcomputer/inbox","iri":"https://mathstodon.xyz/users/msmathcomputer","isLocal":false,"last_fetched":"2025-12-23 23:29:14.698Z","outbox":"https://mathstodon.xyz/users/msmathcomputer/outbox","preferred_username":"msmathcomputer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyW3MX+WGZQKoErckjaNL\nwo2CPfiVso6Ppx4NjUhAN6tQlO5pdRm4G4LiKZUJgNhKszMyANby6XsbO0Xh+8rK\nXsbmSierpXB2PGL5HHRyCwUE9QXLsci+XvhYVUa+HJsfHAwHUOXemRFScP+Ilgu8\nOrsMnF1W2JFfq4+Isl6828Fq4djHe7qAql4e8nKMAbRTrcviNp87DH8Qg6dTQaDu\noVVkZuVUR7tJMk+/QYNSb/e0XlN/+07zweVwZOeqiwMNEtqvLhfiCoEhWxu1UlgH\nO0Uj8wAB8QaW4HVTNqu6UAOB3uenUOjqVVI0kz9lBlgkp6zg1n79xXXXuYwQ3m09\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-08-26 00:00:00.000Z","summary":"

Assistant professor (tenure track) at the Computer Graphics and Visualization Group of TU Delft, working in the field of mathematical geometry processing, #dataviz, and #mathart. (he/him)

","updated":"2025-12-23 23:29:14.698Z","user":"","username":"Martin Skrodzki"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 15:34:31.742Z","domain":"mathstodon.xyz","followerCount":1489,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1040,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"903i853293k1800","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-12-23 23:29:14.731Z","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-12-23 23:29:14.732Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 23:22:38.270Z","domain":"mastodon.xyz","followerCount":23931,"followers":"https://mastodon.xyz/users/xkcd/followers","following":"https://mastodon.xyz/users/xkcd/following","followingCount":2,"icon":"https://6-28.mastodon.xyz/accounts/avatars/000/076/420/original/113bb57e2a7ab42f.png","id":"utec6ekbeo6ie82","inbox":"https://mastodon.xyz/users/xkcd/inbox","iri":"https://mastodon.xyz/users/xkcd","isLocal":false,"last_fetched":"2025-12-23 23:23:46.772Z","outbox":"https://mastodon.xyz/users/xkcd/outbox","preferred_username":"xkcd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8pOnz6Aw4WKeNv/GdO/e\neASfXyLD8a11DOINEZ0sRTMICEoaz47smWV/a92UQ8Vuh9expOe+aR/GTlZvhOvJ\nseByWezSqkErtyXz1fz07p9w5X5VgGcBFFsomt7LLb62pQZ5NZvqGNt6NUvKRSBE\nnRkF/LwQrK5gpG5rF0vCZPenFN4l4CIfPCTMPqp/HFhDdarpac/ZM5tLvasnTmby\nMkvaCrZfItO3LbCDsL6Fncqo+DOXk9YmMrCWh9IGHgoRvkN1eyX7JMBLJU0mqLbL\ng29JVoMV9ZobRHejXqNXv/iQY/cLoU+FM+efm71i7H2w/iGSsWOVTno3N00ZcMAt\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-24 00:00:00.000Z","summary":"

I really like xkcd, so I post them here as soon as they are released. Feel free to boost or favorite my toots if you enjoy them. – Made by @lx in #Rust

","updated":"2025-12-23 23:23:46.773Z","user":"","username":"XKCD Bot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-17 11:48:56.728Z","domain":"mathstodon.xyz","followerCount":240,"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":"m5ajsr6zk2dshqb","inbox":"https://mathstodon.xyz/users/thegregyang/inbox","iri":"https://mathstodon.xyz/users/thegregyang","isLocal":false,"last_fetched":"2025-12-23 23:29:15.099Z","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-12-23 23:29:15.099Z","user":"","username":"Greg Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-01 09:28:07.362Z","domain":"functional.cafe","followerCount":894,"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":"2025-12-23 22:44:12.825Z","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-12-23 22:44:12.825Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 08:46:21.760Z","domain":"mathstodon.xyz","followerCount":20684,"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":"2025-12-23 22:00:36.779Z","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-12-23 22:00:36.779Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

dalton

Following