{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:39:06.730Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"0vu653ip63fpt9v","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-10-11 07:32:07.641Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2025-10-11 07:32:07.641Z","user":"","username":"ahuoguo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 02:06:29.601Z","domain":"mathstodon.xyz","followerCount":1838,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":501,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"1elm63oa3q4n604","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-10-11 07:32:07.767Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-10-11 07:32:07.767Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 01:06:01.768Z","domain":"mastodon.social","followerCount":502,"followers":"https://mastodon.social/users/jcreed/followers","following":"https://mastodon.social/users/jcreed/following","followingCount":220,"icon":"https://files.mastodon.social/accounts/avatars/000/018/832/original/918310099fb11f81.png","id":"w3v8o79m031rjdc","inbox":"https://mastodon.social/users/jcreed/inbox","iri":"https://mastodon.social/users/jcreed","isLocal":false,"last_fetched":"2025-10-11 07:32:08.125Z","outbox":"https://mastodon.social/users/jcreed/outbox","preferred_username":"jcreed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwk6nXz7Zf1m27aq7opSk\nso0zEkY25ySka0x9MIm5S4LO93EgvRwUHH9t54qX3wiSUHlj2A6MgDNeP8DloILW\nB/TjsKImNNpQRkBSbbMP+qH8SRBGoII6kUc0VKVrloGshD56KTMlqOfyJRoB9P9A\nxybzAPVD+9qeL+OuwC7rgIO8+iWRnW4OAjvCf9Mq6kwzfsVvPRhqpR5ond8jDSu/\nah9Kp3SO55mkEHB1SasgBlfh/YjcuI1xqLm1Dv2mA3x1X8yWby+54+u8qV3gf2mV\nxCU+wqoyYD4+0BgpbCmOfW3M2tS/12cz2PYjEOB17dRJBzDznU0atbH59ru6gIT7\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-01-03 00:00:00.000Z","summary":"

theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]

","updated":"2025-10-11 07:32:08.125Z","user":"","username":"jcreed"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 19:42:42.210Z","domain":"mathstodon.xyz","followerCount":43,"followers":"https://mathstodon.xyz/users/mstone/followers","following":"https://mathstodon.xyz/users/mstone/following","followingCount":176,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/168/281/436/584/original/c31a66c361c57308.jpeg","id":"46j2o298fuy145o","inbox":"https://mathstodon.xyz/users/mstone/inbox","iri":"https://mathstodon.xyz/users/mstone","isLocal":false,"last_fetched":"2025-10-11 07:32:08.247Z","outbox":"https://mathstodon.xyz/users/mstone/outbox","preferred_username":"mstone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz3xxjzmMfQc55laSlxJR\nw4THYPB3t8hFJoJtIi2G6JEQEpBSBEshQXqlboE9B/y8Vvyn0ECXMpCwYREgAov3\n2Pe34MYUcF+WDreerPzamgM0a8wlUFEqqvrbeC0oJ63B0abN9N8kcWOgNSQcgR2W\n8qWtZLgbYuNIv9xPXo2/kqMzMT1XsuI50gASTduYUX8zHFpfcChO3tfaPGGSmQdF\n3SEH6EQB70TUBfG15EmPJGuirOkFR8M7Fy3jOCjNZ7Q7bLOAyG4zzEp73eLA+eEV\nzGDyloX9HjUlBBKRxbX2cG80LWJtLvevEFs8oBaYUMnmhSIlIr7oKl5tUrgNXVf6\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Systems, security, safety (and here, topology, and category theory)!

","updated":"2025-10-11 07:32:08.247Z","user":"","username":"Michael Stone"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 16:28:09.483Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"w9cn9ekj7c3b8a3","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-10-11 07:32:08.415Z","outbox":"https://mathstodon.xyz/users/zackbach/outbox","preferred_username":"zackbach","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA12rXw1shGM9GeiS6b+IB\nkfDZTqiibv8NfgpgorLqH07Fq2RjmpV9UIy2Zn3FBr1g3RVt+dc3WugIlkRxeDmh\noMzzLavP2P5NkIRTolrrpodGGaZyMhrh9icWB7Z/YSyc2oMtBFqiccxf6POQ7MJK\nApn7VCEK0x6KktSUgiRXiioyiGLI0RmfKdcB9zXMLr/vQ8LKnlkWdv+frS6Z+W5L\nYKqG/zP5RTZzlqa2Ei/PzkOIKb9p33pr/qx8Uh/PgsyKEzq7ibucMu6WIu9NdhRy\nIlhIpjMDEObQ1s95+Pk3mk+FYL1pqspm9jIP4Bv5ZcI411GoUf8ZHMgIi52mr5ti\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-03 00:00:00.000Z","summary":"

Undergraduate programming languages researcher @ Northeastern PRL
 Logic, types, compilers, categories

