{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:07.257Z","domain":"mastodon.acm.org","followerCount":77,"followers":"https://mastodon.acm.org/users/ismailkuru/followers","following":"https://mastodon.acm.org/users/ismailkuru/following","followingCount":270,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/861/270/740/451/768/original/685bd353037ac398.jpg","id":"m270z781279m07v","inbox":"https://mastodon.acm.org/users/ismailkuru/inbox","iri":"https://mastodon.acm.org/users/ismailkuru","isLocal":false,"last_fetched":"2025-08-05 23:52:07.485Z","outbox":"https://mastodon.acm.org/users/ismailkuru/outbox","preferred_username":"ismailkuru","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvzvLwm0mzB2YV2/TN31P\nGIhoAWCdqvocoFGcqgZr533AfC778OdWXOfzcKWZkAE3q0fUAart1Rn7iesKY4PZ\nLW5t7U3bBhbavwfICyDCTZKsA5rd354Bhm2IzkMTWit7lux1atRA9HXPqxII3rQE\ny8x/yXkeYaI1+avnqtFDJ/SFn06ecMZmWvRjAkWNGoDmYCM68YUtNSVf9ACYNwEk\nurngRRUfvCv8Dlz06xl26i7eMQu8kTwVLLrDLj66p/ymAvjst1JrCjfUPSWza4lr\n0SqIIJZPpLPemBTAWU++/9ERExShcJOCDSswRwevCfjGHFGxLOkmU7dw6J/2vJCs\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-09 00:00:00.000Z","summary":"

All opinions are my own

Not a professional account

website: https://ismailkuru.github.io/

","updated":"2025-08-05 23:52:07.486Z","user":"","username":"Ismail Kuru"},{"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-08-05 21:55:17.518Z","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-08-05 21:55:17.519Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 20:35:41.454Z","domain":"mastodon.acm.org","followerCount":5,"followers":"https://mastodon.acm.org/users/mohrez/followers","following":"https://mastodon.acm.org/users/mohrez/following","followingCount":68,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/535/817/725/729/436/original/6c352dcad225e54f.jpeg","id":"kvqya0e3222v519","inbox":"https://mastodon.acm.org/users/mohrez/inbox","iri":"https://mastodon.acm.org/users/mohrez","isLocal":false,"last_fetched":"2025-08-05 23:52:07.727Z","outbox":"https://mastodon.acm.org/users/mohrez/outbox","preferred_username":"mohrez","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzTtrCxswUxyUwJ5hwgvL\nyRH9WqbmbFVFrRM0o2RBK/RY+dEDvfXoFF0Gri5/n747cdmeb4PaYOWIyAGJjKq3\nf4bolx7pIB5meklWg72uEGGJfgkfUm05QPJ8IRSf+XfWKr9DiFnkUePGb0ha9sy9\n5LiJq2H0oemkZyp+TR2BXWGD/9JuTFfjbAnR+T7K1Xf8wqSaxVkMFJgIQs+0Y0mK\ndrgdGE3uE6cVni4Ngjr50iG3HlDHgy2T916uarC1Ux2XFCG3GLmajSvExApLLLvi\nV12F3Y4EBCAMQcncQGfbcTOmuTYhHjiTB+YXhdJZNOj7/GYZr5enk0XxyReq6evm\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-13 00:00:00.000Z","summary":"

Postdoc @ UniPassau | PhD in Informatics from USI Lugano

","updated":"2025-08-05 23:52:07.728Z","user":"","username":"Mohammad Rezaalipour"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:52:07.851Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/aswaving/followers","following":"https://mastodon.social/users/aswaving/following","followingCount":0,"icon":"","id":"6ne41lu4268116p","inbox":"https://mastodon.social/users/aswaving/inbox","iri":"https://mastodon.social/users/aswaving","isLocal":false,"last_fetched":"2025-08-05 23:52:07.850Z","outbox":"https://mastodon.social/users/aswaving/outbox","preferred_username":"aswaving","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0W8Hb+18gh8vQ9vLUCJu\nW24i9NSFJWPcSeoT4yQlP6VqH6rlmGaPMbTJOpi8OaZgdWZNXZiE5oe+5nR78DJY\nd4Vm3LNzl1YbMxQmkTrSKCbUaCsYVJNEE7wtppK79exmSlcyg7xpAqoWcD2mRkyC\nnRzL+FsD25ycFJxQexr+M9pV/7hKMORagjmQSWNwnSBlrOhi8L4OYeio6gAQABOE\n04DgYXRbhG3GQ4f08wIOT7X100CbKr6lq5sauPWd99AOGMvRdn+DHxTm6RlBEcAe\nKtJXpwfqoOgjzNw+xeQou28Dykfl3DoBdaIKetGBF/1FsGx+nHsITLpSj7x1MdZI\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-25 00:00:00.000Z","summary":"","updated":"2025-08-05 23:52:07.851Z","user":"","username":"Arthur Swaving"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:52:08.237Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/MxGhadimi/followers","following":"https://mathstodon.xyz/users/MxGhadimi/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/301/657/160/160/021/original/e9e13d197f5679f8.jpg","id":"apw21dd0c02avf7","inbox":"https://mathstodon.xyz/users/MxGhadimi/inbox","iri":"https://mathstodon.xyz/users/MxGhadimi","isLocal":false,"last_fetched":"2025-08-05 23:52:08.235Z","outbox":"https://mathstodon.xyz/users/MxGhadimi/outbox","preferred_username":"MxGhadimi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwlV0/9oONgL0RTITZjEf\nt9BL8NYH/F/M2krvA8KX5Czxm2PJX4J18OFdfmEDwRsqKbcg6BeX6eG/EVNVrcQF\nHpkoD3CNojeHl4B6ebd8Xm6pS+LCvr/D1lJxWNQjyU8qkXs4PsQHB86ln8ZIoMyI\nQENP9GGA5OK9NDUFXxiJ9tGCdiWomJIZcepcnbYRN1PFCha5xxDUQHVc2PwugMwj\nt7J0WlycYVs6XnfOTrHr6nIkopYBHd1ozT3BB1U3wfjNBvn7s4EWQ9e5e9wifRi2\ntYf5hS3Kl70z8tDcBrtxDcyi+0LY9AERQiRcCxbHe86LxnA/it9NnAawyEK9znpJ\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-08 00:00:00.000Z","summary":"","updated":"2025-08-05 23:52:08.237Z","user":"","username":"MxGhadimi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:02:22.874Z","domain":"aus.social","followerCount":268,"followers":"https://aus.social/users/robs/followers","following":"https://aus.social/users/robs/following","followingCount":248,"icon":"https://mediacdn.aus.social/accounts/avatars/109/480/245/639/604/397/original/32f35f28942eede2.jpg","id":"y9nx3inb92k768a","inbox":"https://aus.social/users/robs/inbox","iri":"https://aus.social/users/robs","isLocal":false,"last_fetched":"2025-08-05 23:52:08.685Z","outbox":"https://aus.social/users/robs/outbox","preferred_username":"robs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzY1E03/dzQPXPS4paBhI\npTqOvk1z2n6mqHL7B/FXFFbkBe6gEfe8bxHenM3oHIlsqBiv6I4stEMPQuH3IZEl\nj6SuFsF6UmbX1vzuqc+H4EkiRKnU0P9UPsWYuc1jS8bB+f5vzpJsXGfycrDowiUV\nkStLF+7ZpMzAYVqArCys4o1tmzQleTpWmPI9KdWCsQY+thJ06SedeTnAnSHhSTO9\ntmjcuNffpaX2o8hEPFgSFGf9lOk4TnnHm7uS6mHfkf0zormZ1PuvvQLlEUMP9O+L\niItVz9GZ1PL9U6ECK7Yi8PN0bRqyji8DqRI3HxwNytDESUIUQ5MC33G7JaSDTB4v\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-08 00:00:00.000Z","summary":"

Australian formal methods researcher and occasional OS-level programmer. Ex-industry, ex-NICTA/CSIRO. 🏳️‍🌈🏳️‍⚧️:Flag_Enby: Trans nonbinary person, 💍engaged to @leoadec.

(Avatar: Awkward crop of me standing on a beach with my eyes closed in the background of a selfie. Banner: Water babbling over rocks in the Blue Mountains.)

","updated":"2025-08-05 23:52:08.686Z","user":"","username":"Rob Sison"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 06:09:25.592Z","domain":"social.vivaldi.net","followerCount":2,"followers":"https://social.vivaldi.net/users/yhirai/followers","following":"https://social.vivaldi.net/users/yhirai/following","followingCount":87,"icon":"https://social-cdn.vivaldi.net/system/accounts/avatars/114/132/311/259/217/035/original/b09696059ada6bbe.jpeg","id":"rk01vuqhw6u5o4m","inbox":"https://social.vivaldi.net/users/yhirai/inbox","iri":"https://social.vivaldi.net/users/yhirai","isLocal":false,"last_fetched":"2025-08-05 23:52:08.832Z","outbox":"https://social.vivaldi.net/users/yhirai/outbox","preferred_username":"yhirai","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqtvOEt78CG9i9AWGajMt\nXF6qOot7qx2sxzmwrsueT1CtWQVZHp2Xt8fixUVwMoHIw9zzDNgputV9vG9lwvyl\nS/Oe4mkrX8kKKBHtt6nLqRPICaeegcAbeAjfUlFwdpsDvu/V27CQ/07lwL7PmsuN\nXaMdDe1n0Mx10ejcpR5petjWESz45dRcirsLFdUDZqg6WQ67eOSDjtSFAYyYRkGA\n75qleowUqgEhS9bN+3ayOHrmQJIiv65ybDP87KqTrp4bYIgkbDMayY9xssX5mrfU\n1t+H8a5ZV5KeLeReBNK2BeCSZbWRg07SI7Dxvn1mZEYz9ODvYdNX8JE/bKGFvCXY\nCQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-09 00:00:00.000Z","summary":"

interested in computation and logics.

","updated":"2025-08-05 23:52:08.832Z","user":"","username":"Yoichi Hirai"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 08:51:08.660Z","domain":"chaos.social","followerCount":1282,"followers":"https://chaos.social/users/quincy/followers","following":"https://chaos.social/users/quincy/following","followingCount":5454,"icon":"https://assets.chaos.social/accounts/avatars/000/137/688/original/f8b57c1a397d4b66.png","id":"7sd8h5hg1v98sug","inbox":"https://chaos.social/users/quincy/inbox","iri":"https://chaos.social/users/quincy","isLocal":false,"last_fetched":"2025-08-05 23:52:08.904Z","outbox":"https://chaos.social/users/quincy/outbox","preferred_username":"quincy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtlAPXuBhkM40rFQLxcgy\n9M/sYCQyQn2FUXbsPKYhoFvw0+A1JKKv0i2QPp5cK8T4hs+EgPOjqnN53SaJNsIH\nlwJ6+Z2/x+vXkLTVGU9ddUSGFEIFYKHrvi6CvenumXY+3yOkj669YegY4VlHWUSd\nHlu6xm2Wo5py5gQCBmIFbYx1SAokKmTvzEdnoVQH/9AfPYuhkB71hbV5cgAOasQ4\nG/NZM7c6MAlGvsc9MVhz6xR+PvmZUqwHz4NSCkYDv+kXu99VpV0TSAYZoKQWuicB\nyDJp9kZnPFzeqsgxVYvJb5jfNdp9SqnHD4jj5m9XG5mmPh/vI9G6jqj2Ej1alCwS\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-12-28 00:00:00.000Z","summary":"

Errare humanum est, perseverare diabolicum.

Trying to be positive, not always succeeding.

life is too short, #kunst/#art is long.

pronouns: he/him

#CreativeCoding.

#Privacy matters.

Human rights are universal; kein Mensch ist illegal; mehr rechtsfreie Räume.

#adblock #antipub: I endorse @hhwerbefrei: our cities deserve to be #AdfreeCities!

","updated":"2025-08-05 23:52:08.905Z","user":"","username":"Quincy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 02:12:09.279Z","domain":"zirk.us","followerCount":450,"followers":"https://zirk.us/users/Joyo_us/followers","following":"https://zirk.us/users/Joyo_us/following","followingCount":7403,"icon":"https://cdn.masto.host/zirkus/accounts/avatars/113/515/750/123/799/840/original/b0592ca80242310d.jpeg","id":"nkd6tl9bb6xali2","inbox":"https://zirk.us/users/Joyo_us/inbox","iri":"https://zirk.us/users/Joyo_us","isLocal":false,"last_fetched":"2025-08-05 23:52:09.184Z","outbox":"https://zirk.us/users/Joyo_us/outbox","preferred_username":"Joyo_us","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnaWx0238LdlJdXim1WiK\nEvLfzQXaOp/zJDc0Bej8ZIwCPzp1MnU9/6SBik9ehgazgGkFovze9q0VA9+hbv1W\nLYmUOiX1f4i3mHVsdBC/uXdT+MBumIACXUAlj/m0W9LTU6bZ48Zlds0trD4HzGKU\nFMBmtcZJc7SXWzYEozTQXVW2WzgUG1uDA/C9AA32mKarFYMqnxt+sf4HY5h8il4n\nMKx3rSB+1Dnf2ju/g00yLwJsQ7R/gNnEWz0rKX63UOh4E3r9hezQSlhQUiCf2H3E\n4R/X0HLVbjfNS/QeZj60d4aRHWY5zJOhz4K/l1C7MjLA0nnuP3xDqnI6mp4COxoD\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-20 00:00:00.000Z","summary":"

𝐈'𝐦 𝐉𝐨𝐲𝐨𝐮𝐬. 𝐈'𝐦 𝐚 𝐟𝐚𝐬𝐡𝐢𝐨𝐧 𝐯𝐢𝐜𝐭𝐢𝐦 𝐚𝐧𝐝 𝐢𝐧𝐭𝐫𝐨𝐯𝐞𝐫𝐭 𝐥𝐨𝐨𝐤𝐢𝐧𝐠 𝐟𝐨𝐫𝐰𝐚𝐫𝐝 𝐭𝐨 𝐜𝐨𝐧𝐧𝐞𝐜𝐭𝐢𝐧𝐠 𝐰𝐢𝐭𝐡 𝐨𝐭𝐡𝐞𝐫 𝐜𝐫𝐞𝐚𝐭𝐢𝐯𝐞 𝐚𝐧𝐝 𝐤𝐢𝐧𝐝 𝐩𝐞𝐨𝐩𝐥𝐞. 𝐈'𝐦 𝐢𝐧𝐬𝐩𝐢𝐫𝐞𝐝 𝐛𝐲 𝐓𝐫𝐚𝐯𝐞𝐥 𝐚𝐧𝐝 𝐍𝐚𝐭𝐮𝐫𝐞.

","updated":"2025-08-05 23:52:09.185Z","user":"","username":"Joyous"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:52:09.669Z","domain":"qoto.org","followerCount":0,"followers":"https://qoto.org/users/MariusM/followers","following":"https://qoto.org/users/MariusM/following","followingCount":0,"icon":"","id":"006596kj6hje8x9","inbox":"https://qoto.org/users/MariusM/inbox","iri":"https://qoto.org/users/MariusM","isLocal":false,"last_fetched":"2025-08-05 23:52:09.669Z","outbox":"https://qoto.org/users/MariusM/outbox","preferred_username":"MariusM","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvAEsJmqGPWL0kFz166Yc\nwFqsJ0EXjvznMlnXJn2E3w8kvvvTMEGkbOu0Tmp0s34ImOyPgAeM3AVQNz+nEdvE\nnNanuaXd1pUXLqEoAooJK8Um4TFMBm7uquXoDbR34uBI2M3CQZdbLoA+32d5mm2k\ndSBdufsNpKM1RltJ5IS6ks9508z44LnVPYQ13APxXFmzpRhtFt5q5wi/VW54rbYl\nmhZ6TlbMeg1WNgcW4VyM1aogLbHktF03H6LR2U+SI4QSLR5wFEKq+/cGVWmiMk43\nVYIQeOHH+XKaiCQjUMcUknLC75Alk+dveJm5jX2ht3cmZ5HxaK0i2Pnv+/lNULYE\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-06-12 00:00:00.000Z","summary":"

Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.

","updated":"2025-08-05 23:52:09.669Z","user":"","username":"Marius Mikučionis"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:52:09.774Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/taylortjohnson/followers","following":"https://mastodon.social/users/taylortjohnson/following","followingCount":0,"icon":"","id":"lbehuzbq5lex38y","inbox":"https://mastodon.social/users/taylortjohnson/inbox","iri":"https://mastodon.social/users/taylortjohnson","isLocal":false,"last_fetched":"2025-08-05 23:52:09.773Z","outbox":"https://mastodon.social/users/taylortjohnson/outbox","preferred_username":"taylortjohnson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA/MxV9KQ6EiDydrGfhUOo\nFnmzLYJQQt9yIJzVexJCTTcBV+nCA9i93kqO9xAwn5mB7De4/4i6DIb4PmbzP/VK\nGvoMTHp642jKpZ+wGgX+qXqG/I815j4kbGqNeoDbqbrJgsrTxspaD3zwAVDHvQwy\nwQEPptvexh+aBR9JGD15lwmxJvY+zaVD+zpXQg5JP+n0CMO5Lc6gd3v+3U9QmL7b\ndPWwENPsi9EGP39MwCio0EmOQYxT5kzUb/Kw0XiPCQGl8HSzFi4cTRy+VPpqERd6\neVPEHxNq5WIy207VSSqEFDDS+wMFS2R3KzDl0yvssmeLW5/pF47BHU4sXt/+U0Ur\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-20 00:00:00.000Z","summary":"","updated":"2025-08-05 23:52:09.774Z","user":"","username":"Taylor Johnson"}],"page":1,"perPage":10,"totalItems":51,"totalPages":6}

Formal Methods Europe

Followers