{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 21:52:53.323Z","domain":"mathstodon.xyz","followerCount":105,"followers":"https://mathstodon.xyz/users/Nicolai_Kraus/followers","following":"https://mathstodon.xyz/users/Nicolai_Kraus/following","followingCount":45,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/964/742/805/989/905/original/01442f68f7992324.jpg","id":"ua4vrgw8emn2a8h","inbox":"https://mathstodon.xyz/users/Nicolai_Kraus/inbox","iri":"https://mathstodon.xyz/users/Nicolai_Kraus","isLocal":false,"last_fetched":"2025-08-12 14:32:19.406Z","outbox":"https://mathstodon.xyz/users/Nicolai_Kraus/outbox","preferred_username":"Nicolai_Kraus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmWJB148Yn1pCYIyERfo0\nFJjDJqJnO4RdGzBhAaL3cx9EwRIc2l+mYS384SYVaTbBd0rqvc2iCZECyoRzhTfM\nLMHxpUqODBPmwhy/LHMe/dlsZ9mg111NqIdXZhUklViL9gG2qCWrgbhGK14ehHsj\nrYV3OIVIJZdYSh+dlmC4itUMMif0iqM/nOkabzsIXHNWJowcm78n2QTuv6+GbQWP\nRrgci4GBFqxhF3a2rqpTLlsc2vbDJpYknIXwSo7g09bfcEajcpPLb3kGcRqDCxTC\nZWhDD+0fG9pWMSI1duHOc9MKiZ/0bOfamFRMfId3wZpZEHI9TbvJork6cUt51QQB\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-20 00:00:00.000Z","summary":"

I'm a professor of theoretical computer science at the University of Nottingham. I'm working in the area of dependent type theory (favourite proof assistant: Agda), especially homotopy type theory.

","updated":"2025-08-12 14:32:19.406Z","user":"","username":"Nicolai Kraus"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:02:53.367Z","domain":"mathstodon.xyz","followerCount":932,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":43,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"9cug77y895k6c4r","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2025-08-12 14:32:19.740Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2025-08-12 14:32:19.740Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 04:15:37.516Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/PeterSmith/followers","following":"https://mathstodon.xyz/users/PeterSmith/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/307/132/692/749/435/original/04ff45f2bf83fb02.jpg","id":"s2c56e69q638845","inbox":"https://mathstodon.xyz/users/PeterSmith/inbox","iri":"https://mathstodon.xyz/users/PeterSmith","isLocal":false,"last_fetched":"2025-08-12 14:32:19.770Z","outbox":"https://mathstodon.xyz/users/PeterSmith/outbox","preferred_username":"PeterSmith","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvocKHYCgcIt6s2MPGPxF\nE7bjzSQBt2nHNs3Z/FIwbWHppIuLR6MfNoOfJKituz62OuKSGVAMP0kGFsmmCDVf\nlY6v4xwRijo6p+J/3fOD9ySdj3pOEhOslT3ko/wK1FiMm6bTcqaeYx5ZNXTLMjBK\nvaQdZ3ERuoD7XVZvct4ksFmRaTy51dtmG7qCSj0V7zK1VETlP3YC2InRJipiGuVR\nQ1lw36L1qqpI+F7c0cSAx0nBzVVDQutnaZG4rWmYhJbTFiPc4Z77DuKOXLvXPwDQ\n5FqfXL/ltMok3DXYwPFRPUzlKo/q4ke4Gfe/Rc2tdISFrXUTO+RT0YC4reS7u/DK\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Cambridge logician, idling in retirement.

","updated":"2025-08-12 14:32:19.770Z","user":"","username":"Peter Smith"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:44:43.109Z","domain":"functional.cafe","followerCount":614,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":173,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"37es0e77951l391","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-08-12 14:32:19.865Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-08-12 14:32:19.865Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:26:01.373Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/aws/followers","following":"https://mathstodon.xyz/users/aws/following","followingCount":86,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/747/171/381/483/original/e7022018d020c72d.jpg","id":"xyh3557m8hc92lv","inbox":"https://mathstodon.xyz/users/aws/inbox","iri":"https://mathstodon.xyz/users/aws","isLocal":false,"last_fetched":"2025-08-12 14:32:20.463Z","outbox":"https://mathstodon.xyz/users/aws/outbox","preferred_username":"aws","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IR1l7P38z32qk8R7gAn\nYSXwDuydbNQXTAIHWHXbAr4A/EpbZxGgImZQ1GQHKuzydOJgjjALJpZ+e/lmtQYx\nKBsJt/AnwbGeNTBlw07Id0s3Xgx524puvaM1gw8imWSvcJStffd9phlBvURgeZjr\nYJXqL23WWX1OBXlxdtQsnPy1bjrmp/bnHq7pENeSbmUUgEb63sokZTWZpyXb3D7x\n4RDS1MRczxe1v+9VZzmrAZHY2n9aHaIk5HedxXwCqI5QElaIl6/02B3kKFdxNc1N\ncJFXM25CQ+bd+x9ev3yZuUuWIG2atyHfWPW0jDWJTQdTVaDqC6Jp8kgi12PWUOss\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

","updated":"2025-08-12 14:32:20.463Z","user":"","username":"Andrew W Swan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:55.286Z","domain":"mathstodon.xyz","followerCount":507,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":181,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"9l2x1hytewmxw77","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-08-12 14:32:20.492Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-08-12 14:32:20.492Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:56.901Z","domain":"mathstodon.xyz","followerCount":1717,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"r1866528xya1888","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-12 14:32:20.521Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-08-12 14:32:20.522Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:54.747Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"k8qe3227crcvaz8","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-08-12 14:32:20.551Z","outbox":"https://mathstodon.xyz/users/egbertrijke/outbox","preferred_username":"egbertrijke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvAgZoSqtXkjGmyD7Ytmx\nyqt+jayq8iBW1nTFUPafGrUpRPZ5Cphbon2OCwObFHgZjBh6mXwiMMdqSN2Wf20u\nBOmqgWz/rmYSHLINXWwSq3iT4ctv9Um7tl9afA18HedUq8wiRcDVpQwXkCJNw1x9\n024zznyGjgP16EHN5hbmCOMtdqxeqo54zmPrecWXcXuQ5Oj6OdJ9zBauxrdHP3p4\nE7ebZrkA2keIFFxQkR3GdoxMuKGbvXzS0MWAHN4EgkE4YDyKcVxgzjUblsLVv81A\nLXMb/wflz+LCDlZWMtCD4myCD2fQTQY63RkGgpTq9ZFXEitqkBQjA0oSkDA0gazy\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Postdoc at Johns Hopkins formalizing mathematics

","updated":"2025-08-12 14:32:20.551Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:17.238Z","domain":"mastodon.social","followerCount":4661,"followers":"https://mastodon.social/users/vihart/followers","following":"https://mastodon.social/users/vihart/following","followingCount":13,"icon":"https://files.mastodon.social/accounts/avatars/109/244/667/345/297/775/original/f2c7aacfd33dffe3.png","id":"891bonf003qj66d","inbox":"https://mastodon.social/users/vihart/inbox","iri":"https://mastodon.social/users/vihart","isLocal":false,"last_fetched":"2025-08-12 14:32:20.658Z","outbox":"https://mastodon.social/users/vihart/outbox","preferred_username":"vihart","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAopVy0PsWfN21EuQXNjsx\nHt4vTDTZhmlR6XwmEcMRh+D6uQQ6hRZ62S7RF3T4pjUf6lt7aGycP9ZNsmnq3Ft8\n9tiRprc7X0Az67F02p3wZkERhD2W6CXfSLdRGYAF+hHhmgbFyOmNoBLV6DpoK0B9\nUxBVkNu9xPMU+GxY+W/7cfEVc9DIF2QbAUu3gIu7fIBsx4X/LfiN1YUfbRmBSa8c\nj3VKyiLQ+PwfKEj6ttrgGtzLIMTzfu/dNxGuwErMMmQfmoG8lilDkqAQtempOwzA\nRwYi9fRgBgWRfYP/XaTfAwAgmkZB/mdxQMrYRyw+Hnt0uwLfZfN8TFz0tv/+qrwC\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Mathemusician human, new to mastodon, used to be cool on the internet but now people are surprised I'm still alive, she/they

","updated":"2025-08-12 14:32:20.658Z","user":"","username":"Vi Hart"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

Thanos Tsouanas

Following