{"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-28 17:06:59.728Z","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-28 17:06:59.729Z","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-28 17:07:00.666Z","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-28 17:07:00.666Z","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-28 17:07:00.700Z","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-28 17:07:00.700Z","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":813,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/300/228/694/892/432/original/a4d7bf5e20ef0c0a.jpg","id":"453443fmzlvy658","inbox":"https://hci.social/users/infinimatt/inbox","iri":"https://hci.social/users/infinimatt","isLocal":false,"last_fetched":"2025-07-28 17:07:01.268Z","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":"

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.

Previously built critical systems in roles spanning SW, HW, networks, security, storage, etc. Not a movie star. I like tacos, cats, dogs, and pancakes.

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

","updated":"2025-07-28 17:07:01.269Z","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-28 17:07:01.600Z","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-28 17:07:01.600Z","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-28 17:07:01.817Z","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-28 17:07:01.817Z","user":"","username":"Remco Vermeulen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 22:19:24.125Z","domain":"mathstodon.xyz","followerCount":247,"followers":"https://mathstodon.xyz/users/jvanegue/followers","following":"https://mathstodon.xyz/users/jvanegue/following","followingCount":33,"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-28 17:07:01.846Z","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-28 17:07:01.846Z","user":"","username":"jvanegue"}],"page":1,"perPage":10,"totalItems":307,"totalPages":31}

joomy

Followers