{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-19 12:31:13.684Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/lambdabetaeta/followers","following":"https://mathstodon.xyz/users/lambdabetaeta/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/143/606/623/966/422/original/2c2cdd6ece0e3c96.jpg","id":"axseuutnh8h8lvv","inbox":"https://mathstodon.xyz/users/lambdabetaeta/inbox","iri":"https://mathstodon.xyz/users/lambdabetaeta","isLocal":false,"last_fetched":"2025-12-19 09:30:40.054Z","outbox":"https://mathstodon.xyz/users/lambdabetaeta/outbox","preferred_username":"lambdabetaeta","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx5Y33avhS99qyWVzYxGd\n9nclJp0IsLwDLiQjQLYbyluJC6NCiMnfrexOid/Tbx1A/OaLI7tlONSMZwc0Q+bH\nPh2jz4oL9c8REoZ57Gy7uvQCnY79mmA2rxsqgQ0cwZRVTlaGASjZf1hlrpRAvRpF\nWTBR8M3lWECRkJH61zRvqOVQ+FpgqN7zdaEscWA+kIeWAw6UD1gpL4rAIjXnjIQF\nZ917n5ybDPirEzWDZ0f2e5seXEzmEweSuLAdMmC7EbLHbUUS3pulaQiwVJlkZ2Nq\ngqj9INKqP1Z9qyCuty8v0HBC4TV7UDylPQyGQ2GMO6k5Y0NnNN97eQcawY8N3sy7\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-28 00:00:00.000Z","summary":"

computer scientist (moonlighting as category theorist). lecturer at Bristol U

","updated":"2025-12-19 09:30:40.055Z","user":"","username":"Alex Kavvos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 04:19:21.332Z","domain":"mathstodon.xyz","followerCount":106,"followers":"https://mathstodon.xyz/users/chrisheunen/followers","following":"https://mathstodon.xyz/users/chrisheunen/following","followingCount":26,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/573/250/754/960/440/original/8bcc284ce7e3e7c0.jpg","id":"jdibway9b50trvj","inbox":"https://mathstodon.xyz/users/chrisheunen/inbox","iri":"https://mathstodon.xyz/users/chrisheunen","isLocal":false,"last_fetched":"2025-12-19 09:30:40.079Z","outbox":"https://mathstodon.xyz/users/chrisheunen/outbox","preferred_username":"chrisheunen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyslc9Vho6EeqgqxSh+/f\nZthnQ6nKDrvlXgSfgtzc2LgJ3bfqU4h6c4o++GYY5JzqvYX5v2AQFAJ0mD6WrYX4\nHojvyYRsjyIilzdELm87CPI77L5qMEzwl0t7F12kvkCEDnFeLKhzir/LBTN/rxJr\n2btFnu7lewVLWDtMqRLXab8Q0wx52VsCFNIFZv7MBdCNpfUTCLcfNFzokRYPg2jD\nxdstNiCERRO/C3mxPnL3HJok3LN6mfIOci+kqqen0pYGDZXu5du40J8kPjoqN7A+\nfA+ON6MwEMLrNgfLcR1vaMkZwN0fUJXJ5jp8NDJPeko6mY64idzhkbYC4FvVyvnF\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-25 00:00:00.000Z","summary":"

Computer scientist, mathematician, father, karateka, pianist

","updated":"2025-12-19 09:30:40.079Z","user":"","username":"Chris Heunen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 09:35:35.481Z","domain":"fedi.copyleft.org","followerCount":660,"followers":"https://fedi.copyleft.org/users/bkuhn/followers","following":"https://fedi.copyleft.org/users/bkuhn/following","followingCount":125,"icon":"https://cdn.masto.host/fedicopyleftorg/accounts/avatars/114/797/464/859/441/527/original/2e6c94febdb810aa.jpg","id":"4437o1a5x67vogm","inbox":"https://fedi.copyleft.org/users/bkuhn/inbox","iri":"https://fedi.copyleft.org/users/bkuhn","isLocal":false,"last_fetched":"2025-12-19 09:30:40.169Z","outbox":"https://fedi.copyleft.org/users/bkuhn/outbox","preferred_username":"bkuhn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtgwDWp0QoLHOz5uMvAKZ\nP7kQkYysE7WwcYd8AvZrJM/aLdQXQLk5fNcVGB52c6M/8Pu7Oi7J52juyWnmUCXe\ntKlLrjJIdnfS+VJ5H0tI144sj3P0ZbPtB/zHfWrdqz5UBig02LxsnfAXGkPZuzOf\nnnO0a/uzzbgJlh8Ndw09JHfWkdWC7W1cMpCDRNtDsWEkyF9V2Pa/gvNi0UUW4LcM\nzEqv+L6SN7VtHNtzBT/PXYtM8//kqjd65ojXmLqC+mZ3KBo35REgfk7F+tt3UGeK\nr3bUapTZLY8IoXfW7eLJm2qVjhpfJR132zl/S2LZpNDV/4On9/2VpsNxgjytwoiX\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-04 00:00:00.000Z","summary":"

Software freedom activist since 1992. #Copyleft theorist & #FOSS policy wonk. Expert in FOSS non-profit structures.

Co-Editor-in-Chief of #copyleft-@next.

Fediverse “claim to fame”: Invented “Affero clause” of #Mastodon's license: https://ebb.org/bkuhn/blog/2007/11/21/stet-and-agplv3

Day job: Software Freedom #Conservancy (#SFC) — bio below

1ˢᵗ #Linux: 0.99pl12

Views expressed herein are mine & not necessarily those of any organization w/ which I'm affiliated.

Pronouns: he/them

","updated":"2025-12-19 09:30:40.170Z","user":"","username":"Bradley M. Kühn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 16:54:01.219Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/qschroed/followers","following":"https://mathstodon.xyz/users/qschroed/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/201/246/029/030/564/original/fa3f4f2a116f5f7b.jpg","id":"7opsv2knnzrcnql","inbox":"https://mathstodon.xyz/users/qschroed/inbox","iri":"https://mathstodon.xyz/users/qschroed","isLocal":false,"last_fetched":"2025-12-19 09:30:40.194Z","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-12-19 09:30:40.195Z","user":"","username":"Quentin Schroeder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-23 10:51:28.557Z","domain":"mathstodon.xyz","followerCount":1605,"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":"k8kehodlfcabpat","inbox":"https://mathstodon.xyz/users/mattmight/inbox","iri":"https://mathstodon.xyz/users/mattmight","isLocal":false,"last_fetched":"2025-12-19 09:30:40.308Z","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-12-19 09:30:40.309Z","user":"","username":"Matt Might"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 09:43:19.436Z","domain":"mathstodon.xyz","followerCount":122,"followers":"https://mathstodon.xyz/users/jonasfrey/followers","following":"https://mathstodon.xyz/users/jonasfrey/following","followingCount":120,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/311/419/151/172/453/original/ff6321f429a14bfd.jpg","id":"3iio3uhjrc4whji","inbox":"https://mathstodon.xyz/users/jonasfrey/inbox","iri":"https://mathstodon.xyz/users/jonasfrey","isLocal":false,"last_fetched":"2025-12-19 09:30:40.335Z","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-12-19 09:30:40.336Z","user":"","username":"𝕁onas 🐈🐘"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-24 05:22:40.117Z","domain":"hci.social","followerCount":2715,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1009,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"4jcggpwgr6cjosb","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-12-19 09:30:41.358Z","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-12-19 09:30:41.358Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 22:44:36.329Z","domain":"mathstodon.xyz","followerCount":90,"followers":"https://mathstodon.xyz/users/prettydiagrams/followers","following":"https://mathstodon.xyz/users/prettydiagrams/following","followingCount":104,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/764/962/521/575/830/original/3e2b19550e23a808.jpg","id":"1mtute7127kku2a","inbox":"https://mathstodon.xyz/users/prettydiagrams/inbox","iri":"https://mathstodon.xyz/users/prettydiagrams","isLocal":false,"last_fetched":"2025-12-19 09:30:41.393Z","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-12-19 09:30:41.393Z","user":"","username":"Pretty (and) cryptic diagrams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 09:27:10.264Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/yeejian_tan/followers","following":"https://mathstodon.xyz/users/yeejian_tan/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/644/195/908/701/999/original/e280ece79d928bfa.jpeg","id":"70pekieac1wlb60","inbox":"https://mathstodon.xyz/users/yeejian_tan/inbox","iri":"https://mathstodon.xyz/users/yeejian_tan","isLocal":false,"last_fetched":"2025-12-19 09:30:41.417Z","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":"

PhD student in KU Leuven, Belgium. Interested in Type Theory, Proof Assistants, and Computational Logic.

","updated":"2025-12-19 09:30:41.417Z","user":"","username":"Yee-Jian Tan"}],"page":1,"perPage":10,"totalItems":203,"totalPages":21}

Counting Is Hard

Following