{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 00:32:04.139Z","domain":"discuss.systems","followerCount":52,"followers":"https://discuss.systems/users/neuroevolutus/followers","following":"https://discuss.systems/users/neuroevolutus/following","followingCount":1078,"icon":"https://fd.discuss.systems/accounts/avatars/109/401/300/469/935/505/original/deb0195f5482d572.jpeg","id":"91ykq883430m1r4","inbox":"https://discuss.systems/users/neuroevolutus/inbox","iri":"https://discuss.systems/users/neuroevolutus","isLocal":false,"last_fetched":"2025-07-31 04:20:04.293Z","outbox":"https://discuss.systems/users/neuroevolutus/outbox","preferred_username":"neuroevolutus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2iR0IAyKEZihOkBImSmR\n2/wc+XLixivqIRazZzGVvPZs9r0zvrSfBhTX2da4qjbgwfXpoKwFOBDxqr3xlDRT\nuor0nqn1AS5iRLGl+ZiS5UTucTmhxeLp3oC5XERahPQgZkRWKpWz+dCEfGEEcYA8\nVYM3dtHpckICgQIk2x4xcIE/ESOlf+DvwSwWl3oldG/uvZ3d5PL6jHO2cB7oBb3a\n1/54ayh9iVQ0JYb3rNXdNraflGkFAL0qjHeu9l263Jve00e+QUbcl+ZZmM44vgBz\n5Jh+PaZIPqidia31tN4c37zUJYh/vSYMAkHbIFbLjQh0rH30HdJDGHYY1v4C211n\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-24 00:00:00.000Z","summary":"

I am a functional and systems programmer on a quest to create better software with the power of languages like Haskell, Scala, OCaml, PureScript, C and C++. I enjoy learning about category theory, algorithms, and programming language theory. When I'm not programming, you can find me spending time with my family or studying the Japanese language.

","updated":"2025-07-31 04:20:04.293Z","user":"","username":"Abel Sen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 04:20:04.792Z","domain":"infosec.exchange","followerCount":0,"followers":"https://infosec.exchange/users/socialboris/followers","following":"https://infosec.exchange/users/socialboris/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/524/526/393/984/987/original/527bc6f2a9987dbf.jpeg","id":"3z17pemz65x9xp8","inbox":"https://infosec.exchange/users/socialboris/inbox","iri":"https://infosec.exchange/users/socialboris","isLocal":false,"last_fetched":"2025-07-31 04:20:04.792Z","outbox":"https://infosec.exchange/users/socialboris/outbox","preferred_username":"socialboris","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArAmDQ8fDhZp6Yo5ZeiVa\n4w7blH7t7VONQQRvFnsG3B4k8ln9w8DR4Nqj4wfvI9rQYOuuUcEgRCY3gOQm+5an\n6qyN5WGtfPvlrhqr1oumxBJ3z6JQKH1yuBtWIW0SrSu5GrZB2LzFAISPZpQdTjc6\nl1IAivAAag7Qv/I+icVz3NTvT1x0XhVJeETxLv/BuO0xAQI2u30fZPEh7/Iy/Z/r\nU+y4gVSjukc44hul9tfDjjRMOkN/VUxVnuGGxIhXyccnzdgUYtnAaxgoK9Eryysm\nivjEJhpqgSb1E4fYzPWvC6KYNwK5yVl1BIipf6Gef+nGhMkzcSnCJn+EPd8ute0T\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Researcher in security, privacy, verification.

","updated":"2025-07-31 04:20:04.792Z","user":"","username":"Boris Köpf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 03:08:24.278Z","domain":"discuss.systems","followerCount":207,"followers":"https://discuss.systems/users/gparmer/followers","following":"https://discuss.systems/users/gparmer/following","followingCount":283,"icon":"https://fd.discuss.systems/accounts/avatars/109/336/730/012/598/196/original/e11c6ab430c2341d.png","id":"2e0ep517e4v1rj4","inbox":"https://discuss.systems/users/gparmer/inbox","iri":"https://discuss.systems/users/gparmer","isLocal":false,"last_fetched":"2025-07-31 04:20:05.048Z","outbox":"https://discuss.systems/users/gparmer/outbox","preferred_username":"gparmer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvfcYF2+Fx4C6e8Dikjkq\nKAwD8edxl0UhIUwW305SzPG6bbNOBn1V2uuIbS4F9SPfFfSQCxu6NgLVUfz/iGdM\nLkvYyLOgA7nQkDiwD7hr+Vr2JvIZDUZsfub7Ll0jBbTnHxEp4XkzaCDuzm06IcXe\nWX/J8QSCo3Vm3YCjjODi0Mi0iPjSMxAmUdCgW5xmbOgVcmLfTBcwT1JFHo+g4pEV\nmLjvvs4E2MMut67ZBODFE5RHAtTDAczMUstmepQLmD4K2jFq4mUsgGbuhsTtaP4h\nTOBAK62TcZMHeWzDrJ848XkAidFqHBUY82o55SpoRW1Lb3LgGIGFaRyIxeVtHCm3\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

System builder and Composite hacker. Professor at GWU.

","updated":"2025-07-31 04:20:05.048Z","user":"","username":"Gabe Parmer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 04:20:05.174Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/Hana/followers","following":"https://discuss.systems/users/Hana/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/796/156/474/332/165/original/78d71e403cf3479d.jpg","id":"r4562nqu60odj1v","inbox":"https://discuss.systems/users/Hana/inbox","iri":"https://discuss.systems/users/Hana","isLocal":false,"last_fetched":"2025-07-31 04:20:05.173Z","outbox":"https://discuss.systems/users/Hana/outbox","preferred_username":"Hana","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2HQeEvLPadVHgQvWqEo8\n+Z8WrwBo3LliYETYJiSQ1YRxdQTwiIMHTUIV1NFsZ0SdC7RiH4vS6mhNwnjdJCZm\n0ENEfo/47z/9XOWnnIq9uV+pN6JYhKC86mrC0EkugDHg4Wlp/RCPTpyOV+3q/CIC\nYVljoMEfJBIrGnIyjfJx8XFHMBw+lH/OC/lCekZDF+IU+EdyF874Zg733qIqpWkq\ntKRSqTD896jxDLuWO3m0PDCX2dhb8SR3nodAVnlnCqNE2pVT5Uu8VRtoSakhh9ds\nDDXUwmuMJzPbd+2VUOF08ph/sK3ETy4GJlgIkYz5s6s1lsA04dCcYaj6bpiW+7uL\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-02 00:00:00.000Z","summary":"

EECS UC Berkeley.

. Research Interests: Wireless, 5G (Architecture, Security, and Privacy), Networks, Systems, Applied ML/RL.
. Research Scientist @ LIG Lab.
. Computational Linguist.
. [Xyz: Bell Labs, Skylark Wireless, Qualcomm].

Other:
. Care about e-waste, animals, and climate change.
. Speak Persian, Fraçais, livello medio di italiano, and un poco de español.

Twitter: @Hechenoz

","updated":"2025-07-31 04:20:05.174Z","user":"","username":"Hana"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 05:50:34.876Z","domain":"infosec.exchange","followerCount":1255,"followers":"https://infosec.exchange/users/rene_mobile/followers","following":"https://infosec.exchange/users/rene_mobile/following","followingCount":364,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/292/400/036/690/273/original/b4c98d0e3ea5779a.jpg","id":"38ux85xm551b9z3","inbox":"https://infosec.exchange/users/rene_mobile/inbox","iri":"https://infosec.exchange/users/rene_mobile","isLocal":false,"last_fetched":"2025-07-31 04:20:05.216Z","outbox":"https://infosec.exchange/users/rene_mobile/outbox","preferred_username":"rene_mobile","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtBqUt0Kfup+rQedS6sn5\nCDxsJzvH1EkLD9K1OsY4qGbfncwEwwCX742snsz7XjWqMBeYlLUj7jSth6UgluFL\nwzdVVeg0dL/Hi5IH77U/XkQaQN9iYfewH5mCelPHQYeHBqTR5KRSUVk8voyqtRJo\n7J8YK7q7VO96roBQp3jJOtaL6/X2QKW3yb8hQqlTkCK1orLolF2KBvNR7Qi0Iq4L\nMXbhAqT3JjA2MO0sHwk42yh1Zckv4DmZxtPSxdkFHdCQ/QMcRP68xFBixxqeRh/I\nlhyD3etJDHGRgeHXFKg2i7E0giWWW2dx+M0PAxC1pVuCmjbCfXdGXoHrmeiqARHf\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Prof. for networks and security at #JKULinz + dabbling in Android platform security at #Google. This account will mostly carry IT security stuff, occasionally politics and other comedy.

Screeching voice of the minority. I will not cooperate with fascists or nazis - traditional or neo; Austrian, German, US, Russian, or otherwise. I will not help build surveillance and oppression states. Never again.

"I need privacy, not because my actions are questionable, but because your judgement and intentions are."

Statements are only my own opinion, not my employers'.

This is currently my primary infosec account in the #Fediverse. It should be #searchable through https://tootfinder.ch. Previous Twitter posts are available in archival form at https://twitterarchive.mayrhofer.eu.org/.

","updated":"2025-07-31 04:20:05.216Z","user":"","username":"René Mayrhofer :verified: 🇺🇦"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 04:20:05.881Z","domain":"sigmoid.social","followerCount":0,"followers":"https://sigmoid.social/users/ckaestner/followers","following":"https://sigmoid.social/users/ckaestner/following","followingCount":0,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/376/820/750/147/235/original/27af90b198aafb84.jpeg","id":"53142ox2nra7x5t","inbox":"https://sigmoid.social/users/ckaestner/inbox","iri":"https://sigmoid.social/users/ckaestner","isLocal":false,"last_fetched":"2025-07-31 04:20:05.881Z","outbox":"https://sigmoid.social/users/ckaestner/outbox","preferred_username":"ckaestner","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7qm4q9ldfSOplyaQtUbl\n68WQK6q2ArMKp64vaxPiGhROKRH+uUXpszAPFZUvlr6umorIX9Kwmr5yjs1bThnM\nb8wFdzApG7amr13AlI5eT+UMrOzPqWDA/ycVFGucvAxxkKsNHWswwrgENhYloQ2r\n3AU0oi+MNqLpwql3ywI1PNhisDogv4qRTeVCWzf2anGzeyykYOAbIYT8YrBb4W2w\nBbPYINqvytR0gKU2aROGOn0B0PahZX5xeEaS9WuuxK3mlpXnXxAWXNjy3u+6ZI2r\nNLvxDrS0YPXocRThUNCHtTj9p3ySb0qBMbX1iJDpZMaGahQMarJpDk4eQ+T3+iFg\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Mostly teaching software engineering to data scientists these days / ML in Production; Associate Professor @ Carnegie Mellon University. Also open source, software supply chain security, software variability, and some juggling content

","updated":"2025-07-31 04:20:05.881Z","user":"","username":"Christian Kästner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:12:18.160Z","domain":"discuss.systems","followerCount":412,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1385,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"dekw93l56l6q46z","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-07-31 04:20:06.008Z","outbox":"https://discuss.systems/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqu75zd4WxhZbgnxr3D0x\nqdQennO5/JNC7TYuEXAAb5u2abevS8QvmACbGbtXZh3r/MKDfuUjq6PY8b6iMa4E\n+pG+DtKsdWgXbz6y08YhYqNe8CEGLS4/EowBLC6goMyLKj0sQ8OUGo0VawRaR/Ox\nWB4LAhqmdIP/2OAE3rzgJk+sU5rs6Q+p9eQj9W68JG7PwTY5ebHmksEhaU2lrdPq\nkE5l+j9e/ZBmbsGnGynZernCeRc2MdXn90avbROl/+5kSK870hyBww0xuOhgc099\nRCyiiAEQ3WAOVnRX9X49JhUS9ODmCdcHpp3awFKo0RGtMPxK1HOO4WPa0Pmakccm\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

","updated":"2025-07-31 04:20:06.009Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 22:41:50.611Z","domain":"mathstodon.xyz","followerCount":869,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":1011,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"ye4xi58mme47m30","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-07-31 04:20:06.339Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

","updated":"2025-07-31 04:20:06.340Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 04:20:06.460Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/camyule/followers","following":"https://discuss.systems/users/camyule/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/534/456/637/947/631/original/f5678ffb7161e227.png","id":"a00wh1ppu6edg84","inbox":"https://discuss.systems/users/camyule/inbox","iri":"https://discuss.systems/users/camyule","isLocal":false,"last_fetched":"2025-07-31 04:20:06.459Z","outbox":"https://discuss.systems/users/camyule/outbox","preferred_username":"camyule","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1fYBHFhMSm71OvMdl5tA\nznl9RTRwnY49Q0QVe2uOkRUNIMKU4bkeozR6tWXvMz4IcLyXFjPOJFXJlaY10TQO\nW/FRnXhyOrGEngM6usTepChjBA3/1u0KWuEQS6bsnWcZrDcs370SwODZsRJPJ672\nC0T18tiApvmyqYQqL2MMPHEvHcd+Sa0+AcSioHOjL26LOfcHK+nMuTI11l8YfKx1\nPy+AXTBhhJ+7Y9J/Ge5W6kBq1uy4MQLp6zdB/RQBcX8M3i4q+gL572OXHMH4WY+5\ny828ASTjnndlnLMViy29h/qD17LA2vVOEl0bpbf/qU3Z0E9lnd/hmSRO7WCaVWms\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

Distributed systems & engineering management.

","updated":"2025-07-31 04:20:06.460Z","user":"","username":"Cameron Yule"}],"page":1,"perPage":10,"totalItems":61,"totalPages":7}

Tom Magrino

Followers