{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 22:46:22.307Z","domain":"mathstodon.xyz","followerCount":18970,"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":"8pan1vu8f8991fj","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-08-10 04:49:18.982Z","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-08-10 04:49:18.982Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 07:51:25.142Z","domain":"hcommons.social","followerCount":0,"followers":"https://hcommons.social/users/consequently/followers","following":"https://hcommons.social/users/consequently/following","followingCount":0,"icon":"https://spaces.hcommons.social/accounts/avatars/109/302/194/352/734/176/original/0680e02207f19603.jpg","id":"40ocgq922y5xzb9","inbox":"https://hcommons.social/users/consequently/inbox","iri":"https://hcommons.social/users/consequently","isLocal":false,"last_fetched":"2025-08-10 04:55:39.018Z","outbox":"https://hcommons.social/users/consequently/outbox","preferred_username":"consequently","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv0SyQIbVW/JLNbjKdxka\nagtphHncEjigznqVDLg/AMnrV5rL/eU+zagfOhNs+xhhMGP75s+N72gs2X8JFYvm\nOSNcKek/ftwsrzkoXUMuBQ8xfND/nFBrYbjszbx/DDr8wkTSqTn+Gs9HBnqGfBlw\nD4Fmm73mB5TNJ6x/8mAiN1/LmdgUI4WokswKMbaatKpGGP1Xdy35v4N3StogBABZ\n/wry87qZ/douZuXYFxS0mTv3NVMFHvJhR4HNTzFN3RDYEubiQM4ZIpouH56aFc1v\nD3Gw1vusMe/GHMvqBzQf0PP2EJKNThv5xEIm+sp44J58HQuJRPmP3GhG7xqeoxHm\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.

I like thinking about—and helping other people think about—logic and philosophy and the many different ways they can inform and enhance each other.

I suppose I’m known for work on substructural logics, logical pluralism, and (more recently) what philosophers should know about proof theory, and proof theorists should know about philosophy.

#philosophy #logic

","updated":"2025-08-10 04:55:39.018Z","user":"","username":"Greg Restall"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 14:41:03.086Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/favonia/followers","following":"https://mathstodon.xyz/users/favonia/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/283/653/572/737/743/original/7c37c4fd50d306d6.jpg","id":"c9fq35s5w414930","inbox":"https://mathstodon.xyz/users/favonia/inbox","iri":"https://mathstodon.xyz/users/favonia","isLocal":false,"last_fetched":"2025-08-10 04:55:39.529Z","outbox":"https://mathstodon.xyz/users/favonia/outbox","preferred_username":"favonia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4qiAl5t653Ox69fL7OeB\nxqSuEHXsDFshZRqbtaqj9DErlNd8G3PSvB0B64midyxj4W7gqk6xEVoJ4oZ6LWLx\nbwLf9aYts5Je/c62Bv+cVLe2tWzLcGiUbCv/DNsEvN2f23k0RM/gFuwbITBPK45C\naSutWH1VzV8sSJaYIXpclhq9v6qRhlNYMte5wHsKPeuULiLREwDQNVhS3huqPgYO\npvCz02ndz2+o6hjZB2i0AkmKCTXDoHcXxFp3l8hxqcposxU28HitNk8TXMGDiZS7\nx1R9RYocIGkjXAbfyfKXG/I1SaJUlX5y/uQo693Gs/hXwEUBPJGNJUatNVpuz4F+\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

🧑‍💻 cs&e faculty
‍🏫 u of minnesota
👤 any pronoun
💖 emoji lover
⚡ algebraic effects
🗺️ 國語 / 台閩 / english

","updated":"2025-08-10 04:55:39.530Z","user":"","username":"favonia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 03:31:26.150Z","domain":"lipn.info","followerCount":111,"followers":"https://lipn.info/users/theowinterhalter/followers","following":"https://lipn.info/users/theowinterhalter/following","followingCount":122,"icon":"https://lipn.info/system/accounts/avatars/109/545/536/560/951/104/original/1f2279ff49b61c08.jpg","id":"372108t74922m3p","inbox":"https://lipn.info/users/theowinterhalter/inbox","iri":"https://lipn.info/users/theowinterhalter","isLocal":false,"last_fetched":"2025-08-10 04:55:39.885Z","outbox":"https://lipn.info/users/theowinterhalter/outbox","preferred_username":"theowinterhalter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA375lWDOtVB7tN+iQYdE5\nXREnqdQ1pFniqR4D6ySGRhzbB7BeBEm2pTnqCzYeGIJjcAGgoxYrZHbRvREKcHnJ\nPvKU74iaqybCgUoo1uiKp274bwqVFfpgRlAOwrx2UJpuuURKyewfpiMpkKdLlNzE\nMfjAh8W4BHO4Ti4/7QnXsZBwN67TxBQ+5wVPXbmxZRqfBjsKiez0gHeFYkqwW8I7\neCn82H8uC/E/+Ag/8GpvNnFVkv7Eq4ogL235NqrnfHxVYbBlFKpZsTpHfimmnPal\nAlxKPm8gCZHynvo5zs/nXamX5EDc9m51PcUojoEFW+FE1WwJ9fmp+Yls2bWK7JaR\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Researcher at Inria Saclay in Deducteam. Type theorist. I want to make proof assistants a better place.

","updated":"2025-08-10 04:55:39.885Z","user":"","username":"Théo Winterhalter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 12:00:15.559Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/spitters/followers","following":"https://mastodon.social/users/spitters/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/824/964/original/4c3355cd1170fcef.jpg","id":"n590eoas3k46ss3","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-08-10 04:55:40.005Z","outbox":"https://mastodon.social/users/spitters/outbox","preferred_username":"spitters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz44SqbBD2AqI1LZID0Qm\nyktjAEawYFbpwPL86tfF15o51yJ9rVER0eAHb5bH+GWEbI5YlnkzuJ+LmNGRwn2N\ne1SiG4e4TfmG4jbUhPUPDq1NpilulIv6ffP3YaArAk/hKMycbGcM0uMEToH2G2zd\ndooAzk0gUrYaZPQVH5pgeRZeRzXwp/HS4K+kC1wdgHr+B3D5Y4N2BPWDbcqyQxoV\nAPAW4lOhZeGaShNGFfSazzIIt9NHfwx7nNYIXzQOoB7pt9qWs7pR3Hc1e5aWZCCD\nMimw+J6ioFvx3tK+hLXQqRCEV66K71Ej+tH8ObTsxdSxj02wuCVpaM/MMSESbC1V\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-01 00:00:00.000Z","summary":"

https://www.cs.au.dk/~spitters/
https://twitter.com/BasspittersBs

","updated":"2025-08-10 04:55:40.006Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 16:00:15.011Z","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":"73x8i94l31fzyba","inbox":"https://mathtod.online/users/tuemura/inbox","iri":"https://mathtod.online/users/tuemura","isLocal":false,"last_fetched":"2025-08-10 04:55:41.460Z","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-10 04:55:41.461Z","user":"","username":"Taichi Uemura"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 04:55:41.501Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/VojtechStep/followers","following":"https://mathstodon.xyz/users/VojtechStep/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/528/860/456/266/758/original/738ffbb2c5b0c857.png","id":"d2g579jtj50gug1","inbox":"https://mathstodon.xyz/users/VojtechStep/inbox","iri":"https://mathstodon.xyz/users/VojtechStep","isLocal":false,"last_fetched":"2025-08-10 04:55:41.500Z","outbox":"https://mathstodon.xyz/users/VojtechStep/outbox","preferred_username":"VojtechStep","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArTnNyDQzNUvJL4s/MrwO\nSrUJxFEbWjc88aFQb9Ka02soMPkPpmNpgZMtwNAJ1WFj8oeklHQpnlrJwJDbpnFm\nvCEvCdkFPbnzXOWHoP73yotx7x93QL2MKHz9dGDoG05dxJYy3n9H9v7rQ0WZpg4r\ngCCNghSe4HKIpiQWqE7cpxduFmso5d2zkMFED6UDYOXwOV+XcBqDd2bOVGErgR2U\nNbUb7KSt5lDeJdatE2a1hrGVAIyvRfqT2lUFK5pFTVVZ5eWSNe6vaM3aybEZB03f\naPjy05kEDocX/jwQauITwLuEKHe7Smz/4kzDc82uoSXe9Ft9X60fY+9RiHQyzms0\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-05 00:00:00.000Z","summary":"

PhD student on Inria's Gallinette team. Also working on synthetic homotopy theory in HoTT for agda-unimath.

I'm interested in (homotopy) type theory, formalization of mathematics, cats (the math kind) and cats (the fluffy kind).

","updated":"2025-08-10 04:55:41.501Z","user":"","username":"VojtechStep"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 19:52:37.084Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":120,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"9qq81k6v6xb2612","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2025-08-10 04:55:41.540Z","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-08-10 04:55:41.541Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 10:38:30.776Z","domain":"mathstodon.xyz","followerCount":45,"followers":"https://mathstodon.xyz/users/Stiephen/followers","following":"https://mathstodon.xyz/users/Stiephen/following","followingCount":54,"icon":"","id":"912aadzeg3j493b","inbox":"https://mathstodon.xyz/users/Stiephen/inbox","iri":"https://mathstodon.xyz/users/Stiephen","isLocal":false,"last_fetched":"2025-08-10 04:55:41.576Z","outbox":"https://mathstodon.xyz/users/Stiephen/outbox","preferred_username":"Stiephen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm5XCwB824iu4BB2uq+d4\n+dm5dFiB++UpTS3Kh5tzjDpyCcYqBnAOJOYOU6rMKFUvCx+MI79WXeEaJ3tPrOBi\nFMqrMfVmGhx5jOmvlA4jsDHVPd670Aa9rrfVpZHUxR0bBED4GCcefhgimS4EKd5x\n8st0/z4gSavhXKt/dtWv4sqQEUaqOXiBMWKESCEvCwQCqHBcklvH/tyxslu+nJLS\n7EJNIlsfACGLV6sRaAXDIZGeF+xLmXzyU2k3NgC6cn+HSKL/RnbuXPOxUXN+fubi\nnKy7ndypx059mux2lixk2k7r2JMVtR6+Za6AqyJe8Fq9dKe0NAKaRhstkcJ2cHJd\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-14 00:00:00.000Z","summary":"

PhD student at the FP Lab, University of Nottingham.
I'm mostly interested in HoTT, Higher Category Theory and Homotopy Theory.

","updated":"2025-08-10 04:55:41.576Z","user":"","username":"Stiephen Pradal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 09:13:16.751Z","domain":"mathstodon.xyz","followerCount":90,"followers":"https://mathstodon.xyz/users/dwarn/followers","following":"https://mathstodon.xyz/users/dwarn/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/501/286/213/066/314/original/5df0f67d2c063969.jpg","id":"18hg5fq61g1k77r","inbox":"https://mathstodon.xyz/users/dwarn/inbox","iri":"https://mathstodon.xyz/users/dwarn","isLocal":false,"last_fetched":"2025-08-10 04:55:41.613Z","outbox":"https://mathstodon.xyz/users/dwarn/outbox","preferred_username":"dwarn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4TIeRwiJ1+7m1LHe4cOX\nxoghf/ySdxR4MlTYSrTYv93pquz9bj6YE/tnSOd0ud5JGmxm5nCpvqqMH9gS+Ouv\nk0OiZUe0FZE1VGAIDQkvWZca9bfTA2myHDiJuUYhRxDvDgvlTQc9PZew2sAOSVG6\nTcIbW0oYhe5S3dug6F6KDYs3H1uekq391VpByoL3br4j3um1BosPwK4Sp9yZK/R5\nRVHGxi1Tn+XosaAW+TsYYvc8wcrhldiavVkhOFKfIFuxPmhcEmxW8pWWPOHG5haL\nPt+pPL6mU7vAqcvrqgC6WSx+HQR43wuQqHgtSUszzWunrs6RcjNCGPuxw9qk4OsU\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

PhD student in homotopy type theory at the University of Gothenburg

","updated":"2025-08-10 04:55:41.614Z","user":"","username":"David Wärn"}],"page":1,"perPage":10,"totalItems":18,"totalPages":2}

Johannes Schipp von Branitz

Following