{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-17 18:19:58.607Z","domain":"mathstodon.xyz","followerCount":289,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":105,"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-04-27 02:08:13.964Z","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-04-27 02:08:13.964Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-27 02:08:14.502Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/ap/users/116403245367343740/followers","following":"https://mastodon.social/ap/users/116403245367343740/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/116/403/245/367/343/740/original/5ade89626e713c35.png","id":"w724vucc9n1e0t8","inbox":"https://mastodon.social/ap/users/116403245367343740/inbox","iri":"https://mastodon.social/ap/users/116403245367343740","isLocal":false,"last_fetched":"2026-04-27 02:08:14.501Z","outbox":"https://mastodon.social/ap/users/116403245367343740/outbox","preferred_username":"belalhabib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwIUq4E8ZV4TanXGlj3Qa\nlo0gzF1ngLfXJHHSg19En09hHKiKA2hPnyJ+rAzVkzZciPJuO3Ew+9oUeY+dbVUA\n75IvugZGmojI88EgPbWf4d9Au0p7XBEV3NBcwxHTN6hUVYVXBhsbqlX4xZAHvd3V\ncbdyUzZkQ9KpZ4dBbsjg7hLa3ytsBYACt9ufZNYXSOYRuQ7/LqyDztOanV8qw46v\nO4+3qS3mqCe37iZJyxSH6EcFks1nMZzVf9z6bSIgxOmrLGAGJjuqEPMXQnjTRfp9\nSkDzruMZvtTemdXp1bzbpSOR6nph87/JtO8QEjitOQt2MEyxBvEqYXB7HG8z1im7\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-04-14 00:00:00.000Z","summary":"

BWL-Student | Bachelorarbeit zu digitaler Souveränität Große Plattformen aus Datenschutzgründen verlassen? Wie hast du’s gemacht, wo gab’s Hürden & was hat dich ins Tun gebracht? Suche Teilnehmende für qualitative Interviews (ca. 15-30 Min Gespräch)

","updated":"2026-04-27 02:08:14.502Z","user":"","username":"Belal Habib"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 02:44:13.355Z","domain":"social.linux.pizza","followerCount":131,"followers":"https://social.linux.pizza/users/trogluur/followers","following":"https://social.linux.pizza/users/trogluur/following","followingCount":353,"icon":"https://cdn.social.linux.pizza/system/accounts/avatars/107/468/460/927/483/237/original/470e612ac0e0a609.png","id":"ux9sxe5xomut5hl","inbox":"https://social.linux.pizza/users/trogluur/inbox","iri":"https://social.linux.pizza/users/trogluur","isLocal":false,"last_fetched":"2026-04-27 02:08:14.622Z","outbox":"https://social.linux.pizza/users/trogluur/outbox","preferred_username":"trogluur","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAznZbl3pYKGwrPM7UA4Cp\nDI2S1H+CFk46Qliuobn9ZQRbqjZTvBqA9tLS5lPQdwzJqu96UcGVB8MMvNCJEGDf\nJ+GSd3qVBfB4eS2+Cobd4OPDgfGvvZlkPGeX9YJbQExSx7UBr2t5tYbnWA2IDXjf\n4X3tsHvd56lkSSyC3NXncspV+xKCmfCYbVeFXVrgMz4JGWs5V+NDHa7VdmzeURjo\nMWZzO9ET4WRKpOUysB+Gj4AyRsRuYYGH74NpOK+8WX2ejtiZiQakL9c/CNy02Bgl\n6s3aZW00+Slmq7kTr4ioj4C/Ydd2E6C0OFVsofvQUTipXKy/6x+71UHr/y73vHMM\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-12-18 00:00:00.000Z","summary":"

I'm a 21 year old neurodivergent computer science student from the Netherlands.

I like:
- Programming
- Playing the piano
- Minecraft
- FOSS & Right to Repair
- Cats & dogs
- Talking with people

Don't interact if you disagree:
- Trans rights are human rights!
- Black lives matter!
- I stand with Ukraine!
- Free Palestine!

Boosts, follows and DMs are always OK, but I will vibe check your account before I accept your follow request. I don't want follow bots, spammers, bigots etc.

","updated":"2026-04-27 02:08:14.623Z","user":"","username":"Thijmer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:10:54.048Z","domain":"functional.cafe","followerCount":991,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"ot196s1xhs3ux3g","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-04-27 02:08:16.232Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2026-04-27 02:08:16.232Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 23:03:27.062Z","domain":"social.edu.nl","followerCount":674,"followers":"https://social.edu.nl/users/OpenTech_AUC/followers","following":"https://social.edu.nl/users/OpenTech_AUC/following","followingCount":528,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/112/066/196/898/240/864/original/c4f48431ddbe8baa.png","id":"02my804bs01csd5","inbox":"https://social.edu.nl/users/OpenTech_AUC/inbox","iri":"https://social.edu.nl/users/OpenTech_AUC","isLocal":false,"last_fetched":"2026-04-27 02:08:16.309Z","outbox":"https://social.edu.nl/users/OpenTech_AUC/outbox","preferred_username":"OpenTech_AUC","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwQ2AI+e+Zi2hojtAxrnS\n6xs6USFQPYFLVcWsVOOhC4mrWTNW+NZr3k/g7Qtdjb2CLAMCDgLvdOTdAzGhgaOr\nUV1Ol2aMKIF2gGdS3RIq4gBmRPN+JuRQsQQcRhgaWzutuQ8pkFcA4j6vdDmq5TAx\nYfjveA9XVa3JZHuZYP3twHc+lb5h7lF5uXy8i874CDULAVhsYOEWEVNAOFmqQEtm\nmFogFBwfRDJ//Fxx9GK/bv+4KzRaCSObRcFQ09ZSQW2kDxL920E9NR3sOze6EZ3F\nTaoRrV4MxIpOXxthu7ET1KdFr98JVJQrYiIPa6pSCI8Y2fAeUJrqkqAXOhgKX72d\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-09 00:00:00.000Z","summary":"

We are students and staff at Amsterdam University College. We care about Open Standards, Free Software, and Open Data.

","updated":"2026-04-27 02:08:16.310Z","user":"","username":"OpenTech(AUC)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 17:22:20.542Z","domain":"mathstodon.xyz","followerCount":626,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":205,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ab1433c2d1cdbe6d.jpg","id":"d42wojhed1ilhxp","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2026-04-27 00:58:31.836Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2026-04-27 00:58:31.836Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-25 19:38:17.285Z","domain":"social.devwithzachary.com","followerCount":730,"followers":"https://social.devwithzachary.com/users/zachary/followers","following":"https://social.devwithzachary.com/users/zachary/following","followingCount":555,"icon":"https://mastodon.devwithzachary.uk/accounts/avatars/116/132/249/060/172/936/original/8ca575e5f16a8a32.jpg","id":"4tinglynjjg5s5r","inbox":"https://social.devwithzachary.com/users/zachary/inbox","iri":"https://social.devwithzachary.com/users/zachary","isLocal":false,"last_fetched":"2026-04-27 00:32:18.675Z","outbox":"https://social.devwithzachary.com/users/zachary/outbox","preferred_username":"zachary","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmLm+ozOP9eDu2QnM7DRd\nsBjAsq+kiqYMGS3NL7Fsf/Np3yNU5xNNmkOJzXozv3mnpyUFHk5GGYrmGuR7dnN0\n8jguxu7uG4lTeyYtxtpYbUy168iWYkFm+0uq3Z1ydj1RJ27zEh3PsFF6gdVk8qlu\n9iMF/maDiEhnucss3xp3IsqtqtT4ZP7QQbDNaKvYMNGCdlHmaF3pDfg9CLPyA8lL\n3tzMfA/+gYS9vM8he7138rRaVEKT5tdYiiF9IIRfGMRCdubmSw6Sdk1ADIZt2F66\njtOM7Kmr1079iBGQrE6NQrM1yTty+jB/pFlJ26SIkkWR3T8iUPEvF6lXi0T3hc2r\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-02-25 00:00:00.000Z","summary":"

Head of Developer Community @droidcon 🥑
Android Dev since 09📲
Keynote Speaker🎙
He/Him ♂️
Very Dyslexic 🧠

","updated":"2026-04-27 00:32:18.676Z","user":"","username":"Zachary Powell 🥑"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 11:11:05.661Z","domain":"mathstodon.xyz","followerCount":444,"followers":"https://mathstodon.xyz/users/jdchristensen/followers","following":"https://mathstodon.xyz/users/jdchristensen/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/246/927/350/073/625/original/281b3ac6c1b69ce8.jpg","id":"uiw8773rutezoyr","inbox":"https://mathstodon.xyz/users/jdchristensen/inbox","iri":"https://mathstodon.xyz/users/jdchristensen","isLocal":false,"last_fetched":"2026-04-27 02:08:16.353Z","outbox":"https://mathstodon.xyz/users/jdchristensen/outbox","preferred_username":"jdchristensen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoBi6OtppeRzaUMUh/t+K\nm+xUeeihPZSjr/3DvbGxQO9s4cQNex5OQn3zyx4I+6uGCCuJXE5wOU2gOCm1V3Ny\nCeRoTKGHi9YSMK5aoSp7LnFzxauT7eiS8eNIC+CaWP8CaZNFK/I2fa7DjX+MpwpT\npoABT7beVb2Lx/sQP6P6ICwNtunlyNZsyWSl9LWHhebFY3iYjy7rq8MZ6MgSuU5c\ncGL+KtCRlhYDwnCqCfOwdLgHF2dU9hywczNg01GRNMha3qjlKN7NqFPwAPKLw1b3\ncmu90UcEjeKKGvFM+zmENZjgphxkRqTPef1Tqh9SYlbs9NcixF2rk1asTQmUWLh1\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

I'm a mathematician at the University of Western Ontario. I'm interested in homotopy theory, higher categories, homotopy type theory, and many other things.

","updated":"2026-04-27 02:08:16.353Z","user":"","username":"Dan Christensen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-02 00:17:18.445Z","domain":"mathstodon.xyz","followerCount":402,"followers":"https://mathstodon.xyz/users/favonia/followers","following":"https://mathstodon.xyz/users/favonia/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/283/653/572/737/743/original/7c37c4fd50d306d6.jpg","id":"u7qp4evyubkxqvb","inbox":"https://mathstodon.xyz/users/favonia/inbox","iri":"https://mathstodon.xyz/users/favonia","isLocal":false,"last_fetched":"2026-04-27 02:08:16.391Z","outbox":"https://mathstodon.xyz/users/favonia/outbox","preferred_username":"favonia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4qiAl5t653Ox69fL7OeB\nxqSuEHXsDFshZRqbtaqj9DErlNd8G3PSvB0B64midyxj4W7gqk6xEVoJ4oZ6LWLx\nbwLf9aYts5Je/c62Bv+cVLe2tWzLcGiUbCv/DNsEvN2f23k0RM/gFuwbITBPK45C\naSutWH1VzV8sSJaYIXpclhq9v6qRhlNYMte5wHsKPeuULiLREwDQNVhS3huqPgYO\npvCz02ndz2+o6hjZB2i0AkmKCTXDoHcXxFp3l8hxqcposxU28HitNk8TXMGDiZS7\nx1R9RYocIGkjXAbfyfKXG/I1SaJUlX5y/uQo693Gs/hXwEUBPJGNJUatNVpuz4F+\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

🧑‍💻 cs&e faculty
‍🏫 u of minnesota
👤 any pronoun
💖 emoji lover
⚡ algebraic effects
🗺️ 國語 / 台閩 / english

","updated":"2026-04-27 02:08:16.392Z","user":"","username":"favonia"}],"page":1,"perPage":10,"totalItems":55,"totalPages":6}

Jacob Scharmberg

Following