{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:43:52.208Z","domain":"mathtod.online","followerCount":2,"followers":"https://mathtod.online/users/jikokennobun/followers","following":"https://mathtod.online/users/jikokennobun/following","followingCount":19,"icon":"https://f005.backblazeb2.com/file/mathtodonassets/accounts/avatars/114/717/426/630/048/228/original/50af8cfcab2d8f26.jpg","id":"avhyw147rzd036v","inbox":"https://mathtod.online/users/jikokennobun/inbox","iri":"https://mathtod.online/users/jikokennobun","isLocal":false,"last_fetched":"2025-07-21 10:26:01.114Z","outbox":"https://mathtod.online/users/jikokennobun/outbox","preferred_username":"jikokennobun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArghf9oFGKkhLudyUqUmm\noWwGSE9jrq2VMqeOPQw/xevKmucYMS+12kJGlnSGnOR8eUwXmvpydUIk5z8fajiI\nr9Aaetq/NFqwRGZw82/vLyUJxZctTm6jDFzXpYzo9TeFVYTg8oE1DxWQLVYKxMQ7\nR5Riw9BVUlrCamhYs7OA6C25w/KPIa2wxxagVwrWXb9DrjPkIKvmmdQW7GGTriRE\n4kPVGkHQjAV0pAoriLS1prNMO5WHb+qrF5O3o1qiUea07ADPYjm/hXtqndLqrc5S\n1Mhx7zODT7TV7YSekLGYS9B8R0bCCRtFLN9VccUrv6ltRKy8Nf/+7+4ad62XpdCY\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-20 00:00:00.000Z","summary":"

I am a third year undergraduate student at the Institute of Science Tokyo.
I am particularly interested in Gödel's Incompleteness Theorem and Modal Logic.
#ModalLogic

","updated":"2025-07-21 10:26:01.114Z","user":"","username":"自己嫌悪文"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:45:14.076Z","domain":"mathstodon.xyz","followerCount":134,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":119,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"c61wo015nfyo6oy","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-07-21 10:26:01.145Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2025-07-21 10:26:01.146Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 13:13:27.932Z","domain":"libretooth.gr","followerCount":4,"followers":"https://libretooth.gr/users/xyz/followers","following":"https://libretooth.gr/users/xyz/following","followingCount":522,"icon":"","id":"53ro0il8e9025l1","inbox":"https://libretooth.gr/users/xyz/inbox","iri":"https://libretooth.gr/users/xyz","isLocal":false,"last_fetched":"2025-07-21 09:24:44.381Z","outbox":"https://libretooth.gr/users/xyz/outbox","preferred_username":"xyz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtmO8ObMCo5xgaK6bzvjO\nDLZCQ3OEyRwsNR/KHIliXe4rg6U3joaQmBZ8PpglaAZPRlQNdRZCwSf4G3hOnyjV\n5jO16E7bSNNOXSxLC6+BQWu6sD+Zq9+Ms0Uk6Nxkdnx8D5YF9SLYvf7o6yJs4Wrh\nudIEPqu5nLwQW2y5coecvwAsyd7U18ao6yCZftzd1d33a/lqGobYRPYuj8QECa/M\nb6J7txxOCdztbZ6ERDSYpUR3jmCf3AE82aGVlrI+vzex3TqtAfFjYMncl1DZrByV\nnm5sMoj6QIuLiejzoX8Gy0k4LiLRSsBVn2vHS+T+oFHYhJwIhy5XgAh+tlFRdqoP\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Getting increasingly disillusioned but not jaded.

","updated":"2025-07-21 09:24:44.382Z","user":"","username":"xyz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 00:07:17.027Z","domain":"tldr.nettime.org","followerCount":15,"followers":"https://tldr.nettime.org/users/balcanquhal/followers","following":"https://tldr.nettime.org/users/balcanquhal/following","followingCount":112,"icon":"https://tldr.nettime.org/system_nettime/accounts/avatars/109/437/981/017/342/295/original/5d9e3f2d3bc8a243.jpg","id":"najbg8gw4exq136","inbox":"https://tldr.nettime.org/users/balcanquhal/inbox","iri":"https://tldr.nettime.org/users/balcanquhal","isLocal":false,"last_fetched":"2025-07-21 10:26:01.202Z","outbox":"https://tldr.nettime.org/users/balcanquhal/outbox","preferred_username":"balcanquhal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+beN2PUIRIxFVdBw4JD\nfvcw0/edaSJTUlaX1WRNhIU2X4Jx9ctDo15eOeRZQoKa0XjbjMgvU6s+tOC+DySc\n04WqgfmNVcAY5OwFoIsiYshsk+Be9HlqQn6Xf2mB/eFsiC+C2YjzD/yCrWL/o4zb\n1T3mViGErVHQsnIZIkHCQgIwygDdnA5BTzz6G2HNDXgyaD6+KAudVwj7HejbP3xJ\nd4P0KiK+nkhbwwFRd7OHVT0JS42zbkt58dZo55+DfzEin3offB3Pj1jqz646uTvC\n1oX95eZ6ea5o9RQp7ZG+pVCDBZzpf3f0P3ZX9b6/yuhSeLrCosT2e9cmEL3y/xGl\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-01 00:00:00.000Z","summary":"

Glaschu, Bonny Scotland

","updated":"2025-07-21 10:26:01.203Z","user":"","username":"D Guthrie"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-13 02:31:24.757Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/surobaki/followers","following":"https://mathstodon.xyz/users/surobaki/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/428/838/679/465/245/original/9c2e5695788a5e0d.jpg","id":"2h6wd38228l2bz4","inbox":"https://mathstodon.xyz/users/surobaki/inbox","iri":"https://mathstodon.xyz/users/surobaki","isLocal":false,"last_fetched":"2025-07-21 10:26:01.237Z","outbox":"https://mathstodon.xyz/users/surobaki/outbox","preferred_username":"surobaki","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwrQ7mrdC42A+ayzJlQkb\nxP9niywcEeF6P/4mW0thEIEFxZU9RNpi8qWaX/c5zYWyzOjlAZS+h2E1TdVobGWr\nI7pvVPEfRiIX8xKLINqaiURNOXT6vAZO9nqLp4KX7uUunpnoDaSxdhuW292KhlhI\npatbqJDrpFIJeDvNVlJ0HWJ7ss/UBFVYe3xmQoG1CyB2tSgt9t17WQZOVXD0sw2H\nj+PI4DjrBjjrMOlcO5Li0fJF85aySjPoD9Uwc03ZE42Y4wEFiVXcAIsRaRZlN+Ld\nVq84v5v6/vUWb5ojCZV7vNpEd3GnSOyLiF5qzveMvzI69zoR2PSkNAFaAbXMJGuC\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-29 00:00:00.000Z","summary":"

Programming languages PhD student at University of Glasgow, programmer, sysadmin, lover of Haskell, purveyor of fine dining and fine memes.

This is a primarily professional account. Feel free to @ me for my personal socials.

","updated":"2025-07-21 10:26:01.238Z","user":"","username":"Olivia Weston"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 08:48:39.763Z","domain":"witter.cz","followerCount":328,"followers":"https://witter.cz/users/algebraicterror/followers","following":"https://witter.cz/users/algebraicterror/following","followingCount":1196,"icon":"https://media.witter.cz/accounts/avatars/109/451/156/648/007/804/original/f8fc49117d7a8755.png","id":"m14c29174z9b08z","inbox":"https://witter.cz/users/algebraicterror/inbox","iri":"https://witter.cz/users/algebraicterror","isLocal":false,"last_fetched":"2025-07-21 10:26:01.340Z","outbox":"https://witter.cz/users/algebraicterror/outbox","preferred_username":"algebraicterror","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1EavGNelxet/rLN6t0Zh\nn4vTAQ3xdjXx2IbXgBMsojp5KNstKHzrH/FmM+ALWDEOmC4tkPmdQQLVXxgS95tB\nctho64KQ4g6aYGCP3mL9f9R9GtX4eZvQkPjESYLv0As0ZynBbnI08CG2lNwEgLUU\nKKZIotphlEX7Mxv4aOLMX3Q2TpUVk0V7QrnG6r518vDI7ZJxSbg3ziLxyaTShTjT\nrPwv37ZAMQT2+Zr1ECOe7KFAoCJU8ORI3W4EQfXU6EvNrtLU3CDmv3DyUv2ajG65\nHNT3EdrzDGMX8NP0e+DL7HfaG8SIiG13sUN3iZ9Z4AlMoqJv0aidafy7mNw2nx57\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-03 00:00:00.000Z","summary":"

🐧 opensource ☹️ software 🇪🇺🇨🇿 brno 🛠 #base48 🚲 eskate 🌳 drugs 🐱 cats 🇺🇦 Слава Україні!

everything this account says is not true

","updated":"2025-07-21 10:26:01.341Z","user":"","username":"Moravian Kaleidoscopy Ltd🇺🇦"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:26:01.373Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/aws/followers","following":"https://mathstodon.xyz/users/aws/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/747/171/381/483/original/e7022018d020c72d.jpg","id":"xyh3557m8hc92lv","inbox":"https://mathstodon.xyz/users/aws/inbox","iri":"https://mathstodon.xyz/users/aws","isLocal":false,"last_fetched":"2025-07-21 10:26:01.372Z","outbox":"https://mathstodon.xyz/users/aws/outbox","preferred_username":"aws","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IR1l7P38z32qk8R7gAn\nYSXwDuydbNQXTAIHWHXbAr4A/EpbZxGgImZQ1GQHKuzydOJgjjALJpZ+e/lmtQYx\nKBsJt/AnwbGeNTBlw07Id0s3Xgx524puvaM1gw8imWSvcJStffd9phlBvURgeZjr\nYJXqL23WWX1OBXlxdtQsnPy1bjrmp/bnHq7pENeSbmUUgEb63sokZTWZpyXb3D7x\n4RDS1MRczxe1v+9VZzmrAZHY2n9aHaIk5HedxXwCqI5QElaIl6/02B3kKFdxNc1N\ncJFXM25CQ+bd+x9ev3yZuUuWIG2atyHfWPW0jDWJTQdTVaDqC6Jp8kgi12PWUOss\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

","updated":"2025-07-21 10:26:01.373Z","user":"","username":"Andrew W Swan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 15:16:42.087Z","domain":"mathstodon.xyz","followerCount":1710,"followers":"https://mathstodon.xyz/users/julesh/followers","following":"https://mathstodon.xyz/users/julesh/following","followingCount":150,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg","id":"99wowr7wyn75qy7","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2025-07-21 10:26:01.410Z","outbox":"https://mathstodon.xyz/users/julesh/outbox","preferred_username":"julesh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+8GStBTcZ47c0ZqpWg4\noSPey8n0oMa20EXxJSYmefWnBhQjQb8rBgZUoJjmFd2vB5svOSWi9Mhn7TqWYpJM\nOPk3fJzD1M9qw41MoTPE+DoGQFkyYSAzA3bHttJi7BewDk3yoRKp79lym520D5zq\nV1GDN934Fg5zn9u3H0BQHYExlIw+c1KlfJGAZAGB1Hw+r9I73OXWzob11fPBzrGg\nkb+JlBZo4Fuc2d2A/EM5MAu2JzAjUGIcocVQOc/8zEEl/+Nac0YNpkclvz/60mHt\nTgvNmAg3Z4DMSIQQhQpdV43XGq/oEY72+X52rIsBbDu5yVG5fBRd8ZKUhjrJApU5\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Applied Compositional Thinking

","updated":"2025-07-21 10:26:01.410Z","user":"","username":"julesh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 04:45:49.326Z","domain":"social.bau-ha.us","followerCount":1345,"followers":"https://social.bau-ha.us/users/raganwald/followers","following":"https://social.bau-ha.us/users/raganwald/following","followingCount":591,"icon":"https://social.bau-ha.us/system/accounts/avatars/111/801/048/327/111/847/original/ab1e9d6b38fd8ed5.jpeg","id":"59m19323d9ez68r","inbox":"https://social.bau-ha.us/users/raganwald/inbox","iri":"https://social.bau-ha.us/users/raganwald","isLocal":false,"last_fetched":"2025-07-21 10:26:01.664Z","outbox":"https://social.bau-ha.us/users/raganwald/outbox","preferred_username":"raganwald","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IVofR41Nnk4FIf6rUkc\nlC37GobMpL6G7hEXoBN0AZvjxg9WmkeVcRsXjW9d1B0xB+YfT+7kWiQLXQ4kTWYi\nZu8cu+nqL9HZIbsFuUu6PGl2bVyWFuERlqYkkhUUE4HsCV2BGVq5Tp1GUYwAHndP\nKsPgVde4/2wrlBn/tA3xKWXNzzrYO8KzdKW9qUIO3nbRE6yQx0RgnkZHbwWxQvQg\ns2VrQgIMKHAgNheZIbtjBkSJlKiEtIYvbC+/fl5toCxwS252vHoklskMKt2hZtJM\nvJHJ/FvNSxTxN1vltYydKIyoO918u1g5eN5wuP3MjT15tjIb2EKSH4KrZC2j9cT4\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-22 00:00:00.000Z","summary":"

It says "Reginald Scott Braithwaite-Lee" on my 🇨🇦 passport. You may know me from a book called "JavaScript Allongé" or from my work at companies like PagerDuty, Sitraka, and GitHub.

May your next sip of coffee find you well.

","updated":"2025-07-21 10:26:01.665Z","user":"","username":"Reg Braithwaite 🍓"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:26:01.758Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/vieniallafinestra/followers","following":"https://mastodon.social/users/vieniallafinestra/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/842/307/597/306/735/original/c230ae706d566a8f.png","id":"8y9lafytg71x05e","inbox":"https://mastodon.social/users/vieniallafinestra/inbox","iri":"https://mastodon.social/users/vieniallafinestra","isLocal":false,"last_fetched":"2025-07-21 10:26:01.758Z","outbox":"https://mastodon.social/users/vieniallafinestra/outbox","preferred_username":"vieniallafinestra","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArOhu7sq2F5ZW4/jh5B1q\nkIPv8B3Nx38O13r7Zga/9p7IoUsy4PmcCssMP1KbSueCgC52OVzkA9zsysbhg4Wm\nDtiNUfRR6voNqe4NN5jgJQIDZm7veRG6w5QFIEa8kugVLOQuVmXb4svRskg+ppqZ\n+nDXbLpGE984J6VSjb7Z6knralcVAD/r2UGBANXOhpo8O/No1ekcJLNvCx327H5x\nr6CJv+EBeUx2ByMaA9P1GJfOg14asRAxnD1kuu1YczD8DOH4M0WMxHuHlGLBAfsp\nfRqpKmiWBuu/tpUGWdhe9Zsn/swpDL/5HfG9iDMU93jDwmEU+rFms3Y3RHxDFFVo\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-06 00:00:00.000Z","summary":"

I like Don Giovanni (the opera) and playing with words.
Learning helplessnessness.
I am antinarchist.

","updated":"2025-07-21 10:26:01.758Z","user":"","username":"DonGiovanotto"}],"page":1,"perPage":10,"totalItems":183,"totalPages":19}

Counting Is Hard

Followers