{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 10:48:36.806Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/users/dmat/followers","following":"https://mastodon.social/users/dmat/following","followingCount":140,"icon":"","id":"0dz8h6i8gl2zcgw","inbox":"https://mastodon.social/users/dmat/inbox","iri":"https://mastodon.social/users/dmat","isLocal":false,"last_fetched":"2025-10-25 08:28:48.065Z","outbox":"https://mastodon.social/users/dmat/outbox","preferred_username":"dmat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAplgvrfU0krGn3vcE1qwZ\nJmnEr9MporE9V2sOj+9J+5EC5vxma45i0EKyt4gNj9Vu7ugKfZ0IXAMKNISGWtNt\nhm4chO0fOdwV5fFIV/6JutT8S+qKkJo/FSkovXF9uACC9eK5IeTF9Opa84Pv6kAg\n/Jf3wJk8UvZGx4IbhA1a40+HhBBFnCfKkFOShGf/INVAg7BBWp3OA8dLBWjXfD0Z\ntfYo7hiLTEItBd8q+3l3OAeg9SNLsxHL/eV2xBY4o4PS9sCERG9kmorEZGdROARG\nqGMR2HhHuNKAVsdQ+T6WDsIal9n4D2dpepfHt5RluiyeMjkh0xfp1+S68epVB1fg\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-18 00:00:00.000Z","summary":"","updated":"2025-10-25 08:28:48.066Z","user":"","username":"David Mat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 09:55:24.732Z","domain":"discuss.systems","followerCount":425,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1410,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"nu9nj4nag9txjp6","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-10-25 08:28:48.351Z","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-10-25 08:28:48.352Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 21:08:02.246Z","domain":"mastodon.social","followerCount":4690,"followers":"https://mastodon.social/users/regehr/followers","following":"https://mastodon.social/users/regehr/following","followingCount":939,"icon":"https://files.mastodon.social/accounts/avatars/000/147/970/original/8dd7e7e6a7ea9f95.png","id":"0d3oh0wkbayn4gv","inbox":"https://mastodon.social/users/regehr/inbox","iri":"https://mastodon.social/users/regehr","isLocal":false,"last_fetched":"2025-10-25 08:28:48.655Z","outbox":"https://mastodon.social/users/regehr/outbox","preferred_username":"regehr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqc9jRQbHfYqgDGWUXgk0\n2kPoy5LWnoA60e0nOFkK8YdlnO5XjkHPQENRBjeGg8MUjLsO+VpsyY7tFPYJ6Wp+\nqgIvawq6QZT5Aqk5Tj/DaeOe6xjF5vTcdptbgOiACekKA4jh3wq15CnoJrTRCWdh\n9R4y66RNF8fwcgYUBdqh3LxZfEeZEYd9zAGej5KdVnNOKt5dY/lN1OqSshnLfi9R\neHpHUwXC+N25TXUp8k+fzkwuHY2O0QUM+winQ8d43eOUNDmnTsIYCeH8LakaLozT\n+NgjJIjKkg6Mfk53qHQ/A53y1vJCbxbpjbJjKsQNep28fj5O/63op/hS5+yAXq4T\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-24 00:00:00.000Z","summary":"

he/him

","updated":"2025-10-25 08:28:48.655Z","user":"","username":"John Regehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 08:50:07.796Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/adrian/followers","following":"https://discuss.systems/users/adrian/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/306/284/734/485/516/original/86f0d1d93e9a1040.jpeg","id":"c9l1jwna9twkoxc","inbox":"https://discuss.systems/users/adrian/inbox","iri":"https://discuss.systems/users/adrian","isLocal":false,"last_fetched":"2025-10-25 08:28:48.913Z","outbox":"https://discuss.systems/users/adrian/outbox","preferred_username":"adrian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5Pd4u6BAU1ZK+RTdDo4U\nVS0YHrorPo3PewCWRoABkdtDKwfzoVcrQNuwUkpuv69aw4SZVAOKn0GPioLax9ue\nD+gNvLw2Q0okTq5dGDhB4pPQkHaTzVHN7SzQTllQaOBUCZQ/TnIJ7BBJ7sMcz25l\nPJBPUS9JpDY/Z04U19JRaq53HAYOniiO1s10ZH89wCDi+HOq7y4JUb4WFKW0H8+V\n5HDI3CxGit69Nj9y45xPp1+14UdYBq2pZ8ah0Mbv8HgWsfNXrisgMhHiMWDZFbz0\nYTUJ0oxJ1aADfr3/si1RF3Q6XNT9abu27isAc/WY9Aa/GL4URbWGTLgVSQ6CZI93\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Carly Rae Jepsen fan account.

","updated":"2025-10-25 08:28:48.914Z","user":"","username":"Adrian Sampson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-21 07:25:18.930Z","domain":"mastodon.social","followerCount":5,"followers":"https://mastodon.social/users/Scivibes/followers","following":"https://mastodon.social/users/Scivibes/following","followingCount":141,"icon":"","id":"qjj3lfacvcb5boz","inbox":"https://mastodon.social/users/Scivibes/inbox","iri":"https://mastodon.social/users/Scivibes","isLocal":false,"last_fetched":"2025-10-25 08:28:49.150Z","outbox":"https://mastodon.social/users/Scivibes/outbox","preferred_username":"Scivibes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnaGhnKeoc9T0uD1AfbE1\nVR0a+DrNJtUcjwQteUjl8cuuxb1ycTI1093PjzM2bOf4BCM69a4CcTmDZXP8uVaj\nYO6vwAuz9Dc7++FJHKHyXlsG0xuqUQ7pSBLYxkRoERm46r6IIEWJDgQZq3yA74TT\npj2JEIfnzasKV/69FbsxUKY7sJyANDqFMm4PWoK53Zk10meGQib4vmqm2wfPZeif\n3vew8DpsBrlhyDN6w7dRrNSGiGDxDecjk5Jrn1zaqUxh17PG6cjsN3Xv0u8238x0\n3C0FiN+11nCarm3EIKJbe4t9HeZnin6etErda5UVli01fnNAXJEqDtuXAaAT7MWJ\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-05 00:00:00.000Z","summary":"

Science Enthusiast

","updated":"2025-10-25 08:28:49.151Z","user":"","username":"Greesha"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-28 14:10:01.135Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/dims/followers","following":"https://mastodon.social/users/dims/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/035/224/original/1e935b2de256625e.jpg","id":"auh2pu92lzehk5m","inbox":"https://mastodon.social/users/dims/inbox","iri":"https://mastodon.social/users/dims","isLocal":false,"last_fetched":"2025-10-25 08:28:49.262Z","outbox":"https://mastodon.social/users/dims/outbox","preferred_username":"dims","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvDacNiyeSgnmQrrijLSW\nk7IYdoj0WKEIqXOEoaiXnPx1zenDr3OYAtTzRmP998j4B4EXsZbOo+M1zwyabJPP\nms7Y8IosJwy4v08MJUHpLWal9xTarW41rVq/XRNs+IsKqDvjDE7BrGTDEtw25MQg\n5KZu2pCn9Nsr52KbNPy2U0N52CSwuL7QbFKSCJ+S9oNeIhj+f9/SAKTNODRL0+OG\nDRrmLNN5a3+xJO2H3x0LHzSxKtmQz4NzqSOIcN2hEoL6heCmxkxSQJvMH9dJntSx\nT7P+GV5L8QxsLAtZieOW3cXmwpRDKMg+rnjgTDe1d7azlXfbSSxXj1+FKT7VR4lx\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

#OpenSource Person, Principal Engineer for
@awscloud, He/Him.

","updated":"2025-10-25 08:28:49.262Z","user":"","username":"Dims"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-13 10:53:59.211Z","domain":"cosocial.ca","followerCount":2284,"followers":"https://cosocial.ca/users/boris/followers","following":"https://cosocial.ca/users/boris/following","followingCount":2971,"icon":"https://media.cosocial.ca/accounts/avatars/109/493/639/329/323/798/original/95c3165459981f7d.jpg","id":"uaj1stsxgx1a4zw","inbox":"https://cosocial.ca/users/boris/inbox","iri":"https://cosocial.ca/users/boris","isLocal":false,"last_fetched":"2025-10-25 08:28:50.077Z","outbox":"https://cosocial.ca/users/boris/outbox","preferred_username":"boris","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxUdJ2z9hCuNEB2W7jnWW\nhx58tYRaJwTGktdLZgT9xkLexqimDAnD7Kr1ZOzhkWbFu+yYHmGxnAw624SosXLv\nMoHxn5ttg1LJEtxHjnWBIAb/yDljugcnj61VSJxPJNEgnM0pXO7+0JGYN7xksjmh\nBRx8XGtk/ZfloWzPsIhJK4buWd3G0AmVYIkmr9MBXZvSZvb8eVkR0b5GpDVM9pmx\nAVr2C+N6Rqulg3U9SNZvogK5C7L82/wwRJgLEQFRg+ukOCuwwGCV6PC8gjSmj39O\nhAxRMP1G39HKXGKhudGn8rUnoziGqZSOEM32OGmtX/GmW9XtAhZKN/pL9W/7i5Fm\nCwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-11 00:00:00.000Z","summary":"

Community. Decentralized Web. Co-op and Collective action.

Board Member #CoSocialCa @coop

Vancouver DWeb Node https://dwebyvr.org #DWebYVR @dwebyvr.org

Likes to cook & eat.

Header image is view from the causeway over Deep Bay on #BowenIsland looking towards Horseshoe Bay / Sea to Sky Highway.

#EastVan #Vancouver #BC #Canada #searchable #coop

","updated":"2025-10-25 08:28:50.077Z","user":"","username":"Boris Mann"}],"page":1,"perPage":10,"totalItems":177,"totalPages":18}

Neha Rungta

Followers