{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:13:59.234Z","domain":"mathstodon.xyz","followerCount":52,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":116,"icon":"","id":"a74110bx3u841s3","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-07-29 20:55:17.787Z","outbox":"https://mathstodon.xyz/users/nmvdw/outbox","preferred_username":"nmvdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5X4P6dHNX6+/moc3YOsc\npMCylVK7d2vXH8jCxCBpFUVpsTjVa3CFgqbrbqEEFD1t10vrnwAo6rsbQVj3nEQb\nJ1gSNMuDJ+sXKwy1Z2HIiCNu2E7YW5w0fowqltcknUEbqAkoStHOFfaPG93lquw0\nKZiW2m4nVA1lAOMU/jWvg09upRmXNxO1vJd3aWtf7UC4d2lRfsmWLhwm+cpBiZR+\na3WOhXXr3enkMgjzpWtDbcf4AIlbTqjbXNAwztRTq3LT2YAWHkDXDnfYfAOU7omR\nIPx5ciC1qovu0UHbl2iYMHq8PC7uCdjYzKt6/LPCnsp6IwtT0RPv+n+NpbX+lB05\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-12 00:00:00.000Z","summary":"","updated":"2025-07-29 20:55:17.787Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 10:36:46.975Z","domain":"mathstodon.xyz","followerCount":48,"followers":"https://mathstodon.xyz/users/FredrikBakke/followers","following":"https://mathstodon.xyz/users/FredrikBakke/following","followingCount":58,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/031/391/195/563/790/original/5cd58a9b85397c19.jpg","id":"63f1iehb1045f14","inbox":"https://mathstodon.xyz/users/FredrikBakke/inbox","iri":"https://mathstodon.xyz/users/FredrikBakke","isLocal":false,"last_fetched":"2025-07-29 20:55:18.271Z","outbox":"https://mathstodon.xyz/users/FredrikBakke/outbox","preferred_username":"FredrikBakke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1LL/GUEojV+/YNdm7l3m\n1VEalid0YEwvuFTe1NmSwA38H9yXfVocngTn3RRtiLGcGle4MD8yg4btSWuwVgjX\nCkbUW+GeC9o4iJGrwLj3VD3pZG8yYP93igY/2Xj7aRoWttbL5r6XAhH7YN31m/GM\nXbrM/s9kfiiHhVpCCEXVLiW4koWEEZ/4kUc1a0RFginpXyeNkumWwsEFl8Rs+xF+\n7KJTUx4rq/agXNtW+RsGZemeoN6jjCIORYvp6ixePG7crB/97KHjKheYGmZ0L+Ez\n9Al3YZZCTua0f69K/DIpIVW9l1S0StiCYkAI+ZgqQAKgagK+ODq8xJ3B5B/f0+Oc\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-03 00:00:00.000Z","summary":"

PhD student from Norway formalizing lots of stuff in univalent type theory using Agda

","updated":"2025-07-29 20:55:18.272Z","user":"","username":"Fredrik Bakke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 03:34:48.421Z","domain":"mathstodon.xyz","followerCount":383,"followers":"https://mathstodon.xyz/users/dimpase/followers","following":"https://mathstodon.xyz/users/dimpase/following","followingCount":171,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/075/792/original/c2b4b048cd0afbaa.jpg","id":"eo9ri3623569912","inbox":"https://mathstodon.xyz/users/dimpase/inbox","iri":"https://mathstodon.xyz/users/dimpase","isLocal":false,"last_fetched":"2025-07-29 20:55:18.302Z","outbox":"https://mathstodon.xyz/users/dimpase/outbox","preferred_username":"dimpase","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxFyvuB6t+ocO7yUsu25l\nk4ExkWuSWQ7kTwxUXTPNL9EWCeFftwwuhvKDqzWk61vb528iVlNV8uMT2v8sjolp\nh8R0osTDRCN18ORMUy3FF3sEPo4IkOuSdPti1izLHuMkQRIfBZM+pMoqRJiThtCB\nNqHpILoPIdKC1vo8XUtoZkZPtpKeZxoO5Ljlu+83olF+Es1dwXblAzS/+pYItaGS\n5IwFGQp2UkhnL1d8CnBS+V/sFKikcd9ZdeDrN/82RdgVyGIXBWJLGbG/1ucAY7nb\nPuDFxmwzOLk/Z8wR3yz6RQ/0A7thMkycXIAoc42ru/omgG9jRsEXtPEcNfzMpD4M\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-02-02 00:00:00.000Z","summary":"

https://mathoverflow.net/users/11100/dima-pasechnik

USSR->Australia (Perth)->Netherlands->Germany->Netherlands->Singapore->Oxford (UK)->Evanston, Illinois (USA)

Lecturer at CS Department, mathematician interested in "computer algebra".

My Erdős number is 2 in two different ways, via Lex Schrijver, and via Michel Deza.

","updated":"2025-07-29 20:55:18.303Z","user":"","username":"Dima Pasechnik 🇺🇦 🇳🇱"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 15:16:42.087Z","domain":"mathstodon.xyz","followerCount":1728,"followers":"https://mathstodon.xyz/users/julesh/followers","following":"https://mathstodon.xyz/users/julesh/following","followingCount":151,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg","id":"99wowr7wyn75qy7","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2025-07-29 19:51:35.000Z","outbox":"https://mathstodon.xyz/users/julesh/outbox","preferred_username":"julesh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+8GStBTcZ47c0ZqpWg4\noSPey8n0oMa20EXxJSYmefWnBhQjQb8rBgZUoJjmFd2vB5svOSWi9Mhn7TqWYpJM\nOPk3fJzD1M9qw41MoTPE+DoGQFkyYSAzA3bHttJi7BewDk3yoRKp79lym520D5zq\nV1GDN934Fg5zn9u3H0BQHYExlIw+c1KlfJGAZAGB1Hw+r9I73OXWzob11fPBzrGg\nkb+JlBZo4Fuc2d2A/EM5MAu2JzAjUGIcocVQOc/8zEEl/+Nac0YNpkclvz/60mHt\nTgvNmAg3Z4DMSIQQhQpdV43XGq/oEY72+X52rIsBbDu5yVG5fBRd8ZKUhjrJApU5\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Applied Compositional Thinking

","updated":"2025-07-29 19:51:35.000Z","user":"","username":"julesh"},{"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-29 20:55:18.337Z","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-29 20:55:18.337Z","user":"","username":"Ugo Dal Lago"},{"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-29 20:55:18.372Z","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-29 20:55:18.372Z","user":"","username":"Dan Ghica"},{"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-29 20:55:18.548Z","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-29 20:55:18.548Z","user":"","username":"Anna Williams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:55.058Z","domain":"mastodon.social","followerCount":153,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":150,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/06e3527e2d4e2811.jpeg","id":"i5w985031p5pafd","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2025-07-29 19:27:38.740Z","outbox":"https://mastodon.social/users/xanovsky/outbox","preferred_username":"xanovsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwWvDBLPpeG+i/YJ7Q3QJ\nZjAbVprpsiTX+K+DYK4amI1aZJUnt2BM+vX83N6gz2VQORX/l6F+I0ecGNk6miBn\nTJGTxf+4vGvVntME3J5ANGpd5X729/j/YJuhe7S7cIIC9oMcSQ+ppvYkDS+keHhK\nhzu/Oxc0ECpmt6oER29BcqPui+mBBSfyK8owCAOQbxYxlMhjVlhKwdeBqVRlcTxO\nDyAE7R0pK1NIuKIM+U1u0Qed7PTTM8Vs91MJ7nC/euoICsUtP0FS/kPVbY13ncI0\nUlLOlw66uoNjV6U3/Aeva8yFNgPFzwui8gfA6wbatMdXH+F8TYAueA5ntCZzyBCO\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"

Mom, foodie, traveller, computer scientist

","updated":"2025-07-29 19:27:38.741Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-06 16:15:41.583Z","domain":"mastodon.world","followerCount":68877,"followers":"https://mastodon.world/users/signalapp/followers","following":"https://mastodon.world/users/signalapp/following","followingCount":1,"icon":"https://s3.eu-central-2.wasabisys.com/mastodonworld/accounts/avatars/109/365/959/166/609/531/original/6987d2ff08433bb9.png","id":"3994b8685gq4ip3","inbox":"https://mastodon.world/users/signalapp/inbox","iri":"https://mastodon.world/users/signalapp","isLocal":false,"last_fetched":"2025-07-29 20:49:36.600Z","outbox":"https://mastodon.world/users/signalapp/outbox","preferred_username":"signalapp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzluIUhENDx62Y5ttk411\nmI97wb8gA8uO8n/rYgWTiD1trNa1OyvNgi5Rzm1sjtRzgTyy9Whl9/Pin/rkqb63\nY0l7vjH+4WDVDvPrbN5dcrNO9/dN1iLYdp7DeNX0WiLypUXxsg4pTs6Z24xEh408\nHootahDrZJT+TOHv0GAr1Vc2TcXYdLD6zAIAk7ycyg9xBROZQsSPPBlTeyZ05Uxa\ngJdG8ARvzf+P2A79eveto6i7ND6VlHtv3WAOFqIHCl7DKof2Impp4v7y4bXRmwvR\nzkYQY1ogaFkbdnq1vtJaP/6M1+iK8Kq0iVmASaj8Hqo7xH5BDf8nozq5HXfje0eV\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Signal is an end-to-end encrypted messaging app. Privacy isn’t an optional mode, it’s just the way that Signal works. Every message, every call, every time.

Signal is independent and not for profit; a different kind of tech from a different kind of organization.

","updated":"2025-07-29 20:49:36.600Z","user":"","username":"Signal"}],"page":1,"perPage":10,"totalItems":3436,"totalPages":344}

Martin Escardo

Following