{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-16 18:28:30.104Z","domain":"mathstodon.xyz","followerCount":12,"followers":"https://mathstodon.xyz/ap/users/115715557713247613/followers","following":"https://mathstodon.xyz/ap/users/115715557713247613/following","followingCount":58,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/715/557/713/247/613/original/874030284ad77bb4.jpg","id":"9572f6m8k097q8t","inbox":"https://mathstodon.xyz/ap/users/115715557713247613/inbox","iri":"https://mathstodon.xyz/ap/users/115715557713247613","isLocal":false,"last_fetched":"2025-12-20 23:00:00.079Z","outbox":"https://mathstodon.xyz/ap/users/115715557713247613/outbox","preferred_username":"ahubers","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3f4zsra1CiBjtganJ0Ke\n5BOI+jSvbVq+6P4Z2CVRk3NgHU99qOQtlF4oL8vdQigNbfoJSBOiAN5MtVFfw0gI\n+lL22o0Ugr2hQECSZQoI6iVZ/3vbfrGgfEzjGrQaNfCmt4frJNVkvaAttouC1N5F\nth6FPDsSNY/CJgPT1HZy3CkLpDYOUH6xcF3xDMc2BujDDpJF5VbvGi1u7DLWhOju\nnHcKdUZw6FyJ/0kycMJh3tBFCMSwcpr+sK4J4sQyuYADZy6sYN2htzcwYy0gICc3\nwmO2JQB+qqm1FZVpXQCnQQcRr8pwheo2nqOrcalSqIcNpWCYzJxr1LawYPCnQISs\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-14 00:00:00.000Z","summary":"

Researcher in PL at The University of Iowa

","updated":"2025-12-20 23:00:00.079Z","user":"","username":"alex hubers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-28 03:27:53.985Z","domain":"mathstodon.xyz","followerCount":160,"followers":"https://mathstodon.xyz/users/robd/followers","following":"https://mathstodon.xyz/users/robd/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/051/870/770/139/original/db548e0a4894694d.jpg","id":"mct6o19cvjz004q","inbox":"https://mathstodon.xyz/users/robd/inbox","iri":"https://mathstodon.xyz/users/robd","isLocal":false,"last_fetched":"2025-12-20 23:00:00.119Z","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-20 23:00:00.119Z","user":"","username":"Rob Dickerson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 06:57:01.168Z","domain":"mathstodon.xyz","followerCount":780,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":123,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"u6dnjge59x6t507","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-12-20 23:00:00.160Z","outbox":"https://mathstodon.xyz/users/egbertrijke/outbox","preferred_username":"egbertrijke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvAgZoSqtXkjGmyD7Ytmx\nyqt+jayq8iBW1nTFUPafGrUpRPZ5Cphbon2OCwObFHgZjBh6mXwiMMdqSN2Wf20u\nBOmqgWz/rmYSHLINXWwSq3iT4ctv9Um7tl9afA18HedUq8wiRcDVpQwXkCJNw1x9\n024zznyGjgP16EHN5hbmCOMtdqxeqo54zmPrecWXcXuQ5Oj6OdJ9zBauxrdHP3p4\nE7ebZrkA2keIFFxQkR3GdoxMuKGbvXzS0MWAHN4EgkE4YDyKcVxgzjUblsLVv81A\nLXMb/wflz+LCDlZWMtCD4myCD2fQTQY63RkGgpTq9ZFXEitqkBQjA0oSkDA0gazy\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Postdoc at Johns Hopkins formalizing mathematics

","updated":"2025-12-20 23:00:00.160Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 10:17:12.438Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/nicholasbulka/followers","following":"https://mathstodon.xyz/users/nicholasbulka/following","followingCount":4,"icon":"","id":"q3s9gb7s97htrfl","inbox":"https://mathstodon.xyz/users/nicholasbulka/inbox","iri":"https://mathstodon.xyz/users/nicholasbulka","isLocal":false,"last_fetched":"2025-12-20 23:00:02.117Z","outbox":"https://mathstodon.xyz/users/nicholasbulka/outbox","preferred_username":"nicholasbulka","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAresY9allh3XROnveFkpz\nTbvMISCcgvVnQIYco8uUc9SDRz9mETfuoJIRwfRs596oNzdPrkf5aCD3iyRKyabX\nuF/9A+FFfB/qKYgDBvF+8dsh10t6z42/jqS+B/HzRYQUoHKa929huB/HXUyhtdFK\nWHyQeus0W2NTgFML+zTc0qYGWd4iZDkuL70wT1v3FcionXsgn0wBWgM5EiB3zcvA\nnetTzojaCi4Xogo2Z4pqKUW5KdNXQd1Gx/9cSGc6taDrLhBX7Q7DLpVQoIWd04dR\n5QhW88ygI7RvuIWrQeEXpQ1RMgi3ByOKneTZ8Mixj9Yn4gGhOTsDdEH/jdTI3oFK\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-03 00:00:00.000Z","summary":"","updated":"2025-12-20 23:00:02.117Z","user":"","username":"nicholasbulka"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 10:17:12.482Z","domain":"infosec.exchange","followerCount":70,"followers":"https://infosec.exchange/users/Spoofer3/followers","following":"https://infosec.exchange/users/Spoofer3/following","followingCount":1352,"icon":"","id":"35ttm86yik090z6","inbox":"https://infosec.exchange/users/Spoofer3/inbox","iri":"https://infosec.exchange/users/Spoofer3","isLocal":false,"last_fetched":"2025-12-20 23:00:02.168Z","outbox":"https://infosec.exchange/users/Spoofer3/outbox","preferred_username":"Spoofer3","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoKr5ksQfP6aRCG1b8aRx\n8FhN09k5RGiFomPDMydF7zJuzFyODIj0u+xuh2PvNOygxlfmV9cmLGLfR+VsbTrr\nRrS+T/MdToTqY00yaDO63yqWUMxH7OvTH4xn+j19saFS3WabGKSILxn1aci99FS0\nZtqitZRJC1FOSUb/00+x9Lwmt0ABSSxfwyJI6RnZgAOG+HffTKCGENHZBdCHPGVe\n5JycyA5rqxnRKMidf9ru7/UVazR2a/bc4mWOBWsoBkk3q1znvK+tcLYxBUm56scH\nPAj0pMKilb3Q76RhgD3Mfdfo1j1lSXqW6mfiAQTYkGsbKPDuIOf72nTM90GX6YGx\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Computer guy.

","updated":"2025-12-20 23:00:02.168Z","user":"","username":"Spoofer3"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 05:01:04.470Z","domain":"mathstodon.xyz","followerCount":264,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":175,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"m67izfu49d61n61","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-12-20 23:00:02.208Z","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-12-20 23:00:02.208Z","user":"","username":"Zhixuan Yang"}],"page":1,"perPage":10,"totalItems":81,"totalPages":9}

Garrett Morris

Followers