{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 20:30:01.677Z","domain":"colquitt.xyz","followerCount":561,"followers":"https://colquitt.xyz/users/daniel/followers","following":"https://colquitt.xyz/users/daniel/following","followingCount":537,"icon":"https://files.colquitt.xyz/accounts/avatars/113/589/480/603/662/014/original/12c97a4266e90828.jpeg","id":"4r9sd132pjex0kh","inbox":"https://colquitt.xyz/users/daniel/inbox","iri":"https://colquitt.xyz/users/daniel","isLocal":false,"last_fetched":"2025-12-11 04:10:17.263Z","outbox":"https://colquitt.xyz/users/daniel/outbox","preferred_username":"daniel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuG6RKY2dU9Ek5ardybup\nK+9/LCsePkzAE/tB/53dkFPUZec/6z+sqczch575P/ZZmiAcd+bjD+3uJ9y4a9W+\nz3/sChu04vsVdGWv36LEemBGE+zF24e6actqZjwp9AELFlLu8izigQMq1Ym1Ofj8\n38iODKhY+aVRsZMY6ySj3Nlqcegc/pdljDfldlENjvFNWfw2A0cac6BLZoGljcj+\nt30HqaFuUBiZM1Ox15AfcBaucmxFRa7Mlt9WiLykrxZy/D9DFqW4x3CUt5dvCCzF\n1o5xbNx5yBIvm7FxPZDsaf/dsJheAq1cRUhb8s/s0MjfAksnJ81WuSoTRU6OhH0Y\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-03 00:00:00.000Z","summary":"

:seas: A very applied mathematician. Professor of Applied #Mathematics & Head of the Department of Mathematical Sciences @ #University of Liverpool. #Academic

:SpaceshipEarth: #Trustee @ University of Liverpool #Maths #School.

:play: Father of Daughters #Family, Keeper of Fish #AmateurAquarist, Tinkerer with #Linux & Amateur #Sysadmin.

:odyssey: Views are my own &c.

:imagination: Header image: https://unsplash.com/@brucebmax

","updated":"2025-12-11 04:10:17.264Z","user":"","username":"Daniel Colquitt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-06 23:17:10.954Z","domain":"mathstodon.xyz","followerCount":424,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":53,"icon":"","id":"0lrz206p37852x0","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-11 04:10:17.298Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-12-11 04:10:17.298Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 12:00:41.096Z","domain":"mastodon.world","followerCount":32570,"followers":"https://mastodon.world/users/Mer__edith/followers","following":"https://mastodon.world/users/Mer__edith/following","followingCount":312,"icon":"https://s3.eu-central-2.wasabisys.com/mastodonworld/accounts/avatars/109/411/041/126/492/099/original/635cbea4cd28eaf3.jpg","id":"errnfh606k74uw6","inbox":"https://mastodon.world/users/Mer__edith/inbox","iri":"https://mastodon.world/users/Mer__edith","isLocal":false,"last_fetched":"2025-12-11 03:49:11.031Z","outbox":"https://mastodon.world/users/Mer__edith/outbox","preferred_username":"Mer__edith","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArroxOEfdHpJyCTZb/F3u\nfUvYBdL3b+vSW7gcZ2/vaLqtQh18DwiCCFpQXaykI2Biz82eqUciZiAg8kDJYruH\nYRZzktSLx0dqClswkWqz17Mp7yc1JiGjks0Maw7dv5gm90jV5cXQE0fzHLe9U+l4\nbON4O5gExnm8lCSAMctAk4ONiNGY/5eJuURYCwjClWcA2xbIiMRTw41wABGUMStM\nlNkEIkdJf++y3SYw0OWSg3+PdMp+Z4nTx7j5gYxQV7PCGIWKyKIosjub4HTemDoH\nrlAAkwO4s/uY48m90sGW1b3wFBY1gy1wx6PBpwhxTjcuoY3B3A7TtZD+xTkIrIeW\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-26 00:00:00.000Z","summary":"

President of @signalapp

","updated":"2025-12-11 03:49:11.033Z","user":"","username":"Meredith Whittaker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 04:10:17.341Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":0,"icon":"","id":"f2s6emwvb721qr7","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-12-11 04:10:17.340Z","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-12-11 04:10:17.341Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 23:38:27.300Z","domain":"mathstodon.xyz","followerCount":53,"followers":"https://mathstodon.xyz/users/FredrikBakke/followers","following":"https://mathstodon.xyz/users/FredrikBakke/following","followingCount":62,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/031/391/195/563/790/original/5cd58a9b85397c19.jpg","id":"9cyu79zivc8jlvb","inbox":"https://mathstodon.xyz/users/FredrikBakke/inbox","iri":"https://mathstodon.xyz/users/FredrikBakke","isLocal":false,"last_fetched":"2025-12-11 04:10:17.988Z","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-12-11 04:10:17.989Z","user":"","username":"Fredrik Bakke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-06 18:29:04.315Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dimpase/followers","following":"https://mathstodon.xyz/users/dimpase/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/075/792/original/c2b4b048cd0afbaa.jpg","id":"5ykjw824k89kg83","inbox":"https://mathstodon.xyz/users/dimpase/inbox","iri":"https://mathstodon.xyz/users/dimpase","isLocal":false,"last_fetched":"2025-12-11 04:10:18.025Z","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-12-11 04:10:18.026Z","user":"","username":"Dima Pasechnik 🇺🇦 🇳🇱"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 00:16:19.990Z","domain":"mathstodon.xyz","followerCount":1849,"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":"ryli179137ixl52","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2025-12-11 04:10:18.062Z","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-12-11 04:10:18.063Z","user":"","username":"julesh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 04:10:18.108Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ugodallago/followers","following":"https://mathstodon.xyz/users/ugodallago/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/404/375/337/462/146/original/7487585bac373465.jpeg","id":"u0769373wze2s5f","inbox":"https://mathstodon.xyz/users/ugodallago/inbox","iri":"https://mathstodon.xyz/users/ugodallago","isLocal":false,"last_fetched":"2025-12-11 04:10:18.106Z","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-12-11 04:10:18.108Z","user":"","username":"Ugo Dal Lago"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 04:10:18.147Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/DanGhica/followers","following":"https://mathstodon.xyz/users/DanGhica/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/099/138/397/401/192/original/d84aecc50c708f8c.webp","id":"o67tbihjw69e5x6","inbox":"https://mathstodon.xyz/users/DanGhica/inbox","iri":"https://mathstodon.xyz/users/DanGhica","isLocal":false,"last_fetched":"2025-12-11 04:10:18.144Z","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-12-11 04:10:18.147Z","user":"","username":"Dan Ghica"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 04:10:18.289Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/awsloth/followers","following":"https://mathstodon.xyz/users/awsloth/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/934/187/496/414/301/original/73cbe21f277fa61c.jpg","id":"w0qyenv3v6whv89","inbox":"https://mathstodon.xyz/users/awsloth/inbox","iri":"https://mathstodon.xyz/users/awsloth","isLocal":false,"last_fetched":"2025-12-11 04:10:18.288Z","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-12-11 04:10:18.289Z","user":"","username":"Anna Williams"}],"page":1,"perPage":10,"totalItems":3612,"totalPages":362}

Martin Escardo

Following