{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 23:05:36.382Z","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":"i1v51agg12a15m0","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-09-15 12:11:31.208Z","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-15 12:11:31.208Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 00:29:49.768Z","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":"jh0k3ej41q7m386","inbox":"https://mathstodon.xyz/users/PaolaCattabriga/inbox","iri":"https://mathstodon.xyz/users/PaolaCattabriga","isLocal":false,"last_fetched":"2025-09-15 10:15:44.628Z","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-15 10:15:44.628Z","user":"","username":"Paola Cattabriga"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 00:00:35.450Z","domain":"woof.tech","followerCount":363,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":514,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/a4ce99414900ffdd.png","id":"fp48m352q39l4ii","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2025-09-15 12:11:31.359Z","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-15 12:11:31.359Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 16:06:28.893Z","domain":"mathstodon.xyz","followerCount":59,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":417,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"gn4b5hzw80918ev","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2025-09-15 12:11:31.395Z","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-15 12:11:31.395Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 17:33:10.389Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":252,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"xf8t0yv81l11h2e","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-09-15 12:11:31.436Z","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-15 12:11:31.436Z","user":"","username":"Tom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:30:30.176Z","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":"87x0gu78r1kc1em","inbox":"https://mathstodon.xyz/users/tobymeadows/inbox","iri":"https://mathstodon.xyz/users/tobymeadows","isLocal":false,"last_fetched":"2025-09-15 10:15:44.670Z","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-15 10:15:44.670Z","user":"","username":"Toby Meadows"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:57:59.155Z","domain":"mathstodon.xyz","followerCount":636,"followers":"https://mathstodon.xyz/users/xameer/followers","following":"https://mathstodon.xyz/users/xameer/following","followingCount":207,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/263/308/662/913/256/original/e75b356ad268afc8.jpg","id":"2410cu2g7dif3x1","inbox":"https://mathstodon.xyz/users/xameer/inbox","iri":"https://mathstodon.xyz/users/xameer","isLocal":false,"last_fetched":"2025-09-15 12:11:32.202Z","outbox":"https://mathstodon.xyz/users/xameer/outbox","preferred_username":"xameer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5TBRDqHjW69KoOCZMWJP\n2OnWPNbcwUu4jcCghxYfpol8+/TFfG60BW6ZCgQQTmfdfCCsKwvjkEj51B+LYSDP\nj5xznTp0Df2+VSV/mVXIMS0xVyj41gZ7aVaLBp9fvRtxjl9hHz8SKxZOBMGC9N+S\nrZkMhzcfkNswQdYSPft2bxrhYW86Z//h1ynu/zwj/zkcVGVUsP3wSn+KzQqhWs/Z\nr/SSEEeNhcgOuAGxSpHUUH4HFd8psiiD0T4J+kf+iZOqgk0GE0kY1fVE1rdYr1LY\n5b7eBw6IjCNJ5Mi8TWtmHEjjCiCdMIJ+c4ckm8B354iEWkHZ/uLxLJzUHNeEMumy\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Currying on

","updated":"2025-09-15 12:11:32.202Z","user":"","username":"HoldMyType"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 08:43:05.079Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/heades/followers","following":"https://hci.social/users/heades/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/246/065/615/653/921/original/d861e5df6882441f.jpeg","id":"noqubg30d83mb43","inbox":"https://hci.social/users/heades/inbox","iri":"https://hci.social/users/heades","isLocal":false,"last_fetched":"2025-09-15 12:11:32.741Z","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-15 12:11:32.741Z","user":"","username":"Harley Eades"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 02:08:01.338Z","domain":"mathstodon.xyz","followerCount":257,"followers":"https://mathstodon.xyz/users/decompwlj/followers","following":"https://mathstodon.xyz/users/decompwlj/following","followingCount":787,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/312/736/223/178/original/b81422ae28459dc4.jpg","id":"3j4br14075e82n7","inbox":"https://mathstodon.xyz/users/decompwlj/inbox","iri":"https://mathstodon.xyz/users/decompwlj","isLocal":false,"last_fetched":"2025-09-15 12:11:32.782Z","outbox":"https://mathstodon.xyz/users/decompwlj/outbox","preferred_username":"decompwlj","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAquWADbxgWsoDZ35iUUM8\n1yQlW8iMfzfmViPsquUCkjoHdAmfkCFcycczfbpjsSXDUIm7ZARLCxMgYnDAXrnM\n4z8KJCYgKTTjuJ4xg+0Ifa/rn3Zrh+teIDb4OXr+x8BGoq/sPBZkWfS5GrVMM58V\n6DiDVXVoVwR4hW14JEFSzfrd71dtiUndJ8wTLQ0aY9N0hoHGqdyAnnxyFY37H9fJ\nxA9oSaKbH+9D+zUsaAPmhT/OyidWgMzu+oKkGZzrzhkX8OSkQH+eRVeZ9pI/6xtb\n5pe13PMICWfKw/ZQLa6bnWr9UhU7YbO67vYWOUTHONyLBRw8j7RjxkAlf2udnECc\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I have invented the decomposition into weight × level + jump, an extension to the fundamental theorem of arithmetic and a new way to see the numbers. #decompwlj

","updated":"2025-09-15 12:11:32.782Z","user":"","username":"Rémi Eismann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 09:58:34.420Z","domain":"mastodon.acm.org","followerCount":80,"followers":"https://mastodon.acm.org/users/jakub/followers","following":"https://mastodon.acm.org/users/jakub/following","followingCount":86,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/378/500/829/717/275/original/abf5378e6eb12328.png","id":"pdv6rk8m8oia4q2","inbox":"https://mastodon.acm.org/users/jakub/inbox","iri":"https://mastodon.acm.org/users/jakub","isLocal":false,"last_fetched":"2025-09-15 12:11:33.373Z","outbox":"https://mastodon.acm.org/users/jakub/outbox","preferred_username":"jakub","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsY4ZORjiNauzA8Lh6qRj\nIQf5aG7vUqu0uvqBliip7nNkgOCFK6l8KylynJLrOhgZT4FDsUyfhWP3M0AcK0Jz\nNoU0Ck0mgDRb1+nEofHU6pqCF6kSl2emp4+klEXJzHpWjq5JetoHzkZrut7rVHWn\naz9vx6jjRGtECBPSYgjs0WMjK2Tue5qQVUJF39z8+eI/IEjDeNi8U3OumZbnHD6L\nJigZm40IfuvBkrnn2+vCzQfsLO3gCNX1r33bBA8QKfcLzgLEDYNudL04l+L80g0g\nnEKbTYh6kwQ/M+oDx4EKDaXklXCMK35ech/yMElXWy6g52U1OaxqHcjZVj8FuJhZ\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-16 00:00:00.000Z","summary":"

assistant professor at the interface of mathematics and computer science @ University of Birmingham.

","updated":"2025-09-15 12:11:33.373Z","user":"","username":"Jakub Opršal"}],"page":1,"perPage":10,"totalItems":303,"totalPages":31}

Gödel-Gentzen Translation

Following