{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:22:42.732Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/naufalauddin/followers","following":"https://mastodon.social/users/naufalauddin/following","followingCount":19,"icon":"https://files.mastodon.social/accounts/avatars/114/679/787/400/137/884/original/a3f4eb5dde901886.png","id":"3auz006fmlltz99","inbox":"https://mastodon.social/users/naufalauddin/inbox","iri":"https://mastodon.social/users/naufalauddin","isLocal":false,"last_fetched":"2025-07-31 23:13:00.616Z","outbox":"https://mastodon.social/users/naufalauddin/outbox","preferred_username":"naufalauddin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA56/o+GCFCf/xYP4fBlz2\ny4hSg+lr64UemzLykUFMhbe2FHIbUuS+ihlipD/vxOL50yosIngyWf8ncg7cKv6g\n5a+zAiDvrgpPPJrBHz4ULNe1vCk+c/eo1jYjm5BXYY/plYLOxnPm41D3zSPpmghl\nC4QXNBPA7YQElOK6mF8uf+1sxtEwy04qWpppazYH1q2dydhndV3A+nnbr/wc+pQD\ntD4dHaLYSR9cLZcSQgvzI1tP51rzDv5NVjxcF2a7r4z0cjdO0IPriO4K2ysp6u5K\nxXJQXyX+BzI3TNRxKd4112FVya9zIH1H62jHAhlwgk4u9NJiAQp1SHV+l+6gdt8j\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-14 00:00:00.000Z","summary":"

An apologetic Haskeller. Surface level Category Theory. Dreaming to ever understand Topology and HoTT.

I code most of the time in Haskell, but still love to branch out to other programming languages.

Firm believer that you shouldn't be discouraged learning any programming languages.

profile made with picrew: https://picrew.me/en/image_maker/86501

","updated":"2025-07-31 23:13:00.617Z","user":"","username":"Naufal Alauddin Hilmi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:20.141Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/ayb/followers","following":"https://mathstodon.xyz/users/ayb/following","followingCount":104,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/767/562/250/591/788/original/93719c95642d9728.jpeg","id":"74685f652y3671k","inbox":"https://mathstodon.xyz/users/ayb/inbox","iri":"https://mathstodon.xyz/users/ayb","isLocal":false,"last_fetched":"2025-07-31 23:13:00.647Z","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-31 23:13:00.648Z","user":"","username":"Aghilas Y. Boussaa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:00.666Z","domain":"mastodon.green","followerCount":90,"followers":"https://mastodon.green/users/kranzi/followers","following":"https://mastodon.green/users/kranzi/following","followingCount":433,"icon":"https://files.mastodon.green/accounts/avatars/109/297/141/392/223/841/original/a8b2dafc5c646a86.png","id":"r9j1jn2ktwp8d34","inbox":"https://mastodon.green/users/kranzi/inbox","iri":"https://mastodon.green/users/kranzi","isLocal":false,"last_fetched":"2025-07-31 23:13:00.685Z","outbox":"https://mastodon.green/users/kranzi/outbox","preferred_username":"kranzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwgP1L6qhmt6Kv9E623vZ\n9KyDhPYKN6Ek+KL4sfWdKbSko8fI+j2OcJRpnTtkhr4V+ISUDxGJyBKqI9Bu62Wv\niYyEPj7mLc4fSQI/6FnmvaPgmOQgrK7jEzVaKWbbqrW3oNjZNW7JRG+kkwUoBpTj\nFN7Tws2LBhjO8tnfOURopZ6J6pACqhHXr/wi/v62gIYiavulgwK7MxiIrAOOn4wI\noaFjcw2+z7VcQZMA2RFujY67x0nTFpkNRl8sPOAi5eYMgievUjzpOG8PgV4bruUv\nULYiphfK8eykxC2fIe3FfbxSsIkTWMevgqVRUSFgEdGW7xYXlul3N5YkFSsdFbzj\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

he/him

","updated":"2025-07-31 23:13:00.686Z","user":"","username":"kranzi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 05:14:41.501Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/MEvans/followers","following":"https://mathstodon.xyz/users/MEvans/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/880/638/529/307/original/063f2f8dfee79ab6.jpg","id":"e3a231z7l0s622r","inbox":"https://mathstodon.xyz/users/MEvans/inbox","iri":"https://mathstodon.xyz/users/MEvans","isLocal":false,"last_fetched":"2025-07-31 23:13:01.123Z","outbox":"https://mathstodon.xyz/users/MEvans/outbox","preferred_username":"MEvans","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo0C5Loz47Qyl8R3ZfmjT\n9W2hn2oI7PTOPwnS2hWwW+3fW5lwowttqxX8mKuublWEn1eoJhsFyHaBBy/Ib/lj\ns4xfMVrtYdqQ6+/3GHalalRTwd/qT555433quo0939M7X+vAt4QFvxH7FR3n55ey\na0Up90UXhAfay5F33omeRgg+TweqrOqacK5SgB3EzErlsza5o4+X+1eXDXsZMHYm\nMVETQbUbCR1cGAQMIayeoehOYiIWu045Mm0Y7K1wolZNPylcmSEhJ0G29KwEvNK6\nluMZzvMlqq9I4jl7fIcjjGi5aiUo239kVmKAMDWZglCejteM/tAwS1DK0rlYt0Df\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I'm an amateur mathematician trying to go pro. I enjoy studying with category theorists and promoting the work of this fascinating community.

","updated":"2025-07-31 23:13:01.123Z","user":"","username":"Michael Evans"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 11:33:07.548Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/michael_/followers","following":"https://mathstodon.xyz/users/michael_/following","followingCount":0,"icon":"","id":"d9k7thl52b3r51l","inbox":"https://mathstodon.xyz/users/michael_/inbox","iri":"https://mathstodon.xyz/users/michael_","isLocal":false,"last_fetched":"2025-07-31 23:13:01.152Z","outbox":"https://mathstodon.xyz/users/michael_/outbox","preferred_username":"michael_","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmQ/lCgWAanbSi9hsAGf6\nEaJT+nH6eY5m6kcG5MJSU72iU0EM32K0TG8p/GraL2WxX+nkhwVikZefmvmxvpYi\nwkcHm5An1SmaNS4dVtQjxmuHuU3nnqtuhLJD2+79UXrcGz6w1Z0gPQyW2xX5Qlhk\nz40g9/BqpPxHSDgH0PeR7zzO3oq63ZBjurc3TbnGgoBiK0qh+zHj/srFcccydMjW\nhY7+/IppcSVj4Qb420MkIplsqM6Qo7f7XA2jLQhR9e6ha1hZ9N25rbb8M9WDV/Bn\nfzGMmeOIeumKhY6OQEDgsxjcOdyprYbl5FksHwMQ2QMejPczJop6bQT3ImrY9jCk\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"","updated":"2025-07-31 23:13:01.152Z","user":"","username":"Michael Bächtold"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 23:27:02.735Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1119,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"puw1q9691t7u7w8","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-07-31 23:13:01.181Z","outbox":"https://mathstodon.xyz/users/czhang03/outbox","preferred_username":"czhang03","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+7Z86RWLBlWfiCEUoJ4\nQVkAPG/9Iz9f4iuauVzWGUUumV37mB3jCQk6vLweQD8oFt7qOcHX8JY1h9EJlxrQ\neC1u9dBZeA5mwe9FLlBjjPRvviAxpuejEWm6onFU1UBDmR8OuRrPJxgtoc/l6vGh\njv8a+Hn/lV4QRcPdgG1TGDxTqrR/4+f0Y1MYpUuvOtTQ8/CgqVXiwSJeKV8VJClY\nQ2DK6QCdWu01+GZiQ51FsR5xAO22VQPSqYv6gcw11LG2Rj3DDVylqgMRzj2N6kf6\nAjT8CuV+fixSdMP53d+VZ+Hvn+gmvO2UbbOuhybEYlaDpCLr7NVohIhLcd27pS+G\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Vibing good vibes; mathing bad math.

non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.

Generally co-menacing co-categorical co-object.

"I cannot Grothendick construction under these conditions."

","updated":"2025-07-31 23:13:01.182Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:12:18.160Z","domain":"discuss.systems","followerCount":412,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1385,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"dekw93l56l6q46z","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-07-31 23:13:01.542Z","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-07-31 23:13:01.543Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 09:15:01.170Z","domain":"c.im","followerCount":0,"followers":"https://c.im/users/Elysia/followers","following":"https://c.im/users/Elysia/following","followingCount":0,"icon":"","id":"4d20t2jw721u93q","inbox":"https://c.im/users/Elysia/inbox","iri":"https://c.im/users/Elysia","isLocal":false,"last_fetched":"2025-07-31 23:13:01.686Z","outbox":"https://c.im/users/Elysia/outbox","preferred_username":"Elysia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr55UAsB18quWAjrGOz/H\nb5Bvk32U6FOK5wLgEys87Er22W1cWMwwn8rvPR1Uow8NTvkzJGNsT8sAM2aB6KX/\nWw5GOWtqUHbxlZgcR/aXjNim42mIme1ksidoVPGDS0LdZ6mJL6NCH+SA/3fgJG+W\nSs3cSUb7XbWfWJBFAUx/tq81BxbBEUD0H045XWkfpOD1Bbkmf2jPtR+58+L/DcIy\ni3Mt/Npz7VBVTONTywv2eYj+CL9uuezi4azMiVqOMYRQL7xswvi16RTVfd1fEE30\nHtDXYnKxCBOc146rGHg1wQngJSL62i12xhdc0CrXWdClBBiRy5PtZ+ljeZ/Tjbgc\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-10 00:00:00.000Z","summary":"","updated":"2025-07-31 23:13:01.686Z","user":"","username":"Elysia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 23:13:01.720Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/fffluoride/followers","following":"https://mathstodon.xyz/users/fffluoride/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/485/524/307/915/582/original/3f922721d6d5c00e.png","id":"4fjeus1jyg9xp90","inbox":"https://mathstodon.xyz/users/fffluoride/inbox","iri":"https://mathstodon.xyz/users/fffluoride","isLocal":false,"last_fetched":"2025-07-31 23:13:01.719Z","outbox":"https://mathstodon.xyz/users/fffluoride/outbox","preferred_username":"fffluoride","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx4iL0jjI10/+wlFKPtZ4\noJLwMxmUzIPNFM7umjlUFmZOZEEvScn0DYWgeOi1Wp8jKQZMdGCvI8sMrRjH9RDQ\nzyGKAPQKwZ1MGfItKvNC+4zijrrbW6xRnjPSrjbcNzv53OD/AzjLnbdgJWjI69FV\nNZO4CedO7UnGGWdfuFrm664PVcIfIlfnY3iO3R7v6S2xH6xBCxKRosD0T5BqhVSs\nXYjoayU4hpfFs3fJg2Xpk4AP9Um7YT2eoXGixo8CJLcZqXyPOjbsfjNNEgaOe9+L\nQYZhoO3ohSfzxaSX8od5Tu7NfzVHmrkUz7NDG18NadzRoJuJb0VJUXwNfu+gfB2+\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-28 00:00:00.000Z","summary":"

Friendly discussions welcome.

I am an enjoyer* of many things:
- Category theory, geometric algebra
- Rust, Idris
- What you're referring to as GNU + Linux is actually Linux + Emacs
- Games (tboi, Celeste, Hollow knight and Terraria, etc...)
- Leftism
- Economics
* NOTE: you can put "some" infront of almost all of thess

I'm a first year university student studying maths and comp sci (it's pretty chill so far)