","updated":"2025-10-11 07:32:08.416Z","user":"","username":"Zack Eisbach @ ICFPOOPSLA"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 16:59:25.119Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kelton/followers","following":"https://mathstodon.xyz/users/kelton/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/430/438/246/719/564/original/5086b3e1d3819bf2.jpg","id":"5is0sax8090wuvm","inbox":"https://mathstodon.xyz/users/kelton/inbox","iri":"https://mathstodon.xyz/users/kelton","isLocal":false,"last_fetched":"2025-10-11 07:32:08.538Z","outbox":"https://mathstodon.xyz/users/kelton/outbox","preferred_username":"kelton","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAi8SvnLZcPviqN/Ucy+GX\ndji1pKduXCVbNL77qkAErdGqpeoGu++TljyqjL8j48bj5WT0yEmkro3tfgPjt9i+\n4+uc0Ve446H44xAwC/AgRrPt/wWXl97aD4w7nH17Yp/33Zgb1f7KNWF7nycwM6NE\ne/y0KXto/JUWjeLKzArVx9R1zbMIfCstQt5CmnG1T4Qr5QRbYE9EhaAFiKoK2qru\n/HBz2h4FdJwQV5CVhIkwpL0f4L+Ht40Y2/gsne20piEDEIuRDrtq5zlHzMXhDx6/\nmx9C/esb4nsYRE1cgdyWyXXfMggX2O+fVZea56jaQjOSgvpqviJ4Bl55n19uf5Fg\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-05 00:00:00.000Z","summary":"

1st year PhD student at IU advised by Carlo Angiuli. Type theory wannabe. From Minnesota.

","updated":"2025-10-11 07:32:08.538Z","user":"","username":"Kelton OBrien"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 08:12:25.776Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/mzhang/followers","following":"https://fosstodon.org/users/mzhang/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/302/909/original/6d5fb4aa4e2c220b.jpg","id":"o0m954484lt7695","inbox":"https://fosstodon.org/users/mzhang/inbox","iri":"https://fosstodon.org/users/mzhang","isLocal":false,"last_fetched":"2025-10-11 07:32:08.724Z","outbox":"https://fosstodon.org/users/mzhang/outbox","preferred_username":"mzhang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxqiVAQvGR8W/KVqkdK4s\n3UHcEMxVrSVdtXShjyGJlBuj7uY5xfEwEoZ4DqWWooe2dDgWDhx1S8cd/hHWSAsS\nO2gO88WBs3fOqbuozX7uAxKCAg8G8ZmyXtsGzJuckkRRVswkt3+XUN5XJWPtKmbg\n0aOrSOSarBlKk4g4rwvo5dcyre67nGmyFmYIhsRKw0S3TkhKF1WZHYbvH5REVM0A\nQ85dvrMCEw6++ssgcPtaDMCgaw7AFX1b+3tGl4ThLUCYUcCnV9/KOff/Nirmf6bJ\nKXd2sg8hghuBuBiezjkLA1YNtuVNaTaKUsLZKSW0pHc4zpZYQ9DxmeGN3n73g43f\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-01-19 00:00:00.000Z","summary":"

CS master's student at the University of Minnesota and FOSS software hobbyist. I study homotopy type theory, univalent foundations, compilers, and programming languages. Previously software dev at Amazon Web Services.

","updated":"2025-10-11 07:32:08.724Z","user":"","username":"Michael"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 03:33:20.993Z","domain":"mathstodon.xyz","followerCount":31,"followers":"https://mathstodon.xyz/users/zaxioms/followers","following":"https://mathstodon.xyz/users/zaxioms/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/311/630/985/890/989/original/ef500e59a526e746.png","id":"ya43fl9vp45269x","inbox":"https://mathstodon.xyz/users/zaxioms/inbox","iri":"https://mathstodon.xyz/users/zaxioms","isLocal":false,"last_fetched":"2025-10-11 07:32:08.892Z","outbox":"https://mathstodon.xyz/users/zaxioms/outbox","preferred_username":"zaxioms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxcdt+xdchZccJt0iucXL\nxjx1tu9Fzk6g7cWj1jPn1sWXsnTeWYuZSAZJljRDElzFvATXw6FhU3ipnHiitmiJ\n/sijJzoM3llHrkz7f01qb91K7bE8w6uOeUpTQRhjKj1FAfwNsnCOuQlbTOSehMPp\nnOyUbqYqlqTDndqILw/dwk0ijiBIWmA6L4Er02UynJKAkRq9tY9TflOQ4JPETRLX\ndfiSEQelMkZYrnv0dWdkYoYPWqpf4LUfL91W5i8+u951Uol9DWUC1isJsZRFB+0a\nSmYVkj3uAkDKyqXbRMNZ09gZy4cpQVFoms3ycxJxF7XOhy1rgSIlF/Tv3Bbv2uEo\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-10 00:00:00.000Z","summary":"

Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!

","updated":"2025-10-11 07:32:08.892Z","user":"","username":"Zach"}],"page":1,"perPage":10,"totalItems":26,"totalPages":3}

Hemant Gouni

Followers