{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 12:49:01.339Z","domain":"mastodon.xyz","followerCount":7013,"followers":"https://mastodon.xyz/users/rms/followers","following":"https://mastodon.xyz/users/rms/following","followingCount":0,"icon":"https://6-28.mastodon.xyz/accounts/avatars/110/426/658/158/664/185/original/f85652a785470404.png","id":"m2bcyhvft3pfjpl","inbox":"https://mastodon.xyz/users/rms/inbox","iri":"https://mastodon.xyz/users/rms","isLocal":false,"last_fetched":"2026-04-19 10:02:52.618Z","outbox":"https://mastodon.xyz/users/rms/outbox","preferred_username":"rms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwwz7Ogqxz6Nvya8Q2FeK\nA1xeU+0Q++TWLDkRX8EBji5Le8nmHoRxPSA4TS/1fzGqXKyBdCTCRFBsan+so5uE\noNrPpTiObY2yjHw7bnUnqLqNH/T7m9UdEV0a+ANZePOUDHos8fYTk05Hc5OkwhT9\nixQAg62zxSzsoz6OCGWB7bMhw6zbWvn1tDf0NsgB8lSjvyTxc9wbC1PhffNcNqHM\n7+Axy01wUT3SCHAtf8UKTUTEoP/NzRJ2zi8MzeoGFPzen6ImuO4TvcNVjnwFOCF+\ne2Eaay1o+yDzAavY5IXZMs9fnxs3rA9S3tgRIk4cF2QCkfGfyjwBA1p2frOqbEjC\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-25 00:00:00.000Z","summary":"

This is the Mastodon account for Richard Stallman.

I founded GNU & the @fsf and with them launched the Free Software Movement. Please join or donate to the FSF: https://www.fsf.org

I use this account to mirror the political notes from my web site, stallman.org.

Read my linking policy: https://stallman.org/linkpolicy.html

The views expressed here, as in stallman.org, are my personal views, not those of the Free Software Foundation or the GNU Project. #FSF #GNU #FreeSoftware

","updated":"2026-04-19 10:02:52.618Z","user":"","username":"Richard Stallman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-16 07:35:00.733Z","domain":"mathstodon.xyz","followerCount":155,"followers":"https://mathstodon.xyz/users/sioum/followers","following":"https://mathstodon.xyz/users/sioum/following","followingCount":77,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/060/545/original/f37ebdcae9c1e7e3.jpg","id":"7wht0ou26uvqidr","inbox":"https://mathstodon.xyz/users/sioum/inbox","iri":"https://mathstodon.xyz/users/sioum","isLocal":false,"last_fetched":"2026-04-19 09:11:03.109Z","outbox":"https://mathstodon.xyz/users/sioum/outbox","preferred_username":"sioum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3qyCo/ES8I8zPB3qSL99\nPAHtl4UxmixLX+fXaLom1FxlhJQImRJsSKEJmjCd/htQBuMwFkgSgz8rwnM1zQ4I\njEKIbfrca4BeuHb7mYMBuz8e0zJ+DO7n7tBAhoWgVE4YG0051s5XLmLdAqmSnEGG\n2nscuj8VL/POS3muWvQm7OsB7YxXNXt25rqiQ/R4cKE2DcpqoSiNzcG7Pk+5aQ1L\nuEbklivCkIiJJxDZyiLyKSVEthcOeLOsEkQ2lWsIbQPoxRghh2vIblC6KgryQQYI\ni+Dn3KuzwI5172RTIMGVQrmV2tkvbwwtv7qpjzkFp309SmE9C4k7wJrG7CDGqqN3\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-11-08 00:00:00.000Z","summary":"

수학자/그래프 이론 전공/기초과학연구원 이산수학그룹 CI😎
Mathematician / Graph Theory / CI of the IBS Discrete Mathematics Group

","updated":"2026-04-19 09:11:03.109Z","user":"","username":"Sang-il Oum"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 03:04:49.224Z","domain":"mastodon.social","followerCount":161,"followers":"https://mastodon.social/users/sharlatan/followers","following":"https://mastodon.social/users/sharlatan/following","followingCount":108,"icon":"https://files.mastodon.social/accounts/avatars/111/019/873/193/469/366/original/996d57cf91ce8958.jpg","id":"e61yg6almiygo81","inbox":"https://mastodon.social/users/sharlatan/inbox","iri":"https://mastodon.social/users/sharlatan","isLocal":false,"last_fetched":"2026-04-19 10:43:56.097Z","outbox":"https://mastodon.social/users/sharlatan/outbox","preferred_username":"sharlatan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAohsWzX9lpcuRXjB2JOBm\naZ8dn1aK1ogoCWLznapaTSjz9NFvRK39hKaM2TuABncQX5gHqMop0wGH1PW8axGw\ntUcCNtG5VA/Q3PIuevgh/PKPIjP/j07+aiWXjnYXy3OC3lFYKqamzfSxn+8Rjsz7\nMzieJMlmc/PPZD9T4vWWNI+xPMWOfgwCONYEOpnNSWIAtQFt4isq8CmyO7UNBdcJ\nc3DSy5qA8jyqbu9Cq72bGiIraAPC3PYV4VCQVVHDaRjMrKXZ6uFoXaQH2tX2fJ2o\nGdqkvZqe+vu/PKVt/MOGqFbWXDTmak96Y/jVOsuWcKw0s8sZSSThcQLkiE76vfPW\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-06 00:00:00.000Z","summary":"

Practicing #Aikido and #Zettelkasten. Maintaining #Astronomy, #Python, #Julia and #Golang packages in #Guix. #Cycling no car.

","updated":"2026-04-19 10:43:56.097Z","user":"","username":"Sharlatan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 17:12:22.157Z","domain":"mathstodon.xyz","followerCount":190,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":319,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"mrt9ee8h0ax6f88","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2026-04-19 09:35:17.808Z","outbox":"https://mathstodon.xyz/users/jdw/outbox","preferred_username":"jdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA11q3KYjgldHFGI8JTJ9Z\nnLxtDx5Gm1XsPRxHBzJY0eYx8Fh4z5j6fJ4eL5jfvY9fgOwY5302eYdzwsyp8cSZ\nr5a72EF0oZ6PjEVlAy0jRtaZOKWMRFDJnrujrHVtA+8j4f3XDi3CGLJ7Ou+KZ6wn\n5YCXFtdPakNF7B1xlKq6q7ChUbrFs+DJ/SGsu8OBsf8vsv5RNk4kBU4JsqC+r8Zp\nwQvCT+kQUoTv9ASXsPHZf0JMl6CczHojmwO8p91lwFA7R4EnoO/sB+1GFMA3f3wW\nX8/ILb62grMev/K46PctZW74MAiLtWoNjSf09NZi0TA3ZT8zv2dekHeSrlHC27nw\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-05 00:00:00.000Z","summary":"

I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible.

I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields.

I try to be friendly towards my fellow creatures, which of course has political implications.

","updated":"2026-04-19 09:35:17.808Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 15:59:10.930Z","domain":"mathstodon.xyz","followerCount":1530,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1044,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"yrtyk3n8xgokfro","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-04-19 10:23:49.389Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-04-19 10:23:49.389Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 11:48:37.252Z","domain":"fosstodon.org","followerCount":1115,"followers":"https://fosstodon.org/users/teamtype/followers","following":"https://fosstodon.org/users/teamtype/following","followingCount":10,"icon":"https://cdn.fosstodon.org/accounts/avatars/115/456/836/074/799/279/original/39010244fe7bf34b.png","id":"3p6d299zejm4ebd","inbox":"https://fosstodon.org/users/teamtype/inbox","iri":"https://fosstodon.org/users/teamtype","isLocal":false,"last_fetched":"2026-04-19 10:43:56.227Z","outbox":"https://fosstodon.org/users/teamtype/outbox","preferred_username":"teamtype","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwzTCCuFYHqJG1MEFabYR\n0vtA56tQzPe9qw7IDsi/4GKNvJeZE0WB6Nnp9rsznIj3egGJ1FVWer+AmkcYKUrs\nP5uU1oF4YU4fYI9HnFY4UuLaOL/A+hyA8OfIMfAJn0Gg+zzUrTHPeAi9JaTD+mJE\nSNcbA2FTSHHkSAgKDBxQXMAPzNBS6opZpx/fD7QkN/tNrMHa74CVF2QLh0Gf/XTS\nt+JqDGACKCoiD2Hw91u9s0ezxDRT1rEq0/cEV8ccBaJFnyONm5oIaMDA3N1aQHhc\n7MOVoI7gMiYJyw1hifGLu7vxwXA7D4sIC5V3JrIm46WK7UJqS1rJHTDzIwjo7hzT\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-29 00:00:00.000Z","summary":"

Multiplayer mode for your text editor!

Teamtype enables real-time collaborative editing of local text files. You can use it for pair programming or note-taking, for example. It's the missing real-time complement to Git!

A project by @blinry and @zormit, funded by @nlnet and @PrototypeFund.

","updated":"2026-04-19 10:43:56.229Z","user":"","username":"Teamtype"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-11 03:11:35.706Z","domain":"mathstodon.xyz","followerCount":465,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":219,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"2oez806jj74hcic","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2026-04-19 10:41:34.796Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2026-04-19 10:41:34.796Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 18:56:01.981Z","domain":"mathstodon.xyz","followerCount":76,"followers":"https://mathstodon.xyz/users/glangmead/followers","following":"https://mathstodon.xyz/users/glangmead/following","followingCount":71,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/004/279/original/f33af66d18402768.png","id":"mojdm0sgks4e6i4","inbox":"https://mathstodon.xyz/users/glangmead/inbox","iri":"https://mathstodon.xyz/users/glangmead","isLocal":false,"last_fetched":"2026-04-19 10:43:56.439Z","outbox":"https://mathstodon.xyz/users/glangmead/outbox","preferred_username":"glangmead","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvmHlcFIJotW42Cn/4b3F\n3f1DpV6Ro7soJ/NjKdY/8GnP6LkJ8htb4EUyaMUSW1Uzq064ipSVBK1PR6gihT7U\nvxEp3mVwf62HLRAiLO6lKjuUmWLtpSeD4atQVmr8wkv89uNvSgGpRN759Ys0WFiy\nJ4V4laVOJO5DaSGbZRBDPGIwa2+ygiWlnU3vfa/k0qD1CGL4HvXd1gnrQMggEJYI\nktZQnX3nVSEz5z0sF2r7mY2QVIdiQ0ALnBce7qCOscKP+iqhNu06KLFQx/PYZPua\nWAtKLKkCtVfKFJNCMG6JFKpd/05vFENE1COoVU7cqgkSpvdhrAPwrpa0UWY11fTq\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-08 00:00:00.000Z","summary":"

Software engineer, mathematician.

","updated":"2026-04-19 10:43:56.439Z","user":"","username":"glangmead"},{"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-19 10:43:56.477Z","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-19 10:43:56.477Z","user":"","username":"Dan Christensen"}],"page":1,"perPage":10,"totalItems":16,"totalPages":2}

Sheikh Shakil Akhtar 🇸🇦 🇵🇸

Following