{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:56.901Z","domain":"mathstodon.xyz","followerCount":1717,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"r1866528xya1888","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-04 15:56:56.918Z","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-08-04 15:56:56.918Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:54:21.319Z","domain":"mastodon.social","followerCount":1686,"followers":"https://mastodon.social/users/haskell_discussions/followers","following":"https://mastodon.social/users/haskell_discussions/following","followingCount":21,"icon":"https://files.mastodon.social/accounts/avatars/107/570/204/388/844/859/original/e22181177464ab74.png","id":"ht8gbyats903ls7","inbox":"https://mastodon.social/users/haskell_discussions/inbox","iri":"https://mastodon.social/users/haskell_discussions","isLocal":false,"last_fetched":"2025-08-04 15:56:57.019Z","outbox":"https://mastodon.social/users/haskell_discussions/outbox","preferred_username":"haskell_discussions","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlWHQar0mrKjCQNL2jSn0\nQ7i2jzZnra43H5JYZeKuBZxczRTwwuzqrv48b46Ac7qdqSttpfPGd8EERPY8osH0\nPeiPZzkpNK1qeIsdMyxPe/QFdfCLiNdtLhK2dGq37mlPFNkZEdGvp2huuQYVZPtj\nwna24ry/080iEIdxIcl5AGL41k1eAPDM+PAG2WWFIvoIk11LwMXzcN5+WrUWb0MY\nyVLy2HUXrgsD9J16IqWYNNIm4FDViqBffS164rvseiDkzWtQCB5k8xVpa3BSpn0f\nQ4No2SZgNDLben7LYIlHHBwOOreUyv47EqhSd9cXdqkjEJsXrAUoUVegT9n6jArm\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-01-05 00:00:00.000Z","summary":"

Articles, projects and tutorials about #Haskell.

Weekly newsletter: https://discu.eu/weekly/haskell

","updated":"2025-08-04 15:56:57.019Z","user":"","username":"Haskell Weekly"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:15:24.666Z","domain":"mathstodon.xyz","followerCount":1372,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1038,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"uzp7idahf2153vu","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-08-04 15:56:57.050Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2025-08-04 15:56:57.050Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 00:31:28.988Z","domain":"mastodon.social","followerCount":55862,"followers":"https://mastodon.social/users/gutenberg_org/followers","following":"https://mastodon.social/users/gutenberg_org/following","followingCount":47,"icon":"https://files.mastodon.social/accounts/avatars/110/441/535/131/897/219/original/0ddf9d4dd12a5dee.png","id":"25lo5767fynqz4g","inbox":"https://mastodon.social/users/gutenberg_org/inbox","iri":"https://mastodon.social/users/gutenberg_org","isLocal":false,"last_fetched":"2025-08-04 14:06:27.867Z","outbox":"https://mastodon.social/users/gutenberg_org/outbox","preferred_username":"gutenberg_org","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6GpHsg3G7GofMq1U4qUl\nTLXFwKhSBGbj9+7b3/293tBVBBJEKae1I3jNiUVJjClRzkdrpg2BuEnPrLopMv6T\nN3AbTUK04d44LQvNruBxcqLZD5Xjohx2bvzXG0Gl8Onj3ctDX4lBQ65ymcZmxJWY\n5radLNTuW/n6UArp4Ast002TYqoskRpwl0mNjYNrkF11Pm953QMBPjp4N6n9njne\nVB4Z23t5ux4FT0C79P3TcB260hFMnaOmQb96fze6qIuq2Y2EmElkRPxAsNKhJ3mR\nXFPo7UlgNZda09sewjiFh7ZhIEHYeB+0532IfZY4QvCeBlB9De4ZLRe8B8vpBsaz\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-27 00:00:00.000Z","summary":"

Project Gutenberg, founded in 1971, is the oldest producer and distributor of free ebooks.

For more information, visit our website at:
www.gutenberg.org

","updated":"2025-08-04 14:06:27.867Z","user":"","username":"Project Gutenberg"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

lelysi

Following