{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 12:24:30.096Z","domain":"mathstodon.xyz","followerCount":67,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":421,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"y7b277z04hb1b3k","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2025-09-24 19:30:13.527Z","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 19:30:13.527Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 02:47:53.899Z","domain":"woof.tech","followerCount":364,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":515,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/a4ce99414900ffdd.png","id":"72gof845xa8c0rw","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2025-09-24 19:30:13.822Z","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 19:30:13.822Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 07:43:12.574Z","domain":"mathstodon.xyz","followerCount":54,"followers":"https://mathstodon.xyz/users/jesyspa/followers","following":"https://mathstodon.xyz/users/jesyspa/following","followingCount":135,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/288/159/original/ae72fb4042b387bd.jpg","id":"u503a5urka5j64h","inbox":"https://mathstodon.xyz/users/jesyspa/inbox","iri":"https://mathstodon.xyz/users/jesyspa","isLocal":false,"last_fetched":"2025-09-24 19:30:14.255Z","outbox":"https://mathstodon.xyz/users/jesyspa/outbox","preferred_username":"jesyspa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zlZr2aQBelStw+UcNQ\ngTpqjy8hz21Pi4kVMu9ZVHb4vnF61QAAe/UbIRr1SNPk1rfs8iV2xHrUkzdzF5pc\nFIigVgL6B2EsQO7gmqri9pBnDlTf6KK/idLOsk4GixkcCEWe4cCW+ixHaDokQWxX\nW6HLc0qfpLcrMwbanGVugSZiplc+CZYjoeGGtBhg7iSqpMFzLoh2A0pIOQi5ibX3\nt4Qem2Niaiko0MGqbrDKhBWBCUYbWiUtah45dpfif4/vCQ7oe1V1SFsXqRPn0eEd\ncisI3wh1EpkfIZ7uRVYfoZGIWCksE5Jfeu69L5Qy16JVH/hYEquNYvwDgDcGCaDj\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

","updated":"2025-09-24 19:30:14.256Z","user":"","username":"Komi Golov"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 01:39:42.432Z","domain":"mastodon.social","followerCount":237,"followers":"https://mastodon.social/users/vy/followers","following":"https://mastodon.social/users/vy/following","followingCount":158,"icon":"https://files.mastodon.social/accounts/avatars/000/219/844/original/cc949db1e2541cbd.jpg","id":"x3m9pbt3x5hmrnn","inbox":"https://mastodon.social/users/vy/inbox","iri":"https://mastodon.social/users/vy","isLocal":false,"last_fetched":"2025-09-24 19:30:14.551Z","outbox":"https://mastodon.social/users/vy/outbox","preferred_username":"vy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwktxNuNGBqPiwtqtlUy1\n5yFODmrFLTgCADnKpfEh62KCPdCJoCpxx+w32rFp4oSY+xLEy7NfuKsPLsSFR1nt\noU0BZROHwzop2h5gTLzMjcKcGWkRjASOsWlzqKBESHr2yYIkmOaO18ICQibpMWmJ\nX3FkLk3EZ9bF/NDTBhMSdUH+MXVvX9Ezc/9YUv/hsVe8NNiLOMwYVsm2ckybl6Vq\nh113E/spGsoIntIGUFqIrhT1gW/hzcA+G13DqmKg5p3fcTg98WYaZ6Ak0YgaHJeP\nDE5/HHAoYt+TZ+mVkYTRthkL9WKYMIZQllpwpNrZcAwg0BJ3X3tz/7p1f1SEN+c0\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-10-21 00:00:00.000Z","summary":"

Tan lejos de Dios y tan cerca de Tejas.

","updated":"2025-09-24 19:30:14.551Z","user":"","username":"vy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 02:37:27.476Z","domain":"discuss.systems","followerCount":64,"followers":"https://discuss.systems/users/pci_express/followers","following":"https://discuss.systems/users/pci_express/following","followingCount":322,"icon":"https://fd.discuss.systems/accounts/avatars/111/611/756/643/533/266/original/7beec1f7dd14d558.jpg","id":"wfn16ti53r7vz4p","inbox":"https://discuss.systems/users/pci_express/inbox","iri":"https://discuss.systems/users/pci_express","isLocal":false,"last_fetched":"2025-09-24 19:30:15.401Z","outbox":"https://discuss.systems/users/pci_express/outbox","preferred_username":"pci_express","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAol4HCNuNSrpWdH1FrH/1\nraEQBzFErqWn1BknXccM9KW346tZ9e0GoKn5Amj/O0Mm+i7DSIzrcLhHgYOc54rl\nwyzxqGigbkhh9KGpAjzJz2a4lfMPj6CVEVtdhZc4QSosxMCPRjOM1t3qky0rx9Ju\n2R6HRzkEnr/RKQdK3oMLSr2sYl/5uGoULS8mYy60VgPJg3wmxT2N+GwS4Wr4nhV6\njaOaz95fveKllTSBksqe/nzW3FPpLs5adChiCURxzInT4FWpYqdiaM/khU7qk4Fl\nQhQFF8mIuYDt2yjM/FmqzRnNJs0hMXUioqrAkG2dOO53TlGTcTa8BnVy/pMypRAV\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-20 00:00:00.000Z","summary":"

PhD student @ UC Berkeley. he/him 🏳️‍⚧️🌈

My broad research interests lie in building distributed systems, networking, and privacy. Love #opensource #foss I use Arch btw.

Proud member of UAW 4811. Avid transit user/nerd and bike enthusiast.

Boosts are not endorsements.

User pic: Man standing in front of Golden Gate Bridge

Profile banner: Shed painted pink, blue, and white for the trans flag, on top of which is the transgender symbol, a heart around T4T, and "We will not be erased" with a heart.

","updated":"2025-09-24 19:30:15.402Z","user":"","username":"Micah"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 14:09:46.078Z","domain":"mastodon.social","followerCount":1933,"followers":"https://mastodon.social/users/barrelshifter/followers","following":"https://mastodon.social/users/barrelshifter/following","followingCount":207,"icon":"https://files.mastodon.social/accounts/avatars/108/195/288/061/790/423/original/41225243f6875979.jpeg","id":"p42rt2s063x7413","inbox":"https://mastodon.social/users/barrelshifter/inbox","iri":"https://mastodon.social/users/barrelshifter","isLocal":false,"last_fetched":"2025-09-24 19:30:16.290Z","outbox":"https://mastodon.social/users/barrelshifter/outbox","preferred_username":"barrelshifter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0yGlIaZk0hOZCuRiFKaU\n7miwlTl3QFpmkHLAcc0kncZbxyVFstyEO3obPsOsc1efIauvCwVtqd/UVr5HPJAa\nkOWu/xYCkGLvcE608Rg03icHZBaLaTDw3eH9xHUmUN4GtSJDG/2yuc2ZQlPOeSUu\nE3THmP/hCBR0G77Nrh81hgvNItlXX6RhqXp7KYK5aDvcjOQYjBxL77VRGnv2wn+s\nznuwkt73foxVEz8XVDDKp4Ed0KD1jQHj4Itv4o2KjyYQkKeZd1wbUB7ySnCK7hrj\ndOzcLIKvKQqzXlo7KqbuXc3c/xFqjapbt5ZqkkTiyIrwO8WkxH13EeBtMVLSc39u\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

compiler schmuck

","updated":"2025-09-24 19:30:16.291Z","user":"","username":"Jessica Paquette"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 15:29:42.697Z","domain":"bookwyrm.social","followerCount":0,"followers":"https://bookwyrm.social/user/left_adjoint/followers","following":"https://bookwyrm.social/user/left_adjoint/following","followingCount":0,"icon":"https://bookwyrm-social.sfo3.digitaloceanspaces.com/images/avatars/7fc87171-f2a0-4fd6-8b71-11eb844d3d62.jpg","id":"fpzp144m6034d0k","inbox":"https://bookwyrm.social/user/left_adjoint/inbox","iri":"https://bookwyrm.social/user/left_adjoint","isLocal":false,"last_fetched":"2025-09-24 19:30:17.271Z","outbox":"https://bookwyrm.social/user/left_adjoint/outbox","preferred_username":"left_adjoint","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4MamKvdpaitNxxeEdtQ\nXm7pjjdcXf9lSg6ZzEuZIG/qWC4cvYeGUQO1nlZhBnm7iw+lj5r548ZbN/HWLY4Q\nu41VFh94Pw0TFEb4+PhLBQ1W+gRFT0PEF/OwK3Unctlbr22A+3pJP2rO1BHeTQQp\nAS4jxLAFUjx+flzZRmyLnn3k8XrCQARHe5biPzofDucrP9iN2KtxPSPtXLe6hWz2\nfP67dflfCqpfilqnyjTmnDojedF67UTByzL/szefe3L5tqJFC81ed2a6m+cEnKRF\niAQHonuGe4W44jxo2ebJhrQFLk9uLd3CVc8hrF8Tf37Hj3rmWydTm7oamQK5/uEr\n9wIDAQAB\n-----END PUBLIC KEY-----","published":"","summary":"","updated":"2025-09-24 19:30:17.272Z","user":"","username":"[]"}],"page":1,"perPage":10,"totalItems":272,"totalPages":28}

Rob Sison

Following