{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 06:21:33.157Z","domain":"woof.group","followerCount":561,"followers":"https://woof.group/users/ccshan/followers","following":"https://woof.group/users/ccshan/following","followingCount":527,"icon":"https://files.woof.group/accounts/avatars/109/350/022/199/734/058/original/29715957a93d7a8d.jpg","id":"7debc2r1ohhks2a","inbox":"https://woof.group/users/ccshan/inbox","iri":"https://woof.group/users/ccshan","isLocal":false,"last_fetched":"2026-02-26 05:31:28.508Z","outbox":"https://woof.group/users/ccshan/outbox","preferred_username":"ccshan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8lOjH3uMzZxm6Sm1TRil\nklV0lXXURefkxUI5LPLaBum8++n2O/o3dXq5cO0D8X+3yThyF0s30btRxKjBtWBw\nJwDEURKqxjUd3t2KU6QZoW+Ldo8/XvHYtwbQYPNRvo7xtYBU4IDqOzbL6g6vmAF5\nglwvalVCo7nmvA79GBMjYkzLK1jDrKi36skelljAJTm8RX0MjGJflmWfWs6uQCOx\nA2mIc01xxtbbx3wWl9SALIUNxSC/Bgd4E3+pxufxF/DQP0S7D75nbOXLT8UGyvOP\nYH9tqGE14VdRRN7RWXQ+j4kNSxgoSU1yRS/m1TW7xlD5rgY/NJRQ3kYOjSJJZrPA\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT

","updated":"2026-02-26 05:31:28.509Z","user":"","username":"Chung-chieh Shan 單中杰"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-17 18:19:58.607Z","domain":"mathstodon.xyz","followerCount":252,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":95,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"zsn2x26wpsz0v4c","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2026-02-26 05:31:28.601Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2026-02-26 05:31:28.602Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 01:58:54.702Z","domain":"discuss.systems","followerCount":134,"followers":"https://discuss.systems/users/psomas/followers","following":"https://discuss.systems/users/psomas/following","followingCount":561,"icon":"https://fd.discuss.systems/accounts/avatars/109/335/660/661/246/804/original/a6099baeedaa6f9a.png","id":"r31bvc2enwuzf4x","inbox":"https://discuss.systems/users/psomas/inbox","iri":"https://discuss.systems/users/psomas","isLocal":false,"last_fetched":"2026-02-26 05:31:28.720Z","outbox":"https://discuss.systems/users/psomas/outbox","preferred_username":"psomas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvzbX7kXvBZ2EvgxiAnWQ\nOO/4cLETctcHulnmemjyi6u9qtLcI+n6n5dJo+MqMvRmDEQ39PglJgcTAhQ7oKop\n6XarD70fx0o4vV7erjtQNgP0wS+xSwW/SeWsmszRDImdubvVrnKP+u2UoF0+tZdb\n6ONEn5IUDzA/rBW8ZNLTA/u75KNrFU4xWFuHRWOfTs3Cg+GCO2ks8duqbKwcFKYC\n74xpy+V2IGEyyGwT6NpdXOaJGa1+FENuVt3SU0VvyKKfh9+V2E+1sr3YCpaiYeLW\n3wT9BTJ5D+ldy/grlh5USJXnivw5Omvv9ptpfeLY2PNMMmbxWmiPtBVyZXOpIaQz\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

writing segfaulting code
PhD@CSLab NTUA

","updated":"2026-02-26 05:31:28.720Z","user":"","username":"psomas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 03:22:00.322Z","domain":"discuss.systems","followerCount":102,"followers":"https://discuss.systems/users/cabad/followers","following":"https://discuss.systems/users/cabad/following","followingCount":106,"icon":"https://fd.discuss.systems/accounts/avatars/109/314/173/352/679/379/original/5206a012e65865ec.jpg","id":"v5dp5i2jx1oukrm","inbox":"https://discuss.systems/users/cabad/inbox","iri":"https://discuss.systems/users/cabad","isLocal":false,"last_fetched":"2026-02-26 05:31:28.834Z","outbox":"https://discuss.systems/users/cabad/outbox","preferred_username":"cabad","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzOwhXnpJGxsQ1JUSw/G5\nuIGGpsqbvTMBUYC7FzA+SPtXLDy4PdJHzqHFyinsgHGaGmpjoIY/Gz2KHame5yjJ\n/XU9gbfB/4HADWp8rIcLdp8nUVY5fEGkDTx8UIKRkBJjjNnFu4/iDlXt6ssA0VFZ\n7FN7Jnvx6nJaLS5ZIQbWDYzAeksGwvmtWAnc9HPA5wRc/RS0wA+mrfrw/MCtFQzq\nwoDAQAR9YSPEOETwXgQ/kpnv42X/4Aphq34twGif2wDdOyPeEFEiSgwymr7o/O1V\nHFFBzoMK+1/QL+vNchxWFlAckHptb3rCVESEemwtlmMiucRzvIvTLdn0yY+qk1hR\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Teacher, Researcher, Distributed Systems, Cloud Computing, Big Data, Professor @ ESPOL, CS @ Illinois alumni, Fulbrighter

","updated":"2026-02-26 05:31:28.834Z","user":"","username":"Cristina L Abad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 01:01:56.851Z","domain":"discuss.systems","followerCount":459,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1456,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"kl6frucgii7joq8","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2026-02-26 05:31:28.953Z","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":"2026-02-26 05:31:28.954Z","user":"","username":"Colin Gordon"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

prateeks

Followers