{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 01:21:13.473Z","domain":"functional.cafe","followerCount":816,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":133,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"p6l6ffab99yry21","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-10-09 09:52:03.704Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2025-10-09 09:52:03.705Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 09:52:03.768Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/GarrettM/followers","following":"https://mathstodon.xyz/users/GarrettM/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/505/117/360/366/594/original/7420b886fdb065a0.jpg","id":"zio88g2lsc0b3y9","inbox":"https://mathstodon.xyz/users/GarrettM/inbox","iri":"https://mathstodon.xyz/users/GarrettM","isLocal":false,"last_fetched":"2025-10-09 09:52:03.767Z","outbox":"https://mathstodon.xyz/users/GarrettM/outbox","preferred_username":"GarrettM","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwSuK3UxbtfHIuxe4hwLJ\n0YJTGBpw/b6nIeZdt330kYsWwsdUwy67cP9SM+Vrh1yEahuaKhQeFNxlJ7su7x8v\naRV+JqSzU3gkWAlTUq7XGK+YcSH4xZ6ur24tP2Dp30/tk3wDg564Yh+YzNA4fpDK\nTppa35MUp0PCp0iZI2diFFqlvxBURgCZHXoM68HGGZnKZ1RzLx2WK0WdSeJXZYzP\nbysDcSVKDhAaD8DtUMAlClGKuSGzMfAcZtq0+gASGEp9rkoCl/UIKYddUflMeQGy\n5FytxrfFXk5foLgii1rFFCKoEReekdTSwrEXF+Jf0laJVAt7hzTduA9IlTI37FEh\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-13 00:00:00.000Z","summary":"

Programming languages enthusiast, teacher, and researcher at the University of Iowa. Fond of Mass Effect. My views are my own.

","updated":"2025-10-09 09:52:03.768Z","user":"","username":"Garrett Morris"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 19:02:55.995Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"824619180jr46ps","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-10-09 09:52:03.819Z","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-10-09 09:52:03.819Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 06:10:37.052Z","domain":"mathstodon.xyz","followerCount":1609,"followers":"https://mathstodon.xyz/users/mc/followers","following":"https://mathstodon.xyz/users/mc/following","followingCount":176,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png","id":"a09f1etrbvw74vj","inbox":"https://mathstodon.xyz/users/mc/inbox","iri":"https://mathstodon.xyz/users/mc","isLocal":false,"last_fetched":"2025-10-09 09:52:03.856Z","outbox":"https://mathstodon.xyz/users/mc/outbox","preferred_username":"mc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0GhhDKvjMZb8Z3OtJhKx\nwiiHC9JHijE4157quzAS8anZNLxY5bc8IB8ZlmELXU87lk+W4W7j3INTmqsGkR6E\nHibi5lj1HONrY9Beu8TQIkRTE2oIqRcC0CyhnDvwo4OyUgCHtgx3PGQf4jwXwTND\nhQOBkf0ZWTm4ymOPrLGOhT1vVUrC2C7dLuFgw1GbwOZabJEdS/A5Aqmrmv9hcygN\nC160uBEgsQs8M4VKnbk12P72AnZsfc+odcUKcoEtvw9krUgEoENwujUEmXl5dmp8\nQcYSOttaItobEWFFCS3j1NJuJIoYOWY/YQPAiyFrW6vrJ4ThjHhnuVf+L6LYTU+v\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

The Twitter account formerly known as @mattecapu.
Expat 🇮🇹→🏴󠁧󠁢󠁳󠁣󠁴󠁿, PhD @mspstrath, mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Custodian of CT Zulip, email me for an invite.

","updated":"2025-10-09 09:52:03.857Z","user":"","username":"Matteo Capucci"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

nicholasbulka

Following