{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 08:45:46.518Z","domain":"mathstodon.xyz","followerCount":668,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"2p68lv8b992jdq8","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-08-12 18:44:13.306Z","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-08-12 18:44:13.307Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"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 18:44:13.342Z","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 18:44:13.342Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 18:44:13.377Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/9da844b96630508b.jpeg","id":"3g1466aljykz42g","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-08-12 18:44:13.376Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-08-12 18:44:13.377Z","user":"","username":"Zhixuan Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 10:10:36.931Z","domain":"fosstodon.org","followerCount":1022,"followers":"https://fosstodon.org/users/tarsius/followers","following":"https://fosstodon.org/users/tarsius/following","followingCount":48,"icon":"https://cdn.fosstodon.org/accounts/avatars/113/613/020/913/991/179/original/d0817bc76b671437.jpg","id":"lvd96v6h3p0a250","inbox":"https://fosstodon.org/users/tarsius/inbox","iri":"https://fosstodon.org/users/tarsius","isLocal":false,"last_fetched":"2025-08-12 18:44:13.525Z","outbox":"https://fosstodon.org/users/tarsius/outbox","preferred_username":"tarsius","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3QF+nhw0nTDfzyRBuiN3\nzCwQFbSK2C2iVo/YYJSFUfRGACnX2vTTrZRQKdKJzjz3e7K02inBrw+viG7aU68Y\nu9Uqr5Ks74r4ujSDyTLb0Hq5yfyh845bpkpZsimGD131ca/Nly63M+H4zlBRgc8c\n4cESwlJbcbPgJur/EPasck60sOWtIjQLOozPUv1IUc6KwosI1PKqUmVmFTXycgKt\nl/BocN8+zoVkV2j4buAEeT7p37C9DhIvNZI04NVINCLZTBbMmKYzSid9PnYw+rqt\nnHSAFM+y8ZXtGqwFolYY2RU1SwVUxDvLDtdDMosDZrjYytLVSoZSbLRC755qzo46\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-07 00:00:00.000Z","summary":"

I maintain #magit and many other #emacs things. I oppose apartheid and genocide. 🇵🇸

","updated":"2025-08-12 18:44:13.525Z","user":"","username":"Jonas Bernoulli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:26:46.961Z","domain":"mathstodon.xyz","followerCount":284,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":232,"icon":"","id":"vp5j7etov085rnr","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2025-08-12 18:44:13.558Z","outbox":"https://mathstodon.xyz/users/ohad/outbox","preferred_username":"ohad","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArjMhAQbCW/Jblx8lt0wa\n8lz/ZN7+gV1GnJD7kSQdiha3AvhJQqom59ebn0doPCyBPSTJx5Nb5dYUKTBxiMGQ\n6CPsdStx77HSfLh2hD/RsseW+pFSreuYVeIx7jcfbZptGNdS1mw5tZcvZ7DzSCHU\nHFyNKLvvTMRgmyl986gExTB6GXp+v3pap2pqOXiPswicUKrHhsTaSFZ2xiISsmFB\nGGC4piu3fBXTzdtUo5PGcZcWuEb32mJK9H8jXqfITY8CibLkr9dPtlKzkoDXIChy\nizy+8Dlm9t77j20u8dRsECY6We+meVxwtxsZLEKu3L9J+DNRlLqqSrhZQEj3+s07\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-08-12 18:44:13.558Z","user":"","username":"ohad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 18:44:13.775Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/ulfnorell/followers","following":"https://mastodon.social/users/ulfnorell/following","followingCount":0,"icon":"","id":"1u32yf1xr114093","inbox":"https://mastodon.social/users/ulfnorell/inbox","iri":"https://mastodon.social/users/ulfnorell","isLocal":false,"last_fetched":"2025-08-12 18:44:13.774Z","outbox":"https://mastodon.social/users/ulfnorell/outbox","preferred_username":"ulfnorell","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxYGvFzMC8ycVZDeIf2P\nt40sNxw4B2AMhLj2Hw+/QlcPjKLJOvG88kSgU4RRC61e2MTg8T4ATH7E2rgSz3lI\ncciSdkGL9JLo58YN7sKV7rBRFQFymMzENLm1r5gbE8AX522X8qu3yRxZd32v8b4Q\nJcSLOjbEiHdRHw9ahdAUdoumz2Nml8QS1wO89ZVmWITbt/M9CJr1xgWvL7PfyFcd\nxuwSe6d8ICQ5caRIvGlCuz/YqTBpIF3DAzHzcGgv4pGmq25rblcUSlEhnZAWHvMT\nHT61s48BH2hLJhNcKO+lbaxA2Lh/qE4ihv48cokQQYAcvKD24v/HodjFsUjzw5WY\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"","updated":"2025-08-12 18:44:13.775Z","user":"","username":"Ulf Norell"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 17:34:19.278Z","domain":"functional.cafe","followerCount":80,"followers":"https://functional.cafe/users/kolmodin/followers","following":"https://functional.cafe/users/kolmodin/following","followingCount":61,"icon":"https://files.functional.cafe/accounts/avatars/000/085/792/original/60dcae302c00c2ca.jpg","id":"5j33w391mx966er","inbox":"https://functional.cafe/users/kolmodin/inbox","iri":"https://functional.cafe/users/kolmodin","isLocal":false,"last_fetched":"2025-08-12 18:44:13.960Z","outbox":"https://functional.cafe/users/kolmodin/outbox","preferred_username":"kolmodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt0GOAzlxGm+GJZ94P6cx\nxW4syg4m+54QEWEjWzglvOyA55Kkk0ZOukC2nSaF5rpQX0RpvBwNm8G34Iiu2VnA\nnnzAP1RXoLg21B1VRO6/FK6q1/0pj+ZZGNl1XvzSd+AySRbbECGHi2boGQz04iHm\nqFRvFk4ZEOWtZ56GHWpQODKCQvdiyuiGOpuLVxzA78R9IidNwZlCpJnIYO7toVPR\n5tw/qh1vXBsmYq/HiEF0vJnAjzGLqCvysXwgbFyG80VDY7/YZfNYShWFQ/zPveu5\nge9apDkHNc5JzzRohhCfF/uYVFXD0cEkvhpa8OkPgzSA+Wakn2L8UJ1+qeZEHxIS\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-03-22 00:00:00.000Z","summary":"

Functional programming (mainly Haskell), Rust, machine learning, open source.
Living in Stockholm, Sweden. 🇪🇺 🇸🇪

","updated":"2025-08-12 18:44:13.960Z","user":"","username":"Lennart Kolmodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 00:05:46.409Z","domain":"toot.community","followerCount":0,"followers":"https://toot.community/users/Gckeller/followers","following":"https://toot.community/users/Gckeller/following","followingCount":0,"icon":"https://static.toot.community/accounts/avatars/109/292/672/183/986/172/original/04d5b8fc4b462115.jpeg","id":"dmh29397ju2m868","inbox":"https://toot.community/users/Gckeller/inbox","iri":"https://toot.community/users/Gckeller","isLocal":false,"last_fetched":"2025-08-12 18:44:14.024Z","outbox":"https://toot.community/users/Gckeller/outbox","preferred_username":"Gckeller","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtm7tz2wDY05c7YU6xetr\na3mtvo8w1crKRX8iovGC7nTW5BqQqWKCLLyfMbOe1aphCJ0H3MXqIWd1eAqRHYbD\n+IaPWeQofc11H+fdWKab35+h2qJ+X1YGRsmeskro8DZbD638lvXwXzD6US32ZDur\n9Si3EMbJVHOtWVim67HwSAz3VU3BfIZrByw8YO5ssS0cWpNX1HhQHacugHslW49e\nuHuVRBMnuNvMCvfj5JVqR7GjKs3rhfyH+KJtJ8ehp3w3v+9eSUMTLAjz5CjidHhM\nuIj9JIqTCFKVgxxF0Bbw8Q/6DiPlZcZjvG+Fear8inS5gS/RzoQDoUj5L8Fh4bif\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-08-12 18:44:14.024Z","user":"","username":"Gckeller"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 14:26:41.515Z","domain":"mastodon.social","followerCount":39,"followers":"https://mastodon.social/users/sarantja/followers","following":"https://mastodon.social/users/sarantja/following","followingCount":22,"icon":"https://files.mastodon.social/accounts/avatars/111/937/436/410/284/551/original/46e43b1f04314264.png","id":"gf0hed123xcrk3d","inbox":"https://mastodon.social/users/sarantja/inbox","iri":"https://mastodon.social/users/sarantja","isLocal":false,"last_fetched":"2025-08-12 18:44:14.148Z","outbox":"https://mastodon.social/users/sarantja/outbox","preferred_username":"sarantja","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqn1vw2f5uB9buj7rEI+N\nvZemZCSsNewVIjsPI33pZ/86aTFAwjRAR8QhR2wL3JNlkm7VioDoBeBMzgzYHGuh\n+Bv5LTys2wia0erQMHNloqQmPS5GmJJUPzMUr/7JRJJ/C3eLRvqffSQP38sI5264\nzS+Y/ar6u7Xr8cO4st7VKYhUwgC2O4T1J9MetlXjAcvnQ7GIZbNSqvPocImbtHhN\n4Xk6e5lZqoyqS6dljJwwa3gnXpXaESfj5CI3ormzUoYhvyBvzVOLPCfGcf6v7loW\n/DZLdKk5WoaTmFUHEXMLiZe+UQrei+/IANwb7KnATzGK2cpD6eNeaWWwYd+OvgsJ\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-15 00:00:00.000Z","summary":"

Working on getting a PhD via type-driven development @ TU Delft

","updated":"2025-08-12 18:44:14.148Z","user":"","username":"Sára Juhošová"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 18:44:14.255Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/jmchapman/followers","following":"https://mastodon.social/users/jmchapman/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/001/078/971/original/d69044726ae7fe6b.jpeg","id":"4qg006a96s16g3g","inbox":"https://mastodon.social/users/jmchapman/inbox","iri":"https://mastodon.social/users/jmchapman","isLocal":false,"last_fetched":"2025-08-12 18:44:14.255Z","outbox":"https://mastodon.social/users/jmchapman/outbox","preferred_username":"jmchapman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0Y38v2qEwcwZttLbrMFW\nwDiJumGIQkVq/Vbj3i0LC/IGvzYYGUUz5RTGwHQmExjdCnU+zFTY35uuIZX2U1fu\nQncSpEPVkiVMkV6nsN8PIY7PpzztVpEDv9RSe8P6Yg/dHtFmHVYhvHgsNHySxylW\n5QY5lzNMVruLG+ERi3sNDXWk9D5HE9Avbzhpj3oow0gkO3L4XLi2nDb15BptDlad\n7/60g7rwGYIJM+W/kdVrGcbMmP4ubVUXLXywqbFP+3JdvCG13RaT1qH7e3hAZHgW\nFqo7SpW9y0w8DvrQ7uTWKE8DPAlv10q/cpIHrbFFBeZ64SDAhhs2tuxzE1RdB+Tq\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-08 00:00:00.000Z","summary":"

To infinity and no further.

","updated":"2025-08-12 18:44:14.255Z","user":"","username":"James Chapman"}],"page":1,"perPage":10,"totalItems":313,"totalPages":32}

Patrik Jansson

Following