{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:10:54.048Z","domain":"functional.cafe","followerCount":991,"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":"ot196s1xhs3ux3g","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-04-23 11:28:16.903Z","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-04-23 11:28:16.903Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 09:48:19.791Z","domain":"mathstodon.xyz","followerCount":1284,"followers":"https://mathstodon.xyz/users/EuroMathSoc/followers","following":"https://mathstodon.xyz/users/EuroMathSoc/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/324/870/668/416/643/original/0fe245f0a47ebf6d.jpg","id":"dx281sr6lsj40oz","inbox":"https://mathstodon.xyz/users/EuroMathSoc/inbox","iri":"https://mathstodon.xyz/users/EuroMathSoc","isLocal":false,"last_fetched":"2026-04-23 11:28:16.943Z","outbox":"https://mathstodon.xyz/users/EuroMathSoc/outbox","preferred_username":"EuroMathSoc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt0DzxRovDzcXAFO03C/E\nrkieYX72/ApIhNnTVs6aMNGZbBQKVcaaBIhdJzxnpr37pTpqezqdt894UujqFXoC\nGXWZTRESUWuPJcDAWt1LrK0liaoUAdh9Z5iQdiywPfQYoEgfBGQesFd+dmBQxCt5\nqO7glI4rGI71myn7ftXzc3pPYWt9j73Nuc+XvAw+BpANUC5D1FAFOsH0jG2qkEJB\n9sdUQCRS9H8xdG6ZAmTje1HWL7qfeoHFEXNFsk5lvqgaTo2gFcHaOVCTQnwOuVOo\nZH9TdhGbrCpnmlt6JBHrkqlnooXhbcHcQwe1UHOo14gcQrvEjAKDMQf+euT28HHN\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

The Learned Society for Mathematicians from/in Europe

","updated":"2026-04-23 11:28:16.944Z","user":"","username":"European Mathematical Society"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 11:00:41.587Z","domain":"mathstodon.xyz","followerCount":9882,"followers":"https://mathstodon.xyz/users/standupmaths/followers","following":"https://mathstodon.xyz/users/standupmaths/following","followingCount":18,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/567/932/837/468/113/original/d535f1d8c2cd309e.jpg","id":"hseiov25yq9puog","inbox":"https://mathstodon.xyz/users/standupmaths/inbox","iri":"https://mathstodon.xyz/users/standupmaths","isLocal":false,"last_fetched":"2026-04-23 11:28:16.987Z","outbox":"https://mathstodon.xyz/users/standupmaths/outbox","preferred_username":"standupmaths","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu26NcGfyqyAjISM7fsQl\nGJuRod54bvWnc2iM+A+5Rhs/2j6thOYfEFqP8pDJB3KBe6I0vdVNcz2rpl1gpD6a\nQ7Mb/STzisF5F9qlv5cihNITvALwOWHsGnglic7z2eKPQKNJg4v6sXvh+3sLAhfI\nnMgKsOzmEKNxkRgERut+X77tMRZHoJu4jhZ/DXvj6MrDfw1hQBHEMYETxuWES0k3\nbssgwRMj+7WD9yh+puzOMM5z9LS4PUItSvbmUiSbxYUcg1B+qWRVAtp5KnEp72Ux\n4PESWWsXhgXSxZ05VWb99GNc2OyfNUfCPsEJYfUM7zuOT4Na0KzqhsaKJWcBhcUQ\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-24 00:00:00.000Z","summary":"

#1 best-selling author, also maths clown. Humble Pi, a comedy of maths errors: https://mathsgear.co.uk/collections/books/products/humble-pi-signed-paperback
Videos: http://youtube.com/standupmaths

","updated":"2026-04-23 11:28:16.987Z","user":"","username":"Matt Parker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 18:42:18.968Z","domain":"mathstodon.xyz","followerCount":392,"followers":"https://mathstodon.xyz/users/TammyKolda/followers","following":"https://mathstodon.xyz/users/TammyKolda/following","followingCount":114,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/508/729/894/509/484/original/f7c8e6128e8f75d8.png","id":"g2vtyv7j126acmw","inbox":"https://mathstodon.xyz/users/TammyKolda/inbox","iri":"https://mathstodon.xyz/users/TammyKolda","isLocal":false,"last_fetched":"2026-04-23 11:28:17.028Z","outbox":"https://mathstodon.xyz/users/TammyKolda/outbox","preferred_username":"TammyKolda","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8vhJVjeKAwOjAsZQLYB\nEyNMUtuzQuh3ljiF3VfJCUOOr1y/q8W4tMbGTfpE5w4K/59nz42tt6iA7s37hAA6\neQgiIFg2fL+VcwbDSpslbqzXYDjyUWEBtyd8z413QBasZZpVnUULtOHyAvZTi4zR\n0XpC5+ALz04Gtn0wvBctqIshXJbG9RYfjHy9kqUnPK+6/DwVjQiGnz7lnkRKeOnx\nAuser42NAZOeYF8D7noqXBF2Fj2745+HAXlIhyHc79Z9GNMv4O72qZPwG3CEwnA1\nZSxXxSiYMgrGLJYULwWDl05POGPqY/uEUi+zVQvdP7rAaB0JbfjBNMO9GhxTNkoR\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-13 00:00:00.000Z","summary":"

Applied mathematician specializing in mathematical data science. Independent consultant under auspices of my company, MathSci.ai. Pronouns: she/her.

","updated":"2026-04-23 11:28:17.028Z","user":"","username":"Tammy Kolda"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 15:56:15.003Z","domain":"mathstodon.xyz","followerCount":230,"followers":"https://mathstodon.xyz/users/anndooms/followers","following":"https://mathstodon.xyz/users/anndooms/following","followingCount":39,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/650/158/227/478/220/original/973c2543019dda6e.png","id":"1xzv4hwabsi2heo","inbox":"https://mathstodon.xyz/users/anndooms/inbox","iri":"https://mathstodon.xyz/users/anndooms","isLocal":false,"last_fetched":"2026-04-23 11:28:17.067Z","outbox":"https://mathstodon.xyz/users/anndooms/outbox","preferred_username":"anndooms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFxJzmT9EeqQbmpoXhZ1\ndYSNvaKIJIv/WJrjdX4+kNfMfjH5q7pRW+iyh+v9ApWeuPBkUleuY+NOFcQw9rl4\nfrRF3ja7LidzzS6ntTpwzRclB3zozZsO4xKXhBR8u4RITY7Td8p6cZUDy6Qr5gMU\nD6YqZla81Q/1sT8gh9eYikuysqafznyfdaW3k4Ygvtc5uTEBcuXZLvUSvBRvUJFA\nqYLmv0rqYqtAKrl0HMpKz2czvpL2irxdtryKca1vuXYtBLm4rCjsWBWoOX59GjZ2\nKrfg+/ESsZVLWjj2aOmEmXgf/mp4mE49lFxSLEGpGJw7fKC90JIQJnjoRujhdRlf\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-07 00:00:00.000Z","summary":"

Professor Math & Data Science @VUBrussel • Digital ❤️ • Columnist De Tijd & EOS Wetenschap 📰 • Author Lannoo & Borgerhoff-Lamberigts 📚 • Scientific Council Belgium Defence 🛡️ • Board of Directors IMEC📱 • Keynote Speaker 🎙️

","updated":"2026-04-23 11:28:17.067Z","user":"","username":"Ann Dooms"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 11:11:05.387Z","domain":"mathstodon.xyz","followerCount":22023,"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":"1bgppgc2hjbo18o","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-04-23 10:47:38.784Z","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-04-23 10:47:38.785Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

juwonlee

Following