{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 02:10:29.433Z","domain":"mathstodon.xyz","followerCount":236,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":193,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"8ljek14188caz23","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-09-04 13:10:54.225Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-09-04 13:10:54.226Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 13:10:54.387Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/spitters/followers","following":"https://mastodon.social/users/spitters/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/824/964/original/4c3355cd1170fcef.jpg","id":"05i840z3tfm2638","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-09-04 13:10:54.387Z","outbox":"https://mastodon.social/users/spitters/outbox","preferred_username":"spitters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz44SqbBD2AqI1LZID0Qm\nyktjAEawYFbpwPL86tfF15o51yJ9rVER0eAHb5bH+GWEbI5YlnkzuJ+LmNGRwn2N\ne1SiG4e4TfmG4jbUhPUPDq1NpilulIv6ffP3YaArAk/hKMycbGcM0uMEToH2G2zd\ndooAzk0gUrYaZPQVH5pgeRZeRzXwp/HS4K+kC1wdgHr+B3D5Y4N2BPWDbcqyQxoV\nAPAW4lOhZeGaShNGFfSazzIIt9NHfwx7nNYIXzQOoB7pt9qWs7pR3Hc1e5aWZCCD\nMimw+J6ioFvx3tK+hLXQqRCEV66K71Ej+tH8ObTsxdSxj02wuCVpaM/MMSESbC1V\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-01 00:00:00.000Z","summary":"

https://www.cs.au.dk/~spitters/
https://twitter.com/BasspittersBs

","updated":"2025-09-04 13:10:54.387Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 13:10:54.423Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/BirkedalLars/followers","following":"https://mathstodon.xyz/users/BirkedalLars/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/472/104/164/859/original/d1c9778494b6de37.jpg","id":"121g548tt3482a2","inbox":"https://mathstodon.xyz/users/BirkedalLars/inbox","iri":"https://mathstodon.xyz/users/BirkedalLars","isLocal":false,"last_fetched":"2025-09-04 13:10:54.422Z","outbox":"https://mathstodon.xyz/users/BirkedalLars/outbox","preferred_username":"BirkedalLars","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0RSJyGpOhcUh2d3yQmC0\nhr88Rw0iKoNxDqSI3LHM5cEUxIsX7FpCg14O+k/0T9g6stm9ccw+sErSFJdafvd7\n/LODpt1chiDkRT4LhhBtim/3LZZGTKo1KeglkK+S8UUFdJbdMUsOLbu7uyr9nqJL\n1u2iswx5VwdQ+NvKwsN+v1z5wsPx6YAqv0q2zw/+J27vF1qewlS4eP73KkidTaCE\nVf3VhYsFfgvhpSwIw8A1yORAEUD0vkcSBFDrOdRAXaq5+5k0ugsjDyfQxwDLouFI\nMUzpQZJGf+ynq/YF9BMiZeFIk/2P0JHQXPz32VYg/NsED7AmiN/zskI8IMtw6QeB\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

Professor at Dept. of Computer Science, Aarhus University

","updated":"2025-09-04 13:10:54.423Z","user":"","username":"Lars Birkedal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 02:56:29.541Z","domain":"mathstodon.xyz","followerCount":677,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":193,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"v54p1a4k744230c","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-09-04 13:10:54.450Z","outbox":"https://mathstodon.xyz/users/zanzi/outbox","preferred_username":"zanzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7n/96xPDTD378z1I2rMn\ns+5qfyLupYGDa3rJKRLThIfbMwPC8I1bqBIE+LvDGjuHvGTnpYAHjN1vX45HNh7Y\nZbyhr5mLzXPK2xtjrAdf7wlKpO7N5X1DMqUYJbWE5xhj67tXU9eZJ4XmUMmdtTBf\nN3WKkxqfOlHRrHECotJv6LUysr3fN3a8gGifzGgwr5UjKP7FBTowt+d8WHDyYsGg\nPud075Ky/ryKi5DO7mTebKpWQg1dRXNDEMs0fTKmq7E4fesbv4+Osu+ziNkbjPH7\nSJU2e4JzBLCzL4MWycXWmoEX7oeTda7HciDZ45rgU+hkUtNnSe6xFnayUPgZuAtM\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

","updated":"2025-09-04 13:10:54.450Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 13:10:54.478Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ToucanIan/followers","following":"https://mathstodon.xyz/users/ToucanIan/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/313/803/364/116/583/original/5121d02fb18287b0.png","id":"9099419213d1btv","inbox":"https://mathstodon.xyz/users/ToucanIan/inbox","iri":"https://mathstodon.xyz/users/ToucanIan","isLocal":false,"last_fetched":"2025-09-04 13:10:54.477Z","outbox":"https://mathstodon.xyz/users/ToucanIan/outbox","preferred_username":"ToucanIan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3geccA/r/xpd8stcExc7\nFASDdOXegGHCG8SWatzv0zl60Hi0T2zqVQc7KtL6t5W5q1v2LiAuKaaVZVKAME9n\nCG5f8NnYnDIAbs2l8qGuXxs5ZVBWqusQluyWnEKWBkFZlNVtdnlXuCRfICZ2pBd/\nZHlP2z+7aYKbVQ3IIJogZ7Cbuj0+aq4qI7Hi5qlRsPUfc4le38xIGmEw3yRpy70V\nonBf292/e16fORBuMyWO7zy40hoJZcL/8kHePlkJy09vxFA1iyG7y9AMsZbczB0O\nMGW3zSpxR/1SJbpXVukGYIQAdMu1qoeWRO/mvlIr5uEUtQ23O3TlpmdZsJDw58ds\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-09-04 13:10:54.478Z","user":"","username":"ToucanIan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 13:39:18.507Z","domain":"mathstodon.xyz","followerCount":201,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"n9051330satk860","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-09-04 13:10:54.507Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-09-04 13:10:54.507Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-25 01:05:21.753Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"03rp0289nz11gs2","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2025-09-04 12:02:50.976Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2025-09-04 12:02:50.976Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 04:04:16.665Z","domain":"mathstodon.xyz","followerCount":696,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"07k4ppe0b5x0kn1","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-09-04 13:10:54.538Z","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-09-04 13:10:54.539Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 04:56:47.616Z","domain":"mathstodon.xyz","followerCount":526,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":186,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"5eqbeccmz7wxuvw","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-09-04 13:10:54.565Z","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-09-04 13:10:54.566Z","user":"","username":"Tom de Jong"}],"page":1,"perPage":10,"totalItems":567,"totalPages":57}

Marcel Fröhlich

Following