{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 08:45:46.518Z","domain":"mathstodon.xyz","followerCount":668,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"2p68lv8b992jdq8","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-07-22 23:07:04.607Z","outbox":"https://mathstodon.xyz/users/zanzi/outbox","preferred_username":"zanzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7n/96xPDTD378z1I2rMn\ns+5qfyLupYGDa3rJKRLThIfbMwPC8I1bqBIE+LvDGjuHvGTnpYAHjN1vX45HNh7Y\nZbyhr5mLzXPK2xtjrAdf7wlKpO7N5X1DMqUYJbWE5xhj67tXU9eZJ4XmUMmdtTBf\nN3WKkxqfOlHRrHECotJv6LUysr3fN3a8gGifzGgwr5UjKP7FBTowt+d8WHDyYsGg\nPud075Ky/ryKi5DO7mTebKpWQg1dRXNDEMs0fTKmq7E4fesbv4+Osu+ziNkbjPH7\nSJU2e4JzBLCzL4MWycXWmoEX7oeTda7HciDZ45rgU+hkUtNnSe6xFnayUPgZuAtM\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

","updated":"2025-07-22 23:07:04.607Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:44:33.732Z","domain":"mathstodon.xyz","followerCount":106,"followers":"https://mathstodon.xyz/users/varkor/followers","following":"https://mathstodon.xyz/users/varkor/following","followingCount":52,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/265/350/860/474/178/original/69157115ed1aa3b0.png","id":"5t125jgu0z12ocu","inbox":"https://mathstodon.xyz/users/varkor/inbox","iri":"https://mathstodon.xyz/users/varkor","isLocal":false,"last_fetched":"2025-07-22 23:07:04.669Z","outbox":"https://mathstodon.xyz/users/varkor/outbox","preferred_username":"varkor","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzXAuhOSbs3oYwj4HAja6\nbvSpghZQihzMr6zZOFFUhfUPkPGWvPnms9NBtCbZeF6FWSp21BfdgpWHcH/YKCNu\naPXbi0o5r8jBiaxAQiiBYy2ReygyLsAxoo205gK2S+h6ceqYe0GYtckDmNMYvd7b\naiyv7Vp6QDrg41tLlOo+jrVLFad8mUa/IUapwRh9Mg8DSrSDD0E08pnNsl8HzJHR\nZlfUyAjx0E1xFBfgRvDPKt6RIfrLCVt+OxncHiRY0EQLmBBf87BOv4Z+LBJv93ru\nSCfdLEXZxNHa9AXimv05+f76EmUM2gD/c7+PFpvj73ww7fjgaw7FFLPxWRRf0RbM\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.

","updated":"2025-07-22 23:07:04.670Z","user":"","username":"varkor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 01:36:27.220Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/nilesjohnson/followers","following":"https://mathstodon.xyz/users/nilesjohnson/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/002/738/original/074bc730aca8a947.jpg","id":"bpn2f0t4vn8p629","inbox":"https://mathstodon.xyz/users/nilesjohnson/inbox","iri":"https://mathstodon.xyz/users/nilesjohnson","isLocal":false,"last_fetched":"2025-07-22 23:07:04.909Z","outbox":"https://mathstodon.xyz/users/nilesjohnson/outbox","preferred_username":"nilesjohnson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzKVZl90eEep8b04qMer1\npykMYbf01VUdIxWS6n4w69Eu6cH/lXFiEmMG2frRImpfg7BAUFOT6sKh8Mukak2X\nzZxA7hG5CfONTSmV05RT5Hkbgr6rJi2imZggR/JKfxB8ZcLZ2AZavxzOL7A54KdI\n+pcRkVvf5dyB2yEUI84w/uqMTs+ArGSrpb9vMF96PrRGmi7tFkRTme6hR31W4Pxi\n5vx3CHc081Wfpx5JSgPIlC07sWgxOK/ZmrrlBUaac7DKSK+999D6Mu7fSlicbBp2\nc4MlHjOtZ7AW0ebwKQlF3FxviOwQZXw1vO87GZTCRMspbVrZH67JquPquY4mpDY1\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-09 00:00:00.000Z","summary":"

Working in topology and category theory
Professor, Ohio State at Newark

","updated":"2025-07-22 23:07:04.911Z","user":"","username":"Niles Johnson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:54.747Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"k8qe3227crcvaz8","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-07-22 23:07:04.968Z","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-07-22 23:07:04.969Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":655,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":401,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"c2308xs3r83auhe","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-07-22 23:07:05.016Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2025-07-22 23:07:05.020Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 23:07:05.069Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/hyperboIeva/followers","following":"https://mathstodon.xyz/users/hyperboIeva/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/268/249/383/704/387/original/49a77b054e4a7e69.png","id":"z1p77rp3989u474","inbox":"https://mathstodon.xyz/users/hyperboIeva/inbox","iri":"https://mathstodon.xyz/users/hyperboIeva","isLocal":false,"last_fetched":"2025-07-22 23:07:05.068Z","outbox":"https://mathstodon.xyz/users/hyperboIeva/outbox","preferred_username":"hyperboIeva","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9TKoVVp1K0n4J4VJm3rj\nCo/Jrft4NFiCfmSiRG03RuUVmxovqD1tL01F/8NPvsd1NUGbdCCvN2NbsUltuTqJ\nXwYKAEbcs9Fz/uPqVnOFX+6Z1Jo7HjYjeQHQjYZO7hKpGSUg1J56Yxv7LPF4cMz4\n5p9HBPBUDHaoQC8XzuI6b5aO/FUtYY9Dd77rVil7OzN8O/4HVPKDDYPo2/kCaue2\nWi6hP8SHqM9q/23LsSfsPIBTZyvVARYvM0CXu28v9hnewTTQPFgvpzOnNy2iNWCT\npK7653Bd2aB8tsNNKL3oGoasemMMzI1yBiFrTQ77D7yjLahbF5YYLSxOOmF/c1h+\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"

Quantum information, useless information, generally informed. CS and Physics combined in one desperate PhD

","updated":"2025-07-22 23:07:05.069Z","user":"","username":"Ieva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 23:07:05.113Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ba_macadam/followers","following":"https://mathstodon.xyz/users/ba_macadam/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/035/434/original/26f1afef152b6f07.jpeg","id":"92u4g2s8x26612d","inbox":"https://mathstodon.xyz/users/ba_macadam/inbox","iri":"https://mathstodon.xyz/users/ba_macadam","isLocal":false,"last_fetched":"2025-07-22 23:07:05.112Z","outbox":"https://mathstodon.xyz/users/ba_macadam/outbox","preferred_username":"ba_macadam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3g4mgw5F+MlcfSukmfpD\nO2LZ5gXtaJkGW8jxE71l2qa5duZ9SR2wUtdlVvIPjXJ3XRYL16L83dv+oURqKQIk\nDER4vpvy6f14Tt21B34XBxvMGoorWCiaCPccglQYyV2lMem4M7VwCVtFl3c7gE5I\nUDPzW32BFVMq1+92cAOjt/pHKbSiQVAcwEOX126xWoD7d32Izzzu+Z23ZbXcQiP8\nSLSLZmdJlN5e2YZijgEcYnHUEMNzPajx7PKg7WD65Vu4Dg3eUHa/zND37aq5m17S\nz5+MMxcc6co4h05/LJcwJeblgJ+5XbtCqQDp+0mmAW33ivG30/mWhfQeaoQakvAA\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-07-27 00:00:00.000Z","summary":"

Computer scientist. Originally studies enriched categories and synthetic differential geometry, now doing research in geometric motion planning algorithms.

","updated":"2025-07-22 23:07:05.113Z","user":"","username":"Ben MacAdam"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 00:57:02.573Z","domain":"mathstodon.xyz","followerCount":493,"followers":"https://mathstodon.xyz/users/stringdiagram/followers","following":"https://mathstodon.xyz/users/stringdiagram/following","followingCount":128,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/337/780/676/405/855/original/a3a1e08fa187529c.png","id":"eh4f7h8xf7o2t87","inbox":"https://mathstodon.xyz/users/stringdiagram/inbox","iri":"https://mathstodon.xyz/users/stringdiagram","isLocal":false,"last_fetched":"2025-07-22 23:07:05.168Z","outbox":"https://mathstodon.xyz/users/stringdiagram/outbox","preferred_username":"stringdiagram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3/BdU3KnV7aLTDIi9p25\n2O9G6aFDsG0g+eK5ojuzS5H1vJ4kxibLE0RKBiHlQCKg0D+1VkdOqBhGNdPoBvwp\nJkMaQIjtYLPYa1T+u7dUINjiPrFgc6hFH7OdbCBo3z3LxCe0SPrCTh7J/Z3ATd2B\nF2ACFiwEZuIq9HrwU/FDIDtuq7IlNtvbt3/s48rpqVW8MB4TJWCzZ6Uztygna0nq\ncMnzNEckSblJvcmeTrTD/5XCKJIsrvnuo3FPfzBMGf7teWbXwfGlXDTPdpm6Dbp6\naZ6mMt1eKhO0WhHbq3glKQKfOuNxeD8/zZVGnigqiPAo8skmYxOSfMsU+0Ont9zM\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Categories, computer science and logic

","updated":"2025-07-22 23:07:05.169Z","user":"","username":"Dan Marsden"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 23:07:05.212Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/metaphusika/followers","following":"https://mathstodon.xyz/users/metaphusika/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/345/967/302/755/614/original/62cc5d475f0078c2.jpg","id":"4i1598kv1gmp6wo","inbox":"https://mathstodon.xyz/users/metaphusika/inbox","iri":"https://mathstodon.xyz/users/metaphusika","isLocal":false,"last_fetched":"2025-07-22 23:07:05.211Z","outbox":"https://mathstodon.xyz/users/metaphusika/outbox","preferred_username":"metaphusika","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqEdGa7bHx0ER+Kgb8Scy\n5lWETsxaOeZJnsUJFPlVOb8t4MEtVVRHTgtSOfZJiz25n0exf3JTz2BRgvKtbk/y\nK14OUPyqEkiwlye2MMyxKqL4WlCQKLF3XOAFIpcvwkHbmGxBhRXLYi3tnu0BV8iL\ndx45Slj/Fxn3pI+rajhYOYX/gD6jsIXPVy77P7di8g+UKdBjzm9y8anbcr0ijzcw\nCSNkLP0Wu5Mr9sRrc3JxC5GW7WzLLxamdooVj7M4uAul6Zadd1CBq8Jj3oKIbqu5\nLz2YE2CaqugcqWHb4MZp+IDoCQQnLRHIxjvMYE8vmK0XOICl0k21KaHW1v4R91IQ\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

Research interests: category theory, mathematical logic, theoretical computer science, philosophy of computation.

","updated":"2025-07-22 23:07:05.212Z","user":"","username":"Hiroyuki Miyoshi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:08.059Z","domain":"mathstodon.xyz","followerCount":94,"followers":"https://mathstodon.xyz/users/ivandiliberti/followers","following":"https://mathstodon.xyz/users/ivandiliberti/following","followingCount":67,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/325/545/131/664/831/original/afa89557a153c11b.jpeg","id":"08k02sxv046mxm0","inbox":"https://mathstodon.xyz/users/ivandiliberti/inbox","iri":"https://mathstodon.xyz/users/ivandiliberti","isLocal":false,"last_fetched":"2025-07-22 23:07:05.250Z","outbox":"https://mathstodon.xyz/users/ivandiliberti/outbox","preferred_username":"ivandiliberti","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2gc5efn9244KKAZin3by\nHC6GIWHdReHCrL4tDo4xJQMoxbKXabJptirSq7iUBGbN1h4d/zLkQLk3C+B6EtvT\nh9COL/FdGZ2XH0js6aL2WNdJvwG4iyqYC6yQmEZYytFmZ7JoEmr5Q4sCaWTq6L8C\nzmvnHLdeCr8F7K18kT2jXAKZ1PFx6rqU1D8R4lMuIXZRFSwrl/Yr4zmEKWSQfkN8\nx/A7fBe4TbV5UnMZ3NACkWSbzTzH5mayrRdQsvFPrhn2obQ8mzhSoKrAsRBZn+Vp\nLwQvb0adRt/bO+QMQpezgE2rCbbiTXRErwdr6ZDZezdA8K+vfu6fC4+ZhiMo996i\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"","updated":"2025-07-22 23:07:05.251Z","user":"","username":"Ivan Di Liberti"}],"page":1,"perPage":10,"totalItems":43,"totalPages":5}

Amar Hadzihasanovic

Following