{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 01:22:19.370Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/hcarlens/followers","following":"https://mathstodon.xyz/users/hcarlens/following","followingCount":0,"icon":"","id":"9f874q2667122y0","inbox":"https://mathstodon.xyz/users/hcarlens/inbox","iri":"https://mathstodon.xyz/users/hcarlens","isLocal":false,"last_fetched":"2025-10-02 01:22:19.370Z","outbox":"https://mathstodon.xyz/users/hcarlens/outbox","preferred_username":"hcarlens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5wvBDZtmqwqiEasa6eza\n4uDAYpAqeUaYDDfd3O48uSTChOSxCFtEPxenbDWI2aiasMzDXtEpI/bB5UUoqGTQ\nFQiBcPGNLdTvNg7OR95sDTw6TztBDR+YrYQeeRWfd/1t782z2LkgXGYksGj2qY9z\nETvyAfKO3o/xj3URmt48SpaBysPNfryl6yUuzTodDpcKXnh/CZ/8WgK8pKwMJd0k\n14Yv3hlw4l9vjX7O+lJMi/Y6NWIQB3QDrSoh3N/k0z6OsLljylDizPWAUuduQ5xS\nzRlOQp0B/wIpE6Whsy7+YJRA8B4HXusDTqOywuDFnfQvwl17c5y/2oj+ynq2Z680\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"","updated":"2025-10-02 01:22:19.370Z","user":"","username":"Harald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 14:26:33.626Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/users/amrsabry/followers","following":"https://mastodon.social/users/amrsabry/following","followingCount":30,"icon":"https://files.mastodon.social/accounts/avatars/115/162/629/003/052/945/original/1212f7f92de07742.jpg","id":"lhn26p12atolb59","inbox":"https://mastodon.social/users/amrsabry/inbox","iri":"https://mastodon.social/users/amrsabry","isLocal":false,"last_fetched":"2025-10-02 01:22:19.484Z","outbox":"https://mastodon.social/users/amrsabry/outbox","preferred_username":"amrsabry","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3Y0rM9pOtdeusMlA34Tn\n8AjW53bD7bp8DVAHZeeMidgWTW7eJAXTT5Sip+KTuuqoOy96/PuDXfhWn8EnAMHL\nsf+ilg1Ga+8LXwFPOSkfAvmhfPuQjeRHSJdczKw/S9cUM5QWecnnEvjgfUyibC3k\nd4IzdTvnpVGVrm8TKnsT4gcLX0GIIS7hZD5+efSFKm5sEat83VsBH6aJzvZI+8Dc\nqNI3Oj5hV9jWnYislpvtQz4FVxmcFAfJOYjU75Y7Gwrc/LJhOKKSW0lsDMapsvzR\n3CNqDwBYfeft4kv4gIMvrKnBdVIaRt7YmXJGiYAaZrogZh0WezKrYzJ0MSKi130H\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-07 00:00:00.000Z","summary":"","updated":"2025-10-02 01:22:19.485Z","user":"","username":"Amr Sabry"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 18:10:52.760Z","domain":"mathstodon.xyz","followerCount":3,"followers":"https://mathstodon.xyz/users/paulreichert/followers","following":"https://mathstodon.xyz/users/paulreichert/following","followingCount":29,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/044/120/718/131/457/original/b48ff6f128a1bfe7.png","id":"03u1n16179886fr","inbox":"https://mathstodon.xyz/users/paulreichert/inbox","iri":"https://mathstodon.xyz/users/paulreichert","isLocal":false,"last_fetched":"2025-10-02 01:22:19.511Z","outbox":"https://mathstodon.xyz/users/paulreichert/outbox","preferred_username":"paulreichert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt83mG3MsOgXRySaRhmiS\nIDDufolsdBkfC7UukZwrfStAn6n+cnQoEodgWEfQCy60yoRR6FyVMzdpOJVJnjUr\nTsKZLRaXN32TftwGK/XoCMTN0K/HIJO1oCK1iiTzTc3THePND7ByqLi0G2JJKiXk\nNMkP2wCxf8XmmAYNFuJ73IrhbadP+j+3Vigk3g5byVg2IrytNS52ac4v2w7RcLzI\nypu+U6VwWNquG1eVcWZWcD/AdS8jVRBFo4D56szW0H72PhWZziIxb6tU+rz1C8qL\nqJdf5RRDZhzJuB6rvfBXKqSWUPe6sdiV3SEPY2h84ichFaYe7BnwEorPJms1hma9\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-17 00:00:00.000Z","summary":"

Hello! This is my new separate Mastodon account for English math and computer science content.

Things that excite me most right now are dependent types and infinity category theory. Also, happily working on the Lean standard library, but this is not a professional account and opinions are my own.

","updated":"2025-10-02 01:22:19.511Z","user":"","username":"Paul Reichert"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 01:22:19.552Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/pdxleif/followers","following":"https://fosstodon.org/users/pdxleif/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/521/704/097/718/821/original/253774da75f98342.jpg","id":"70t261ln86tts3x","inbox":"https://fosstodon.org/users/pdxleif/inbox","iri":"https://fosstodon.org/users/pdxleif","isLocal":false,"last_fetched":"2025-10-02 01:22:19.552Z","outbox":"https://fosstodon.org/users/pdxleif/outbox","preferred_username":"pdxleif","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7Ab3H5argfa++TKSdZxo\ndg7nZUM1UBCgbNx2HWf2RSr5z6M44+/fFIorc1uIqx5LFlE+qOre7Ky8n2GodWGD\nqHzqC0H1Of/8HJGsyjlFnMqrB5C7txjLTtbGovjxCT1eFf0dLtgG0TGHWakZrCdU\n5V2UMe1WsFVekVvbN6n7htoYTdKlWy6ajWRkcHNLuuM6HvQqo0TzWvWXAaeiTb3B\nDvAifmeT7sgPZ8lxbpy5D/Xn4chPKs8VAR1j4uCal2BOoqivE8VxT7K4f0KojcrI\np2VLqqAonFAlSf68sJ1/SQi9B79V5DxRtV25UuHFrUahpRVR9XdLvRm7qCmXdwF2\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Portland-based Scala dev, cyclist, dad, etc.

","updated":"2025-10-02 01:22:19.552Z","user":"","username":"Leif Warner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 19:23:40.619Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/AustinHaas/followers","following":"https://mastodon.social/users/AustinHaas/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/113/610/453/364/788/790/original/00b96e231d54a8ab.jpeg","id":"76xzc0ji5tz17mx","inbox":"https://mastodon.social/users/AustinHaas/inbox","iri":"https://mastodon.social/users/AustinHaas","isLocal":false,"last_fetched":"2025-10-02 01:22:19.735Z","outbox":"https://mastodon.social/users/AustinHaas/outbox","preferred_username":"AustinHaas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx4IQqIMQWbdE05bmB5Dr\nIqzXmal7F1BeLJUp2LiVw97zi3jBLou+s2Gu1KWA0o+hX9WmuMSC7LSsriE/PdI4\nWAKfhgBsZSepJd9vNHOxYkfl9NAezPhwbT7neDiczvoRxbSncB1Z0XnFFpDFv+74\n5B1FE4TSP1fwoNrQeCnPpGIV2s7I3SF+/Y7afNIcMbppEulyWcDK1AHBYevEDvHu\nknWrVksYlLFUGlkUbFtE1anIcXJlFtzP+5ivFM7i0jBWk06TWs6fZzaqeYRKgG58\nd4zEpDA8AFRp8YmMFQ33s7d49kYmkpZTUE2YxfIRlJACRGNMUChuxuvyR5Tvn/Nv\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-07 00:00:00.000Z","summary":"

Computer programmer currently residing in Osaka.

I enjoy programming, especially symbolic AI and algorithms in general, hobby electronics, synthesizers and other noisemakers, and food and drinks.

My wife and I used to make games together and we still do, but I've taken a massive detour for a long while.

","updated":"2025-10-02 01:22:19.735Z","user":"","username":"Austin Haas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-10 03:13:42.594Z","domain":"woof.tech","followerCount":0,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":0,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/a4ce99414900ffdd.png","id":"1q4c94622f76ll1","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2025-10-02 00:37:02.347Z","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-10-02 00:37:02.347Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 20:08:39.862Z","domain":"mstdn.dk","followerCount":0,"followers":"https://mstdn.dk/users/Mikkel/followers","following":"https://mstdn.dk/users/Mikkel/following","followingCount":0,"icon":"https://media.mstdn.dk/accounts/avatars/115/028/168/000/067/149/original/735307d349f6361f.jpeg","id":"n3l80t8cyh75r0l","inbox":"https://mstdn.dk/users/Mikkel/inbox","iri":"https://mstdn.dk/users/Mikkel","isLocal":false,"last_fetched":"2025-10-02 01:12:38.074Z","outbox":"https://mstdn.dk/users/Mikkel/outbox","preferred_username":"Mikkel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuLl5X6//inWJfkpbQQYF\nS/2O+l/n+pOsI1HLeaduZIcRh/VPSVjvWqbZNpBLcKyfaBd3GG8aeIkVVaGlLQNS\nRJzXVSKZlMcSoO2B4vohDGtM18MY2mOoQA4LTfALUaaFoFou5ndlfSu40B92TWp8\n7JdcAjbsrYO2rn1zbShABB7teh04TSDLP+weAsuyyVVzxGINmBk6GlzvdDZNjaDH\nSCseoPNVv6GEs9EiCftfuovGOJPRFfw7Ff+foUmC4wn/svSWdHCNdx2b+SNKvExP\ncCLFbKB3FoVrfqJtro+JiQXsVwSp3MmNhTMnrKqM8YH+yMKSWevqhJcNadJmCRK6\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-14 00:00:00.000Z","summary":"

Danish, father of three, computer scientist.

I love tech, bread, and gaming

","updated":"2025-10-02 01:12:38.075Z","user":"","username":"Mikkel Breinbjerg Thomsen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 12:26:22.329Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Supernaut/followers","following":"https://mathstodon.xyz/users/Supernaut/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/948/856/158/659/524/original/4a050465ebe92592.jpg","id":"2uu6us0pm28o993","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-10-01 23:47:44.870Z","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-10-01 23:47:44.871Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 01:22:20.419Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/scomin/followers","following":"https://mathstodon.xyz/users/scomin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/907/386/031/939/221/original/9280636e57268076.png","id":"39f7em0x7v165js","inbox":"https://mathstodon.xyz/users/scomin/inbox","iri":"https://mathstodon.xyz/users/scomin","isLocal":false,"last_fetched":"2025-10-02 01:22:20.419Z","outbox":"https://mathstodon.xyz/users/scomin/outbox","preferred_username":"scomin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy6REywrq5kkrjyTm/VkA\nSKGdfS/pv5IwreUNBI9NKKipsjrqLHM6iVH5TLjd9r2Vg2Xp1B4ZxmuK/GxWEG8K\nPJnkbhpjE/2IMuz0ENvDFsKJZKEK4K/wTgNAe3102KzEdk4RvVWhVchEvlrqZk0i\nm/SF2+QoqdQbXONJ4rr3LhroBLE/cMteRHi+Kh9Yv/RS/4D7Xs7Z3SbeB50cDh7A\ngRWDxpHi+zpp9WSV1YQoKeBoOjN9oIvNM9PaAzirOHZW1FkGnXnkN0HbbybMrp16\ngwKijhyG9ohSZzqQMpn9E1AS9XgVHzJHvU5QScDZR2bc547lpBJHuy8JTx9olYpd\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-28 00:00:00.000Z","summary":"

Bit bricoleur

I have had a moustache for only one day in my entire life

","updated":"2025-10-02 01:22:20.419Z","user":"","username":"Spencer C."}],"page":1,"perPage":10,"totalItems":549,"totalPages":55}

David Thrane Christiansen

Followers