{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 12:06:22.483Z","domain":"mas.to","followerCount":2752,"followers":"https://mas.to/users/gabrielesvelto/followers","following":"https://mas.to/users/gabrielesvelto/following","followingCount":313,"icon":"https://media.mas.to/accounts/avatars/114/556/273/153/837/791/original/efb37a96f74180ce.jpg","id":"ug55g43wphf0809","inbox":"https://mas.to/users/gabrielesvelto/inbox","iri":"https://mas.to/users/gabrielesvelto","isLocal":false,"last_fetched":"2025-12-29 15:21:07.676Z","outbox":"https://mas.to/users/gabrielesvelto/outbox","preferred_username":"gabrielesvelto","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmFO6Ic7pO4H7A6mgYzx6\np9GJIEE4JmMf5jLkmqpF1zT+YE+YmSb+ctpoeECvbDHIrkA3Yd17/LLf3cYheDmu\nQ3dr+TcH3OnEVe8VInrOdTzLWDW56dFKUi50Gg+4Kv82Ld3uVgmdUSwXROwYFGS9\nUmw7Jw9tgNfRsa5c/D3OmlCcTzccsW2+ymxZjsvpXrNdcXsFQ9/PUOU2NwjK8wXg\nUoke3BciFdCu0xTdGBVEzQC4QLpkjYdEnzZfSyF9IeYHBb6T1ictSxGttP2+h2uf\nykKQ66rDMieJhHa15iFmqYKwNwDuYed2Q5mv1Q14DuH+Vt1mNDzGeesIlQIAVujw\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-23 00:00:00.000Z","summary":"

Old school nerd
Knows things about computers that would drive you insane
Hacks on Firefox at Mozilla

","updated":"2025-12-29 15:21:07.676Z","user":"","username":"Gabriele Svelto"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 16:11:38.388Z","domain":"functional.cafe","followerCount":898,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"gud8sq2c4wn7594","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-12-29 15:21:07.776Z","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-12-29 15:21:07.776Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 02:09:07.650Z","domain":"fosstodon.org","followerCount":6513,"followers":"https://fosstodon.org/users/Gina/followers","following":"https://fosstodon.org/users/Gina/following","followingCount":3244,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/110/088/original/4da529e121b6a01d.png","id":"x4su4qr125441pq","inbox":"https://fosstodon.org/users/Gina/inbox","iri":"https://fosstodon.org/users/Gina","isLocal":false,"last_fetched":"2025-12-29 15:21:07.827Z","outbox":"https://fosstodon.org/users/Gina/outbox","preferred_username":"Gina","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApdgTClOrKSv/HXSYT7pp\nrNe6lIpmJvRObyUy3hTGClt+o9IXXPSyXsgzycCSzHc7PPWTycyGjPNkGHTgSaQ/\n71dkWEcdVhng8geNXixW+jG0BGvky/QDY2xNt9GE2BohvSVuhVDYLezk13KCjbp9\nyPOeJlC4oJN5Dj7OZtnCCNVaEHpYIDSIVgOxo5dq/Y85SGZuN9TUFY4tQUmX2pU4\n0KZZ9iMJt2ZwRRi7spwL/e+SW6L0pKtztXdiaIm+wL1fWXNewVH0bkVQBJueX/Py\nGyd9TCOL1kYsgZsOLMU4lmqnvzO0CtHrXuxjjjXG8yFnlFBnrWWedDk8e94QM8Ab\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-03-26 00:00:00.000Z","summary":"

One of Fosstodon's admins. Staff of Pookie and Wessie. She/her. 🏳️‍🌈&🏳️‍⚧️ ally.

","updated":"2025-12-29 15:21:07.827Z","user":"","username":"Gina"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 12:49:02.579Z","domain":"sigmoid.social","followerCount":2001,"followers":"https://sigmoid.social/users/karpathy/followers","following":"https://sigmoid.social/users/karpathy/following","followingCount":120,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/536/884/536/402/289/original/a2c33deedecb5e19.jpg","id":"dw87f956f5ik2x4","inbox":"https://sigmoid.social/users/karpathy/inbox","iri":"https://sigmoid.social/users/karpathy","isLocal":false,"last_fetched":"2025-12-29 15:21:08.370Z","outbox":"https://sigmoid.social/users/karpathy/outbox","preferred_username":"karpathy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxbCHoQlEdG5+eiq4zb5W\nxbVuSQXlrq2Bn6idqgVUME2OISI8ZzZuNv42YFwbkcqvE53l8XUIbhe+aOfddL1F\na7lHt29ySxflI/fstYzk7TjaoRR5Uq06WJ5Dck6ORP6IeCDUduzD/fyQEWmXXQqN\nPwS245QpMAaX0J6YgSdQU7lYjwOGT3hoxEys2ZNyo+HCpAbxvrEaucClq+P5nvbX\ntP4JRgE3Gmz4OipbdNOQAolBsUvRpfUOCFdB/wJwM5i9kcnEwXOEuChlYEL6dPOk\ny8fjCmEnRY20jWiC3xtN8UhiV4LcNKnbe577VAzmGeMoDsrc920DrenhCClZQ3L4\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

Independent researcher. Previously Director of AI at Tesla, OpenAI, CS231n, PhD @ Stanford. I like to train large deep neural nets 🧠🤖💥

","updated":"2025-12-29 15:21:08.370Z","user":"","username":"karpathy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 06:33:32.817Z","domain":"mastodon.social","followerCount":783,"followers":"https://mastodon.social/users/rrwilliams/followers","following":"https://mastodon.social/users/rrwilliams/following","followingCount":133,"icon":"https://files.mastodon.social/accounts/avatars/109/254/361/200/715/617/original/356de3235148ba0a.jpeg","id":"c6gw28n7z0e25y9","inbox":"https://mastodon.social/users/rrwilliams/inbox","iri":"https://mastodon.social/users/rrwilliams","isLocal":false,"last_fetched":"2025-12-29 15:21:09.035Z","outbox":"https://mastodon.social/users/rrwilliams/outbox","preferred_username":"rrwilliams","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyJUrJz7PVLzea9NzuKJr\n1xieJPj74TPfJj5M/ctlrebL+ulAIhAbRRAOrIykxS4h9bkO9CYSTbf39D7o9YuE\nG2XL6TvfqOV4wX6xBuvTroUGfb6ufklJxifNw/BHGxPua7Zdykj5/q5ZpJcFuT7F\nyx0Ay94aBhF9M/MQ29Ta0p/adWJrlqjntWrGGf/HxqeotfOYrepqjf10OpMhEyK+\nOsj1YEBIh6Vh7Z6H6bZ3kIKhVn2BVnmYZSd+5NZfIsJRvnBDwH5kben7RNw9S5OI\n9TVcHATgzwul33nbOcA/AcaLSUa2TfK15UIqxFT8/+sul2gOjTflCfSnxUMeMvM2\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

professor of EECS at MIT, currently visiting IAS. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)

