{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 14:39:43.582Z","domain":"discuss.systems","followerCount":444,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1430,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"gnflgjbnh97ut68","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-12-31 07:08:36.385Z","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-31 07:08:36.385Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 14:39:44.667Z","domain":"functional.cafe","followerCount":98,"followers":"https://functional.cafe/users/artem/followers","following":"https://functional.cafe/users/artem/following","followingCount":101,"icon":"https://files.functional.cafe/accounts/avatars/110/069/252/667/294/702/original/61eea4cb6e3c60cb.jpg","id":"qrdoe9uf8bk2kzp","inbox":"https://functional.cafe/users/artem/inbox","iri":"https://functional.cafe/users/artem","isLocal":false,"last_fetched":"2025-12-31 07:08:37.008Z","outbox":"https://functional.cafe/users/artem/outbox","preferred_username":"artem","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA78rutQYa47BEaB+Rqz5k\nzmfzmg+SyyClR2+LgdJlFyuCGOQ2ARYUYWJPdSafPDoq0kfBz16oBy6Z1MEywOZP\n3EVCc2vB0U/X+iAv/T3beXcpc6czljzKlvM5CTbgBSh4txy3sUrPW71xGQWciuC/\nnv2G9vLvua8KPSBuZD0zcYWZDjwUUxdMoTtxEctRPzMRDyVTRH6nytCuLJdEm0Zk\ntIU89ZPv4LOH6H44G3Bop5r+a5WNeuEGYemYHirBsfkIw8RUYUID5PE2Zm1sAMnY\ni9gDUl8ejovjJxlmQKAHAYHwb5BcecNELgClW2LkzEQNhfE0tPU3hUpMKd6z1Wmu\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-22 00:00:00.000Z","summary":"

Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Programming languages and compilers. Julia, Haskell.

","updated":"2025-12-31 07:08:37.008Z","user":"","username":"Artem Pelenitsyn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 12:42:14.104Z","domain":"mamot.fr","followerCount":10,"followers":"https://mamot.fr/users/owlyduck/followers","following":"https://mamot.fr/users/owlyduck/following","followingCount":106,"icon":"https://static.mamot.fr/accounts/avatars/114/353/703/690/929/657/original/769c19ad318b0ced.jpeg","id":"ge0tuzr2vo2gnb1","inbox":"https://mamot.fr/users/owlyduck/inbox","iri":"https://mamot.fr/users/owlyduck","isLocal":false,"last_fetched":"2025-12-31 07:08:37.165Z","outbox":"https://mamot.fr/users/owlyduck/outbox","preferred_username":"owlyduck","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwntAtZlt2Rk/97zOKy9e\nDzJMwoIzCBoCJS1IZ59ma+V6ACLJlclrauNznYlQCHWMi8ng1c/wAQ9uIv8xI7a3\nxpx0i3NlR9ijRxEXA0ngRcQoLC3mJBzgHXCgkXctVVr/drDiHd0Rd/5IOxqrq70j\nVzM9VgqIGbSAhuTOiroccZDC/PFTp19XPsnciRTLN65j1vO3tAuvZX67NTYvVYce\nbhKjUlHBYEtDDghZKHlJKgs5orWc8DsIVlA9n+ruxqiv+iH3/BMyFI+Z/RPl+rRO\n5X6NVzzHNRocrCCFvdAON7M0venQJYUqxOY0IpKDGnRn7fyFwdPeLxXjb22NJdIe\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-17 00:00:00.000Z","summary":"

Personne paumée qui cherche

","updated":"2025-12-31 07:08:37.166Z","user":"","username":"Poussin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-24 15:33:24.482Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/ayb/followers","following":"https://mathstodon.xyz/users/ayb/following","followingCount":133,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/767/562/250/591/788/original/93719c95642d9728.jpeg","id":"1r8imgpyjo5m5bc","inbox":"https://mathstodon.xyz/users/ayb/inbox","iri":"https://mathstodon.xyz/users/ayb","isLocal":false,"last_fetched":"2025-12-31 07:08:37.212Z","outbox":"https://mathstodon.xyz/users/ayb/outbox","preferred_username":"ayb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsc8NkLFUMju/yiVsAKC9\nAUexm2xaPh4iBIWByfbRlxGHYvMsopXJwwlocDG+xqLSjHRWmkOlh2Jl84MsslsP\nl2egbOJC/n07jYNrrUQlf8M27627AQJw4k//CkcQ35Tnh8tUIGyd8hqCVZ69U0pK\n8NA9PYo3LWGoRDoWHL8qfTt3A6nOBz70xl2h5x6DUStpAal9mTpVv6XVtF5cuhMn\nYAPtFZL512mu2G3WTmkMPKXJvxQmoqutUx1hYB2MdNJwLZTcPyh5S7bOBovMaeFz\nuRFPa3qhuQ8vzVL9Q9+GhPTBdD9bSr/Gf+iaF5RN1E7C0/JNGUDK55Ca2cDIuao8\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-29 00:00:00.000Z","summary":"

Student in Computer Science at École normale supérieure

Interested in (but not only) the theory and implementation of programming languages and related topics such as (optimising) compilation and interpretation, WebAssembly, logic, type theory and category theory

","updated":"2025-12-31 07:08:37.212Z","user":"","username":"Aghilas Y. Boussaa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 04:13:59.083Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":265,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"2igu2e859hfw2yj","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-12-31 07:08:37.259Z","outbox":"https://mathstodon.xyz/users/tomstructured/outbox","preferred_username":"tomstructured","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnU6yomKQNUBDVR3HS8cE\n2wbd0ibXY6CZYaw3UB5MRvXWHR+UJddGZnKtnXNBbPrJOKsMabu3MmGAwJg1XH6g\n5caTkocL7hwlz0wpEe5ZUiLseAzrKGtvnRFHx2A7BM80erDh5+H9K7YQxlZLV95Y\nIq6LTKxTKCdQaCFTPT4j3XQMNK17mqZ/q5q1gf0dYDJ+UwylE1GtinmHPVy0Q6bB\nZ4Sqm8Vap4VdImRqPIBxWY7RiS+J7LxO0HSexv6piY464FoQqZ1Lnnyc24r5E5zD\nGSpzZUSMhnqIb3kDryVfWuoGtgcSEx1jVy8F4J4lp/DWshjMbbdb7y70SfieJVcV\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-30 00:00:00.000Z","summary":"

CS student. Studying programming languages and logic.

","updated":"2025-12-31 07:08:37.259Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 03:28:14.318Z","domain":"hci.social","followerCount":2717,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1010,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"b844o14cb5ikdjz","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-12-31 07:08:37.721Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2025-12-31 07:08:37.721Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 17:59:57.180Z","domain":"functional.cafe","followerCount":333,"followers":"https://functional.cafe/users/prophet/followers","following":"https://functional.cafe/users/prophet/following","followingCount":132,"icon":"https://files.functional.cafe/accounts/avatars/110/850/385/289/020/267/original/4ba119fc1467ad04.jpg","id":"r7284cdx87sqrt6","inbox":"https://functional.cafe/users/prophet/inbox","iri":"https://functional.cafe/users/prophet","isLocal":false,"last_fetched":"2025-12-31 07:08:38.688Z","outbox":"https://functional.cafe/users/prophet/outbox","preferred_username":"prophet","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArvJKySttwdwai5A5nysH\nNSPn/6HI4gxUMFP1HAOCcPMJkv9Iyz/flMUgYxnRi/yT7lRQZ2kLP7bA8xWFatiJ\nGfV7VDJ7Mgr723sgctx7oCA3DPD4e77TVjfM8q0Ew4D2Xq/UnsIBk1TzlbUbPFGQ\njYtl2GHFtMTtB1dKVxKQGS4MqaZ/BvOv6Bk0FKzSx9CNIg11f6/VKQdwDfGI25D6\n2K3JO9fMGCN3O8Jt34ycoIDUpRS16HM9zurhqxrpjviIn8FHx8+CneMWPBYAR/jA\n61oc59veWUYhaXpcfkmKLbxCllk44JSyL62ujHCWCDXlJg2II5XTpNvqlcwFt92x\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

There's no sense crying over every mistake.
You just keep on trying till you run out of cake.
- GLaDOS

","updated":"2025-12-31 07:08:38.689Z","user":"","username":"Alice"}],"page":1,"perPage":10,"totalItems":16,"totalPages":2}

alecs

Followers