{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 00:37:13.377Z","domain":"infosec.exchange","followerCount":1008,"followers":"https://infosec.exchange/users/nixonnixoff/followers","following":"https://infosec.exchange/users/nixonnixoff/following","followingCount":355,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/311/351/345/739/304/original/76bfbb8c83a753e2.png","id":"5fcg9lr25tjxhyu","inbox":"https://infosec.exchange/users/nixonnixoff/inbox","iri":"https://infosec.exchange/users/nixonnixoff","isLocal":false,"last_fetched":"2025-07-25 00:40:22.657Z","outbox":"https://infosec.exchange/users/nixonnixoff/outbox","preferred_username":"nixonnixoff","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1E+6bC0n1N5cxiJH1wkJ\n0g5eqgaXM4KHVjQTMUA0PKH26Ii7GQwS8dvTGLUeRqq4laIVWfl+kSo7pQvZEAwh\n1iLLtco6YaT3WHpcewzcMJE2u0T00hcjhRJz6s3G4NaWuqfMjckV1oNE7p5fLXpn\nCjvtVeSXbHVvJkSdBbwj3mxC4dfG4vbEKVdi/KCqD9yK2N49SaxMYCPzAP5RExix\nvzbuBJMgeNSGO0r0vy4GiOt4CZYGqfbft1uJACFaRV2br8/nmLcRhCMVdWHvO70m\nK9auVbuk16Ci+plJsvtEnzBVtlbmFyeCMcvhiKIoskleTCeqw49RSESiKjsyb47j\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Chief Research Officer @ Unit 221B
best way to get ahold of me is through contact form on our website

my other urls:
https://www.linkedin.com/in/allison-nixon-81822124/
https://bsky.app/profile/nixonnixoff.bsky.social
don't bother contacting me on twitter

","updated":"2025-07-25 00:40:22.658Z","user":"","username":"Allison Nixon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:30.032Z","domain":"mathstodon.xyz","followerCount":1688,"followers":"https://mathstodon.xyz/users/j2kun/followers","following":"https://mathstodon.xyz/users/j2kun/following","followingCount":381,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/004/300/original/8651cf8e3dd531a1.jpg","id":"a07j7w19z2413v2","inbox":"https://mathstodon.xyz/users/j2kun/inbox","iri":"https://mathstodon.xyz/users/j2kun","isLocal":false,"last_fetched":"2025-07-25 00:40:22.687Z","outbox":"https://mathstodon.xyz/users/j2kun/outbox","preferred_username":"j2kun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArSllPUou5CG4jorqkdBy\nyAGXOdUdCuL+4qLL/HpcYbPPgz9mzFc7phVX7+Uz0DnbtyWOqqzpyqO9jJYx3KPx\nx/jLt4py7SbMR1hYPhIM6v+eEjHdEHxIGnht+4VYG2CWN15offmS4FcwGU3kCLYJ\npitMpdA5qLaOqTCtABsnutFmcfiTY+vHrGh6Yg/jls6JB9sWmcfJp6pVoNnZxfKU\n1C/vh/rDwkeyCFygGaK5v8+Abl3bGyoJzvZTWMex4fhsmVKuIeby8PqnQ40HO50n\nRA6w/BPFvejVaQpybDChuwjRzRXgCqco3FEdMEYcXp211PC8d3D+n/bgsV2bh0KR\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-08 00:00:00.000Z","summary":"

Author of Math ∩ Programming, pimbook.org, pmfpbook.org, currently doing homomorphic encryption @ Google. Based in Portland, OR.

","updated":"2025-07-25 00:40:22.688Z","user":"","username":"Jeremy Kun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":728,"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-07-25 00:40:23.044Z","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-25 00:40:23.044Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:20:20.375Z","domain":"mastodon.social","followerCount":2737,"followers":"https://mastodon.social/users/dougall/followers","following":"https://mastodon.social/users/dougall/following","followingCount":294,"icon":"https://files.mastodon.social/accounts/avatars/109/249/897/391/337/540/original/992a037fa6decbd2.jpg","id":"rps1zuyd47j8jt8","inbox":"https://mastodon.social/users/dougall/inbox","iri":"https://mastodon.social/users/dougall","isLocal":false,"last_fetched":"2025-07-25 00:40:23.589Z","outbox":"https://mastodon.social/users/dougall/outbox","preferred_username":"dougall","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzLdmbnLoDF78cJu75Fl+\nmS4wuK6oQ+Cq/WEAlKpZFma8cGkvG7VFrH8TpcDSJFrVIrW3I4wVxghXzXlwLyQd\n5Pcev7ByB+aFG2SKM8wQb5HmAL4txXghvIwFBLn3nfdvLRdd4AY+panPo4iZJf71\neoIKTVduYIXBeb4t76ThdwOU2Olk+x22ThXMz554JTaRZpuZeO2erJwGioqSLbyd\nFPy9KE5lC8y5kSYhCx8A6ShZcq+EqlZuvFG2akKXmN8RICo6LoGzoX5W3xFypl82\nipOFdchbCfxkL3nqnyQd5W60B8A1Jk/+S5kAXVtbiK5HXNmfGHKGSYjTgMgbLP8i\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Low-level systems stuff. Reverse engineering, security research, bit twiddling, optimisation, SIMD, uarch. 64-bit ARM enthusiast.

he/they

","updated":"2025-07-25 00:40:23.589Z","user":"","username":"Dougall"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:45:14.969Z","domain":"mathstodon.xyz","followerCount":357,"followers":"https://mathstodon.xyz/users/bgavran/followers","following":"https://mathstodon.xyz/users/bgavran/following","followingCount":83,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/536/193/392/190/234/original/bef7c76943d895ad.jpg","id":"7409daedqwb205c","inbox":"https://mathstodon.xyz/users/bgavran/inbox","iri":"https://mathstodon.xyz/users/bgavran","isLocal":false,"last_fetched":"2025-07-25 00:40:24.703Z","outbox":"https://mathstodon.xyz/users/bgavran/outbox","preferred_username":"bgavran","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAveV3uyOK5UnqwaVnrUDu\n+4crHOPTSCFKaqmLkaifKElxubGGzc9PYmVI1F9yTiFu9+yZfa21H1iiJtmPbfwD\nvq86cGkG/F70Q7SNzRW42MITIicDIjYtJ62obe9RoolzeydBW6MSiua0XWr8a5oM\no42qTvPm/VYRVJ3CAJstOuBR2w88ntcJLswtnF5t38YaRfY2I9RQgxnZjXwxckF+\n2Hw7UEscEcko+0UK4oju0J++wO4608bsU7H14MTxRI90cPSrzcIFi01hoxAV5+kV\nfOn8GRXkxU0qcbSnzHK5Ttib1NXL99J+VBl3bAFXTk509c3sLZmK7Vp6BdCUEh0J\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

Category Theory + Deep Learning

","updated":"2025-07-25 00:40:24.704Z","user":"","username":"Bruno Gavranović"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:07:14.112Z","domain":"techhub.social","followerCount":12219,"followers":"https://techhub.social/users/Techmeme/followers","following":"https://techhub.social/users/Techmeme/following","followingCount":2,"icon":"https://files.techhub.social/accounts/avatars/109/507/037/602/750/499/original/c16e40ec739b2a8c.png","id":"268433ol2526ew0","inbox":"https://techhub.social/users/Techmeme/inbox","iri":"https://techhub.social/users/Techmeme","isLocal":false,"last_fetched":"2025-07-25 00:40:24.842Z","outbox":"https://techhub.social/users/Techmeme/outbox","preferred_username":"Techmeme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAybbiLTt/H+CbVffxib66\ngpcrrwvkGFcVOvf+GfsY/5zufPO4Dka+EujM/EZ3aQ1d65aMyCoUyz/AO2CZGH5d\nd/uyqWDw+nyHcTOPmQZza6t7dQYg8Ly7O0SNLKkfs55qgZrWqoCmQWzIZ2zQ1UDU\nJ+hIApcKLLLZcwSFxQGc/KJ4DWZ4837hTzZQ+SDOQaUGnIxU7cJaAxWpRzU1TKwc\nkhGsf/iYNArv7FVjRTxsl9SNSZQZgu6N4zcQmKa3QfsNdQBBPSo6qhjWqJNMi+OZ\n882CFKn0dXr1uBWjP/3vl5pZsXfQLxKGpucQCIFqCrI7YOKDfplXV3x/7I2LoN8m\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-13 00:00:00.000Z","summary":"

Top news and commentary for technology's leaders, from all around the web.

This account shares top-level Techmeme headlines. Visit our site for full context.

#searchable

","updated":"2025-07-25 00:40:24.842Z","user":"","username":"Techmeme"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:48.151Z","domain":"mathstodon.xyz","followerCount":960,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"463d7o26n66a60b","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-07-25 00:40:24.881Z","outbox":"https://mathstodon.xyz/users/xenaproject/outbox","preferred_username":"xenaproject","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3vEz1vG/S4nmaHEDRAj5\nxrOnjS62RYb7L2m6wLh+TxRKee0LySGhyvKCZmzkxZrZ4IioR3td5/8Dtp9hk/+n\noKe71NtagnnE1oFscWjpNor4o2XgPRGuSaSt+K+WB02qw5uK3L8DYlXb7lY2QTmr\ngMNxq+rYGRVSHKkycnWS36c2cpXD88/LVz7XV6AjPxmyHpSc7avWZXvhAyo7dQ6U\nANft+2BUyo9l3a4C+Astja9yz3IoNy/Ixq/C4mEvaxBhJGqtByViM4agFbjXhjvt\n3VOHvwcI9gn38nHVgn83IMJLR9fBRzapWzAzff8G6loKrSqRHXn1s4MLvvPgMoQh\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Mathematician at Imperial College in London. Interested in number theory and theorem provers.

","updated":"2025-07-25 00:40:24.881Z","user":"","username":"Kevin Buzzard"}],"page":1,"perPage":10,"totalItems":244,"totalPages":25}

Alexander Hicks

Following