{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 14:48:31.224Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/ayb/followers","following":"https://mathstodon.xyz/users/ayb/following","followingCount":99,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/767/562/250/591/788/original/93719c95642d9728.jpeg","id":"642661hwy92485b","inbox":"https://mathstodon.xyz/users/ayb/inbox","iri":"https://mathstodon.xyz/users/ayb","isLocal":false,"last_fetched":"2025-07-24 14:43:23.974Z","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, logic, type theory and category theory

Currently working on WebAssembly

","updated":"2025-07-24 14:43:23.974Z","user":"","username":"Aghilas Y. Boussaa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 09:58:20.035Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"3t4bly7l8a7th1y","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-07-24 14:43:24.011Z","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 logic and programming languages.

","updated":"2025-07-24 14:43:24.012Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 23:45:55.131Z","domain":"hci.social","followerCount":2597,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1072,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"pu5013x82rx888k","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-07-24 14:43:24.476Z","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":"

professionally: professing, programming, proving
recreationally: shitposting, collecting hobbies, doing things the hard way

“when abstraction sets to killing you, you’ve got to get busy with it.” —Camus

“i am their fury; i am their patience; i am a conversation. i am made of love, and it’s stronger than you.” —Garnet

¬(∀x. free(x)) ⇒ ¬∃x. free(x)

","updated":"2025-07-24 14:43:24.477Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 09:16:36.109Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/prophet/followers","following":"https://functional.cafe/users/prophet/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/850/385/289/020/267/original/4ba119fc1467ad04.jpg","id":"qb5o97bv4ps10ns","inbox":"https://functional.cafe/users/prophet/inbox","iri":"https://functional.cafe/users/prophet","isLocal":false,"last_fetched":"2025-07-24 14:43:25.871Z","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-07-24 14:43:25.872Z","user":"","username":"Alice"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 11:46:15.206Z","domain":"mathstodon.xyz","followerCount":672,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":731,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"51er9vi0iq98azz","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-07-24 14:43:25.912Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-07-24 14:43:25.913Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 14:43:25.955Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/hegeliantaco/followers","following":"https://mathstodon.xyz/users/hegeliantaco/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/116/526/393/968/081/original/9346dd336b51a637.png","id":"ylcfxd973h9q30h","inbox":"https://mathstodon.xyz/users/hegeliantaco/inbox","iri":"https://mathstodon.xyz/users/hegeliantaco","isLocal":false,"last_fetched":"2025-07-24 14:43:25.954Z","outbox":"https://mathstodon.xyz/users/hegeliantaco/outbox","preferred_username":"hegeliantaco","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxFbJIEh1kzxVGv2Xpall\nhAq0fVkpnIzVebPjlOiPubhQdRaW4FNG6sAF+lJV/EmboT5VMLV+xCo/XnAeHCOk\n/mpQlrldaDian4qB95N/tzxxFc8CXAFT8EnCnODoeiXujB3dY1DOyYGH5Rm2UbDK\nb7vq5eAUgWnfDfCDcXOaxdv+bb1u36ALo6orl2vnxVO01VtY0y/zo8Iqse1EQvP1\n4t104Rl1gpxCRNDBODr2Eom9w+KC+Q4sGeCOVhQ3dDZiy3UOMmzen5Kk7S6tQXCu\nG0Bdp+LfGHiSSmMvqwWIyH3c4DCCTNOuqNZsY0mJv99gp4auDBa8htu5IDwaCuV/\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-23 00:00:00.000Z","summary":"

Interested in mathematics, philosophy, computer science, and the real movement to abolish the present state of things I am not Jules Hedges, you can find them at https://mathstodon.xyz/@julesh For my non-computer science/math related thoughts checkout @dialecticalrussell.bsky.social @analytichegel on Twitter

","updated":"2025-07-24 14:43:25.955Z","user":"","username":"jules"}],"page":1,"perPage":10,"totalItems":12,"totalPages":2}

alecs

Followers