{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 16:57:18.189Z","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":"mds2kit9ooketgr","inbox":"https://mathstodon.xyz/users/robd/inbox","iri":"https://mathstodon.xyz/users/robd","isLocal":false,"last_fetched":"2025-11-19 16:57:18.189Z","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-11-19 16:57:18.189Z","user":"","username":"Rob Dickerson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-05 14:23:33.551Z","domain":"mathstodon.xyz","followerCount":744,"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":"mbriqb71trviptk","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-11-19 16:57:18.226Z","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-11-19 16:57:18.226Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 16:57:19.176Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/nicholasbulka/followers","following":"https://mathstodon.xyz/users/nicholasbulka/following","followingCount":0,"icon":"","id":"375ina5n1p5cmqs","inbox":"https://mathstodon.xyz/users/nicholasbulka/inbox","iri":"https://mathstodon.xyz/users/nicholasbulka","isLocal":false,"last_fetched":"2025-11-19 16:57:19.176Z","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-11-19 16:57:19.176Z","user":"","username":"nicholasbulka"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-02 09:35:48.758Z","domain":"infosec.exchange","followerCount":70,"followers":"https://infosec.exchange/users/Spoofer3/followers","following":"https://infosec.exchange/users/Spoofer3/following","followingCount":1348,"icon":"","id":"ikz8qzbd22qs9n4","inbox":"https://infosec.exchange/users/Spoofer3/inbox","iri":"https://infosec.exchange/users/Spoofer3","isLocal":false,"last_fetched":"2025-11-19 16:57:19.254Z","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-11-19 16:57:19.254Z","user":"","username":"Spoofer3"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-03 14:37:10.026Z","domain":"mathstodon.xyz","followerCount":257,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":171,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"zzahhefv3mom5kr","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-11-19 16:57:19.300Z","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-11-19 16:57:19.300Z","user":"","username":"Zhixuan Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 23:54:56.488Z","domain":"ecoevo.social","followerCount":0,"followers":"https://ecoevo.social/users/EVDHmn/followers","following":"https://ecoevo.social/users/EVDHmn/following","followingCount":0,"icon":"https://ecoevo.social/system/accounts/avatars/110/718/780/104/775/514/original/dbf6bf707d670513.jpeg","id":"c5w08u6j385snm7","inbox":"https://ecoevo.social/users/EVDHmn/inbox","iri":"https://ecoevo.social/users/EVDHmn","isLocal":false,"last_fetched":"2025-11-19 16:57:19.725Z","outbox":"https://ecoevo.social/users/EVDHmn/outbox","preferred_username":"EVDHmn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnRhKrTkHNL9pUi5kwzaY\nZ7ql3Qiu+oX1UfBGB+1z5JVAJhipEEBUW4oGX7QDm5PPOh/kEafYGNEHJERaaJo+\ntBuGd0rv48+wQ1qLpyi6UfaIl6tkmv+eCagvrHe6+xJxt6SdHDFRCKFX/dCQFY9B\nS4ekwBNTRuMvYViTRrhePLzz83U9HXUPOzIU4yHe0a5GX/eQG9Ft0tH/UTSjO17W\nqPpTlRsA89j3GAwlEa2SALs6yH8f8jmJmG4Sygf+5uaBOumMsr0K+SM31RbQ4iwd\ntvAAibFxx6ChEFpBaHE04V5xZcPgH2BpB9pPyNAc4vnubrZx9PxjT2J7PC9fVrzX\n6QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-15 00:00:00.000Z","summary":"

Let’s share the experience, and the journey.♾️❤️

","updated":"2025-11-19 16:57:19.725Z","user":"","username":"Everyday.Human Derek"}],"page":1,"perPage":10,"totalItems":80,"totalPages":8}

Garrett Morris

Followers