{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-24 20:45:53.362Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"kz22lwnt8h6uz03","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-12-26 04:38:25.184Z","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":"2025-12-26 04:38:25.184Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-14 09:01:45.010Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/psomas/followers","following":"https://discuss.systems/users/psomas/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/335/660/661/246/804/original/a6099baeedaa6f9a.png","id":"husmzumyiij2jb9","inbox":"https://discuss.systems/users/psomas/inbox","iri":"https://discuss.systems/users/psomas","isLocal":false,"last_fetched":"2025-12-26 02:55:40.604Z","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":"2025-12-26 02:55:40.604Z","user":"","username":"psomas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 12:54:06.001Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/cabad/followers","following":"https://discuss.systems/users/cabad/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/314/173/352/679/379/original/5206a012e65865ec.jpg","id":"3bsl7hfzb06ow4p","inbox":"https://discuss.systems/users/cabad/inbox","iri":"https://discuss.systems/users/cabad","isLocal":false,"last_fetched":"2025-12-26 04:38:25.302Z","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":"2025-12-26 04:38:25.303Z","user":"","username":"Cristina L Abad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 09:55:24.732Z","domain":"discuss.systems","followerCount":441,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1426,"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-12-26 03:39:43.979Z","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-12-26 03:39:43.979Z","user":"","username":"Colin Gordon"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

prateeks

Followers