{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 20:29:29.535Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/qschroed/followers","following":"https://mathstodon.xyz/users/qschroed/following","followingCount":26,"icon":"","id":"oh9764q5lz3x958","inbox":"https://mathstodon.xyz/users/qschroed/inbox","iri":"https://mathstodon.xyz/users/qschroed","isLocal":false,"last_fetched":"2025-08-04 15:35:36.980Z","outbox":"https://mathstodon.xyz/users/qschroed/outbox","preferred_username":"qschroed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqusAjEyi5XPlRX7cdWX0\nnZe8XkQ+sUkHgWvGoodMW0ofG2Ja68c2EaLr0faIpO0XmN02x0q8PMZmMYJGUd7V\nL7pBHlgfQybifzWHCNpUirIjN3J1KvqDOi2NfI5RumjftRlAUjfnjlbA8AUPiA30\n6yoragXr2kRZ7oyHZyMY6YtU+7FnXyUN2TCR3DTWu9zU/RnmhE7UxXNK/RxrZ1fd\n50xJZKj/y12A4+h/jjYXrqVdVx4+qsGkJsFAhNDCLV7zU/YbLb12TjPiZA9fDelF\njuTEOslfDyi4XU+Z/VVcygl6DZz2ZuMg7L7D/XnZfFi74jkqrcLfiorsfjWUQHBI\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-21 00:00:00.000Z","summary":"

Master's Student in Theoretical Computer Science at U Paris Cite.
Doing an internship on Lax-Idempotent Monads with Jonas Frey at LIPN (Paris Nord)

","updated":"2025-08-04 15:35:36.980Z","user":"","username":"Quentin Schroeder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 16:19:59.470Z","domain":"mathstodon.xyz","followerCount":1588,"followers":"https://mathstodon.xyz/users/mattmight/followers","following":"https://mathstodon.xyz/users/mattmight/following","followingCount":490,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/026/018/original/b394217b072cd172.jpg","id":"8jc93ml4m8t8o16","inbox":"https://mathstodon.xyz/users/mattmight/inbox","iri":"https://mathstodon.xyz/users/mattmight","isLocal":false,"last_fetched":"2025-08-04 15:35:37.219Z","outbox":"https://mathstodon.xyz/users/mattmight/outbox","preferred_username":"mattmight","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm7sv5Uhvqs1nqrh9/C4N\neFVmlgCfzJB0sp970XYrjWPVeHvtXHA1Nu9TiYUBelQbly7L4RvKgKVms4ItNZd6\nZvKXuvP6MWtqhJPfSTVs6ERWKC9R2ywZRg6TWGPLaxWIc83+YY0l2C+BTM1efU8+\nrqHq9UOKua/GJHjFR+pL5f1dzlVeGI1m+0HfLmuhrGfSA91cjyYZ+cIjam0pqOQT\n9GiLLhAPk/j6/5jPPuVRqF1zMicIz7lI230sLPEnmZi5sLvOuroP1RXt0qKgxHoL\nYBl7qgAtlA82WGucHQedVxQpR2N+40dS85JgGqH0KkJEZOqNSBsW1rZc1DRJp0d7\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-04-05 00:00:00.000Z","summary":"

a private citizen; posts are my own, not my employer's; retweets are not endoresments

","updated":"2025-08-04 15:35:37.220Z","user":"","username":"Matt Might"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 20:17:12.186Z","domain":"mathstodon.xyz","followerCount":119,"followers":"https://mathstodon.xyz/users/jonasfrey/followers","following":"https://mathstodon.xyz/users/jonasfrey/following","followingCount":111,"icon":"","id":"o74aowx4go3z7yp","inbox":"https://mathstodon.xyz/users/jonasfrey/inbox","iri":"https://mathstodon.xyz/users/jonasfrey","isLocal":false,"last_fetched":"2025-08-04 15:35:37.253Z","outbox":"https://mathstodon.xyz/users/jonasfrey/outbox","preferred_username":"jonasfrey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAowULFHw3vPukxll7kwI6\nNYoe22SamHLG23tZBUJQzu1PCfx3P6DUvshSOlAe3sMWuupLs1TkOWHJ57b8qW1P\naAGC3bo8CunkTxoHHwdvC4MWUCc7V97b6GM9d6rSyrS9Fu25mI4sjWCmXNgnZWQy\n+thuuStniZDQQ2sBHEqRA6BR3H3z7r4/c+TMeFm3GRqKFr7ZX/mv6AMHfbwllyWC\n5nTyrrOtfGK8TzWtujiIZU1WE2Un6jXAOdbH1djalzbVpzTDwvroK790IqOWSgBk\nxajAbAX+UfYe7ZkdqKuVXfGKV35rmI3GmE1ZdILXZE6waHKWtQ0B8bmJRQIDrEcJ\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-08-04 15:35:37.253Z","user":"","username":"𝕁onas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 23:45:55.131Z","domain":"hci.social","followerCount":2597,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1072,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"pu5013x82rx888k","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-08-04 15:35:38.243Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2025-08-04 15:35:38.243Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:32:54.234Z","domain":"mathstodon.xyz","followerCount":85,"followers":"https://mathstodon.xyz/users/prettydiagrams/followers","following":"https://mathstodon.xyz/users/prettydiagrams/following","followingCount":83,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/764/962/521/575/830/original/3e2b19550e23a808.jpg","id":"7bq5wo72qf4q609","inbox":"https://mathstodon.xyz/users/prettydiagrams/inbox","iri":"https://mathstodon.xyz/users/prettydiagrams","isLocal":false,"last_fetched":"2025-08-04 15:35:38.361Z","outbox":"https://mathstodon.xyz/users/prettydiagrams/outbox","preferred_username":"prettydiagrams","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7JWAYJOSMry+RYN+64yH\numXoMJgx4jP6SgUi0QyhrUSr8iNOWTVs9TBLJcet8572bjrNCLhztXEpTAu6S8CB\nr1hTLvZKKBYoQiXgwXoJBnX2NVNQwKR+43ah9sb3LkEctxHLluGayr08eVH0s6TY\ns7e/JaS75UaRJiolSA5a8YCIM+57OBKKEtMnH8M9D4sPvTtYJHWnSixDCofC3S+w\nxXt+EhqAMgBsyUNARWlsMXsOG0PcMX+IDGh+WMUaSK22YfsQlIzxeZ9r5O+bYaVv\njH+n0bf3IkNvR2TKQdBD97RMLYhEil+uzPGp3CFqFo+DiAm69Bdi7vsqYrABJ1bq\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-11 00:00:00.000Z","summary":"

Aesthetic blog for posting pictures of #mathematics. I like #geometry and #algebra.
Based at #AaltoUniversity. From #HelsinkiUniversity.

","updated":"2025-08-04 15:35:38.361Z","user":"","username":"Pretty (and) cryptic diagrams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:35:38.397Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/yeejian_tan/followers","following":"https://mathstodon.xyz/users/yeejian_tan/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/644/195/908/701/999/original/e280ece79d928bfa.jpeg","id":"10rcq2x6v54ld6o","inbox":"https://mathstodon.xyz/users/yeejian_tan/inbox","iri":"https://mathstodon.xyz/users/yeejian_tan","isLocal":false,"last_fetched":"2025-08-04 15:35:38.396Z","outbox":"https://mathstodon.xyz/users/yeejian_tan/outbox","preferred_username":"yeejian_tan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt5+NFQAPeQRhGtuBFnZ5\n3XT0ZeiRNKGnmetzRiFjn24SqDXmBR973V94wSQxNKcy8SdJ3pOWM4FtcLiHWfqg\neIskzwYGyQtdYNny/gDsV1vN+dWd9rbiWvPPHe90GQjq9oqvCjjXh+fIaIX96Ilr\nw/sdiCbRtvlPc3mzg0FyctLU4aYoV15qoZxFH10cDTuP9ithj8oAFhXpZ7znhNKa\nEtUeMcTwktdqcUpk2jiEbChkHnBAuCfSvwZxaYjKTZYIzrtV3j+fNlpIqDmXHX0s\nGn0yHd4HI2sDWKApqtTT/IyVMRM3q9KdMDK5joll5N8BevIIO/dmfJ+IcOFgyiUY\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-06-19 00:00:00.000Z","summary":"

Masters 2 student in MPRI in Paris. Interested in Type Theory, Proof Assistants, and Computational Logic.

","updated":"2025-08-04 15:35:38.397Z","user":"","username":"Yee-Jian Tan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:35:38.430Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/vitekjelinek/followers","following":"https://mathstodon.xyz/users/vitekjelinek/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/992/197/922/567/497/original/3b81a03173b1b34b.jpg","id":"4ob765o5wq02rzf","inbox":"https://mathstodon.xyz/users/vitekjelinek/inbox","iri":"https://mathstodon.xyz/users/vitekjelinek","isLocal":false,"last_fetched":"2025-08-04 15:35:38.429Z","outbox":"https://mathstodon.xyz/users/vitekjelinek/outbox","preferred_username":"vitekjelinek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzqINKaqf2fZzJSVClKR\nMZ8VQ6B6QKo/SY3ZCcbAb2Z8c9/V02iFZzXCny7s/05Fi1ry6W/K2gzYwh7KPkxX\nf9kE6V/jQpHTAB2SOKoqdstlePmyZNaruLzD/cFzMhqCvtlrl3kz0sD/0n5H1hjp\neN3wC85RMGxOywIcIYSEak/X3MUIE0tLuh8wUruGAgR5pEEZtPdMaitm9ymyR5Y0\ntV873PGSORwdSLmAAQeIjzybZOmNecGozppvKQsu6RJBgY4XxblLAx3yvAdZwLbV\nGfH2VREfM12k0mLUyaGZs4W3wVsT5cnWHOY3UqMkQr0g7jNkoSY2R4ZIP8+lIjwD\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-01 00:00:00.000Z","summary":"

PhD student in Brighton, UK.
Fascinated by abstract nonsense and logic

","updated":"2025-08-04 15:35:38.430Z","user":"","username":"Vítek"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:35:38.464Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mabeltree/followers","following":"https://mathstodon.xyz/users/mabeltree/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/284/246/961/454/467/original/88c8f099f6a27868.jpg","id":"u8ckg5i6qaf86r6","inbox":"https://mathstodon.xyz/users/mabeltree/inbox","iri":"https://mathstodon.xyz/users/mabeltree","isLocal":false,"last_fetched":"2025-08-04 15:35:38.464Z","outbox":"https://mathstodon.xyz/users/mabeltree/outbox","preferred_username":"mabeltree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4FauN/sOGRXCyxbWVew\nKLACSQVGVr96J0QXlJLV67hHE+ZCJ3pm5zBjZfiBBDLdgzYcjSxGemGDFlyDud17\noYt7h4kw/0ipuXEvR5L1Ll6M5EJzy0vPLZLeWytpek+RjbvBVC3sG6Zu+SsMq0fk\n37ZMtzPhwof6WtaztT2ZhTR3ZsWAf2u1WGvn7u398ZtU/qXAzR6ERxwNtpRhwmkq\nqaV/zuXHR/0N53zV+U/ERoOQypBVPeIpNshq3/ICxsE7ykVP+xZLCCrEW8K3Bh3B\nM/vLQqc36uITsyBB/I8I/Mt+pXRkaWGrMKlcrhmSDBFYzasNA3Gc84sBij1VYSbw\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-29 00:00:00.000Z","summary":"","updated":"2025-08-04 15:35:38.464Z","user":"","username":"Mabel Najdovski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:35:38.500Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/e07c7befff03e2b6.jpeg","id":"yaat6br644qb9ai","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-08-04 15:35:38.499Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Categories and types // Completing a PhD @ the FP Lab, University of Nottingham

","updated":"2025-08-04 15:35:38.500Z","user":"","username":"Josh Chen"}],"page":1,"perPage":10,"totalItems":185,"totalPages":19}

Counting Is Hard

Following