{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 14:26:40.353Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/omelkonian/followers","following":"https://mathstodon.xyz/users/omelkonian/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/285/072/197/876/866/original/daf18f7c21784711.jpeg","id":"38n214v3b8mrppc","inbox":"https://mathstodon.xyz/users/omelkonian/inbox","iri":"https://mathstodon.xyz/users/omelkonian","isLocal":false,"last_fetched":"2025-07-25 13:29:13.485Z","outbox":"https://mathstodon.xyz/users/omelkonian/outbox","preferred_username":"omelkonian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnjKO8LekVhMhWk7lBITk\nd9FG5o5Oq2hVCmAPdHKFkhR1C7syBne2R8Hm7PtVXMncQ5z+yh5T9cDo0J/2dqYH\n4jqdoEVz+RqURFRw3Mme0EcUuB0TLVjf7/NXjTwMYy2qvQ2FHHwjXXWQYHhjr3PV\nwsPpDSHUhNvO+ZPXSnmtSlbzLYnNBSkn80UQhl1m7aWEKLpDnF6GX+BVmzom8Uq9\ncAJDhfJo7FT1SeR2n8Ih4piSveCfar2MRsHxb90Ti09D9ObNoieTsE4dA+2SWAhq\nQF7uBy/0IMFwY79rThnN90TENuY8taXzJKJuW2tizrjqL0tY2KABIWeXWi2V6oLJ\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing consensus / UTxO blockchains / smart contracts.

","updated":"2025-07-25 13:29:13.485Z","user":"","username":"Orestis Melkonian"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 20:13:01.179Z","domain":"discuss.systems","followerCount":63,"followers":"https://discuss.systems/users/simonracz/followers","following":"https://discuss.systems/users/simonracz/following","followingCount":439,"icon":"https://fd.discuss.systems/accounts/avatars/109/603/672/508/529/610/original/5460556203d3a728.jpg","id":"z8a81w437bfcgxc","inbox":"https://discuss.systems/users/simonracz/inbox","iri":"https://discuss.systems/users/simonracz","isLocal":false,"last_fetched":"2025-07-25 13:29:14.681Z","outbox":"https://discuss.systems/users/simonracz/outbox","preferred_username":"simonracz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RFtSU449ESRAzsWQJou\nFLac3T/iPEbdJDw/3jA78bRdlTI2x2W2cQr6KUQloRIsYKNuAPpgxQmDJNtjl+3w\nnP0rqnD89lRHlrEhAjTrCSAx7gSi+7TqJLi3jtPapuHSIHmhjmldrQueqIjrk3NM\nigzxqB5GDqx51BS/ACXdGbhst7oJRVMqFWGrFaIhCF1O044l9FQ+b4EEmTMOaPxn\nyQhKlgdmjc0AfPyXMb76Alrp0HTgrqwC8NqdxWg7u6HF+EXmU47gaueSyD1tJDTx\nHvBgOgAALcgw6Ebn15Wd9Pwk1bGMwaPFgqJTv1zD1Tm4j6QUYVZpCzk9+Bw0KG5c\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-30 00:00:00.000Z","summary":"

Principal Software Engineer / Mathematician, father of a girl and two boys.

I make YouTube videos: https://www.youtube.com/@simonracz

","updated":"2025-07-25 13:29:14.681Z","user":"","username":"Simon Racz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 19:34:28.561Z","domain":"mathstodon.xyz","followerCount":120,"followers":"https://mathstodon.xyz/users/holl/followers","following":"https://mathstodon.xyz/users/holl/following","followingCount":568,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/098/563/947/539/608/original/95a0a9a338cb3662.jpg","id":"b1p934g89azzxkm","inbox":"https://mathstodon.xyz/users/holl/inbox","iri":"https://mathstodon.xyz/users/holl","isLocal":false,"last_fetched":"2025-07-25 13:29:14.714Z","outbox":"https://mathstodon.xyz/users/holl/outbox","preferred_username":"holl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAiAxC2Z6Jqa0mjYbuBgMK\n/pAjK3s2PRqo/srdOReBY1tU5EilqLKAzbJLNs19GLle90WewU0dZj5fgwmSbP22\n+N+Zdszz5VNZW2YwUbqmuq0EbCBw5BoeniBP4Py7n3PIXjnIrey3ZyIPVlZAXmHR\nKh14BJqb8Hdpc0DkYwHEsDmZO/PqpCQWh2gbPpc6WpUmjRvWYY/cz1oWF4hKZJkz\nunWG6STuyb7zp0NPLi3XlIvFCHJvml5zKg/MuUforndjWkQvYdaU2iBpQoyeafut\nbgYzYXznjk77jmQo/y2Epr8Y/pQN7TXBuvRvao08DRTtKYfmSyjR6ZF5+waSJc/6\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-07 00:00:00.000Z","summary":"

#quantumcomputing #quantumcryptography #emacs #orgmode

","updated":"2025-07-25 13:29:14.714Z","user":"","username":"holl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 16:23:54.976Z","domain":"hci.social","followerCount":578,"followers":"https://hci.social/users/infinimatt/followers","following":"https://hci.social/users/infinimatt/following","followingCount":812,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/300/228/694/892/432/original/110c79550ebca97c.png","id":"453443fmzlvy658","inbox":"https://hci.social/users/infinimatt/inbox","iri":"https://hci.social/users/infinimatt","isLocal":false,"last_fetched":"2025-07-25 13:29:15.305Z","outbox":"https://hci.social/users/infinimatt/outbox","preferred_username":"infinimatt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8WsOYz6TNXjGPtNsZ4lq\n0wZk43tCntojDiu5Q7sne0YHz2H78O0OZ696l87KPOyDKSJ2U++P3P70nTzKVNzV\noqVPA4wxxKVm9sSIpNr33uuuuCNgwZGcHH1jpipPBYnuRPR6AE9PMmtqPQOC4qHf\nsNHFetphtaV8TKWeJCJ4ttrtxxbVXZs8vUFyJUrikuhbsBb4oUdCxCX742vMuTUc\nCyWXJWVGpgCt57NEtGZDgDHQ2BMHbhc2WPa9mXMFHSJm817l4R+Az41fbvccw/We\nYH0sKQU5Ay88TRJcKu0zSFuNPQuGBd0WLZG8iNxr2OB5mtywzKegYzsFpj2K1lfb\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Software Engineer, PhD student at Carnegie Mellon University School of Computer Science (S3D, HCII, RI, CyLab).

My research helps software engineers write tests that find more bugs faster.

Not a movie star. I like tacos. And cats. And dogs. And pancakes.

#SoftwareEngineering #SE #HCI #PL #Pittsburgh #testing #fuzzing #UX #DX #design #programming #tacos #hiking #nobot #space #IrisLunarRover

","updated":"2025-07-25 13:29:15.306Z","user":"","username":"Infinimatt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 04:46:36.905Z","domain":"honk.bronevichok.ru","followerCount":0,"followers":"https://honk.bronevichok.ru/u/sergeyb/followers","following":"https://honk.bronevichok.ru/u/sergeyb/following","followingCount":0,"icon":"https://honk.bronevichok.ru/a?a=https%3A%2F%2Fhonk.bronevichok.ru%2Fu%2Fsergeyb","id":"2k1c1q6z882v37a","inbox":"https://honk.bronevichok.ru/u/sergeyb/inbox","iri":"https://honk.bronevichok.ru/u/sergeyb","isLocal":false,"last_fetched":"2025-07-25 13:29:15.663Z","outbox":"https://honk.bronevichok.ru/u/sergeyb/outbox","preferred_username":"sergeyb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJKlKBeOGGnEvbQERaSq\n375/L1IEBTgprsSVSGOSW4AvYrpW48VOGgJtWkbVpbkXc6h+DKKnltCzLi/VW8Rt\nP+kb3mNnLC+lF1lbJYPVJiMAOQfgF0or1kDRl+EieDX95fgRC3eKcOWxqi1wzTC6\nLEatEwL2X/+ltfnsY/u+UZmowMHewI9Xg4jyw2f1tvZTyEKLURVLJIRJv77Kx6Ri\n+BenlVKvQI6wpX5priZZ/yBbeAF5phcxtqWKHFa3109WgC1vipbYCFJcHF47bD+N\nKEkbVLRCYUzsaKsutPQLEaNu/uY8GWHynwB5tmf7JwkdksOUwJvnDxXooFDuZv6a\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"","summary":"

Sergey Bronnikov / Сергей Бронников

Делай добро и бросай его в воду.","updated":"2025-07-25 13:29:15.664Z","user":"","username":"sergeyb"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 22:19:24.095Z","domain":"infosec.exchange","followerCount":0,"followers":"https://infosec.exchange/users/rvermeulen/followers","following":"https://infosec.exchange/users/rvermeulen/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/108/198/949/107/062/168/original/2201041876c41806.png","id":"hqux5901x9jtsez","inbox":"https://infosec.exchange/users/rvermeulen/inbox","iri":"https://infosec.exchange/users/rvermeulen","isLocal":false,"last_fetched":"2025-07-25 13:29:15.931Z","outbox":"https://infosec.exchange/users/rvermeulen/outbox","preferred_username":"rvermeulen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5oxY+sQJFzBUczS7yvyS\ngDtBIw/DpE6R+RVKpPEVj7k2eAdBIZ2/+iIsMw16077d1sRMTcmBuSToaSoOIVfE\noieafQW3OVHLJCPa6ZQQmrI2+Ua8RcpJ0nbMxgXjmV0OFZXB795H9yBQu9r2KB01\n1DxeKBzzaj1juvLsI6uu9j82PII39UPu6mEv53eB/PNTn7EJLjGgdmRpv4f37Xi5\nT6aCyCkF+VNPOYzYhfzi9ZKhu+CGC5uVT/T70MsZdmzTUMmK1YLJwIGb2i4rNwB9\ngf6VKjelXUKJAvjBr4zaxcCWmWofE2/rpeyhymzyHg+rYicxPGgurO5ZDOxdzlzG\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

CodeQL Analysis Engineer at GitHub. Program analysis tourist. Documenting my learnings on https://remcovermeulen.com

","updated":"2025-07-25 13:29:15.931Z","user":"","username":"Remco Vermeulen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 22:19:24.125Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jvanegue/followers","following":"https://mathstodon.xyz/users/jvanegue/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/319/487/633/734/181/original/265cbeb47a967930.png","id":"98v8wfz2ykkc0qx","inbox":"https://mathstodon.xyz/users/jvanegue/inbox","iri":"https://mathstodon.xyz/users/jvanegue","isLocal":false,"last_fetched":"2025-07-25 13:29:15.975Z","outbox":"https://mathstodon.xyz/users/jvanegue/outbox","preferred_username":"jvanegue","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmmk3kgbVzlINifI6KIl8\nx8gUoY7qzEuZtIUoWu08NhFoL179KsHfzPNYpIr803/woOHtOCw0MdZSj3kr+FSe\nt57HLssv+a2mUlQrPJkunxk/zrqb9Mr7hKdKdbem7ifP0QQISKZH9SMvSw72zP17\n5zVeFg+0wUC3yZ7J7I2fhN0MNZ2toxpR42xyMJ1kysWjornlsnEQGBssCk5NRhsT\nDI60hh+I3ndOxUyJ3N8709sVTHNj9Lev8ooM37CsoZcSDrX4rXPuxt7/lu5NcCWL\n9umzHxLUsr0TVdQw/O9YL7j/4U35IVIcgFfQCEMQjMKS/Iuw+IL7aGAqfKAFapLM\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

CTO Office / Head of Cloud & Software Security Arch @ Bloomberg. Interested in distributed systems verification tools and techniques to secure design & implem.

","updated":"2025-07-25 13:29:15.975Z","user":"","username":"jvanegue"}],"page":1,"perPage":10,"totalItems":307,"totalPages":31}

joomy

Followers