{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:05:24.925Z","domain":"mathstodon.xyz","followerCount":75,"followers":"https://mathstodon.xyz/users/samkuhn/followers","following":"https://mathstodon.xyz/users/samkuhn/following","followingCount":667,"icon":"","id":"nvljt7uz0d1vl3z","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2025-08-12 14:36:15.766Z","outbox":"https://mathstodon.xyz/users/samkuhn/outbox","preferred_username":"samkuhn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfav9aeQYPfG5GJLwjrP\n3rFljo0RSb38FNbjC0kpt37FvAPjh8gCwMSEx4gQCxO9SEda/LOnBIxKaUuBsT1+\n9KLRJqRs/Wva5JypjpkTCNbPrkoOi3aIDlC/tcYCCDMXVpG5OVCzhn41OYmKD2uS\nt+yDL75gDUT6cwaglb/zd/gyUSEm0FnPH72XBsnr5x+DQEsGqLA7tIsQUERLbd1k\nQtdt98RGHVA0m1U6NohajLlx+n0vRp8dnr9v/1/25mLpl/4fyAPbsBPE61OX+U6S\nPDzq1fnVvuQgeLZF8P1Rt6OSNy4FYdVNL+YefFYWIR3dpEWvpKoLmHILyYqwjcZV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"","updated":"2025-08-12 14:36:15.766Z","user":"","username":"Sam Kuhn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 17:59:23.846Z","domain":"functional.cafe","followerCount":307,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":252,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"hu07044k773f0u2","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-08-12 14:36:16.168Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-08-12 14:36:16.170Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:45:14.076Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":120,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"c61wo015nfyo6oy","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-08-12 14:36:16.855Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2025-08-12 14:36:16.855Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 01:36:27.832Z","domain":"mastodon.acm.org","followerCount":224,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":29,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"7ldt6ff41ws1a71","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2025-08-12 14:36:17.435Z","outbox":"https://mastodon.acm.org/users/mspstrath/outbox","preferred_username":"mspstrath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxW3bZtFytNcG82/y6UFH\nX7Wg/Z3FUUyMY+PuxMxQ/QPknW2w/pCoixYdn/KkswXLqOaLAyzo5Eu4I3Tn/ede\nx6lPirJOCFeYA98O6QJfLQxah2PXziGf7kNTuXFFuQWyGzVdmvwVSd5yClBMGQcW\ngzCxHNhWaqSxmeHDRQLlflsSkDRp72WpZedz9iSRx4SLWAEwBvtSP2fbrfqxutCU\n2JkaNv0zpWgBwWswJN6lkCOeW4zcX19lh2SlVnKZTUG+rQd7tigmzEwZQXZav3my\nd1OhbVLUuhPrfHaFA3dmuBT7DfjLfWganFIN36GnupcVIh4sw/UoWnSOtOQYaka8\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Mathematically Structured Programming group @ The University of Strathclyde

We are interested in type theory, category theory, and how to stop seeing them as different things.

Toots by @jfdm && @dylan &&
@dilsatby

","updated":"2025-08-12 14:36:17.435Z","user":"","username":"MSP Group"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:08.090Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":251,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"1g544ajy9m6s77g","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-08-12 14:36:17.754Z","outbox":"https://mathstodon.xyz/users/tomstructured/outbox","preferred_username":"tomstructured","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnU6yomKQNUBDVR3HS8cE\n2wbd0ibXY6CZYaw3UB5MRvXWHR+UJddGZnKtnXNBbPrJOKsMabu3MmGAwJg1XH6g\n5caTkocL7hwlz0wpEe5ZUiLseAzrKGtvnRFHx2A7BM80erDh5+H9K7YQxlZLV95Y\nIq6LTKxTKCdQaCFTPT4j3XQMNK17mqZ/q5q1gf0dYDJ+UwylE1GtinmHPVy0Q6bB\nZ4Sqm8Vap4VdImRqPIBxWY7RiS+J7LxO0HSexv6piY464FoQqZ1Lnnyc24r5E5zD\nGSpzZUSMhnqIb3kDryVfWuoGtgcSEx1jVy8F4J4lp/DWshjMbbdb7y70SfieJVcV\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-30 00:00:00.000Z","summary":"

CS student. Studying logic and programming languages.

","updated":"2025-08-12 14:36:17.755Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 14:35:02.035Z","domain":"dobbs.town","followerCount":0,"followers":"https://dobbs.town/users/onesecafterthelaughter/followers","following":"https://dobbs.town/users/onesecafterthelaughter/following","followingCount":0,"icon":"https://cdn.masto.host/dobbstown/accounts/avatars/000/001/495/original/1c52ff71a17e6920.jpg","id":"24ru5m497f4fhkm","inbox":"https://dobbs.town/users/onesecafterthelaughter/inbox","iri":"https://dobbs.town/users/onesecafterthelaughter","isLocal":false,"last_fetched":"2025-08-12 14:36:18.019Z","outbox":"https://dobbs.town/users/onesecafterthelaughter/outbox","preferred_username":"onesecafterthelaughter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw51tXOvjMmB45UTv9DoE\nlXq3uvwUlRN4JtgF7k3KsL9neMLFIF6TLYUpbsCD+bAm/JfaYCo0noHioa6wXtgP\nJSsFaQtqmlrbBGUEoYDRw+PHB/QhZU2Sxxlh29v9dOTpJUtTb9H9OzgsIUaL5usP\nWB6/uGOPNgEwQJceYJNNZfPTBr3e0SdZ8bQY30+3AhCbrthlIeCCc9GC0yeofwH/\n4xO+bHLXFsi+DVIm7QH6Jbd3yzZZKglnpRMZqpJW0z6CHy6PvWBSQjh/plZ7wqWC\nrgLGpK2M0MYU8N8F5Rc3BztoFEGBQM4Q0HwX8LPR3/vrjepIyhG65pRSpt4sprtO\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-01-12 00:00:00.000Z","summary":"

Yet(i) another overperson worshipping and degrading "Connie," "Bob," Eris, Santa Muerte, cybernetics, and the like.

","updated":"2025-08-12 14:36:18.019Z","user":"","username":"onesecafterthelaughter"}],"page":1,"perPage":10,"totalItems":40,"totalPages":4}

Orestis Melkonian

Following