{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 19:38:10.463Z","domain":"social.sdf.org","followerCount":0,"followers":"https://social.sdf.org/users/rat/followers","following":"https://social.sdf.org/users/rat/following","followingCount":0,"icon":"https://social.sdf.org/system/accounts/avatars/109/526/706/492/620/908/original/b35bbdfda0193c6f.jpg","id":"skkqomsa16qd59p","inbox":"https://social.sdf.org/users/rat/inbox","iri":"https://social.sdf.org/users/rat","isLocal":false,"last_fetched":"2025-12-19 05:38:32.423Z","outbox":"https://social.sdf.org/users/rat/outbox","preferred_username":"rat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+Cu5mSZNy0VcRDTGLLpo\nt4CahktU2rYmyqiALpE34UMSef7aZJAgaX46k9KTjIVuTe9iGXRXIIGxu6/rgCw9\nAETQxVoqsT5kbu5Fcy8Nn6Ko+BIF49CWgUeyhkszu3LFU2+bqP3brf7v7N/Jk8Lm\nhU3MBf5dFsVBaax5lo5y81iEZE4qVbc1n1noKNCpXpt6VAynXlMwFJ6ssaZUYuAP\ng5ZN3gC5/T57emjZILPEpXvMePjvyLHlY/Igr+g7xivwUCrJ6XX0F3RlLwFf2aXO\n7l3JxFa25Uv40EdH0aQGXe8OTgb7N2Pec6jNXmD1009pW57HD/kn0jwmuFDUmSmu\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-17 00:00:00.000Z","summary":"

𝚓𝚞𝚜𝚝 𝚊𝚜𝚔

","updated":"2025-12-19 05:38:32.423Z","user":"","username":"𝚛𝚊𝚝"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-14 14:58:31.357Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"wdnn4zs6mjft9b8","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-19 05:38:32.450Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

","updated":"2025-12-19 05:38:32.450Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.477Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/robd/followers","following":"https://mathstodon.xyz/users/robd/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/051/870/770/139/original/db548e0a4894694d.jpg","id":"qsm2i8tg1wbrvfv","inbox":"https://mathstodon.xyz/users/robd/inbox","iri":"https://mathstodon.xyz/users/robd","isLocal":false,"last_fetched":"2025-12-19 05:38:32.477Z","outbox":"https://mathstodon.xyz/users/robd/outbox","preferred_username":"robd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArobS0+/NbgURlSG+qj4b\n81WLPwi7YZXc0X5WXeQwqcYrLrROcmkI3IsMlaUkKLb6DrEkCI2KJaDXMaXnkM9k\nMO33ys00Pj5Bdpj1OaHRLTjgmtQv5qVWDelj22ct2FYCv7oqU4LSq7CTrl8/iiSs\nyiKr8qbpt58VZgMdDlg32lVQshF3sGRvYYu8i61cRZEiqdzNMMmxGu30z8TsyWmM\ncgIRaX4jYQPBF/RoaosDKkFbS9kgKUbIZycWa83yK8oxd2TL4sxTI5Vqw1HgmR46\n/bDR+LOrNFkzdzzz4a1n/WKTNiuRMRK00AvvFtrbSL9W4CgFUmv485mop6uhEgFu\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Assistant professor of computer science at Augustana College. PL, formal methods, verification and synthesis. All opinions are my own.

","updated":"2025-12-19 05:38:32.477Z","user":"","username":"Rob Dickerson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.504Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/pimotte/followers","following":"https://mathstodon.xyz/users/pimotte/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/598/350/906/603/022/original/0b2ec663004cafba.jpg","id":"aid7l03yskfjv8t","inbox":"https://mathstodon.xyz/users/pimotte/inbox","iri":"https://mathstodon.xyz/users/pimotte","isLocal":false,"last_fetched":"2025-12-19 05:38:32.503Z","outbox":"https://mathstodon.xyz/users/pimotte/outbox","preferred_username":"pimotte","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1Pgh8ha1VHcUD10EzdWB\n1YIM4Fx5O+rXDKZW3FquCE43vj0ZDLTfWoLfhkEBu3PIugxySuK7emVVaeSUXvZ9\nAyMzORm2uoGwIbtTcZBNHF2UBK1pbijkKfhyq+GfzMDlf9nBcOyzHMU0JkYe0EsN\no77uGKCzpXT+Rtt3K+/sXIMqLBPK3aeisRN71LViKGkL/DxwVI2+xLvuM54dt6Uo\nzTmVF6TXRblmGrXqG1eQsgUQcsIkhyqb3ZGosAR5faOr8ENxZNX815Bl87BbVJJ6\nOqm5szJAlDQzbWtrOz5ccgusO1b8UlAAeu6R4PjkIbwjvCqlVjznRIXiFyFgp34S\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

PhD candidate on the topic of "Type Theory for education" at Utrecht University

","updated":"2025-12-19 05:38:32.504Z","user":"","username":"Pim Otte"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-10 17:46:31.864Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/XRKF/followers","following":"https://mastodon.social/users/XRKF/following","followingCount":108,"icon":"","id":"euwu58795axj47w","inbox":"https://mastodon.social/users/XRKF/inbox","iri":"https://mastodon.social/users/XRKF","isLocal":false,"last_fetched":"2025-12-19 05:38:32.601Z","outbox":"https://mastodon.social/users/XRKF/outbox","preferred_username":"XRKF","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4adjEf/BwWKTEW3DT9F\nU0f6tf8k9ypdhf5cneK4Tt8hoJLJ7sgcJLvGCqObFo21jk5NlJBMRUGbLqKH9m6D\nYzhGK8+TUJEQBfKJF73TbefZ226ER+TUSGgFCsXvIxZGHg2ykjBquDlPz7i5FFkl\nbyCEGgVqnf9hF3p+s0tC+v7uUxJU1ZqqdRS6r/HYpDi/4IrnIJr1FTHsu8f05WKq\nHg6ACvT21asDT/UL/1w2XDbVxZmy80x8EbWB7gb7iWbI77LxErHf7nHwAfAdJnVN\nAiDdwqGE2fvYjzTa2lVNNZnLOagbwfdddNOAtyQcs6ZAuXvUkXqClKxlqOeuHKWt\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-17 00:00:00.000Z","summary":"","updated":"2025-12-19 05:38:32.601Z","user":"","username":"XRKF"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.686Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/rwy/followers","following":"https://mastodon.social/users/rwy/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/037/536/original/cee0c74a1c0abcfa.jpg","id":"z5kepezajsa0qm2","inbox":"https://mastodon.social/users/rwy/inbox","iri":"https://mastodon.social/users/rwy","isLocal":false,"last_fetched":"2025-12-19 05:38:32.685Z","outbox":"https://mastodon.social/users/rwy/outbox","preferred_username":"rwy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzTRmZlCYQPM4/Qn2j5IT\nmvmKZZmkm0xL2a7FJNIt4luidYUAwO3+M1r+a8wEGHJcucKGS4+EDwTxTDaoZudS\nMBMojiLii+S6YAg4R9HDLBppnCXlHalMypOxSOvhk7QyyrK81FO+4PjoKY6thSFG\nLZXTwbw+fl80VW7FcGu0KjJrgj7whcxp/9J1DHA3TIOFdanZ36lud5Ly00Z4zPMo\naZVICrR69avXWi3c5yLxiKnsset51wGXc0XQAfcDeVgB+ugeHSe2JsHQUEG57+6X\n93l8UfsV2WeU2gAwIQs9VfFMVVgf3hqj0eTTbqAs0euSTfyl0ovRSXOltdCY5Oop\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

Software developer.

","updated":"2025-12-19 05:38:32.686Z","user":"","username":"rwy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.711Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/larrydeck/followers","following":"https://mathstodon.xyz/users/larrydeck/following","followingCount":0,"icon":"","id":"2ws1h6yq73jnt3u","inbox":"https://mathstodon.xyz/users/larrydeck/inbox","iri":"https://mathstodon.xyz/users/larrydeck","isLocal":false,"last_fetched":"2025-12-19 05:38:32.711Z","outbox":"https://mathstodon.xyz/users/larrydeck/outbox","preferred_username":"larrydeck","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0gUy2sp3JStBWGtHX/VR\nDWdxPcBJjYX+mDUhhsBYAYAwT8OPX4WF8VTa/Zz1c1gWADg3ddTaud/cYTPvXZOM\n7WbZyeMhFcmr6iLdKH+twRKjk1/7+KeZJ0RcAkjOFzU4D9rAzpyRnqq8fHVCMBYC\n2qqBJx2TvZVzZ4XyqfCKW1L8Wb1eTdmF9Ij88v+XaNP9H3qeU9Qpu8HnncmCdOzJ\nrkbmo8M2O/ITXjDX7jzZFmJsVM/im/3mozT0EFiI4bNffwl8id+Rb5gKG8u+laAq\nhGCx6wXmPPE8SduIxj0616QSWyhH1ZSy7yMIZn/ltFve6qInYG7BiIbtsiHQ/JX6\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"","updated":"2025-12-19 05:38:32.711Z","user":"","username":"Larry Deck"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.738Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/hcarlens/followers","following":"https://mathstodon.xyz/users/hcarlens/following","followingCount":0,"icon":"","id":"0ucucxg3uacb0ht","inbox":"https://mathstodon.xyz/users/hcarlens/inbox","iri":"https://mathstodon.xyz/users/hcarlens","isLocal":false,"last_fetched":"2025-12-19 05:38:32.737Z","outbox":"https://mathstodon.xyz/users/hcarlens/outbox","preferred_username":"hcarlens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5wvBDZtmqwqiEasa6eza\n4uDAYpAqeUaYDDfd3O48uSTChOSxCFtEPxenbDWI2aiasMzDXtEpI/bB5UUoqGTQ\nFQiBcPGNLdTvNg7OR95sDTw6TztBDR+YrYQeeRWfd/1t782z2LkgXGYksGj2qY9z\nETvyAfKO3o/xj3URmt48SpaBysPNfryl6yUuzTodDpcKXnh/CZ/8WgK8pKwMJd0k\n14Yv3hlw4l9vjX7O+lJMi/Y6NWIQB3QDrSoh3N/k0z6OsLljylDizPWAUuduQ5xS\nzRlOQp0B/wIpE6Whsy7+YJRA8B4HXusDTqOywuDFnfQvwl17c5y/2oj+ynq2Z680\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"","updated":"2025-12-19 05:38:32.738Z","user":"","username":"Harald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.831Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/amrsabry/followers","following":"https://mastodon.social/users/amrsabry/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/115/162/629/003/052/945/original/1212f7f92de07742.jpg","id":"o7c1f8fyxf1mkna","inbox":"https://mastodon.social/users/amrsabry/inbox","iri":"https://mastodon.social/users/amrsabry","isLocal":false,"last_fetched":"2025-12-19 05:38:32.831Z","outbox":"https://mastodon.social/users/amrsabry/outbox","preferred_username":"amrsabry","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3Y0rM9pOtdeusMlA34Tn\n8AjW53bD7bp8DVAHZeeMidgWTW7eJAXTT5Sip+KTuuqoOy96/PuDXfhWn8EnAMHL\nsf+ilg1Ga+8LXwFPOSkfAvmhfPuQjeRHSJdczKw/S9cUM5QWecnnEvjgfUyibC3k\nd4IzdTvnpVGVrm8TKnsT4gcLX0GIIS7hZD5+efSFKm5sEat83VsBH6aJzvZI+8Dc\nqNI3Oj5hV9jWnYislpvtQz4FVxmcFAfJOYjU75Y7Gwrc/LJhOKKSW0lsDMapsvzR\n3CNqDwBYfeft4kv4gIMvrKnBdVIaRt7YmXJGiYAaZrogZh0WezKrYzJ0MSKi130H\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-07 00:00:00.000Z","summary":"","updated":"2025-12-19 05:38:32.831Z","user":"","username":"Amr Sabry"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 08:32:41.016Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/paulreichert/followers","following":"https://mathstodon.xyz/users/paulreichert/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/044/120/718/131/457/original/b48ff6f128a1bfe7.png","id":"1k79wejr86w59o3","inbox":"https://mathstodon.xyz/users/paulreichert/inbox","iri":"https://mathstodon.xyz/users/paulreichert","isLocal":false,"last_fetched":"2025-12-19 05:38:32.866Z","outbox":"https://mathstodon.xyz/users/paulreichert/outbox","preferred_username":"paulreichert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt83mG3MsOgXRySaRhmiS\nIDDufolsdBkfC7UukZwrfStAn6n+cnQoEodgWEfQCy60yoRR6FyVMzdpOJVJnjUr\nTsKZLRaXN32TftwGK/XoCMTN0K/HIJO1oCK1iiTzTc3THePND7ByqLi0G2JJKiXk\nNMkP2wCxf8XmmAYNFuJ73IrhbadP+j+3Vigk3g5byVg2IrytNS52ac4v2w7RcLzI\nypu+U6VwWNquG1eVcWZWcD/AdS8jVRBFo4D56szW0H72PhWZziIxb6tU+rz1C8qL\nqJdf5RRDZhzJuB6rvfBXKqSWUPe6sdiV3SEPY2h84ichFaYe7BnwEorPJms1hma9\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-17 00:00:00.000Z","summary":"

Hello! This is my new separate Mastodon account for English math and computer science content.

Things that excite me most right now are dependent types and infinity category theory. Also, happily working on the Lean standard library, but this is not a professional account and opinions are my own.

","updated":"2025-12-19 05:38:32.866Z","user":"","username":"Paul Reichert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 05:38:32.898Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/pdxleif/followers","following":"https://fosstodon.org/users/pdxleif/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/521/704/097/718/821/original/253774da75f98342.jpg","id":"px1cmnwyc0dbrcd","inbox":"https://fosstodon.org/users/pdxleif/inbox","iri":"https://fosstodon.org/users/pdxleif","isLocal":false,"last_fetched":"2025-12-19 05:38:32.898Z","outbox":"https://fosstodon.org/users/pdxleif/outbox","preferred_username":"pdxleif","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7Ab3H5argfa++TKSdZxo\ndg7nZUM1UBCgbNx2HWf2RSr5z6M44+/fFIorc1uIqx5LFlE+qOre7Ky8n2GodWGD\nqHzqC0H1Of/8HJGsyjlFnMqrB5C7txjLTtbGovjxCT1eFf0dLtgG0TGHWakZrCdU\n5V2UMe1WsFVekVvbN6n7htoYTdKlWy6ajWRkcHNLuuM6HvQqo0TzWvWXAaeiTb3B\nDvAifmeT7sgPZ8lxbpy5D/Xn4chPKs8VAR1j4uCal2BOoqivE8VxT7K4f0KojcrI\np2VLqqAonFAlSf68sJ1/SQi9B79V5DxRtV25UuHFrUahpRVR9XdLvRm7qCmXdwF2\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Portland-based Scala dev, cyclist, dad, etc.

","updated":"2025-12-19 05:38:32.898Z","user":"","username":"Leif Warner"}],"page":1,"perPage":10,"totalItems":554,"totalPages":56}

David Thrane Christiansen

Followers