{"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":660,"icon":"","id":"nvljt7uz0d1vl3z","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2025-08-05 14:35:00.964Z","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-05 14:35:00.964Z","user":"","username":"Sam Kuhn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 06:34:14.015Z","domain":"mastodon.social","followerCount":1,"followers":"https://mastodon.social/users/deciomsoares/followers","following":"https://mastodon.social/users/deciomsoares/following","followingCount":43,"icon":"","id":"c023w58dznej6tx","inbox":"https://mastodon.social/users/deciomsoares/inbox","iri":"https://mastodon.social/users/deciomsoares","isLocal":false,"last_fetched":"2025-08-05 14:35:01.073Z","outbox":"https://mastodon.social/users/deciomsoares/outbox","preferred_username":"deciomsoares","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA16/BlX4tuB3rfcRK5+9n\n60HJXfNmHghHDAFozRpxx41lEquZKb4Sstme77xI++digf9+hGYsgdYhXfqEHyT5\nzXQNjCGsB50wz+Yn1GiO/QBrrHp0ws8pGBvE8PhlD7N+j3ZdAzdh0FGLWkW0KpUg\nBfXpPdtxvgAKLCMhLjMVHKoQMGSPabXspbQ9x6lDOve0LifIWEl9lJ2kcMju0nFB\ndkGKfVn3xz/XeIUNJsxxCVJ2IZJrEm6bPdi3THkOQjEvnAFkpw9Vy3vWQ1kq2aNm\nwW1v6slbD4qWNSrHs6xU0U/ynADAKh+SpUxPcF9c+N96JpgfQbfMvRWibeRCqNdC\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-19 00:00:00.000Z","summary":"","updated":"2025-08-05 14:35:01.073Z","user":"","username":"deciomsoares"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:00.666Z","domain":"mastodon.green","followerCount":90,"followers":"https://mastodon.green/users/kranzi/followers","following":"https://mastodon.green/users/kranzi/following","followingCount":433,"icon":"https://files.mastodon.green/accounts/avatars/109/297/141/392/223/841/original/a8b2dafc5c646a86.png","id":"r9j1jn2ktwp8d34","inbox":"https://mastodon.green/users/kranzi/inbox","iri":"https://mastodon.green/users/kranzi","isLocal":false,"last_fetched":"2025-08-05 14:35:01.165Z","outbox":"https://mastodon.green/users/kranzi/outbox","preferred_username":"kranzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwgP1L6qhmt6Kv9E623vZ\n9KyDhPYKN6Ek+KL4sfWdKbSko8fI+j2OcJRpnTtkhr4V+ISUDxGJyBKqI9Bu62Wv\niYyEPj7mLc4fSQI/6FnmvaPgmOQgrK7jEzVaKWbbqrW3oNjZNW7JRG+kkwUoBpTj\nFN7Tws2LBhjO8tnfOURopZ6J6pACqhHXr/wi/v62gIYiavulgwK7MxiIrAOOn4wI\noaFjcw2+z7VcQZMA2RFujY67x0nTFpkNRl8sPOAi5eYMgievUjzpOG8PgV4bruUv\nULYiphfK8eykxC2fIe3FfbxSsIkTWMevgqVRUSFgEdGW7xYXlul3N5YkFSsdFbzj\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

he/him

","updated":"2025-08-05 14:35:01.165Z","user":"","username":"kranzi"},{"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-05 14:35:01.218Z","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-05 14:35:01.218Z","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-05 14:35:01.408Z","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-05 14:35:01.408Z","user":"","username":"Fredrik Nordvall Forsberg"},{"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":250,"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-05 14:35:01.442Z","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-05 14:35:01.443Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 14:35:01.503Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ravimangal/followers","following":"https://mathstodon.xyz/users/ravimangal/following","followingCount":0,"icon":"","id":"9xj9b7j217m9e84","inbox":"https://mathstodon.xyz/users/ravimangal/inbox","iri":"https://mathstodon.xyz/users/ravimangal","isLocal":false,"last_fetched":"2025-08-05 14:35:01.503Z","outbox":"https://mathstodon.xyz/users/ravimangal/outbox","preferred_username":"ravimangal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnXSg24eAuOwKVDGErY/X\n6S/3Fo0xktqrNCQ6aMG/h9bT40iRxliMML2d/Sj5Oro71mngvGCiiJ3nJQUvKn8U\nIrQ+Mw1AMAwteGP605tynUzsuT3ZiJSe1F5zsBBW41KW0HeiA14SmMxcgGVzRC96\nimfsLCRchCmcTsZC3+gcnNHiFThv0cm2fJ6Hr81sOHDypWphHFP+/4lSRUEx2HoK\nDh3aTgyVeYzhS596rMkoQKUEGvThJu+XUd0LezVgAtZrvedO/+BMb7rp7Zd/zurC\nzvOI9ln6AFOsF00jx5HCzuQYG77oi8gVqp/vfNbBQZmBXPbjeG1Jq53y+QXy/sNH\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Computer Scientist, Assistant Professor, Colorado State University, Trustworthy Machine Learning, Formal Methods

","updated":"2025-08-05 14:35:01.503Z","user":"","username":"Ravi"},{"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-05 14:35:02.035Z","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-05 14:35:02.035Z","user":"","username":"onesecafterthelaughter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 09:17:38.528Z","domain":"mathstodon.xyz","followerCount":199,"followers":"https://mathstodon.xyz/users/vishallama/followers","following":"https://mathstodon.xyz/users/vishallama/following","followingCount":1361,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/284/060/878/154/141/original/60c59f3de5b8b31a.png","id":"8gg5o0gawf99164","inbox":"https://mathstodon.xyz/users/vishallama/inbox","iri":"https://mathstodon.xyz/users/vishallama","isLocal":false,"last_fetched":"2025-08-05 14:35:02.077Z","outbox":"https://mathstodon.xyz/users/vishallama/outbox","preferred_username":"vishallama","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtO/UFTOeAt4CKjwdiNUE\n3nrNJPUDT2Ov8bWfIzgt1PLfA0HB6FhwX7I6xUDpA/jwRmq52c4MfRR0VpE2Czl4\nLB2fakN8a0oHTxOeDZ6KPAmhJDaRXvn61l4kx3PmZ8MnfXN1Hh2TycW58KknOOk3\n4JJZ0zJdKNrTbRkEganxVnzQK2/j1qLGRhm51TzjMfRhVX0gyV0D1V5w5fPOOGSB\nPScVIjS7CA5o5sIRM99LOvtMERxXT59Ro80dLvPJabDL7GuuRsibILW+xkDM9b4s\ncVDOX2yqpv7mAX2ikd1s3NHlztq4h36FYoLd7uX3BdzsCHuLzv3AQ1nXGFO+Ta5p\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Software developer with an interest in using formal verification methods for solving business problems. I've also had a lifelong interest in mathematics.

","updated":"2025-08-05 14:35:02.077Z","user":"","username":"Vishal Lama"}],"page":1,"perPage":10,"totalItems":40,"totalPages":4}

Orestis Melkonian

Followers