{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:04.946Z","domain":"mathstodon.xyz","followerCount":192,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"uv102e0eud9jq6d","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-08-08 23:20:03.165Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-08-08 23:20:03.165Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 23:20:03.731Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/csoutherland/followers","following":"https://mastodon.acm.org/users/csoutherland/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/869/065/937/307/317/original/ec21eb2df67b9a05.jpg","id":"66dub64e7e12976","inbox":"https://mastodon.acm.org/users/csoutherland/inbox","iri":"https://mastodon.acm.org/users/csoutherland","isLocal":false,"last_fetched":"2025-08-08 23:20:03.731Z","outbox":"https://mastodon.acm.org/users/csoutherland/outbox","preferred_username":"csoutherland","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4slv08mE3TCzbwmZ4tNZ\nQHtKZ0RAX5c06JnXlb6Piyv7Y+PTc7Xtlig/FLETgKmF9YfHfu6FeynzjlSuYRos\nMNVz2S8JFzBCBvNhRveLRox0LEcVHln3b++uCJg8qk+WQ6lpmy5cEJKXSdFexmHV\nKbpTzqBDvxP4TUsDaqkMkudgeE9fhotUnnwuX5QDnlxF3QsTX7l/TUHGyjcWFA3T\nU5C/4bAuEMmLKvhCUoSysKWkPFivSzZ5yLxxE2iurzBBpYeqYlgXfTt3VKKKIRWS\nwnY7OrXOmBHuFHIxXAuxPURasNCHcCSeWGOe7/Ao+L6qjF4E4HozEki41++txPuh\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-22 00:00:00.000Z","summary":"

Formal Methods Enthusiast, DevOps in day job

","updated":"2025-08-08 23:20:03.731Z","user":"","username":"Charles Southerland"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 22:20:48.969Z","domain":"g0v.social","followerCount":343,"followers":"https://g0v.social/users/ltlnx/followers","following":"https://g0v.social/users/ltlnx/following","followingCount":529,"icon":"https://objects.g0v.social/accounts/avatars/000/138/167/original/5283d40e4d45e4d0.png","id":"7i590xhz683ki3m","inbox":"https://g0v.social/users/ltlnx/inbox","iri":"https://g0v.social/users/ltlnx","isLocal":false,"last_fetched":"2025-08-08 23:20:07.965Z","outbox":"https://g0v.social/users/ltlnx/outbox","preferred_username":"ltlnx","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxb1Zk7+1kq92ymak8cE7\nZXN2WrEIukEPtbuXDvj6wS3TKcvoE0SqIrhM5Aq2b5VO3lmh6CZaSZ/QOKyXbROH\njhTdYzVpZtZ0GqrnS6te5loxQ7v93P2r7NmoH4ITACjBPH8xWxwZO0TvvZL1CcwK\nejkJJ9CIhSOPMixJuWl46So0PUCtK3OZIFd84xK18MuH0W20PxX4iLdyvx2nUig0\nU4sj9j9JUeyt6EpjLfIsPsEG680+d/wI5zZbP2P9gR6o5w9Z1nP6hBosN5lRBadq\netUP/KiR/cawn4yJzbS7f5ruDdhgvooxlgaNRnfAzK2oLJB8J55iO9w2N8tt5ZzM\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-05-02 00:00:00.000Z","summary":"

普通人 / 在 Inkscape 專案各處打滾 / 自由開源、平面設計、音樂愛好者
Ordinary person / Helping everywhere in the Inkscape community / FOSS, graphic design, music lover

帳號是鎖的但歡迎追蹤
Account protected but follows welcome
嘟文除非另有標示，皆以 CC BY-SA 4.0 釋出
Toots are licensed CC BY-SA 4.0 unless stated otherwise

代名詞：他
Pronouns he/him

原 ltlnx（高文偉，Wen-Wei Kao）

","updated":"2025-08-08 23:20:07.965Z","user":"","username":"mL"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:49:48.620Z","domain":"mathstodon.xyz","followerCount":61,"followers":"https://mathstodon.xyz/users/ljungstrom/followers","following":"https://mathstodon.xyz/users/ljungstrom/following","followingCount":68,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/372/943/920/125/198/original/e49b66cdb7b5dd2c.jpeg","id":"no67b33bh8aq2vw","inbox":"https://mathstodon.xyz/users/ljungstrom/inbox","iri":"https://mathstodon.xyz/users/ljungstrom","isLocal":false,"last_fetched":"2025-08-08 23:20:07.995Z","outbox":"https://mathstodon.xyz/users/ljungstrom/outbox","preferred_username":"ljungstrom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwYUbvKvZSk8kP6tU3iDK\npn+yqw/GKx00rEFGU3CgVDOM0hSTW3dyv6PSh13PCfMSX6grbzVNsv5OqRCjY96K\nDxd5BGAlFxtORlSDUcpIU0+IUul3vG9tl2gQzG2x4Qzf8LmwRhNrjhrMLN88fZW8\nfvt0/dPH3OR2U/5vq7d3ty7j0AJWKnWWKB6bKU7qN6FnhU3ZAJCgVGznWyhLdU+C\nKH6WyW0IBf11gMTn2N5KmlIAxkLXjJefvFK8hZhTUa9LqpUf6REu/mNHS8F3elSW\npX9i8DTN4yFDJnY2wGzkp72XZJLxz2X+MY2ZVy1GIi38+qAMBZogZ9AiO/cqBndf\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"","updated":"2025-08-08 23:20:07.995Z","user":"","username":"Axel Ljungström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 23:20:09.190Z","domain":"mathtod.online","followerCount":0,"followers":"https://mathtod.online/users/tuemura/followers","following":"https://mathtod.online/users/tuemura/following","followingCount":0,"icon":"https://f005.backblazeb2.com/file/mathtodonassets/accounts/avatars/000/000/664/original/8e051e7f94ecc79d.png","id":"bclsxpkot998765","inbox":"https://mathtod.online/users/tuemura/inbox","iri":"https://mathtod.online/users/tuemura","isLocal":false,"last_fetched":"2025-08-08 23:20:09.189Z","outbox":"https://mathtod.online/users/tuemura/outbox","preferred_username":"tuemura","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsp6PjisCti2nm5AWYHwK\nSRoeEnR529lvR1EF6L4c4R3DQZD2mlMjxS7E/mciCK5HOcuHgTZQG4ldwLHpV0qb\n6mAowLYA3AYUKAN0M9+tjigYHWmpxtCZyk1EdXxhwF/GWiHomuJJ4wr3w4CTJVOr\nqE79AF/Yo20Lzmq8I+GJA4lxbGQl626idSgEwGwqaR3TVnGDgkz204K5NoWm3V1N\n0qlKD1qxQ/HgOaI/AKFk6fV5fcYfv8BC3DxocPWiQo0rBdFkJ3ZL9VHndEnYuyov\nTiYKE1o1YqLVcEwDMxwzcjZvu3Rsm7VQnWc+wnTB7W1WLh8pMsPQ8ecgB4kxsafE\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-24 00:00:00.000Z","summary":"

True categorical type theory

","updated":"2025-08-08 23:20:09.190Z","user":"","username":"Taichi Uemura"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 16:57:15.431Z","domain":"agda.club","followerCount":992,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":232,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"in3x4cr8y5i7nb9","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-08-08 23:20:09.265Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography","updated":"2025-08-08 23:20:09.266Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:18:25.235Z","domain":"mathstodon.xyz","followerCount":182,"followers":"https://mathstodon.xyz/users/mortberg/followers","following":"https://mathstodon.xyz/users/mortberg/following","followingCount":87,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/243/289/583/681/637/original/9a704c7061812fb0.jpg","id":"4v579xew23424c4","inbox":"https://mathstodon.xyz/users/mortberg/inbox","iri":"https://mathstodon.xyz/users/mortberg","isLocal":false,"last_fetched":"2025-08-08 23:20:09.297Z","outbox":"https://mathstodon.xyz/users/mortberg/outbox","preferred_username":"mortberg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp3fBKDd/Y+/viDMsTZ+k\nkM8DRWkohyTUlgznclEW+xzL7UcNMt4TtRpJUb/G0yLAS6Cy+v4rA9RiK4oF13Z5\n9qrjij4+rumfwRg5ybZfY5nTHHhEDd+TzMrUmzS6blKyo1bv8HTNxBJwRpCvpxP5\ncaCCnfo1ZwR2maG5k2KiAihteLdnsfdYC4Defod+F6BYHGHYg70VbUjJVjos5t/q\ndW3gQRQEH1ftHlVkY97RBwLLr8XGuOBOHuJEXG6lT6z0BvBtGInJrhodkn6xzkWd\n56FFnIgwE2me65gCV7/KkxWaWJnIQSsTL4GeoX2F4sf1tLlTL6phBllncO/iU+mi\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-16 00:00:00.000Z","summary":"

Associate professor (docent) in computational mathematics at Stockholm University.

I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.

Webpage: https://staff.math.su.se/anders.mortberg/

","updated":"2025-08-08 23:20:09.298Z","user":"","username":"Anders Mörtberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 23:20:09.539Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/joshko/followers","following":"https://functional.cafe/users/joshko/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/914/135/507/121/192/original/f696746d5afb85e2.png","id":"nqy1v1p94q52qs3","inbox":"https://functional.cafe/users/joshko/inbox","iri":"https://functional.cafe/users/joshko","isLocal":false,"last_fetched":"2025-08-08 23:20:09.538Z","outbox":"https://functional.cafe/users/joshko/outbox","preferred_username":"joshko","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn/WRxGcpiy4GQL3Rcu9V\n1yyzG9asQuHCne20L4o+bdQi8rEoDM3ZiKXrVPviYodZve4AsYqcX5LOgUOP84CZ\nde26m+QHcFZzB8kwU7AvNLAFx63/QDRjWAoFdmGZoO52kPdSbTLYv3IXS5XfDmDT\nasCmE7ZJ2sH2mARYq9c0WJBgCKzf/DMUoJTSivP4UflAzB1/TwF2s5u1PuHmp8oW\nDV2wNAU+QRUIYWlewzf//mdSs2h8scFAJiR2PPAMsnBNxjCM/4zRIKeGQIJMBL2f\ntb5jIZx9nRnKHJrLO7MflCEWcdOMtYZS7nXuh8BjEyn76AvRqaEdtkp48fBZLe2P\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-19 00:00:00.000Z","summary":"

Associate research fellow (associate professor) at the Institute of Information Science, Academia Sinica, Taiwan; works on dependently typed programming, datatype-generic programming, program derivation, etc; enjoys classical music and Taiwanese tea

","updated":"2025-08-08 23:20:09.539Z","user":"","username":"Josh Ko"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:24:43.957Z","domain":"functional.cafe","followerCount":794,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":132,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"0e6f3ui10vhvz3t","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-08-08 23:20:09.588Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2025-08-08 23:20:09.589Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 05:37:01.007Z","domain":"woof.group","followerCount":508,"followers":"https://woof.group/users/ccshan/followers","following":"https://woof.group/users/ccshan/following","followingCount":486,"icon":"https://files.woof.group/accounts/avatars/109/350/022/199/734/058/original/29715957a93d7a8d.jpg","id":"l3tt38c7ruxyp4s","inbox":"https://woof.group/users/ccshan/inbox","iri":"https://woof.group/users/ccshan","isLocal":false,"last_fetched":"2025-08-08 23:20:09.938Z","outbox":"https://woof.group/users/ccshan/outbox","preferred_username":"ccshan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8lOjH3uMzZxm6Sm1TRil\nklV0lXXURefkxUI5LPLaBum8++n2O/o3dXq5cO0D8X+3yThyF0s30btRxKjBtWBw\nJwDEURKqxjUd3t2KU6QZoW+Ldo8/XvHYtwbQYPNRvo7xtYBU4IDqOzbL6g6vmAF5\nglwvalVCo7nmvA79GBMjYkzLK1jDrKi36skelljAJTm8RX0MjGJflmWfWs6uQCOx\nA2mIc01xxtbbx3wWl9SALIUNxSC/Bgd4E3+pxufxF/DQP0S7D75nbOXLT8UGyvOP\nYH9tqGE14VdRRN7RWXQ+j4kNSxgoSU1yRS/m1TW7xlD5rgY/NJRQ3kYOjSJJZrPA\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT

","updated":"2025-08-08 23:20:09.938Z","user":"","username":"Chung-chieh Shan 單中杰"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:31:41.121Z","domain":"mastodon.acm.org","followerCount":445,"followers":"https://mastodon.acm.org/users/liyao/followers","following":"https://mastodon.acm.org/users/liyao/following","followingCount":210,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/553/700/242/412/808/original/82ff5b5613272f6d.jpg","id":"15wvf59nfkh6u56","inbox":"https://mastodon.acm.org/users/liyao/inbox","iri":"https://mastodon.acm.org/users/liyao","isLocal":false,"last_fetched":"2025-08-08 23:20:10.150Z","outbox":"https://mastodon.acm.org/users/liyao/outbox","preferred_username":"liyao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0PYdW22g9b8jjiw1IsBB\nGG25Gyy8HchdRQiNK0voT9FUmgl1YFh3CT6oE7+SG7+QcpZF+ZP6WDadzeweXNsp\n7DB7EUyP309q76H+uxn814XJs8JAa9+SRiLw+ZvTYBWkQ5PEtPsslXCG6AO7eUBe\n8SBPZXT8GIte8yiuIp1jRi70yFroXi4wpLZ3NSQs1nocpiAjCOcAqVFPo3vRtL2Z\nfIINw2EMwV8eTKspAxJyGYSGamazmY4whI+RSAd1Mc+qZaQwG1hXk9tCN3unItKq\nGNI6fsKzk7vO7Fy01HjN+lz7A7KS7JM2l6mkJewy5+x1mcpZ4rLnmdLEQEPtk6xV\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-21 00:00:00.000Z","summary":"

Assistant professor of Computer Science at Portland State University.

","updated":"2025-08-08 23:20:10.151Z","user":"","username":"Yao Li"}],"page":1,"perPage":10,"totalItems":382,"totalPages":39}

favonia

Following