{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 18:33:36.924Z","domain":"zirk.us","followerCount":144,"followers":"https://zirk.us/users/Anton/followers","following":"https://zirk.us/users/Anton/following","followingCount":3784,"icon":"https://cdn.masto.host/zirkus/accounts/avatars/115/284/842/949/094/774/original/8cbd949834eb8f6b.jpeg","id":"hyex6c149bhnaqy","inbox":"https://zirk.us/users/Anton/inbox","iri":"https://zirk.us/users/Anton","isLocal":false,"last_fetched":"2026-01-27 09:03:27.952Z","outbox":"https://zirk.us/users/Anton/outbox","preferred_username":"Anton","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvIxEtTf3Ro0kyxkLBJr1\nPIZKfhY6LbXtrYhk0pHrB8TEjVtGnF2CuD2QXN7f/a0OlZMisZBJUWQyxAKEAwm3\nWmTMiCVr4KNRRA+x0y8jyYOFUQk2DzSnsgctjQrJUF0tgtDpIgL9/MZU59g7N/m2\nDqIrXMjaGC0QkPrD8e/J/Jz+67gtCxgVvYiFLRrFaZ6fhm1AlwuurJPHt2wv1wuN\nslgob8s4d4bnAUHvS7CylTQbam+iKhYlJBmqCvck4eSSmtElurOtT5YvTX8LnwRO\nnhtriM/rM8I4ANg5dJlLdDMPyhC/0QmYDG+n80fa609qIXCMfXgf18Lb25ULEkSQ\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-29 00:00:00.000Z","summary":"

For me, inspiration is everywhere, especially in nature 𓇢𓆸 My favorite subjects are animals 𓃠 flowers 𑁍༘ landscapes and colorful abstracts 𓍢ִ໋🀦

","updated":"2026-01-27 09:03:27.952Z","user":"","username":"Antonia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-18 12:53:00.349Z","domain":"mathstodon.xyz","followerCount":101,"followers":"https://mathstodon.xyz/ap/users/115911243109922607/followers","following":"https://mathstodon.xyz/ap/users/115911243109922607/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/911/243/109/922/607/original/b8d6e64f7f25cf77.jpeg","id":"1lrh8s4qyn6fibs","inbox":"https://mathstodon.xyz/ap/users/115911243109922607/inbox","iri":"https://mathstodon.xyz/ap/users/115911243109922607","isLocal":false,"last_fetched":"2026-01-27 10:16:39.958Z","outbox":"https://mathstodon.xyz/ap/users/115911243109922607/outbox","preferred_username":"jakub_et_al","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo4OJqdZVxg6CsyUD7tMa\nhVa58JHK3k6hPvfzuAE06V4ECmTAy0/zHobIabXXs3X54PeFuUlcudd2DYzjtqKN\neSI4RseMhCNjMWwxEVuuxd+NPJBwqOk89m0rKlvUjxc6a2oclvGQ6/Om5J+jtH2o\n1w/fDsHiGoLVNdC957Q80w3VHBRe/JRdlbA3IDHSbNe3g6oh+r6muS+HJp+Ttnjw\nLOkrxxY4cYnG0kF8twcw1BLWIBxKfizU6QuXy5HF1+0Gki5Muof3+hJZ13nqrR88\n8mWJSS3CaFGebJZk0kh0JMkUGb4rGQnN4/m3zb5SbCfm9MePTELfqtJFmPtkqs0P\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-01-17 00:00:00.000Z","summary":"

assistant professor in computer science @ University of Birmingham, but not-so-secretely actually a mathematician.

","updated":"2026-01-27 10:16:39.958Z","user":"","username":"Jakub Opršal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 01:23:19.505Z","domain":"woof.tech","followerCount":368,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":556,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/a4ce99414900ffdd.png","id":"l9vm9suram1w6oa","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2026-01-27 10:16:40.108Z","outbox":"https://woof.tech/users/entailment/outbox","preferred_username":"entailment","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqSiHoFOI25cauLPje+/Z\n+VZ24ZQ95JjCdt0ab94dIXj1mLVAs8+FvYJhPNDjlYSg9yEreS2PsEiz/Kq4/x5K\n0pqRUTpz5Zi47/59saH0QSpLk5xWWl2DrNg7mHh8IUcudDlTy0YtlsVffVkkPG0o\nH8YOTrbJe6BXbtmmypTZPBSbRtyo99WVsdf/6qeome0GDxfHhI4cmtjhGLUuNwLh\ntOwtluG+Hhj7qh2qVzWP0O5V/6+FbMo1jPYV4p3buEcuLoUlfBFcaIlO0+YSrjRz\nIHgu0H2sps9rEJ0ux2Glv8QPDf5h+D4tB5mycjUVHY64rv0AqK0ruKNMOmk3LN3G\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-18 00:00:00.000Z","summary":"

recently migrated from @entailment and @isomorpheme! if i sent you a follow request, it's probably via an import from one of those accounts.

i like solving practical problems using general abstract nonsense

- formal languages, informal languages
- cooking food, enjoying food
- making music, hearing music
- dragons, dragon-adjacent creatures

- queer, poly, neuroatypical
- leftist, anarchist tendencies

💚 @praxis & @specialflocon

","updated":"2026-01-27 10:16:40.108Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 20:03:20.845Z","domain":"mathstodon.xyz","followerCount":25,"followers":"https://mathstodon.xyz/users/Supernaut/followers","following":"https://mathstodon.xyz/users/Supernaut/following","followingCount":146,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/948/856/158/659/524/original/4a050465ebe92592.jpg","id":"ggqbtxakca8ebn4","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2026-01-27 10:16:40.144Z","outbox":"https://mathstodon.xyz/users/Supernaut/outbox","preferred_username":"Supernaut","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1TLJzd+eVgVXCsEM2Uuv\n8+yzCMKuFSfY8o1i+nGSqoUg7QvZ1C77DH+hUJrNITSnPFmJfBxwzbtXvuSU/jJG\nV3zhaB0M06WRHZMx7tNs82eWoUb8/UXV61Z4hEAFaxPIFhsFXgUiQsiko+pUzkpT\nhK6Pw+C84hb3TrzzKSHpX4WEV5aA7U9ObGRUervCxcR+MzaxDOuD39iCSrBaDKxf\nuPlpee8fhrGXX0b311H7qAifRCR91dTR/DguFwNvjg0hUjE2Mkwya8EYFWIFSkCG\npXgQLSWElIo2BqXO2HSJ5+XWStfPkAE+bmXjAo+K17epH1uG9/znKjVCPM3cKIXz\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-31 00:00:00.000Z","summary":"

Mathematical logic and some attempts to do art

","updated":"2026-01-27 10:16:40.144Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 10:16:40.178Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/PaolaCattabriga/followers","following":"https://mathstodon.xyz/users/PaolaCattabriga/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/862/598/055/982/453/original/474609b835f504b6.png","id":"4jzjnymlren0ooh","inbox":"https://mathstodon.xyz/users/PaolaCattabriga/inbox","iri":"https://mathstodon.xyz/users/PaolaCattabriga","isLocal":false,"last_fetched":"2026-01-27 10:16:40.177Z","outbox":"https://mathstodon.xyz/users/PaolaCattabriga/outbox","preferred_username":"PaolaCattabriga","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr0BW+trcbRcoawlfxZA6\n7QQLb+NoMaRC5Bj8biTgRQkQEF+YJnIUZbLiukoemp4xf/5Gv0H3lIdYwH1XFrct\n/9U1YeWxMYDY+zF/H9AMn4WeJccWOqdMecEZiJx8dQ2MpmYEPJ0/Xz1YjwpJI9HD\nApw/Gcp4uqnt3EoU1X8ylYRJ3eVWpQ28WUA9D+c60Ty4gH+T50BzE9HH/a82Dg0L\ncqS3rUAb/Eqd2Q5K40pPa+Jvr9y0xxY45wVVjY8WRak2ef+j2h6UHgsT7qeSKjVP\ngIAV2lCEI6ic3m8SBjolinvUOrDptIwI9+AGCHZQvSqxZ5EDjkPjyOtPJEI7CBnl\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-16 00:00:00.000Z","summary":"

Logician, interested in self-reference procedures, diagonalization, logical foundations, computability.

Phd and Post PhD - Unaffiliated reserarcher

","updated":"2026-01-27 10:16:40.178Z","user":"","username":"Paola Cattabriga"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 10:16:40.256Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/jf888/followers","following":"https://mastodon.social/users/jf888/following","followingCount":0,"icon":"","id":"s2824aaq1pfvm05","inbox":"https://mastodon.social/users/jf888/inbox","iri":"https://mastodon.social/users/jf888","isLocal":false,"last_fetched":"2026-01-27 10:16:40.255Z","outbox":"https://mastodon.social/users/jf888/outbox","preferred_username":"jf888","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApucgZ0kyWIcgcEqianXW\nnq31QhNLpLWaWDq64KGgQRRYV9Mdct3hbwWXElU14UpRsaoY2yg5yugvyfNQ8KaB\nIlG/q5b/LkXgjx8+PabH0kfoBZAFLegybm5ogKHEpjpmY/g8iE6ML1AV9SrmK4Vx\nPiwiZSJHhQdkdv+nd19ZUnjun3d5I42s3oV/kY/22/Ily6C3GhgwFvvec/ZGztTj\nCUAiWizwTtIb0l9k4iBYGvJKP+TiyzgOCTge4PHBlcxf22/hVc3EdUuxxbybjvL+\n78gdRQgUC3iOzYY/eRaa3trOEMK7NEAg7AXzXC1GqRT1IRKJZr4C1Jrt7XynUD1L\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-04 00:00:00.000Z","summary":"","updated":"2026-01-27 10:16:40.256Z","user":"","username":"Juan Hernández"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 16:30:52.223Z","domain":"mathstodon.xyz","followerCount":149,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":317,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"soo6tnshl6ix3ub","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2026-01-27 10:12:29.465Z","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 and computer 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, music, 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-01-27 10:12:29.465Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-20 04:47:12.319Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":266,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"qcabcwvdya03egr","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2026-01-27 10:16:40.696Z","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":"2026-01-27 10:16:40.696Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 10:16:40.731Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ntgal/followers","following":"https://mathstodon.xyz/users/ntgal/following","followingCount":0,"icon":"","id":"qim8wfbyo0fzg1f","inbox":"https://mathstodon.xyz/users/ntgal/inbox","iri":"https://mathstodon.xyz/users/ntgal","isLocal":false,"last_fetched":"2026-01-27 10:16:40.730Z","outbox":"https://mathstodon.xyz/users/ntgal/outbox","preferred_username":"ntgal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnLYChkuVbLKMnnkUkjvl\nVex9nvLmBis4PQzWT7ZJwe//DBxxIxRFcE6rZfoM8HupD1H/WCTQFyrZvrQqdRVj\ngBeIAPBW8roFxaLrbrDAGJSt8bymuivXJT/gP8Tj2XpEH9TTHW7QtRiy1Tpe6ZO/\naSOCWe9/eANoWMQMdwJ+Na780vVfKwZ2k/vDCSSrHHi1vF2WVHIOIltjtQjp1fVa\nJWsGAri1WhkZ3Pe4s/DUW1gcg5cPqGEF537m/5hkompPeUmEE4mwKA5nY3Olkkjv\n+NGGMR4mk8EZ8u4E+tRkWkL3m0blJYb5vV0S7xdHg/5X8DHLRPN1TDUI2qLcDhlX\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-19 00:00:00.000Z","summary":"

non-binary, cs undergrad interested in algebra and logic :)

