{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":751,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":16,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"cd9ogdv88w560so","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-08-09 14:24:25.298Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-08-09 14:24:25.298Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 04:03:25.175Z","domain":"mastodon.archive.org","followerCount":80910,"followers":"https://mastodon.archive.org/users/internetarchive/followers","following":"https://mastodon.archive.org/users/internetarchive/following","followingCount":14,"icon":"https://mastodon.archive.org/system/accounts/avatars/109/326/087/888/226/666/original/6fd012dbbfe83862.jpeg","id":"cx1151014631jqr","inbox":"https://mastodon.archive.org/users/internetarchive/inbox","iri":"https://mastodon.archive.org/users/internetarchive","isLocal":false,"last_fetched":"2025-08-09 12:27:35.873Z","outbox":"https://mastodon.archive.org/users/internetarchive/outbox","preferred_username":"internetarchive","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvyW/QGTRbY3x1CtDcggp\nFtSDSz+6byTs3h1KnKs7YodhCsFfuXJ2BfZOB1e7TMLwnqC/gOyjwM8anHQ8j1+c\nqe9cAFedIbtyfZ7u+X5HJr9C4lSDHW/H0jgeOdSWhmfhpAXSmW6l7mg9C3VFZ89s\nKFtMIZ3p3Hwsowmfqa0TwFQ6Q1qKz+z5gD30NOCjlo66DVkzw8sIk+GjxcVbPJY8\np3GLt4zC3y3eT08MjuRAz/z1uuwHe2Fx7MS2/NSktJFErfUDVqO5L6kCdc3CExPv\nOOgzAMwgerwGf6vFsgN0EUDAqyLBPFK8261pf8Sdv9Q2dnEqNQZTjdbTn2xjxhzD\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.

","updated":"2025-08-09 12:27:35.873Z","user":"","username":"internetarchive"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:14:09.500Z","domain":"mathstodon.xyz","followerCount":2521,"followers":"https://mathstodon.xyz/users/dpiponi/followers","following":"https://mathstodon.xyz/users/dpiponi/following","followingCount":378,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/565/143/559/187/original/1adc4c3f46ce8dd7.png","id":"xqrelfhu627fh8n","inbox":"https://mathstodon.xyz/users/dpiponi/inbox","iri":"https://mathstodon.xyz/users/dpiponi","isLocal":false,"last_fetched":"2025-08-09 14:24:25.746Z","outbox":"https://mathstodon.xyz/users/dpiponi/outbox","preferred_username":"dpiponi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1I05hrEGWrHSluKiY7wo\nKcPgZVJ0UdGK1oyPjgB7zK2Z9DBffNf2yhTwAkiPtUt2OA4UPe+5C0XE4Srw7V1b\no83u5RnAvoFmfzOnKnj8IGDjxKHfcmy7qyY01osegahl/hOPbAid/ETbuJNYUizR\nmSPo4/xaIvH56VD7Y0UTn0rcp9Pxh9Y0vTVSWArJ94G2SFpYgrBWk/TDdY/bzdrb\niY5CJAicp3tVHIVJs5HNKfxhK6jMI0Gg3uDmNyuf7fHvck24GNzbO61G5ntozvCO\nHH3QgjgjBj03I62S5lfsUBlGnlvzCpnxyWi9wv8noBeMU13PVLYfz8sLg4L07tsF\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens

Current life:
🎮 Epic Games

Previous lives:
🍩 PhD in Riemann theta functions
🧬 Glaxo Group Research
💥 Mass Illusion, Esc, ILM
🎈 Google X, Verily, Google

Likes:
🚴 I like to bike
🏃 I like to run
🎛️ my musical tastes lie towards the electronic end of the spectrum
🚀 I like Andor *and* The Mandalorian

","updated":"2025-08-09 14:24:25.746Z","user":"","username":"Dan Piponi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:41:37.845Z","domain":"hci.social","followerCount":2612,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":995,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"n1vpu9l2rd1ro20","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-08-09 14:24:26.174Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2025-08-09 14:24:26.174Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:28:19.831Z","domain":"mathstodon.xyz","followerCount":594,"followers":"https://mathstodon.xyz/users/OscarCunningham/followers","following":"https://mathstodon.xyz/users/OscarCunningham/following","followingCount":503,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/883/431/982/211/762/original/ba139ab6efaf4f0c.png","id":"p14pxj38j9jxv5u","inbox":"https://mathstodon.xyz/users/OscarCunningham/inbox","iri":"https://mathstodon.xyz/users/OscarCunningham","isLocal":false,"last_fetched":"2025-08-09 14:24:26.206Z","outbox":"https://mathstodon.xyz/users/OscarCunningham/outbox","preferred_username":"OscarCunningham","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4/OVtbyVckhZiUkmpEB9\n+bSxpY6lruMsONAwcECnmhTZToOUmfGOyHYzX80wZ20jrFlw7fvrbIjBMt7PIfpK\nel0qTUfTfomtCn2VvRbSKf2HNYSgnCA4eB1qehowRWmv1LevrLJH5hVk6hKZa829\n/4YAIKO9sjTI3NQZI7aRAUq4Z4MT5mKxRiqzlK5qeaN71As5P2oG+wVxBPbq+ReH\nSIaepFHxy2mouVxm7h75Tf5dyFcbUtmWJnq06WcPT36cjgnJsGOXC95gkWiUYhMa\nuDcYtNBnkqMxjOD31Ui4M6/arm/0OmpOyt9peqHx7JML4inHCc5nGc3Go/XddF84\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-08-25 00:00:00.000Z","summary":"","updated":"2025-08-09 14:24:26.207Z","user":"","username":"Oscar Cunningham"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 00:31:28.988Z","domain":"mastodon.social","followerCount":56046,"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-09 14:24:26.296Z","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-09 14:24:26.296Z","user":"","username":"Project Gutenberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:23:39.692Z","domain":"mathstodon.xyz","followerCount":4913,"followers":"https://mathstodon.xyz/users/BartoszMilewski/followers","following":"https://mathstodon.xyz/users/BartoszMilewski/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/154/379/845/901/original/862ec704f5fa1247.jpg","id":"60c2hj5kb4b548k","inbox":"https://mathstodon.xyz/users/BartoszMilewski/inbox","iri":"https://mathstodon.xyz/users/BartoszMilewski","isLocal":false,"last_fetched":"2025-08-09 13:31:55.713Z","outbox":"https://mathstodon.xyz/users/BartoszMilewski/outbox","preferred_username":"BartoszMilewski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtozdymsysyTdBl+BYPi5\nLiBntVfG7Awfi7HC9TrQA1bF3DsfN0tP0wGp/zQal+LObFv3P8x5yFYCIpW3QTS7\noKMZCyyPEywDAjLGvd/E9ANoVe7zRajtQ4Ys1sk3qoZ0WlIC0sQA64NQl0FqKwm2\nXPtWZQViveuFwPyHUwOxcoR0D51Q00frRCXPiIy/XBzGsKB/MGIOopa4HasIbqxn\nW5FXmtDzfUDC4ue9aRSjzF9tGhLAX3RpnRqBdbyfZpB9mm4YTjYKL/G3ldzRHm6u\nAi4xTSPQKLzlk4tvnlyotP3EHh2BExkJqVUrdR2E8yrfWrUXWz9EBXKWG/CMvRAS\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

","updated":"2025-08-09 13:31:55.714Z","user":"","username":"Bartosz Milewski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 11:46:45.846Z","domain":"social.jvns.ca","followerCount":49069,"followers":"https://social.jvns.ca/users/b0rk/followers","following":"https://social.jvns.ca/users/b0rk/following","followingCount":340,"icon":"https://cdn.masto.host/socialjvnsca/accounts/avatars/109/660/480/300/389/072/original/5dda531c8ccfc0e8.jpg","id":"n7v1ni03zi06341","inbox":"https://social.jvns.ca/users/b0rk/inbox","iri":"https://social.jvns.ca/users/b0rk","isLocal":false,"last_fetched":"2025-08-09 13:33:05.642Z","outbox":"https://social.jvns.ca/users/b0rk/outbox","preferred_username":"b0rk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwZmllN/DN/G2zFJ5qdgR\nrceA3+DnZ5mqOePaxsvgNCCMZo9CKmrXXoxFhZpsu9j75PqLcKoK/Q88zMVq7jLj\n0Vzt+ayqu1CLENxHQPHTUC/aaB+fqYEh0PDzENFWN/OPeSdAAPECV1r8SLro0EEv\nAh+xhSaFsuk7B3YfWVqXuXNwqj1EMJZzTOhgaNfiKVAMo3CxYe5uT++I35zIxPsK\ni/EydtYPZ5PeMtmjVyfMEYv8/7aHOmfynqwCmZf+icrv6OtUhyYKzX9+ByfUtSKQ\nDyxtHUUzZ/fU/V2o3AjieZWSOIdqGJSQ5cnQLj0/uRvz76Lj16D3/0Jlq1cKqevS\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-09 00:00:00.000Z","summary":"

programming and exclamation marks

I have DMs muted from people I don’t follow.

","updated":"2025-08-09 13:33:05.643Z","user":"","username":"Julia Evans"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 10:19:04.102Z","domain":"mathstodon.xyz","followerCount":1549,"followers":"https://mathstodon.xyz/users/gwenbeads/followers","following":"https://mathstodon.xyz/users/gwenbeads/following","followingCount":300,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/507/762/413/512/134/original/169691ebb9ce0e57.png","id":"9iu5u24q77tupw0","inbox":"https://mathstodon.xyz/users/gwenbeads/inbox","iri":"https://mathstodon.xyz/users/gwenbeads","isLocal":false,"last_fetched":"2025-08-09 14:24:31.376Z","outbox":"https://mathstodon.xyz/users/gwenbeads/outbox","preferred_username":"gwenbeads","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwPYxd4QiUV3OkJhmiHCX\nO9bcgNxevJapcICLuSHYfoYBwufZdpG1+vTXA17v4B+nYgcx+dXK+pEtQ/FTKo4t\nMQ/vYuLmWrwvK/LEJdku24ClDXUcbnAiCNL/NtQfZ6jfKxzyr79TVFYtV3EETy8o\nG7G+u7LrFpwwVH8pIApWlh0kU2slqi+fm4EoDPujH4skqG1LORbS1x6zSgKPAgw1\nPUtPU6kfRwbhFuC3+TVtAGcLONpm9wTjcRkmp6vpBrqAwbEqY4VzaotLIhzaLKtQ\nJ3lhVRFzrVGjAYPLp6nn29SUBhGrTfagAN4MgZsM48qM0TAS0Pbk9Pr3DsVta1sR\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-13 00:00:00.000Z","summary":"

I teach math. I make art. I make mathematical art. I also draw cats.  I love pigments, paint, and color wheels.  I sew clothes and weave beads. No NFTs. SF Bay Area. My Erdős number is 3.  Find my art and art tutorials for sale in my Etsy shop, gwenbeads.  #MathArt #WaterColor #MathEd #painting #geometry #math #gouache #Doodle

","updated":"2025-08-09 14:24:31.376Z","user":"","username":"Gwen Fisher"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-17 01:41:01.676Z","domain":"mathstodon.xyz","followerCount":2399,"followers":"https://mathstodon.xyz/users/j_bertolotti/followers","following":"https://mathstodon.xyz/users/j_bertolotti/following","followingCount":323,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/246/464/168/164/998/original/fd737a375bd6a2dd.jpg","id":"06je9ns1d3013m6","inbox":"https://mathstodon.xyz/users/j_bertolotti/inbox","iri":"https://mathstodon.xyz/users/j_bertolotti","isLocal":false,"last_fetched":"2025-08-09 14:24:31.410Z","outbox":"https://mathstodon.xyz/users/j_bertolotti/outbox","preferred_username":"j_bertolotti","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1vmLwe6Y8faYh2d4G3kY\n6/1qzdhR7e8vq4rZ99cqvFxEGh2KdoQ2yRya6S2cRNzZtEFLGQgmBuTVNFDiNjwq\n1Nlb4GOwFveufgi5P8CxpPonW0PfKFyRalVXhextILaUF34SMPCn5X1Ks09BJjIR\nijpgQAvdlYW/suOEbnnwgOcLRz7RR569nGyKazVG6W79TNAttPRwf7RNHRmiYLyh\nMf4tEq54hDVE1OEv0+lMEdS3ptVtyha4W8Y7HgbjXrIEI7We5FjNcfWqAbntMP+Q\nwNpwwFw+C2wEu491G3wx/MpJHBRNt4X0rq6RSsl0lw0ItKrL+ZH3vchjYwLKWAaz\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Associated Professor of Physics at the University of Exeter.
Scientific visualizations (grouped under the hastag #PhysicsFactlet).
He/lui/on. All opinions are my own fault.

","updated":"2025-08-09 14:24:31.411Z","user":"","username":"j_bertolotti"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

hyunr22

Following