{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-16 06:12:18.248Z","domain":"hexa.club","followerCount":2766,"followers":"https://hexa.club/users/hmason/followers","following":"https://hexa.club/users/hmason/following","followingCount":276,"icon":"https://cdn.masto.host/hexaclub/accounts/avatars/114/279/994/275/727/061/original/8f3b979e31d19d69.jpg","id":"9p37umezwz151h6","inbox":"https://hexa.club/users/hmason/inbox","iri":"https://hexa.club/users/hmason","isLocal":false,"last_fetched":"2025-09-02 18:10:08.425Z","outbox":"https://hexa.club/users/hmason/outbox","preferred_username":"hmason","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7L+8P79m9hD5/MH+TSFZ\nvwqsoL+l9vBIjd1eYYZ40iFACo5xT7hfos1295MM4RNeAq6n3M2VesIGpQsFnS3O\nU4IQu4UmEcm01GWxE4DV+TiljSmbvrdfuXH/PWq3JOwgUUyBoTiyFCye+PzDGu8/\nn9rAm5dcqprHzX6b8P9aM2jjld3yu7MyTngHYAltN0+7EWlK7hqJLxrHXwe66kv+\n231E9XWc5URbahLOHA3w108b/j4VeHCdQxJAWaE+mXPoEYro9WyZYAvWtGWVTkaF\nWoPiKtnOh93f1ekwKvxMqoWNzIsdAKZg1nRJsE8yaIf/SV2/HOrQP13i5xA3Vr/G\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-04 00:00:00.000Z","summary":"

She/her. I like data and cheeseburgers. Co-founder of hiddendoor.co, making any world into a playable story.

","updated":"2025-09-02 18:10:08.426Z","user":"","username":"Hilary"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 15:57:50.615Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/7sharp9/followers","following":"https://mastodon.social/users/7sharp9/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/113/226/172/729/085/143/original/3ecc00223e6375b6.jpeg","id":"y60q71nkwv31l3d","inbox":"https://mastodon.social/users/7sharp9/inbox","iri":"https://mastodon.social/users/7sharp9","isLocal":false,"last_fetched":"2025-09-02 18:10:09.030Z","outbox":"https://mastodon.social/users/7sharp9/outbox","preferred_username":"7sharp9","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWgReVOGL3V1/9V7CKdI\nNbBfaQgOTFL1P8gJEItAStD2Hpu9mSg69UOh4YXAcBRwC1Skdznfz0loAkeSoUk1\nm6Jakf0aavOiJvzD2s1JrzZIKAIXxoMVstorgjc+f0pMgEgWNmkKf5X+aCbTFAET\nHZ3gsVe2zd3hKYH/n3LiJ4eB0SrPGl6qJZBqPKgCG4N8e0SIKglCI+BKFn7zOZ+N\narL+s7Sox8FpZap272D6weqS/LSDv9YO7cRpvy1AJ3lEtj23grD/G+f+sIpnteDC\ngmmQuwd7MbyLHgtaPL/WYDPTcd9Mm4zE9Ujk/wJzqtyqiz7Pargv0wMNd3Kvie1R\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-30 00:00:00.000Z","summary":"

Audio / dsp Programmer, guitarist

","updated":"2025-09-02 18:10:09.030Z","user":"","username":"Dave Thomas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 18:39:53.494Z","domain":"functional.cafe","followerCount":615,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":175,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"v7502oddfgv9603","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-09-02 18:10:10.170Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-09-02 18:10:10.170Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 07:15:50.807Z","domain":"functional.cafe","followerCount":801,"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":"28ws37pdm1558mc","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-09-02 18:10:10.352Z","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-09-02 18:10:10.352Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 11:19:29.519Z","domain":"mas.to","followerCount":880,"followers":"https://mas.to/users/darklang/followers","following":"https://mas.to/users/darklang/following","followingCount":636,"icon":"https://media.mas.to/accounts/avatars/112/207/501/968/481/066/original/aa801d3b29f0a5de.png","id":"v122jwam9ndl227","inbox":"https://mas.to/users/darklang/inbox","iri":"https://mas.to/users/darklang","isLocal":false,"last_fetched":"2025-09-02 18:10:11.100Z","outbox":"https://mas.to/users/darklang/outbox","preferred_username":"darklang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwRvpQX406qGubzFLXDcZ\nleLk8qeEg7MJTRlVohNrFeb8yBl6vmdWaYhWgn8BxHBC4vuGzjoD0YxPxbNjs5DG\nGtAKh7iaXMX9O/ivrac44qzK9bJuiH3LXjERlOUt75kD4fXxIyGz6ZuhmoNQy0lF\nssw9lE+sOpItrQ3OUX9788t6JcrorewneCbQARIv+5MrXQXhPL/MKqdXWlbyVCta\nCPJhUDq6/uHIdNuDPc3sc+GYTzXKdraVaCepKWcEGCHltTk31jWiw2d0x674cd5e\nsk5y1dmD7TCx+8MuvZDT66QorDKpxl40M12casxR0zdo+JykMnkWXE2n7ocIpABc\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-03 00:00:00.000Z","summary":"

A programming language to let developers build trace-driven, deployless, serverless backends.

","updated":"2025-09-02 18:10:11.101Z","user":"","username":"darklang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 16:04:46.230Z","domain":"mathstodon.xyz","followerCount":19237,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"q1p4440b198o8n0","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-09-02 18:10:11.253Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-09-02 18:10:11.254Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 18:10:11.748Z","domain":"mastodon.sdf.org","followerCount":0,"followers":"https://mastodon.sdf.org/users/jmarr/followers","following":"https://mastodon.sdf.org/users/jmarr/following","followingCount":0,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/575/901/005/224/069/original/38b659818ddee58a.png","id":"46g8z9grtdks7h9","inbox":"https://mastodon.sdf.org/users/jmarr/inbox","iri":"https://mastodon.sdf.org/users/jmarr","isLocal":false,"last_fetched":"2025-09-02 18:10:11.748Z","outbox":"https://mastodon.sdf.org/users/jmarr/outbox","preferred_username":"jmarr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw9devXCYYQpxdxhu2kNS\nOCtH4eHvHtm4skhxNF8y5/SRLI684KfVdznFSXeRjkF+fK7ZdRIYfiMOMpu3xlfe\n3D0tqOas7/DrokzGCnuAd8LAeH/x2ZXXY+Z3uS6fBY4e6sPsJi2H+f/H0h7vhvub\nGX0mwpgnyI8wEUKgvkJHrKsL2KSzCmbL1ZnToCTYAU6QVAQEVeF2N1ow68Jzs3xX\nfg2J3L/kDlkfgaOkXsyv/9POW4hz0n2K4FJECHyH33bh5ezGXKqWL1YY97or8FNx\nI5bm0jJTjCH6isJ6rvlOIujNEFerisxJJbQ7dZa/DcWxzCjF/zgB7m60Tto2dfKO\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-25 00:00:00.000Z","summary":"

Here to talk about F#.

Please check out my F# OSS projects:
https://github.com/jordanMarr/

","updated":"2025-09-02 18:10:11.748Z","user":"","username":"Jordan Marr"}],"page":1,"perPage":10,"totalItems":103,"totalPages":11}

Steve Goguen

Following