{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 05:14:41.501Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/MEvans/followers","following":"https://mathstodon.xyz/users/MEvans/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/880/638/529/307/original/063f2f8dfee79ab6.jpg","id":"e3a231z7l0s622r","inbox":"https://mathstodon.xyz/users/MEvans/inbox","iri":"https://mathstodon.xyz/users/MEvans","isLocal":false,"last_fetched":"2025-07-31 02:02:22.155Z","outbox":"https://mathstodon.xyz/users/MEvans/outbox","preferred_username":"MEvans","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo0C5Loz47Qyl8R3ZfmjT\n9W2hn2oI7PTOPwnS2hWwW+3fW5lwowttqxX8mKuublWEn1eoJhsFyHaBBy/Ib/lj\ns4xfMVrtYdqQ6+/3GHalalRTwd/qT555433quo0939M7X+vAt4QFvxH7FR3n55ey\na0Up90UXhAfay5F33omeRgg+TweqrOqacK5SgB3EzErlsza5o4+X+1eXDXsZMHYm\nMVETQbUbCR1cGAQMIayeoehOYiIWu045Mm0Y7K1wolZNPylcmSEhJ0G29KwEvNK6\nluMZzvMlqq9I4jl7fIcjjGi5aiUo239kVmKAMDWZglCejteM/tAwS1DK0rlYt0Df\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I'm an amateur mathematician trying to go pro. I enjoy studying with category theorists and promoting the work of this fascinating community.

","updated":"2025-07-31 02:02:22.155Z","user":"","username":"Michael Evans"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:06:34.720Z","domain":"mathstodon.xyz","followerCount":1644,"followers":"https://mathstodon.xyz/users/littmath/followers","following":"https://mathstodon.xyz/users/littmath/following","followingCount":142,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/287/789/original/7dfaba27a80b34a0.png","id":"n7kp9r9j1s8l5z1","inbox":"https://mathstodon.xyz/users/littmath/inbox","iri":"https://mathstodon.xyz/users/littmath","isLocal":false,"last_fetched":"2025-07-31 00:04:45.689Z","outbox":"https://mathstodon.xyz/users/littmath/outbox","preferred_username":"littmath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsUXfCvC9Gi6aPDpEIYip\nrwDLCw7eE7V6BhaISP12+ncJlHTZL7Ssv2nJGrqMHKuE/thQD2BQUqJ/47jLJmJk\nE+vorIha4Go2mEcxuSI9qKmAMvcBF0GCCLoo8Pgfz+WlBFlgrGdSzYzZbGMu80x6\nqg31y4h6/18ED9FVS0XjPH2dYSpbUBS9QZERc4vJF/uyBhSIIbJmXIdRvyCuHu2I\n1zwz3BQ6pBYoSdguX6Bw4c+7xoeM3U3yrivbgrOqCq+E4wgB66/seEuSkEDwbB83\nK4MkGZ58M+ZjtjKVN8po6qa83pelQ2M+GlcYCNuuYGZEKqjpunqggrkEEm0QfwpZ\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

Assistant professor at University of Toronto. Mathematics, algebraic geometry, number theory, eternally confused. He/him

","updated":"2025-07-31 00:04:45.689Z","user":"","username":"littmath"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:54.517Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/DanGhica/followers","following":"https://mathstodon.xyz/users/DanGhica/following","followingCount":13,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/099/138/397/401/192/original/d84aecc50c708f8c.webp","id":"5v7shxv1d12giql","inbox":"https://mathstodon.xyz/users/DanGhica/inbox","iri":"https://mathstodon.xyz/users/DanGhica","isLocal":false,"last_fetched":"2025-07-31 02:02:22.604Z","outbox":"https://mathstodon.xyz/users/DanGhica/outbox","preferred_username":"DanGhica","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuL4wr00ESqratE0meL34\nmYeJRy+83/THJARXzh30VSEK5TCbc2NKNnET+TMKoFt54FE1U2qggxvyAcXz1EyH\nwCkbepENciknD/wnV4qV4UfjxydNHQy+2nqxEqyyUVztkxNMF5PCu5dk2B48Cog6\nA81jNrQxsb/Ui8JmVAFcxyJKeMOwx3yjnOgYtnvoMIHXh0wV3pqk8MTMcH7BpRlp\n7/pR2oMHKXvnCJfEzApPS+wJM0jpDxZwl4ZcgNe8gYVgltp8TlJl778u6nMYPRfe\n38ih90F3mqO00f934uzv51jdQFI90GS+G1TrfxabgCyU7xzq92zYRTUx4cGiyLSV\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-03 00:00:00.000Z","summary":"

Professor of Computer Science, University of Birmingham
Edinburgh Programming Language Laboratory (Huawei), Director

","updated":"2025-07-31 02:02:22.604Z","user":"","username":"Dan Ghica"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 10:36:47.059Z","domain":"mathstodon.xyz","followerCount":45,"followers":"https://mathstodon.xyz/users/ugodallago/followers","following":"https://mathstodon.xyz/users/ugodallago/following","followingCount":22,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/404/375/337/462/146/original/7487585bac373465.jpeg","id":"ue631sm4iwv50we","inbox":"https://mathstodon.xyz/users/ugodallago/inbox","iri":"https://mathstodon.xyz/users/ugodallago","isLocal":false,"last_fetched":"2025-07-31 02:02:22.779Z","outbox":"https://mathstodon.xyz/users/ugodallago/outbox","preferred_username":"ugodallago","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtBapTujZoL/fW3TRpYFS\nPuz21LRLpRGcpx4MG88E9AHkJOn83tt8LC+ovJmzOe0d26QkJE0Z++9uGfolMnXu\np7zjB/d+AmwlDfjCoaSHFOPCXFucf3AJYh/WVUFyiCwU6W7xSlP/Pd4XgeFPoSlr\n+bXqN4ta9oaEiNyRdBy6XgLx/udjDNXoP3EDJkn3t31XihBXPg67VRkFCwVl3g4H\no9wUc7V5wQIf7RH/uZDYy1wbrpllF5UkSb9qJmIQihgepK+rKBu43xEtd/hdP0MD\ngy8nWeJPd9fpW0BNaRzVk1EaELaUv6NLGOvJwnmog/XfV7Yf9ScNKyoTCxQfg2Sq\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

Theoretical Computer Scientist.

","updated":"2025-07-31 02:02:22.779Z","user":"","username":"Ugo Dal Lago"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":656,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":401,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"c2308xs3r83auhe","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-07-31 02:02:22.823Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2025-07-31 02:02:22.823Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 05:48:57.909Z","domain":"mathstodon.xyz","followerCount":159,"followers":"https://mathstodon.xyz/users/piturnah/followers","following":"https://mathstodon.xyz/users/piturnah/following","followingCount":317,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/015/267/788/164/993/original/4e2fb894c34ca508.png","id":"n6u53579411zfgh","inbox":"https://mathstodon.xyz/users/piturnah/inbox","iri":"https://mathstodon.xyz/users/piturnah","isLocal":false,"last_fetched":"2025-07-31 02:02:22.864Z","outbox":"https://mathstodon.xyz/users/piturnah/outbox","preferred_username":"piturnah","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA00aIGPhk981J4HrBcX8d\n6iJ7Y9C2xyL1CxZAt27RkDAwAmvDvZYunoIFQqiXktkQxkU3Ec0M+d2YJbXyDf0a\nQsp9HUEkNMOCX+Q9Uf7P6q80zkgjd0iOuhoy/2uNMe+d2c1p4lSFk4G2d/sT5Vdv\nbw3oY7uRfdI4QfgvUlu93q2on/SR17SY7y4Xn92m6Szi2H3mjVYaKyfSEwEqt9OP\nbm3bZOQx5ABBnk1bEdvbUbeWtRf0DkR9XCHFNtjQObc9TVR+Mdh9l9aJdAzosoE+\nPvGk2KyxxVHiJ2QsZ9eIGbDO15pIsnWNMMY/qBLhyUsiJAhmTjDR4OpvgL7UkT0v\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-16 00:00:00.000Z","summary":"

Queer masters student (mathematics and computer science) in the UK learning about PL theory and categories.

I write a lot of Haskell, formerly a lot of Rust, and wishing I was writing Idris.

","updated":"2025-07-31 02:02:22.865Z","user":"","username":"Peter Hebden"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 10:36:47.367Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/awsloth/followers","following":"https://mathstodon.xyz/users/awsloth/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/934/187/496/414/301/original/73cbe21f277fa61c.jpg","id":"v7cdxuw54o42iz3","inbox":"https://mathstodon.xyz/users/awsloth/inbox","iri":"https://mathstodon.xyz/users/awsloth","isLocal":false,"last_fetched":"2025-07-31 02:02:22.899Z","outbox":"https://mathstodon.xyz/users/awsloth/outbox","preferred_username":"awsloth","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+WLxe8o/2UVEMrpOqeGv\njfgEmYARS/cvQNM3xvtRmyLe7OvLkkw+f0HExOv+Jr7L3lQg5iipz2dGUYpeEvss\nTqXld6OheCP+GXF3QTlUtO3ooY7to5nsHDyv8/Gzj/iD5XgR7RoI3LS3fOtsIdY/\nciS5qAHHbqUBj9+2oMVT4FewJMdWXGOaEO/i4204Io+bm+YVWWg0+zLsLynFwLcL\nZf2+XjuDNvMKxTgi8IQeVu7NmQHA5OvOkNXfzIKPsKmFoj9ggctpgvQ4aPPForpC\n9XYdnsqoREEtLMEdOkuEFB98pwh6+vpx5EyxRNRXq6beZENpTXNZlJgnDNTwDMSj\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-02 00:00:00.000Z","summary":"

Trans student studying Mathematics and Computer Science at the University of Birmingham. Interested in Category Theory, Type Theory, Domain Theory and Proof Assistants.

","updated":"2025-07-31 02:02:22.899Z","user":"","username":"Anna Williams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:45:14.076Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":120,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"c61wo015nfyo6oy","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-07-31 02:02:22.930Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2025-07-31 02:02:22.931Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 05:14:42.301Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/okahn/followers","following":"https://mathstodon.xyz/users/okahn/following","followingCount":0,"icon":"","id":"p8mju9989o90700","inbox":"https://mathstodon.xyz/users/okahn/inbox","iri":"https://mathstodon.xyz/users/okahn","isLocal":false,"last_fetched":"2025-07-31 02:02:22.961Z","outbox":"https://mathstodon.xyz/users/okahn/outbox","preferred_username":"okahn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArT+9QfGdXUYmCsOKwuc0\nxSC3wYLCzBzacamiXp49Lx3zpaeRC/BiT6Q0LFHllQM7R0C4N5gFsgp+mYgXVpgG\nO4vz6fM3tkvzEvoU0bD16eyS1f28x0+3ljkQ5IM8bxags4lxU5XfPzGcRkeaMRHu\nW9q1dQS97gL040G1jwg6C6K1cR7f9sE0fbKvYaI+j8pJJJLCBTPE3fKra5spMOQw\nRB3HteJtVB64ZCLYp0XLfQonU3CGOoEt3SsG7roIL0qQDf1NXBnxa/m88EMA5l7w\nBHoPwIGl9lLZpPvJeAdRiOSzH3dxYuqjM/zYK4jSHsTwYobECaJOJ3UI72/FnfaY\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-06 00:00:00.000Z","summary":"

Working computer scientist based in #Pittsburgh. Interested in foundations and computational complexity.

","updated":"2025-07-31 02:02:22.961Z","user":"","username":"Owen Kahn"}],"page":1,"perPage":10,"totalItems":79,"totalPages":8}

Jakub Opršal

Following