{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 12:22:34.485Z","domain":"mathstodon.xyz","followerCount":106,"followers":"https://mathstodon.xyz/ap/users/115911243109922607/followers","following":"https://mathstodon.xyz/ap/users/115911243109922607/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/911/243/109/922/607/original/b8d6e64f7f25cf77.jpeg","id":"bfrrh65iicmqdny","inbox":"https://mathstodon.xyz/ap/users/115911243109922607/inbox","iri":"https://mathstodon.xyz/ap/users/115911243109922607","isLocal":false,"last_fetched":"2026-02-06 17:33:20.006Z","outbox":"https://mathstodon.xyz/ap/users/115911243109922607/outbox","preferred_username":"jakub_et_al","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo4OJqdZVxg6CsyUD7tMa\nhVa58JHK3k6hPvfzuAE06V4ECmTAy0/zHobIabXXs3X54PeFuUlcudd2DYzjtqKN\neSI4RseMhCNjMWwxEVuuxd+NPJBwqOk89m0rKlvUjxc6a2oclvGQ6/Om5J+jtH2o\n1w/fDsHiGoLVNdC957Q80w3VHBRe/JRdlbA3IDHSbNe3g6oh+r6muS+HJp+Ttnjw\nLOkrxxY4cYnG0kF8twcw1BLWIBxKfizU6QuXy5HF1+0Gki5Muof3+hJZ13nqrR88\n8mWJSS3CaFGebJZk0kh0JMkUGb4rGQnN4/m3zb5SbCfm9MePTELfqtJFmPtkqs0P\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-01-17 00:00:00.000Z","summary":"

assistant professor in computer science @ University of Birmingham, but not-so-secretely actually a mathematician.

","updated":"2026-02-06 17:33:20.007Z","user":"","username":"Jakub Opršal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-31 05:59:16.103Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/algebravic/followers","following":"https://mathstodon.xyz/users/algebravic/following","followingCount":0,"icon":"","id":"1kjb0axbv44v492","inbox":"https://mathstodon.xyz/users/algebravic/inbox","iri":"https://mathstodon.xyz/users/algebravic","isLocal":false,"last_fetched":"2026-02-06 17:33:20.656Z","outbox":"https://mathstodon.xyz/users/algebravic/outbox","preferred_username":"algebravic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApZ+mw7bwsuk3TK8lTtSN\npFiDVnnz0kUncvar2pr3v9GhraFPQ61hLTkViTOL5rc3dcPhkmYqKSv2lrLZHqp8\nv37bdfyICeSERWhbAGVNZXbaHNFtQs/s6AdMfgY4cRpVenEbwC0mSypOS0Q4J8Qa\noqXs1L7aio5d7p5+0sx1JVlZz+izoZ44ZJrBfXXQggGLCCT4Uix+M1cKNHctyD5N\nwtHhYNyxAa2VGuAktyk+Ou76CBtyaI1tzahjn84dU42LSYywzk+b5pr2jlvj+YfX\nMNVFbbOvlSDzRnedI9K0g7k9+k3q1NDKV/o/Eg+9bgpKhzUHGy6lNvyGfsj8Gz3H\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

I'm a mathematician/computer scientist (the latter a dinosaur). I've worked on everything from arithmetic geometry, compilers, data compression, and cryptography.

","updated":"2026-02-06 17:33:20.656Z","user":"","username":"Algebravic"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-20 21:31:51.215Z","domain":"colquitt.xyz","followerCount":573,"followers":"https://colquitt.xyz/users/daniel/followers","following":"https://colquitt.xyz/users/daniel/following","followingCount":552,"icon":"https://files.colquitt.xyz/accounts/avatars/113/589/480/603/662/014/original/12c97a4266e90828.jpeg","id":"slbp8q1z29bojib","inbox":"https://colquitt.xyz/users/daniel/inbox","iri":"https://colquitt.xyz/users/daniel","isLocal":false,"last_fetched":"2026-02-06 17:33:21.668Z","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":"2026-02-06 17:33:21.668Z","user":"","username":"Daniel Colquitt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 04:19:09.744Z","domain":"mathstodon.xyz","followerCount":440,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":56,"icon":"","id":"0huz1n4yb5xw2cw","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-02-06 17:33:21.803Z","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":"2026-02-06 17:33:21.804Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-19 23:35:46.375Z","domain":"mastodon.world","followerCount":33007,"followers":"https://mastodon.world/users/Mer__edith/followers","following":"https://mastodon.world/users/Mer__edith/following","followingCount":314,"icon":"https://s3.eu-central-2.wasabisys.com/mastodonworld/accounts/avatars/109/411/041/126/492/099/original/635cbea4cd28eaf3.jpg","id":"ck5xribjrw3k5de","inbox":"https://mastodon.world/users/Mer__edith/inbox","iri":"https://mastodon.world/users/Mer__edith","isLocal":false,"last_fetched":"2026-02-06 17:33:22.097Z","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":"2026-02-06 17:33:22.098Z","user":"","username":"Meredith Whittaker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 02:10:56.561Z","domain":"mathstodon.xyz","followerCount":84,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":175,"icon":"","id":"1rzemfsv7zecbf2","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2026-02-06 17:33:22.234Z","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":"2026-02-06 17:33:22.234Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-31 05:59:17.745Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/FredrikBakke/followers","following":"https://mathstodon.xyz/users/FredrikBakke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/031/391/195/563/790/original/5cd58a9b85397c19.jpg","id":"vnxnbi3yxg8izsq","inbox":"https://mathstodon.xyz/users/FredrikBakke/inbox","iri":"https://mathstodon.xyz/users/FredrikBakke","isLocal":false,"last_fetched":"2026-02-06 17:33:22.369Z","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":"2026-02-06 17:33:22.370Z","user":"","username":"Fredrik Bakke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-30 08:40:29.057Z","domain":"mathstodon.xyz","followerCount":409,"followers":"https://mathstodon.xyz/users/dimpase/followers","following":"https://mathstodon.xyz/users/dimpase/following","followingCount":185,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/075/792/original/c2b4b048cd0afbaa.jpg","id":"nnlr0w1386p12tc","inbox":"https://mathstodon.xyz/users/dimpase/inbox","iri":"https://mathstodon.xyz/users/dimpase","isLocal":false,"last_fetched":"2026-02-06 17:33:22.514Z","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":"2026-02-06 17:33:22.515Z","user":"","username":"Dima Pasechnik 🇺🇦 🇳🇱"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 04:18:46.299Z","domain":"mathstodon.xyz","followerCount":1909,"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":"yzszxb0brsyee9u","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2026-02-06 17:33:22.651Z","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":"2026-02-06 17:33:22.652Z","user":"","username":"julesh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-31 05:59:18.157Z","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":"qsth715radxcbyf","inbox":"https://mathstodon.xyz/users/ugodallago/inbox","iri":"https://mathstodon.xyz/users/ugodallago","isLocal":false,"last_fetched":"2026-02-06 17:33:22.789Z","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":"2026-02-06 17:33:22.790Z","user":"","username":"Ugo Dal Lago"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 16:22:04.811Z","domain":"mathstodon.xyz","followerCount":32,"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":"udasnt004zooian","inbox":"https://mathstodon.xyz/users/DanGhica/inbox","iri":"https://mathstodon.xyz/users/DanGhica","isLocal":false,"last_fetched":"2026-02-06 17:33:22.926Z","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":"2026-02-06 17:33:22.927Z","user":"","username":"Dan Ghica"}],"page":1,"perPage":10,"totalItems":3672,"totalPages":368}

Martin Escardo

Following