{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 16:04:46.230Z","domain":"mathstodon.xyz","followerCount":19529,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"q1p4440b198o8n0","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-09-28 19:17:48.584Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-09-28 19:17:48.585Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 10:06:21.192Z","domain":"mastodon.acm.org","followerCount":296,"followers":"https://mastodon.acm.org/users/plcon/followers","following":"https://mastodon.acm.org/users/plcon/following","followingCount":18,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/779/792/803/960/144/original/f158e0d44cc010fd.png","id":"tt18rz0bds9hd8j","inbox":"https://mastodon.acm.org/users/plcon/inbox","iri":"https://mastodon.acm.org/users/plcon","isLocal":false,"last_fetched":"2025-09-28 19:17:48.680Z","outbox":"https://mastodon.acm.org/users/plcon/outbox","preferred_username":"plcon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2/wgZXrMJ57wNRjs303l\ncfRl7KlRduIvIiAeI8PA6YWbu4efCwskRSQmVsAt+l4KgUNT8atMw6KWl4UwwttG\nChmqFbeua4BP622FD8zbc6ybYHAX7ig4eIEHK/fPug1x/EkUOagFuwW+0WTdoZM2\nJs4SzTkUfi/l8myjq80+SCTFPAoNftDLmR/RbWgINGYMbi8GV9KXAmxcWyEsMZQm\nuvlH3MTpXc4B/ZLNjtc+tvZ9ZvWPCY9NO7YGC/0nZ/Yz6t1TQaWwnKTgXKEPGKjk\nePcN39NxQ4F4ux0VioXUkEt2YuQbA9cDE6E5rgTSoe6+ZMnHglLVGLnFllwjRT83\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

The premier fake programming languages conference, providing the latest satirical announcements from SIGPLAN’s nonexistent Programming Languages Conference (PLCon).

A satirical account providing respectful, constructive critique of programming languages academia in general and SIGPLAN in particular.

iconography thanks to @shiwei

","updated":"2025-09-28 19:17:48.680Z","user":"","username":"PLCon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 03:33:20.993Z","domain":"mathstodon.xyz","followerCount":31,"followers":"https://mathstodon.xyz/users/zaxioms/followers","following":"https://mathstodon.xyz/users/zaxioms/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/311/630/985/890/989/original/ef500e59a526e746.png","id":"ya43fl9vp45269x","inbox":"https://mathstodon.xyz/users/zaxioms/inbox","iri":"https://mathstodon.xyz/users/zaxioms","isLocal":false,"last_fetched":"2025-09-28 19:17:48.806Z","outbox":"https://mathstodon.xyz/users/zaxioms/outbox","preferred_username":"zaxioms","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxcdt+xdchZccJt0iucXL\nxjx1tu9Fzk6g7cWj1jPn1sWXsnTeWYuZSAZJljRDElzFvATXw6FhU3ipnHiitmiJ\n/sijJzoM3llHrkz7f01qb91K7bE8w6uOeUpTQRhjKj1FAfwNsnCOuQlbTOSehMPp\nnOyUbqYqlqTDndqILw/dwk0ijiBIWmA6L4Er02UynJKAkRq9tY9TflOQ4JPETRLX\ndfiSEQelMkZYrnv0dWdkYoYPWqpf4LUfL91W5i8+u951Uol9DWUC1isJsZRFB+0a\nSmYVkj3uAkDKyqXbRMNZ09gZy4cpQVFoms3ycxJxF7XOhy1rgSIlF/Tv3Bbv2uEo\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-10 00:00:00.000Z","summary":"

Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!

","updated":"2025-09-28 19:17:48.806Z","user":"","username":"Zach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-07 22:21:50.002Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/chasenorman/followers","following":"https://mathstodon.xyz/users/chasenorman/following","followingCount":10,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/247/943/664/436/926/original/d6237516f209b772.jpeg","id":"7dvnao61m92kf30","inbox":"https://mathstodon.xyz/users/chasenorman/inbox","iri":"https://mathstodon.xyz/users/chasenorman","isLocal":false,"last_fetched":"2025-09-28 19:17:48.933Z","outbox":"https://mathstodon.xyz/users/chasenorman/outbox","preferred_username":"chasenorman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmm2Z+h3RArCWvb17jx5L\n7s20tj/nQSJCCzYUsh1BGCzCiQpK42FdOKG6B75cN97/O3kRKCFs+H7mI2J0oe3s\nc9CXvpblDU86shy1xQ+a3HgqVuz4uNWAVzIIIeYeNCgpNEGT+uuSRlXO9KLMVDIm\nPcrgideZvhgf8Xfm/69TG1VgkpgPPI0mKfWRoYlgPbhhIaSELwlx6RhtqJjIKVrN\naYih0zkDzr2M2dQOBkNhN8Jh5rmLTsJaXhUqUGniU+/OsHvGkv9/mZ7olPIDbpsQ\ntc7q7TKYKRpl35hP+Xm+mMDy1wBx2GA9gVUF8CbZzl0g3A2NqwCRuzz6VPkhiVQ1\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-29 00:00:00.000Z","summary":"

CS PhD Student at CMU

","updated":"2025-09-28 19:17:48.934Z","user":"","username":"Chase Norman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 05:01:16.777Z","domain":"mathstodon.xyz","followerCount":403,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":206,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"lw3tj62o9o65wxy","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2025-09-28 19:17:49.059Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2025-09-28 19:17:49.059Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 07:14:47.408Z","domain":"mathstodon.xyz","followerCount":249,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":165,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"aok362u60p23aa6","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-09-28 19:17:49.187Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-09-28 19:17:49.187Z","user":"","username":"Zhixuan Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 21:14:29.844Z","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":"a87i600735x8p2r","inbox":"https://mathstodon.xyz/users/aws/inbox","iri":"https://mathstodon.xyz/users/aws","isLocal":false,"last_fetched":"2025-09-28 19:17:49.361Z","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-09-28 19:17:49.362Z","user":"","username":"Andrew W Swan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 18:12:10.461Z","domain":"mathstodon.xyz","followerCount":1967,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"5h4eqp020735z9e","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-09-28 19:17:49.543Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-09-28 19:17:49.543Z","user":"","username":"Andrej Bauer"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Runming

Following