{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 17:29:23.637Z","domain":"woof.tech","followerCount":364,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":517,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/a4ce99414900ffdd.png","id":"at71lx858zb4zvl","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2025-09-24 16:34:25.238Z","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":"2025-09-24 16:34:25.238Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-07 06:49:34.039Z","domain":"mathstodon.xyz","followerCount":23,"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":"28yniowx3bwkc8n","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-09-24 16:52:22.869Z","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":"2025-09-24 16:52:22.869Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 09:02:40.879Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/PaolaCattabriga/followers","following":"https://mathstodon.xyz/users/PaolaCattabriga/following","followingCount":71,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/862/598/055/982/453/original/474609b835f504b6.png","id":"99nhjo1vct1z796","inbox":"https://mathstodon.xyz/users/PaolaCattabriga/inbox","iri":"https://mathstodon.xyz/users/PaolaCattabriga","isLocal":false,"last_fetched":"2025-09-24 16:52:22.913Z","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":"2025-09-24 16:52:22.913Z","user":"","username":"Paola Cattabriga"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 19:51:49.418Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/users/jf888/followers","following":"https://mastodon.social/users/jf888/following","followingCount":13,"icon":"","id":"7gnr9ix0h7ni67a","inbox":"https://mastodon.social/users/jf888/inbox","iri":"https://mastodon.social/users/jf888","isLocal":false,"last_fetched":"2025-09-24 16:52:23.172Z","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":"2025-09-24 16:52:23.172Z","user":"","username":"Juan Hernández"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-13 01:29:23.087Z","domain":"mathstodon.xyz","followerCount":67,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":425,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"j2ry9v3r3k28g0m","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2025-09-24 16:09:45.122Z","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":"

Hi 👋 I’m a mathematician based in Germany. A while ago I completed a Ph.D. in non-archimedean geometry. Nowadays I try to maintain mathematics as an active hobby. Apart from non-archimedean geometry, my mathematical interests include constructive mathematics, locale theory and algebraic geometry.

I am also very interested in literature, history, philosophy and sociology and I read a lot of books in these areas.

I’m currently looking for an entry level job in software development.

","updated":"2025-09-24 16:09:45.122Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 09:56:17.478Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":253,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"3742d96u5mkuyxp","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-09-24 16:52:23.905Z","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-09-24 16:52:23.905Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-11 13:35:59.988Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ntgal/followers","following":"https://mathstodon.xyz/users/ntgal/following","followingCount":0,"icon":"","id":"h1k0e268rji9p3u","inbox":"https://mathstodon.xyz/users/ntgal/inbox","iri":"https://mathstodon.xyz/users/ntgal","isLocal":false,"last_fetched":"2025-09-24 16:52:23.948Z","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":"2025-09-24 16:52:23.948Z","user":"","username":"Shireen Mallick (they/them)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 14:18:52.574Z","domain":"mathstodon.xyz","followerCount":34,"followers":"https://mathstodon.xyz/users/tobymeadows/followers","following":"https://mathstodon.xyz/users/tobymeadows/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/096/631/495/339/623/original/a6773354753caa86.jpg","id":"yp78v237267892v","inbox":"https://mathstodon.xyz/users/tobymeadows/inbox","iri":"https://mathstodon.xyz/users/tobymeadows","isLocal":false,"last_fetched":"2025-09-24 16:52:23.992Z","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":"2025-09-24 16:52:23.993Z","user":"","username":"Toby Meadows"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 20:10:51.140Z","domain":"hci.social","followerCount":258,"followers":"https://hci.social/users/heades/followers","following":"https://hci.social/users/heades/following","followingCount":298,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/246/065/615/653/921/original/d861e5df6882441f.jpeg","id":"4t72q2u300xepx2","inbox":"https://hci.social/users/heades/inbox","iri":"https://hci.social/users/heades","isLocal":false,"last_fetched":"2025-09-24 16:52:25.158Z","outbox":"https://hci.social/users/heades/outbox","preferred_username":"heades","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnS1vG+cIHeVzqQftlM77\niwU1Uvj+/64vJOhVIMqDzQ8tIgAq9TwKHiwL34CBfAP9rXTd5xe29Oc47j+J6mdW\n0JGeM8a9ifvmbVUT0teU9q895aPMMkG3LULCUGnCT9acK444X+F2bjbH2A+vBYnk\neIUjSNxKGHHSObFDvr0UYsb0iISotK+vf+Nt9QWi/PYCt9tuKTCW26n1UbASkcGn\nXleW9ZGoGtOqX61Jqz2ryyMLB8XNgtrjl2PombtICRXCnvxLtP5wSfEMfyP8ueMC\nMxHSW/MYguB/oY970U1Uq2IpPCQk3pc3a/uxB9VyoXIDtCZCJN9R1rP69GwfSG1a\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor: Augusta University
Researcher: HCI, Sports+HCI, Programming Languages
Athlete: Olympic Weightlifting

","updated":"2025-09-24 16:52:25.158Z","user":"","username":"Harley Eades"}],"page":1,"perPage":10,"totalItems":303,"totalPages":31}

Gödel-Gentzen Translation

Followers