","updated":"2026-01-27 10:16:40.731Z","user":"","username":"Shireen Mallick (they/them)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 10:16:40.766Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/tobymeadows/followers","following":"https://mathstodon.xyz/users/tobymeadows/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/096/631/495/339/623/original/a6773354753caa86.jpg","id":"ilsc9v0xmxujplz","inbox":"https://mathstodon.xyz/users/tobymeadows/inbox","iri":"https://mathstodon.xyz/users/tobymeadows","isLocal":false,"last_fetched":"2026-01-27 10:16:40.766Z","outbox":"https://mathstodon.xyz/users/tobymeadows/outbox","preferred_username":"tobymeadows","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmab1MxPQf3QWb4nPeHFY\nrnGZMwh5FJKtev99ejRoezwAIVi8E/WvjO2pZzGBqDNPLopdpMrkzZZ9GDsAID0r\ntOX7dw5xMw1sj51pjt3ea0cKPehZ/pR0v8hearaDChaxlL2CQyQf53ujAPl7a7Jo\n8jRh5xa92FA4eD30evSnPjcfZZWWIc9HLDxNTmbWJ8cEDz7l+VHHa7uMNm2Na2sF\nOyy9nwH8Mq4SMrx+IroEkQqCqA8jXUyTtbzycw0YHi4F31gFbmwubsY5wL2zbkKJ\n6Ams+e+6KDCkyqaoByuBUiLyrlhnIiG0RZvzWmqUwBOoHt1+F2OuH9c0Xoce+jMg\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-07 00:00:00.000Z","summary":"

Logician

I do math that mathematicians think is philosophy ...

and I do philosophy that philosophers think is math

","updated":"2026-01-27 10:16:40.766Z","user":"","username":"Toby Meadows"}],"page":1,"perPage":10,"totalItems":304,"totalPages":31}

Gödel-Gentzen Translation

Followers