{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 02:25:09.413Z","domain":"zirk.us","followerCount":135,"followers":"https://zirk.us/users/Anton/followers","following":"https://zirk.us/users/Anton/following","followingCount":3412,"icon":"https://cdn.masto.host/zirkus/accounts/avatars/115/284/842/949/094/774/original/8cbd949834eb8f6b.jpeg","id":"6e01obm86sgv1hg","inbox":"https://zirk.us/users/Anton/inbox","iri":"https://zirk.us/users/Anton","isLocal":false,"last_fetched":"2026-01-24 05:18:34.545Z","outbox":"https://zirk.us/users/Anton/outbox","preferred_username":"Anton","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvIxEtTf3Ro0kyxkLBJr1\nPIZKfhY6LbXtrYhk0pHrB8TEjVtGnF2CuD2QXN7f/a0OlZMisZBJUWQyxAKEAwm3\nWmTMiCVr4KNRRA+x0y8jyYOFUQk2DzSnsgctjQrJUF0tgtDpIgL9/MZU59g7N/m2\nDqIrXMjaGC0QkPrD8e/J/Jz+67gtCxgVvYiFLRrFaZ6fhm1AlwuurJPHt2wv1wuN\nslgob8s4d4bnAUHvS7CylTQbam+iKhYlJBmqCvck4eSSmtElurOtT5YvTX8LnwRO\nnhtriM/rM8I4ANg5dJlLdDMPyhC/0QmYDG+n80fa609qIXCMfXgf18Lb25ULEkSQ\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-29 00:00:00.000Z","summary":"

For me, inspiration is everywhere, especially in nature 𓇢𓆸 My favorite subjects are animals 𓃠 flowers 𑁍༘ landscapes and colorful abstracts 𓍢ִ໋🀦

","updated":"2026-01-24 05:18:34.545Z","user":"","username":"Antonia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-24 16:26:27.906Z","domain":"mathstodon.xyz","followerCount":382,"followers":"https://mathstodon.xyz/users/bgavran/followers","following":"https://mathstodon.xyz/users/bgavran/following","followingCount":92,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/536/193/392/190/234/original/bef7c76943d895ad.jpg","id":"4h4nnlf897l9uxk","inbox":"https://mathstodon.xyz/users/bgavran/inbox","iri":"https://mathstodon.xyz/users/bgavran","isLocal":false,"last_fetched":"2026-01-24 04:15:37.789Z","outbox":"https://mathstodon.xyz/users/bgavran/outbox","preferred_username":"bgavran","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAveV3uyOK5UnqwaVnrUDu\n+4crHOPTSCFKaqmLkaifKElxubGGzc9PYmVI1F9yTiFu9+yZfa21H1iiJtmPbfwD\nvq86cGkG/F70Q7SNzRW42MITIicDIjYtJ62obe9RoolzeydBW6MSiua0XWr8a5oM\no42qTvPm/VYRVJ3CAJstOuBR2w88ntcJLswtnF5t38YaRfY2I9RQgxnZjXwxckF+\n2Hw7UEscEcko+0UK4oju0J++wO4608bsU7H14MTxRI90cPSrzcIFi01hoxAV5+kV\nfOn8GRXkxU0qcbSnzHK5Ttib1NXL99J+VBl3bAFXTk509c3sLZmK7Vp6BdCUEh0J\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

I'm building neural networks that generate provably correct code, and the software infrastructure for training them.

Recently experimenting with TensorType: https://github.com/bgavran/TensorType

","updated":"2026-01-24 04:15:37.789Z","user":"","username":"Bruno Gavranović"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 01:41:11.402Z","domain":"social.sdf.org","followerCount":302,"followers":"https://social.sdf.org/users/rat/followers","following":"https://social.sdf.org/users/rat/following","followingCount":1176,"icon":"https://social.sdf.org/system/accounts/avatars/109/526/706/492/620/908/original/b35bbdfda0193c6f.jpg","id":"7qwuckhs8yq74u8","inbox":"https://social.sdf.org/users/rat/inbox","iri":"https://social.sdf.org/users/rat","isLocal":false,"last_fetched":"2026-01-24 05:35:53.448Z","outbox":"https://social.sdf.org/users/rat/outbox","preferred_username":"rat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+Cu5mSZNy0VcRDTGLLpo\nt4CahktU2rYmyqiALpE34UMSef7aZJAgaX46k9KTjIVuTe9iGXRXIIGxu6/rgCw9\nAETQxVoqsT5kbu5Fcy8Nn6Ko+BIF49CWgUeyhkszu3LFU2+bqP3brf7v7N/Jk8Lm\nhU3MBf5dFsVBaax5lo5y81iEZE4qVbc1n1noKNCpXpt6VAynXlMwFJ6ssaZUYuAP\ng5ZN3gC5/T57emjZILPEpXvMePjvyLHlY/Igr+g7xivwUCrJ6XX0F3RlLwFf2aXO\n7l3JxFa25Uv40EdH0aQGXe8OTgb7N2Pec6jNXmD1009pW57HD/kn0jwmuFDUmSmu\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-17 00:00:00.000Z","summary":"

𝚓𝚞𝚜𝚝 𝚊𝚜𝚔

","updated":"2026-01-24 05:35:53.448Z","user":"","username":"𝚛𝚊𝚝"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-15 22:36:19.383Z","domain":"mathstodon.xyz","followerCount":429,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"b8tgk6b94z1uwjf","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2026-01-24 05:27:45.496Z","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":"2026-01-24 05:27:45.496Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 22:22:42.350Z","domain":"mathstodon.xyz","followerCount":163,"followers":"https://mathstodon.xyz/users/robd/followers","following":"https://mathstodon.xyz/users/robd/following","followingCount":201,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/051/870/770/139/original/db548e0a4894694d.jpg","id":"urmemaa858d4o26","inbox":"https://mathstodon.xyz/users/robd/inbox","iri":"https://mathstodon.xyz/users/robd","isLocal":false,"last_fetched":"2026-01-24 05:35:53.481Z","outbox":"https://mathstodon.xyz/users/robd/outbox","preferred_username":"robd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArobS0+/NbgURlSG+qj4b\n81WLPwi7YZXc0X5WXeQwqcYrLrROcmkI3IsMlaUkKLb6DrEkCI2KJaDXMaXnkM9k\nMO33ys00Pj5Bdpj1OaHRLTjgmtQv5qVWDelj22ct2FYCv7oqU4LSq7CTrl8/iiSs\nyiKr8qbpt58VZgMdDlg32lVQshF3sGRvYYu8i61cRZEiqdzNMMmxGu30z8TsyWmM\ncgIRaX4jYQPBF/RoaosDKkFbS9kgKUbIZycWa83yK8oxd2TL4sxTI5Vqw1HgmR46\n/bDR+LOrNFkzdzzz4a1n/WKTNiuRMRK00AvvFtrbSL9W4CgFUmv485mop6uhEgFu\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Assistant professor of computer science at Augustana College. PL, formal methods, verification and synthesis. All opinions are my own.

","updated":"2026-01-24 05:35:53.482Z","user":"","username":"Rob Dickerson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 22:16:29.642Z","domain":"mathstodon.xyz","followerCount":15,"followers":"https://mathstodon.xyz/users/pimotte/followers","following":"https://mathstodon.xyz/users/pimotte/following","followingCount":57,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/598/350/906/603/022/original/0b2ec663004cafba.jpg","id":"pedz3ensjc3375k","inbox":"https://mathstodon.xyz/users/pimotte/inbox","iri":"https://mathstodon.xyz/users/pimotte","isLocal":false,"last_fetched":"2026-01-24 05:35:53.511Z","outbox":"https://mathstodon.xyz/users/pimotte/outbox","preferred_username":"pimotte","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1Pgh8ha1VHcUD10EzdWB\n1YIM4Fx5O+rXDKZW3FquCE43vj0ZDLTfWoLfhkEBu3PIugxySuK7emVVaeSUXvZ9\nAyMzORm2uoGwIbtTcZBNHF2UBK1pbijkKfhyq+GfzMDlf9nBcOyzHMU0JkYe0EsN\no77uGKCzpXT+Rtt3K+/sXIMqLBPK3aeisRN71LViKGkL/DxwVI2+xLvuM54dt6Uo\nzTmVF6TXRblmGrXqG1eQsgUQcsIkhyqb3ZGosAR5faOr8ENxZNX815Bl87BbVJJ6\nOqm5szJAlDQzbWtrOz5ccgusO1b8UlAAeu6R4PjkIbwjvCqlVjznRIXiFyFgp34S\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

PhD candidate on the topic of "Type Theory for education" at Utrecht University

","updated":"2026-01-24 05:35:53.512Z","user":"","username":"Pim Otte"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 15:57:21.030Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/XRKF/followers","following":"https://mastodon.social/users/XRKF/following","followingCount":106,"icon":"","id":"1u8xj1508sdyl1w","inbox":"https://mastodon.social/users/XRKF/inbox","iri":"https://mastodon.social/users/XRKF","isLocal":false,"last_fetched":"2026-01-24 05:35:53.570Z","outbox":"https://mastodon.social/users/XRKF/outbox","preferred_username":"XRKF","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4adjEf/BwWKTEW3DT9F\nU0f6tf8k9ypdhf5cneK4Tt8hoJLJ7sgcJLvGCqObFo21jk5NlJBMRUGbLqKH9m6D\nYzhGK8+TUJEQBfKJF73TbefZ226ER+TUSGgFCsXvIxZGHg2ykjBquDlPz7i5FFkl\nbyCEGgVqnf9hF3p+s0tC+v7uUxJU1ZqqdRS6r/HYpDi/4IrnIJr1FTHsu8f05WKq\nHg6ACvT21asDT/UL/1w2XDbVxZmy80x8EbWB7gb7iWbI77LxErHf7nHwAfAdJnVN\nAiDdwqGE2fvYjzTa2lVNNZnLOagbwfdddNOAtyQcs6ZAuXvUkXqClKxlqOeuHKWt\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-17 00:00:00.000Z","summary":"","updated":"2026-01-24 05:35:53.570Z","user":"","username":"XRKF"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-08 17:04:22.106Z","domain":"mastodon.social","followerCount":1,"followers":"https://mastodon.social/users/rwy/followers","following":"https://mastodon.social/users/rwy/following","followingCount":12,"icon":"https://files.mastodon.social/accounts/avatars/000/037/536/original/cee0c74a1c0abcfa.jpg","id":"6rvr8g1ptqpnp18","inbox":"https://mastodon.social/users/rwy/inbox","iri":"https://mastodon.social/users/rwy","isLocal":false,"last_fetched":"2026-01-24 05:35:53.629Z","outbox":"https://mastodon.social/users/rwy/outbox","preferred_username":"rwy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzTRmZlCYQPM4/Qn2j5IT\nmvmKZZmkm0xL2a7FJNIt4luidYUAwO3+M1r+a8wEGHJcucKGS4+EDwTxTDaoZudS\nMBMojiLii+S6YAg4R9HDLBppnCXlHalMypOxSOvhk7QyyrK81FO+4PjoKY6thSFG\nLZXTwbw+fl80VW7FcGu0KjJrgj7whcxp/9J1DHA3TIOFdanZ36lud5Ly00Z4zPMo\naZVICrR69avXWi3c5yLxiKnsset51wGXc0XQAfcDeVgB+ugeHSe2JsHQUEG57+6X\n93l8UfsV2WeU2gAwIQs9VfFMVVgf3hqj0eTTbqAs0euSTfyl0ovRSXOltdCY5Oop\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

Software developer.

","updated":"2026-01-24 05:35:53.630Z","user":"","username":"rwy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-27 08:14:06.948Z","domain":"mathstodon.xyz","followerCount":7,"followers":"https://mathstodon.xyz/users/larrydeck/followers","following":"https://mathstodon.xyz/users/larrydeck/following","followingCount":182,"icon":"","id":"3ac6v7gntjpd9fo","inbox":"https://mathstodon.xyz/users/larrydeck/inbox","iri":"https://mathstodon.xyz/users/larrydeck","isLocal":false,"last_fetched":"2026-01-24 05:35:53.657Z","outbox":"https://mathstodon.xyz/users/larrydeck/outbox","preferred_username":"larrydeck","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0gUy2sp3JStBWGtHX/VR\nDWdxPcBJjYX+mDUhhsBYAYAwT8OPX4WF8VTa/Zz1c1gWADg3ddTaud/cYTPvXZOM\n7WbZyeMhFcmr6iLdKH+twRKjk1/7+KeZJ0RcAkjOFzU4D9rAzpyRnqq8fHVCMBYC\n2qqBJx2TvZVzZ4XyqfCKW1L8Wb1eTdmF9Ij88v+XaNP9H3qeU9Qpu8HnncmCdOzJ\nrkbmo8M2O/ITXjDX7jzZFmJsVM/im/3mozT0EFiI4bNffwl8id+Rb5gKG8u+laAq\nhGCx6wXmPPE8SduIxj0616QSWyhH1ZSy7yMIZn/ltFve6qInYG7BiIbtsiHQ/JX6\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"","updated":"2026-01-24 05:35:53.657Z","user":"","username":"Larry Deck"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-28 14:18:54.647Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/users/hcarlens/followers","following":"https://mathstodon.xyz/users/hcarlens/following","followingCount":177,"icon":"","id":"i48ecrel374v8he","inbox":"https://mathstodon.xyz/users/hcarlens/inbox","iri":"https://mathstodon.xyz/users/hcarlens","isLocal":false,"last_fetched":"2026-01-24 05:35:53.685Z","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":"2026-01-24 05:35:53.685Z","user":"","username":"Harald"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-27 08:59:33.294Z","domain":"mastodon.social","followerCount":13,"followers":"https://mastodon.social/users/amrsabry/followers","following":"https://mastodon.social/users/amrsabry/following","followingCount":34,"icon":"https://files.mastodon.social/accounts/avatars/115/162/629/003/052/945/original/1212f7f92de07742.jpg","id":"rdltb7ivw91bo3o","inbox":"https://mastodon.social/users/amrsabry/inbox","iri":"https://mastodon.social/users/amrsabry","isLocal":false,"last_fetched":"2026-01-24 05:35:53.754Z","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":"2026-01-24 05:35:53.754Z","user":"","username":"Amr Sabry"}],"page":1,"perPage":10,"totalItems":554,"totalPages":56}

David Thrane Christiansen

Followers