{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 21:26:28.177Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/users/wuc9521/followers","following":"https://mathstodon.xyz/users/wuc9521/following","followingCount":59,"icon":"","id":"1fnpqy4ccqeprne","inbox":"https://mathstodon.xyz/users/wuc9521/inbox","iri":"https://mathstodon.xyz/users/wuc9521","isLocal":false,"last_fetched":"2026-05-16 18:27:52.162Z","outbox":"https://mathstodon.xyz/users/wuc9521/outbox","preferred_username":"wuc9521","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAslO5SzDqiXU/6aCUjJHw\niexIaHcl4VAw6M8u/sz0+JgqrjomAJSWgXr13Qo+DnFyJUY2VLv2zbFkjk0CFtKp\nNr1hfoX1rapdfRk9MHneXStF4S5hr3pzgT3ONXcRuAPoBt4akjLjZUguQNhkXE9b\nPsZ2LXAKnPZ3im7MMTWmnKaeY8HIQ2ey+GKjF5luZzMppgIXS4xGiDM4vi2MlthW\nPDV4HAbt7LKp+Y7n0sjzbZ38pI7OSe/3CNgYbb8U7LFqsjfDoH6+WEXI9AuG4yzT\natYU358WylfjXbNpXMUCjM7An/8E3FadxhRGGTBQ9VIeCoDhLJksRQgAwmt724Oj\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-11 00:00:00.000Z","summary":"

25' BS. Math + CS @ UW-Madison
PL / Cat Theory 🐱 / Logic
https://wuct.site

","updated":"2026-05-16 18:27:52.162Z","user":"","username":"Chentian Wu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-05-16 18:27:52.196Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/ap/users/116266065914443439/followers","following":"https://mathstodon.xyz/ap/users/116266065914443439/following","followingCount":0,"icon":"","id":"t16vyv6u7wlcqnv","inbox":"https://mathstodon.xyz/ap/users/116266065914443439/inbox","iri":"https://mathstodon.xyz/ap/users/116266065914443439","isLocal":false,"last_fetched":"2026-05-16 18:27:52.195Z","outbox":"https://mathstodon.xyz/ap/users/116266065914443439/outbox","preferred_username":"yzzzzheng","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr+DGRcyrxBPcJQx0Vcj/\nJ9OrM5aPPlRp8+cmlDo7Uuv5QsaQwYs0M7b5/TUTueQaINOgQOhM2Oza1Z8lt1eD\nJQcOWBJvEXEAoP8ZPNvqkHGybCD1LJtFsKY7DYd3YE37oP+AZvE7kzLMRvYL3nxB\nPPo+oG/q72URO09mQ0i9/89jc7XsU01XJai+99AvlROQDH5BmeN2G1ECpaiZaUm1\n1okxK+YAndm1/EZAt5WVY9MhYDtlUw5u9yplOgY0oFF46iTIGWb2uhR2vv/gMFp6\n1NUX3F/Prk0lGHPdzgS/m/+7JaLQ4lP4MoiQfTA3dt2AkplkJYe7la180TaaHEK9\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-21 00:00:00.000Z","summary":"","updated":"2026-05-16 18:27:52.196Z","user":"","username":"yzzzzheng"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:42:33.984Z","domain":"mathstodon.xyz","followerCount":170,"followers":"https://mathstodon.xyz/users/pamellies/followers","following":"https://mathstodon.xyz/users/pamellies/following","followingCount":282,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/370/566/098/707/004/original/643da199678c3b3f.jpg","id":"sshh8rur31hycwn","inbox":"https://mathstodon.xyz/users/pamellies/inbox","iri":"https://mathstodon.xyz/users/pamellies","isLocal":false,"last_fetched":"2026-05-16 18:27:52.236Z","outbox":"https://mathstodon.xyz/users/pamellies/outbox","preferred_username":"pamellies","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvcZy0speejmR9rrrHFLj\nt6YRQigBiGTZImWIHOgi0ZNtgV9P50jcW2HVmcSvnof9pBWp8DWcBlt5uXcd8gpK\nmYhKYNMKGyMJWo/UfqYS6288i3TrPFILPVLS/jiv5rfN0dns8Ai8+xeWdb7htoch\nk7wVwzyXRtpfe8h8ChOisqQMDi9XTYIgE4WGg8EV1SBHZ0OSfhXa2CUMA1aACsYF\nRwltxvzNiwjgE/+TRhhBt9WxpjR/qzMmZq2X8W40PuwWKCE1YuBdPzp1bRU+8ERE\nZZ0xaAF3v8QGPEJJD3UwL8LXl2qmjv4iVVVKykrHfL76X2zNrp0Ppq5Jc2TPg3gj\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-25 00:00:00.000Z","summary":"

Logician and computer scientist at work

Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.

#CNRS #INRIA #UPCité #ENSParis #IRIF #Picube #Malinca

","updated":"2026-05-16 18:27:52.237Z","user":"","username":"Paul-André Melliès"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 04:57:02.913Z","domain":"mathstodon.xyz","followerCount":45,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":146,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"1rmt3ur7co08cyc","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2026-05-16 18:27:52.270Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2026-05-16 18:27:52.270Z","user":"","username":"ahuoguo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-08 18:54:30.058Z","domain":"mathstodon.xyz","followerCount":34,"followers":"https://mathstodon.xyz/users/sgregersen/followers","following":"https://mathstodon.xyz/users/sgregersen/following","followingCount":45,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/018/864/812/000/522/original/5d7df735be61ecbb.png","id":"hk7zwo4z6u0s3g1","inbox":"https://mathstodon.xyz/users/sgregersen/inbox","iri":"https://mathstodon.xyz/users/sgregersen","isLocal":false,"last_fetched":"2026-05-16 18:27:52.306Z","outbox":"https://mathstodon.xyz/users/sgregersen/outbox","preferred_username":"sgregersen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAobQ5ErKaaX1SwbLxyPGh\nxuCcP7vFSF/EVAvZoOg4mh+BRGJmzuNm/Kn1LEH5UzFH7TQDjtNGUnD2tTsXjZUI\nTT75OCoWTklCexXvN3vkpzwg14EFlco2dGeYdZFyf5UDcVYwq0TxmeE4yx5ajB7Z\nDcyT0y6u3tijWMWBzlnAw81NIghyFm1h52wkcc7XNoh6/VlcTWQ63GU9TJVJqXNq\nV3lNWAz+uE/W5ZaP3uxF1bYKJzseTYl6e9kvNGl1NXAoSU2+mCdxl+E9q/WN4mkJ\nVWGvAu+4F2+qTV/LkdffzPb5osCkSmbh415KBQkHP+KKk/+Wzl6FhiPZYZjiCXXL\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-13 00:00:00.000Z","summary":"

Faculty @ CISPA

","updated":"2026-05-16 18:27:52.306Z","user":"","username":"Simon Oddershede Gregersen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-24 03:11:49.217Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/ap/users/116111496394663417/followers","following":"https://mathstodon.xyz/ap/users/116111496394663417/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/116/111/496/394/663/417/original/ee3525083650d17b.jpg","id":"e17if8oxree2sli","inbox":"https://mathstodon.xyz/ap/users/116111496394663417/inbox","iri":"https://mathstodon.xyz/ap/users/116111496394663417","isLocal":false,"last_fetched":"2026-05-16 18:27:52.342Z","outbox":"https://mathstodon.xyz/ap/users/116111496394663417/outbox","preferred_username":"jhostert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqZ8qAVC6Y559LSIhsNKi\ngkhGDpgdCoG31rDs8IzEVMJu9PgizKSa0ZL/a1+Y2jMxTNyIqS77KwCxkxF6vYlD\npbz1r3XCjnDYwgSAMBn1t7gON6GUpqaflVD1C3M2MkSyaVMby3qPAK0YWm6oMUoA\nbRc2miCn7dROQJ1/LrROEbPxMK3JrYIhetaS8ix3lUtiBa9UCGdmjX4Q6ESQ0kJ5\nUxlxZgPjaP9WXiwg7u3lrFhavB92i+FKJVYwEcGjtDSik64FSdS3K97MoYSqxGLE\nhNjBnjNiOK2fOQLqHCv3Hn30c9VMV8vVuS+zh2xyQag8X9+L6fk/5nkFTV1b4YSr\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-02-22 00:00:00.000Z","summary":"

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Type theorists at heart.

","updated":"2026-05-16 18:27:52.342Z","user":"","username":"Johannes Hostert"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

puming

Followers