{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-03 22:35:01.898Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/ljungstrom/followers","following":"https://mathstodon.xyz/users/ljungstrom/following","followingCount":79,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/372/943/920/125/198/original/e49b66cdb7b5dd2c.jpeg","id":"0czf6iyvsugj139","inbox":"https://mathstodon.xyz/users/ljungstrom/inbox","iri":"https://mathstodon.xyz/users/ljungstrom","isLocal":false,"last_fetched":"2025-11-25 05:00:28.152Z","outbox":"https://mathstodon.xyz/users/ljungstrom/outbox","preferred_username":"ljungstrom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwYUbvKvZSk8kP6tU3iDK\npn+yqw/GKx00rEFGU3CgVDOM0hSTW3dyv6PSh13PCfMSX6grbzVNsv5OqRCjY96K\nDxd5BGAlFxtORlSDUcpIU0+IUul3vG9tl2gQzG2x4Qzf8LmwRhNrjhrMLN88fZW8\nfvt0/dPH3OR2U/5vq7d3ty7j0AJWKnWWKB6bKU7qN6FnhU3ZAJCgVGznWyhLdU+C\nKH6WyW0IBf11gMTn2N5KmlIAxkLXjJefvFK8hZhTUa9LqpUf6REu/mNHS8F3elSW\npX9i8DTN4yFDJnY2wGzkp72XZJLxz2X+MY2ZVy1GIi38+qAMBZogZ9AiO/cqBndf\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"","updated":"2025-11-25 05:00:28.152Z","user":"","username":"Axel Ljungström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 14:37:53.383Z","domain":"hci.social","followerCount":32,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":52,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"dhyz72ngys4n5yx","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2025-11-25 05:00:28.565Z","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-11-25 05:00:28.566Z","user":"","username":"Hemant Gouni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-09 03:33:47.820Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/yeejian_tan/followers","following":"https://mathstodon.xyz/users/yeejian_tan/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/644/195/908/701/999/original/e280ece79d928bfa.jpeg","id":"qrsr1a8zh40x62w","inbox":"https://mathstodon.xyz/users/yeejian_tan/inbox","iri":"https://mathstodon.xyz/users/yeejian_tan","isLocal":false,"last_fetched":"2025-11-25 05:00:28.600Z","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":"

PhD student in KU Leuven, Belgium. Interested in Type Theory, Proof Assistants, and Computational Logic.

","updated":"2025-11-25 05:00:28.600Z","user":"","username":"Yee-Jian Tan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-30 07:15:03.380Z","domain":"mathstodon.xyz","followerCount":225,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":91,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"o5rdx06twt9b6i2","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-11-25 05:00:28.634Z","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-11-25 05:00:28.634Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-22 00:25:43.028Z","domain":"mathstodon.xyz","followerCount":1877,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":507,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"l693x81y5043327","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-11-25 05:00:28.668Z","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-11-25 05:00:28.669Z","user":"","username":"Jon Sterling"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Kelton OBrien

Followers