","updated":"2025-12-29 15:21:09.035Z","user":"","username":"Ryan Williams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 01:38:15.968Z","domain":"mastodon.social","followerCount":131,"followers":"https://mastodon.social/users/CosicBe/followers","following":"https://mastodon.social/users/CosicBe/following","followingCount":30,"icon":"https://files.mastodon.social/accounts/avatars/111/771/294/235/437/140/original/1e0f4c1e1cf10ca9.jpg","id":"89018pi2ha3u1n8","inbox":"https://mastodon.social/users/CosicBe/inbox","iri":"https://mastodon.social/users/CosicBe","isLocal":false,"last_fetched":"2025-12-29 15:21:09.146Z","outbox":"https://mastodon.social/users/CosicBe/outbox","preferred_username":"CosicBe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0t8rWO1etXt8BEGM1qJi\njziJhl0a+r3SJVbwOn20/QtllygIPfKr/SaYXP8rhrLl7Nqp/z/DDSWlGtm3AizL\nM9p76sUBYo3fjoL7yJdD2N8YwDY/WHHH2mGvHcurlB1naunj++A5NoW/nZ9lpLUd\n4ch9LSZksJdxQVfDfa3Y01ZDiu/YwMsyacrsKzqmIvvOG9HLTdh/PE+Tcs+v7N7p\nkGUlUh7s6fkTRQSfmGAkU+PX8UpqNc30rTbZDwplwzkMffxeE8WPNEmfyzpieOXU\nnZNY0d2z5+u3NOiA5wS+K70tFRDuLlEMGOvaUWrpbku9x2/BmSEocURa2zfOq7DT\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-17 00:00:00.000Z","summary":"

COSIC provides a broad expertise in digital security and strives for innovative security solutions.
COSIC is headed by Bart Preneel.

Computer Security and Industrial Cryptography group
https://www.esat.kuleuven.be/cosic/

","updated":"2025-12-29 15:21:09.146Z","user":"","username":"CosicBe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:32:10.331Z","domain":"infosec.exchange","followerCount":298,"followers":"https://infosec.exchange/users/badkeys/followers","following":"https://infosec.exchange/users/badkeys/following","followingCount":54,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/112/880/053/945/794/536/original/88ee43323c38669f.png","id":"566934nnfl8879i","inbox":"https://infosec.exchange/users/badkeys/inbox","iri":"https://infosec.exchange/users/badkeys","isLocal":false,"last_fetched":"2025-12-29 15:21:09.189Z","outbox":"https://infosec.exchange/users/badkeys/outbox","preferred_username":"badkeys","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+QQgVw+rmg7bcwg/rl9K\nu53LwZHuJVHHTpKza7kspRcGELfpDkp+XrpvdjF0wBVKm+3BMQP3f8whp2yvnO6i\njI36y29UYrmpN8bVP+lQqt/K1jGGQV4cJIZT7kmU3PvFy8rBHT3fuKQg4ugOiMjL\nXog2B+MkJ9/EuGOfZmAyb8IElzArv0cl5I8hMz9T9l//ZXJyE7N9xAsoUMgUazfv\nZm+RYuySgPfzgdTqWe8Ht2fyhCOk/3tThcrtZ/FSxLxmvRtYs4LyHQv6Ep7uvVpC\n+jTFqgvNUYmZZa5yAGJSV2kwFKayP4kMH6sb94R3U7946nkwsCZCIj1GTzZGAt7H\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-31 00:00:00.000Z","summary":"

badkeys is an open-source tool and web service to identify compromised cryptographic keys.

","updated":"2025-12-29 15:21:09.189Z","user":"","username":"badkeys"}],"page":1,"perPage":10,"totalItems":12,"totalPages":2}

Reynaldo Gil Pons 🇨🇺

Following