🇵🇹 Sou do portugal? 🇵🇹
(But I don't speak the language that well)

","updated":"2025-07-31 23:13:01.720Z","user":"","username":"FFFluoride"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 05:11:46.414Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"he0b91m4tc0v0hl","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-07-31 23:13:01.836Z","outbox":"https://mathstodon.xyz/users/shinghin/outbox","preferred_username":"shinghin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwJSPd6AyeWfP8UJiVYRX\nAuRR1fYsKRbK+/my7F/nqb4qC1kA2Nc30AzHn2IFAqqEeK/TriLaY0BnNRdtanbc\nxrm4IAzM1R1wOKIfsZl2/gSrJzcr/XCBwjThMnRoKdzQd2YV2C94C6qOylxMZMN5\nnysHTMiSudCzwTh1dd47yOPhXQrYOyWKYEIFNY8fWAvILvN0R0z1nDTqguowcjyv\nX7rTGFoqMe7XFHy1ig/v8hqCtZW4s64Se5hupwEihmCrB989ghY/nYb/PJqpibt1\n8TrGkJ6LRiM1wDVksaiGfCgcdcxDYCGroA/XtWBNlTxtiR9mt+W8BIknIhtPYXc9\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-11 00:00:00.000Z","summary":"

PhD student interested in logic and programming languages

","updated":"2025-07-31 23:13:01.836Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:03:51.822Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/a13338468281/followers","following":"https://mastodon.social/users/a13338468281/following","followingCount":25,"icon":"https://files.mastodon.social/accounts/avatars/114/545/240/133/718/200/original/044e2698baa2a091.jpg","id":"h6km6t0y1f8f4p5","inbox":"https://mastodon.social/users/a13338468281/inbox","iri":"https://mastodon.social/users/a13338468281","isLocal":false,"last_fetched":"2025-07-31 23:13:01.982Z","outbox":"https://mastodon.social/users/a13338468281/outbox","preferred_username":"a13338468281","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmuJKhfeMOSInHqpyfti2\n/oM82akQQh7fGWzvetJSkhLPKWuru0hUvJS2d7pOCgmvjx0Kxq4HycCsVbnbYCR4\n6sRru45wP2yc5tibL5VzMCIRycoOIvTDZJJ82vkhVkRCeSZxyc/TYtfx4ORsjPa8\nJZH4AjDBjA2VV01lb9DAWKc89zDh/WtI2aaz2DLDLkf+Vq0uLTciM+vaNjKXnt7C\n0bRVa32hAmygfbXrv9HGkYv0jo4T0MDexGUghMYuQEbHP1PSZdeyxdtknB6o7Zm9\n/e0JfpbMZ50YsL6sn5byogVAoy3hBrnoqIoGXdhc0+Nwosg7Icr0GMjeHHG0lXxm\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-21 00:00:00.000Z","summary":"

沉积岩

","updated":"2025-07-31 23:13:01.982Z","user":"","username":"Ziyan Chen"}],"page":1,"perPage":10,"totalItems":110,"totalPages":11}

Jacob Neumann

Followers