{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 11:29:25.637Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/startswithabang/followers","following":"https://mastodon.social/users/startswithabang/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/114/773/086/662/167/133/original/a61ab028abb6aa35.jpg","id":"6014uke2xyg93k1","inbox":"https://mastodon.social/users/startswithabang/inbox","iri":"https://mastodon.social/users/startswithabang","isLocal":false,"last_fetched":"2025-07-29 00:37:25.422Z","outbox":"https://mastodon.social/users/startswithabang/outbox","preferred_username":"startswithabang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt6HfjxVyAgTCyP0SUf0/\nB7rshNz/GkXXcNGmWRGJQiI1Wq+9DvRqmkeSivJeCyYWcnotT6JedOnmZ4YX4mF+\nb65bmYxtVAbynj4npbl1fJ8uJt8P5O3ZVYYyprVqfcshQjfCOjzyUkqPNmwOB+mc\nb0aYgdgLhhnVWjVOgy6ILxEWayijVRFeeG6XHDbsRSDvfrl6vPtAz4h8EKOoybtt\nfVY353GvBf9yaVt1qfxQBRkWGPmaHXD4wykGXxDAk8pnZMld/OmKqJyr1WX+h9e1\n49Ppl114tkqaH0ZNZDNEla/7xw9YSxh2Ybi+c1ydiwuMZGYEAGcGDpMhgBZ9mHsy\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-30 00:00:00.000Z","summary":"

The Universe is expanding, cooling, and dark. It started with a bang, and I'm here to bring it all to you!

","updated":"2025-07-29 00:37:25.423Z","user":"","username":"StartsWithABang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 13:08:07.153Z","domain":"mathstodon.xyz","followerCount":338,"followers":"https://mathstodon.xyz/users/shonk/followers","following":"https://mathstodon.xyz/users/shonk/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/002/650/original/c42602315496ead3.gif","id":"21l39tpxss817rq","inbox":"https://mathstodon.xyz/users/shonk/inbox","iri":"https://mathstodon.xyz/users/shonk","isLocal":false,"last_fetched":"2025-07-29 00:37:25.463Z","outbox":"https://mathstodon.xyz/users/shonk/outbox","preferred_username":"shonk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0q3dGsfhkgLhN4U8fRWG\n7bkfe9YqySivcojztKdvRYKGZycAB1Y4gh4SvzbKiGmdess3y08t96C09aF/4cUv\nmQQD7iuJhsEyuJF9D1KMYlFYZbVkBC6Tc8oEKoNiTZ362Is3420ayT/xnVDXm017\naXjQAKZ1g+bkeDLxs996wHOSlCDtH66LyZ7c8SCE9k6evEoN6l54beuWqIzVk8nU\nTF78f7sikyxD6G/lk6/d85tOJtT6Uq2ZEspjSc9T15/0+5dSLB/4rts9VNmscvjY\n77R1usmCTU1GsGen0qdPZbMtPf1A3uJTD+VUgg26q4o7qYp8qDpPYGtcw0tSGRJ2\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-08 00:00:00.000Z","summary":"

Math and art https://math.graphics

","updated":"2025-07-29 00:37:25.463Z","user":"","username":"Clayton Shonkwiler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 15:09:38.946Z","domain":"mastodon.acm.org","followerCount":107,"followers":"https://mastodon.acm.org/users/RocqProver/followers","following":"https://mastodon.acm.org/users/RocqProver/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/793/938/089/664/962/original/40a97cf3f2f663dc.png","id":"f6f3v7ac87088g8","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-07-29 00:37:26.620Z","outbox":"https://mastodon.acm.org/users/RocqProver/outbox","preferred_username":"RocqProver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFd0MqbQt/j58L380sLv\n29VHRYyVqk7FV0PQMUlphydOdwotTKPmj98j0K8EIHsW46uzv6Yp9LxMU7IOid6g\ne6bj3kjugVTGnFxHYqV6MepFJEakwUR01ADMLTWxiYtKHI4YFdUiZcsC+kTf2zEh\nhh/+8wI+hY5E6vJMbNRtWvBsbmqQ+tJT/CI9yhZ5H/G0r9HKed+2JnQImVMfnLQq\nZ7lNhVTTL+WIchbBeSfctYnOdTAU8/2u/Uq/f9gdFyTORewqehCZ/TZsojG9W5Nf\npil/88B2VeR/CtCYuTE8JkstyVPKCu4YoEtTUzJtTBQfjbj5yyFLzl6IDNQ618t5\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-08 00:00:00.000Z","summary":"

Interactive Theorem Prover and Dependently-Typed Programming Language.

","updated":"2025-07-29 00:37:26.621Z","user":"","username":"The Rocq Prover"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 18:20:02.965Z","domain":"functional.cafe","followerCount":740,"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":"23e049x6k400qp2","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-07-29 00:37:26.934Z","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-07-29 00:37:26.935Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 12:27:31.065Z","domain":"mathstodon.xyz","followerCount":6381,"followers":"https://mathstodon.xyz/users/bleuje/followers","following":"https://mathstodon.xyz/users/bleuje/following","followingCount":99,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/906/689/068/976/935/original/d383587b51481bf0.png","id":"p187432u3a7yun1","inbox":"https://mathstodon.xyz/users/bleuje/inbox","iri":"https://mathstodon.xyz/users/bleuje","isLocal":false,"last_fetched":"2025-07-29 00:37:26.973Z","outbox":"https://mathstodon.xyz/users/bleuje/outbox","preferred_username":"bleuje","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsncgT6FA9NZ5pMX3zuiJ\nyLTjS+06VAEeehWHVKFEqJFONjkX0NcFICiWSBAN/bproqMYDbjVp8+Pn0uOpsUp\nSDP8y7QcsSekJyYdI23pGkhYgI3BwJa7pYvW142vEvPm2hWy9FX5dJrdM7ZmaCrL\nYsDFsan3C/HrZlgmGaFqehS+cwNmoBSGnAdfl8F13Lr0c39nZTKYXFAjQS3iWe4b\n9u4hp6fIldEIYIjOTz7Hxl6UqgdB8sVygsydShYldH5s1w7zqdE434k9MYk9w9Rf\nxEFxpARjIC8VGq5NcoY/hpZeR9Rga909fa0FLMvjaHS4jRhZWzOhL3VjJlU4cIkv\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-05 00:00:00.000Z","summary":"

creative coding, gifs made with code

","updated":"2025-07-29 00:37:26.973Z","user":"","username":"Etienne Jacob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 12:22:27.119Z","domain":"mastodon.social","followerCount":22583,"followers":"https://mastodon.social/users/caseyliss/followers","following":"https://mastodon.social/users/caseyliss/following","followingCount":116,"icon":"https://files.mastodon.social/accounts/avatars/109/353/744/428/166/559/original/2e92fa13657bbec9.jpg","id":"gnf1654l678f7su","inbox":"https://mastodon.social/users/caseyliss/inbox","iri":"https://mastodon.social/users/caseyliss","isLocal":false,"last_fetched":"2025-07-29 00:37:27.202Z","outbox":"https://mastodon.social/users/caseyliss/outbox","preferred_username":"caseyliss","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqM7k9ZPPVKDkDLNo5RPv\nFDa/9fxIysmMb23to+bmAHF2sHvqok5qJJMKjWk4D4FNwp6Fcvr7rBmpzvUUrPqN\nyEsE5WF5lagVoOSIFCSLvau6iXhR03k7qESupFpbLnCdegO67WJXCZ0y/fHKRE1W\nECksi0hBo/Mi97BpykfhZNEVuPW2NaOKT+ULEhW9C1v/P5xyK7hEaYV62CI0tIfy\nw/0iBqKfFcupqdJDHsgH7+vQYbaTT4JWfz6hev7O7yh206/CjmPzbrcoR6PwkL+j\nnahIvxFJZkB/u0jHNho/cC4uuZtukb3jPA8ybHd0Z/bkp9Xf+Vo1lG6LhlYZQBgX\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

“You’re like a Dave Matthews sommelier.”

A man of occasionally refined taste and usually coarse language.

Based in Richmond, Virginia, USA.

","updated":"2025-07-29 00:37:27.202Z","user":"","username":"Casey Liss"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 00:37:27.305Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/mitchchn/followers","following":"https://mastodon.social/users/mitchchn/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/735/719/108/027/019/original/0ec3bbb04517941a.png","id":"7310oguentvd98c","inbox":"https://mastodon.social/users/mitchchn/inbox","iri":"https://mastodon.social/users/mitchchn","isLocal":false,"last_fetched":"2025-07-29 00:37:27.305Z","outbox":"https://mastodon.social/users/mitchchn/outbox","preferred_username":"mitchchn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2LrTbipsM7Vt/e0Ar2VM\nhkKkA7jb4w3yQDGCg5KmCRaBWlGrrsxILRHRZSFLqT3huYp3cTq/jDOPHs+4i02X\nF23ZQWIoreA6yd3R1TfVzgMbXv4/2hv6VguTiuxFAiFNmMuy9cWKoCeYHMQkj1Vl\ntbJ7gCX4bpQf2kCXvtuJl80TJEsF1mhvdDhhZA3CDDooOM7JML+lNgVFgRMi7AOV\nzwXxedDxjkMnJ62pkRkQ3c8Dm7t26FIB3Z6lYq8W9xwzKHjjLFe08P8HXik3UCV9\n5i1e6uOAFyhfK8jrOU9iNGZodS7775dlYwn4zxKiCh+BQAemhYoFCzMQ+KWUfxGu\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-23 00:00:00.000Z","summary":"

Principal PM @1Password. Here for the takes. Tech, infosec, gaming, coffee, and whatever else we’re geeking out about today.

","updated":"2025-07-29 00:37:27.305Z","user":"","username":"Mitch Cohen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 00:37:27.469Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/StevenXClontz/followers","following":"https://mathstodon.xyz/users/StevenXClontz/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/288/506/original/af67f9822abf1bce.jpg","id":"m56zf2t9v62hzxa","inbox":"https://mathstodon.xyz/users/StevenXClontz/inbox","iri":"https://mathstodon.xyz/users/StevenXClontz","isLocal":false,"last_fetched":"2025-07-29 00:37:27.469Z","outbox":"https://mathstodon.xyz/users/StevenXClontz/outbox","preferred_username":"StevenXClontz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvopQ7ETrXw7cCTwut36c\nB/HwppLJAbz9v2irma5AzfF9PCTOo2OK9hStmYDKGMmC36IlAXVkVKz97sdt7C5a\nEJV6BUkKHM65LyQ3ac5dUx5Wv/9ERaSzdOMvPjTcMswYWYpzVNk1/cbAc93Tl5ox\nZUkkbqTci5CtYLnPZY93q9VlWi+sp76kTaFDNjcGgrcbtZl83OYG7t5uE1FzIzQF\nzFN2nzXayX3LFywUD9VG0S1ggzjpfcwkyPgeOizr94jsyeYow23IRb/bz0DCEmuP\nbsrAM/T+bCKj4V3CQU0rYCbUTCFZw1sXTPLHoDlZN5GKgtYPggepm/US9X92nRtv\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

Mathematician, professor, puzzler. Work includes general topology, the cyberinfrastructure of math and STEM ed research, and puzzles and games that enrich math outreach.

","updated":"2025-07-29 00:37:27.469Z","user":"","username":"Steven Clontz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 15:15:33.971Z","domain":"mastodon.sdf.org","followerCount":0,"followers":"https://mastodon.sdf.org/users/dsyme/followers","following":"https://mastodon.sdf.org/users/dsyme/following","followingCount":0,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/258/955/698/831/013/original/34581c00ba24caec.jpg","id":"r0m7i6n409i10g4","inbox":"https://mastodon.sdf.org/users/dsyme/inbox","iri":"https://mastodon.sdf.org/users/dsyme","isLocal":false,"last_fetched":"2025-07-29 00:37:29.776Z","outbox":"https://mastodon.sdf.org/users/dsyme/outbox","preferred_username":"dsyme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnXQBbnjgnL+IRBftwwQi\n2NxQPb8aqJHGJ7+YWoiwBQvoiI7o9hiWeGgaReAwyUYbViYszaqq7TYP04LknE0A\n6Pc5yeccdRSzdu8a0ESSwnEVZc9ivugZwF85wVXcj0yIbcvm643JSKynidAyp9+r\ne2CpUB0s5x5bWsKOoOFR8c9uks/0K9xfetGiuDklOCghxpCEeNCntMPrckuehLzD\nAw/Qt/bySabndzJjiKXJrtRJwA9YJCSaNpYsFPzF2VWFEX1uMZB+fwQCzhq7J6dE\nBFtwPBnugmrJKWRVNenTpk34GWjRENFG0esKNq7PRLAqS7OvfDWOLRajBRpZv/iG\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

GitHub Next, F# Language Designer, Copilot Workspace Originator

https://githubnext.com

https://githubnext.com/projects/copilot-workspace/

https://fsharp.org

Work/tech/social. Opinions are my own

","updated":"2025-07-29 00:37:29.777Z","user":"","username":"Don Syme"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 13:08:07.582Z","domain":"genart.social","followerCount":276,"followers":"https://genart.social/users/davepagurek/followers","following":"https://genart.social/users/davepagurek/following","followingCount":192,"icon":"https://files.genart.social/accounts/avatars/109/258/070/777/771/331/original/ce132ead5d979e62.png","id":"mql721bom8o500m","inbox":"https://genart.social/users/davepagurek/inbox","iri":"https://genart.social/users/davepagurek","isLocal":false,"last_fetched":"2025-07-29 00:37:30.079Z","outbox":"https://genart.social/users/davepagurek/outbox","preferred_username":"davepagurek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6z4AxFchO5zMcoCxiWxf\nZGJdrBa1Wg74mgcMCOvrLnBwOROsV8IZN2TApC5VWGig3B0wMlbfolnlHcgLEhbb\nL44RqX2JwsTNklZ1Z/rRPalqlhWJ3/qHQRVmQzyl1k5AZ5g4BRxQhDnaXdjQ4F2z\nGGpme15pAajp8wl67GRefoBN79zuGl4J/VK+4DTvHV3vZnlyX0DNbBGStK/gC0gQ\ngdt2bWpzSFnv9iCQQCoaLTsFqvbmO4MJbRJoj3dFg251sI7QY9RpzQvzOncTM5/X\nD9nwnINg1cHqfzg8e/hKKdSA8IYFSgn7O7w3ITh3nc3kpRzgLldo8XcgqHR8Mvma\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Toronto artist and computer graphics programmer, co-maintainer of p5.js and its WebGL mode. Will probably answer your graphics questions if you ask 👀

","updated":"2025-07-29 00:37:30.080Z","user":"","username":"Dave Pagurek"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 00:37:30.239Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/mole99/followers","following":"https://fosstodon.org/users/mole99/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/111/441/original/23720ee91b6e7ec2.png","id":"30l7ff43r04zjt0","inbox":"https://fosstodon.org/users/mole99/inbox","iri":"https://fosstodon.org/users/mole99","isLocal":false,"last_fetched":"2025-07-29 00:37:30.238Z","outbox":"https://fosstodon.org/users/mole99/outbox","preferred_username":"mole99","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwAKHlL6XyFkeyBD7HYq1\nIXAz5i+s81cZHhs1M7oVWtDdGglVTucyq0lT4PnNpWoKyKOOne9hLG9Lgy3eJzBK\nIbE1Y3dlWXCuy1+VDNgvKpNQF1E/05PqVAM6sZmW1cfh16bCkAKDhqHcKHyLEGcL\nLNQ5leTUTb0K1ryevDZh6OAK0xJBaoZMEF1NU0wC9SRdaREGtkpCet5iOj3KzXuK\nxgzwOGcSrhVXa39juCfKoANVBup97caTUgGQbO5yTkMBX26U0TyU8sH8jzXH7yO2\njs5ssM0Nh3ZXuWd0I45EIOdRdJYkDb22GZRLxRlCQFgybb2ATAdkz38F/16DU9Sk\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-03-30 00:00:00.000Z","summary":"

Hi! I am a programmer, tinkerer and would like to call myself a hardware hacker. I want to understand computers at the deepest level. That's why I design my own electronics, with a special interest in FPGAs and recently even ASICs.

","updated":"2025-07-29 00:37:30.239Z","user":"","username":"mole99"}],"page":1,"perPage":10,"totalItems":76,"totalPages":8}

Christophe Favergeon

Following