{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 18:23:08.835Z","domain":"mathstodon.xyz","followerCount":2336,"followers":"https://mathstodon.xyz/users/highergeometer/followers","following":"https://mathstodon.xyz/users/highergeometer/following","followingCount":6,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/327/712/438/629/582/original/76fa858ad767bda9.jpg","id":"85xecls6460bw5k","inbox":"https://mathstodon.xyz/users/highergeometer/inbox","iri":"https://mathstodon.xyz/users/highergeometer","isLocal":false,"last_fetched":"2025-11-19 18:22:29.581Z","outbox":"https://mathstodon.xyz/users/highergeometer/outbox","preferred_username":"highergeometer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt7cflWgLRuGRI492Z3za\nXWJcMKxUYp6c9C15yyKEyCyW6rlmFC5JtJcxx7HGDJ5impPDF+5VA++6YYhv3uAb\nQ7mVDLaTZs6p2qe8+MyF/zZfdV67jyy+UdIBbWzTF59jkHNV/pg5jxRHrxuOO76o\n4d+gXUHEHCctZbA9KcBBHuik+y1zkL2OXLQTatLF/jLtW7Ofe79eZz9HkxuyqFzA\nFlMS8eI4oE/GvwaVIahlytL/luQXeKF+Vb5yFS0ZZW8hFuIQhqBeUUwGguv3ZRb6\nEAti3Um/QpfhJTw628GtAeV1NLs8d12CekCCfxjoaOCtS1l9t0JLaxugjdEQJfa2\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude

","updated":"2025-11-19 18:22:29.581Z","user":"","username":"theHigherGeometer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 06:38:42.854Z","domain":"mathstodon.xyz","followerCount":31,"followers":"https://mathstodon.xyz/users/duplode/followers","following":"https://mathstodon.xyz/users/duplode/following","followingCount":76,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/551/017/379/189/119/original/194ce2a6f494d815.png","id":"n6m8b4ixdi3hs0m","inbox":"https://mathstodon.xyz/users/duplode/inbox","iri":"https://mathstodon.xyz/users/duplode","isLocal":false,"last_fetched":"2025-11-19 18:22:29.608Z","outbox":"https://mathstodon.xyz/users/duplode/outbox","preferred_username":"duplode","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtAtU/2mOLmB8ux/QBXr9\nj6gxWmL7+yQ5YRxCoEUzLACHTB8LVDvb/N5Ki2P3tRRUyB0dIUx/PohNRJB65Kof\nw/Y7WjFFzZ3mhknUCEBIBDw5zDD9mO8ghzQcLouotMrM6vp5LrqTRw3KFpdcUZqi\nQ46MY/+pf5ySZ3OevX5inryY/8iMiqrCcimaDrRJkSyUgSm6e2ItU1cMvclqSlZk\nBqfSsdHpDgLLhUfV7HC3pDHwmUHPI3wh4WtPxk5ZYPUqz5sPs88w/n+h6K3bFL+G\nflx/wxf0PoickHjOwXGnB+AjfcfpjWcsViNjnKc3gToht2xANo3F6c7aBOhE5aJH\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-16 00:00:00.000Z","summary":"

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

#haskell #retrogaming #CategoryTheory

","updated":"2025-11-19 18:22:29.609Z","user":"","username":"Daniel Mlot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-16 10:34:50.157Z","domain":"mathstodon.xyz","followerCount":420,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":51,"icon":"","id":"x8cef2vo3lqj2pc","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-11-19 17:40:46.339Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-11-19 17:40:46.339Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 05:22:32.407Z","domain":"mathstodon.xyz","followerCount":43,"followers":"https://mathstodon.xyz/users/dif/followers","following":"https://mathstodon.xyz/users/dif/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/185/047/530/052/732/original/3b91e8fe37b2efda.jpg","id":"21o260at3p6725x","inbox":"https://mathstodon.xyz/users/dif/inbox","iri":"https://mathstodon.xyz/users/dif","isLocal":false,"last_fetched":"2025-11-19 18:22:30.190Z","outbox":"https://mathstodon.xyz/users/dif/outbox","preferred_username":"dif","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxAdacLL4496B2zd/z060\nzeC89zz7gNwqIawGbFu/2EZd9Q/yyve28y0gEfCtgPiw3A0KKxdzfa72L4TfVs1v\nPDRcTCFPaBU6QgVHFUbvCYnn7m+pG/QyD0QWZ7mp9YV2Jz1RAgEh0uwPVgnwJsaT\nHkVvSQQXgVNgnYZ1scy0u/RxE5DHUKJiA9fE+uVw4TrEtWzNbxZL7jHbnYvtfBe8\nGVFKD/zrWrSLway7PJHlNskM86Xxj8ZGek1HMFDt9U9TM9YQn3CziIYEw5EIurDd\nZz4ae7Sb+O3VNVG4z/ggwvpUibGRKSUYMab8GgU75oNfs1cufd2uu6LsikUQyjG4\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-11 00:00:00.000Z","summary":"

logic-adjacent

","updated":"2025-11-19 18:22:30.190Z","user":"","username":"Dan Frumin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-13 15:50:53.679Z","domain":"mathstodon.xyz","followerCount":121,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":441,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"wy2pr99i0o0ejhw","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2025-11-19 18:22:30.211Z","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 and computer programmer 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.

","updated":"2025-11-19 18:22:30.211Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 13:30:46.590Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/jeanas/followers","following":"https://mathstodon.xyz/users/jeanas/following","followingCount":30,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/947/312/845/065/640/original/7f24f2fc281495e5.png","id":"p7aoolqiz74muzf","inbox":"https://mathstodon.xyz/users/jeanas/inbox","iri":"https://mathstodon.xyz/users/jeanas","isLocal":false,"last_fetched":"2025-11-19 18:22:30.238Z","outbox":"https://mathstodon.xyz/users/jeanas/outbox","preferred_username":"jeanas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu17mXkKs9zNUFFw6KYZs\nGAU4V0MQQmLxdlmnvuPgMDgOrz9IacbI4gvSqRf/cVW5zhRum4vapPTZXD5MNRSy\n5Fq6WLDPY8pIaFQ50rsNM2fxYjQTJo0hg6iMOH0qxdhv7i1V7Pk3QcQhtCIEcRR9\nwd8ayFpxmtRthVUHmJlMdoxckih8aZLPkpx67tbOCWMI/sS35vtN/gf1c3wuNjIa\nZodpcHfRAyzRFuHwrVi8e9BrMCNx/5HuBrpCOGlDGEDBifdfo1R6Pa6zRGX/oYNr\n6gMqQaKtVKMzEQ4j3LZjR+rxBkEIOUv3OWeT2djlLuGOwgwrkSEdpaIE6NuZDhc/\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-17 00:00:00.000Z","summary":"

PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math.

","updated":"2025-11-19 18:22:30.238Z","user":"","username":"Jean Abou Samra (new account)"}],"page":1,"perPage":10,"totalItems":21,"totalPages":3}

Tom

Following