{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 12:28:54.957Z","domain":"hci.social","followerCount":25,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":44,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"319179o6g0o9qz4","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2025-10-09 11:57:37.224Z","outbox":"https://hci.social/users/hgouni/outbox","preferred_username":"hgouni","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtnixXYs8HsrFphiJ9CLb\nbZkUxBqRAD/5QEXgl9stDx8RnJ2tu6p+yZBLVtO9F2QTe+BbfNb+9+GhKeWyOESV\nymz0kXGAR5OO1OXXQn723QXwhP0zGo4njDGYeJHwhzLiNl/GKyDJqNyoh6ZTley6\nIoJ5hJL4MsBxvI8onUWW1vfi/yOFygixVUAzyco9eiYe7DtyMMOhUnBNdfoQZ4wm\nxo+j5lh2FQuaGb+bfVnA3ISsbA64Lbzx10Egp69wWhhA4xAHsYt4xBi11FZVTdzi\nr+7Rj9O6KEm3bphYL+2v/qEIEVRcOdZrlRF6WLu7GkLfJq+28iL5Sh6axFF7kD5M\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-18 00:00:00.000Z","summary":"

Third-year PhD student in type systems + HCI @ CMU

","updated":"2025-10-09 11:57:37.225Z","user":"","username":"Hemant Gouni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 07:47:41.902Z","domain":"mathstodon.xyz","followerCount":21,"followers":"https://mathstodon.xyz/users/yeejian_tan/followers","following":"https://mathstodon.xyz/users/yeejian_tan/following","followingCount":46,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/644/195/908/701/999/original/e280ece79d928bfa.jpeg","id":"6812j2gr160433c","inbox":"https://mathstodon.xyz/users/yeejian_tan/inbox","iri":"https://mathstodon.xyz/users/yeejian_tan","isLocal":false,"last_fetched":"2025-10-09 11:57:37.252Z","outbox":"https://mathstodon.xyz/users/yeejian_tan/outbox","preferred_username":"yeejian_tan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt5+NFQAPeQRhGtuBFnZ5\n3XT0ZeiRNKGnmetzRiFjn24SqDXmBR973V94wSQxNKcy8SdJ3pOWM4FtcLiHWfqg\neIskzwYGyQtdYNny/gDsV1vN+dWd9rbiWvPPHe90GQjq9oqvCjjXh+fIaIX96Ilr\nw/sdiCbRtvlPc3mzg0FyctLU4aYoV15qoZxFH10cDTuP9ithj8oAFhXpZ7znhNKa\nEtUeMcTwktdqcUpk2jiEbChkHnBAuCfSvwZxaYjKTZYIzrtV3j+fNlpIqDmXHX0s\nGn0yHd4HI2sDWKApqtTT/IyVMRM3q9KdMDK5joll5N8BevIIO/dmfJ+IcOFgyiUY\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-06-19 00:00:00.000Z","summary":"

Masters 2 student in MPRI in Paris. Interested in Type Theory, Proof Assistants, and Computational Logic.

","updated":"2025-10-09 11:57:37.253Z","user":"","username":"Yee-Jian Tan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 04:29:06.860Z","domain":"mathstodon.xyz","followerCount":217,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":88,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"41qv8ym17wkua6z","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-10-09 11:57:37.276Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-10-09 11:57:37.276Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 06:45:35.564Z","domain":"mathstodon.xyz","followerCount":1817,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":500,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"0n1y9a1f4d4095p","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-10-09 10:52:24.838Z","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-09 10:52:24.839Z","user":"","username":"Jon Sterling"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Kelton OBrien

Followers