{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:49:49.388Z","domain":"mastodon.acm.org","followerCount":79,"followers":"https://mastodon.acm.org/users/jakub/followers","following":"https://mastodon.acm.org/users/jakub/following","followingCount":86,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/378/500/829/717/275/original/abf5378e6eb12328.png","id":"a83k91d6as336xp","inbox":"https://mastodon.acm.org/users/jakub/inbox","iri":"https://mastodon.acm.org/users/jakub","isLocal":false,"last_fetched":"2025-08-12 10:29:54.439Z","outbox":"https://mastodon.acm.org/users/jakub/outbox","preferred_username":"jakub","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsY4ZORjiNauzA8Lh6qRj\nIQf5aG7vUqu0uvqBliip7nNkgOCFK6l8KylynJLrOhgZT4FDsUyfhWP3M0AcK0Jz\nNoU0Ck0mgDRb1+nEofHU6pqCF6kSl2emp4+klEXJzHpWjq5JetoHzkZrut7rVHWn\naz9vx6jjRGtECBPSYgjs0WMjK2Tue5qQVUJF39z8+eI/IEjDeNi8U3OumZbnHD6L\nJigZm40IfuvBkrnn2+vCzQfsLO3gCNX1r33bBA8QKfcLzgLEDYNudL04l+L80g0g\nnEKbTYh6kwQ/M+oDx4EKDaXklXCMK35ech/yMElXWy6g52U1OaxqHcjZVj8FuJhZ\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-16 00:00:00.000Z","summary":"

assistant professor at the interface of mathematics and computer science @ University of Birmingham.

","updated":"2025-08-12 10:29:54.441Z","user":"","username":"Jakub Opršal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:32:38.842Z","domain":"mathstodon.xyz","followerCount":2318,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1773,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"s4n2454lzn3n237","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2025-08-12 10:29:54.569Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2025-08-12 10:29:54.570Z","user":"","username":"⏚ Antoine Chambert-Loir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 10:29:54.666Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/DavidJaz/followers","following":"https://mathstodon.xyz/users/DavidJaz/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/269/082/809/399/668/original/0d94a1d300bf75d0.jpg","id":"8u1x4l1ez01mp6x","inbox":"https://mathstodon.xyz/users/DavidJaz/inbox","iri":"https://mathstodon.xyz/users/DavidJaz","isLocal":false,"last_fetched":"2025-08-12 10:29:54.664Z","outbox":"https://mathstodon.xyz/users/DavidJaz/outbox","preferred_username":"DavidJaz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvjWERSbg8jnYYhXcYULv\nIhknIMyKXf7KXIxrTBI0yUHYxNIl7Lsu3QBNivk3zVUpbHYlihlrqifzB0Gn+o3p\n+xNOy1yfm+YBE8vV6T+k2sLC643w8ThJ5K8i6qiZalO4S/Sa00nCFVdrbvHoCdts\nIZ9btg+hXT3awykPlo4pDwQwnGdc2XlC4W6jvkgcatCS3QgU9QNrhVsbixOhRMBR\nwib7nUMfDjrr9kGzODXiGpCjBKrDwJaojIxb9EAf0zlEylZqHoiN0r+Rm2c64ZQC\nhzWy6U9zUnrCNVIQ6jU0Y6eU2UjWxu0Ru4sxNrvkkUg7oV+vxGqK1O9hX/9Tm/Bv\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"","updated":"2025-08-12 10:29:54.666Z","user":"","username":"David Jaz Myers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 18:04:58.133Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/smimram/followers","following":"https://mathstodon.xyz/users/smimram/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/005/477/original/56ad2ca474fd94c5.jpg","id":"2xl5j33v0398j75","inbox":"https://mathstodon.xyz/users/smimram/inbox","iri":"https://mathstodon.xyz/users/smimram","isLocal":false,"last_fetched":"2025-08-12 10:29:55.330Z","outbox":"https://mathstodon.xyz/users/smimram/outbox","preferred_username":"smimram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzuLAIrDI0BW/DlXwQQyI\nFDrJVvxxGD2gUIai6h+wUWG5B93FV4RlxW58+PBN89V8rDDLcX9CDywZKJlOGgqX\nDUNBrlqD6AEaAUn86/ThtJyZKkcyG2jTWRz7cYjeOi0mijcQ+sj++41gms1jXYW3\nCO3YerIZPljCXSYSHEUnAieTKSO/qQ4A2pfVRb+J30FoA9U3cLjo5bQH7Ukgu3O5\niagB3w03pbZeCkQ7rH0yH/9uo9LzTGCD+YKdfNqH1ywAjQ832byTHLBbAInjsrKq\ngq3nBkCmGEK4eE2oVoyBVTADBWBg1oRpR1EnhClqg31fv+2AOtEluDfo00M1hTz8\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"","updated":"2025-08-12 10:29:55.331Z","user":"","username":"Samuel Mimram"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:07:04.005Z","domain":"mathstodon.xyz","followerCount":200,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":68,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"i0h0l51r99k1g84","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-08-12 10:29:55.484Z","outbox":"https://mathstodon.xyz/users/ecavallo/outbox","preferred_username":"ecavallo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3naHyQYGx2MOOHVquVvU\nE96oVhPSB7n5Vv057Z1shKe6LrA4iil8I5Y/nYlfKkayG9Mc4F2cSqWCbH1JXAVG\nYg2fqbwLaT0bLzqFYD1f3YRF8CoLznKtklAhenmZuSmsYfMrrjKsPL8qOEqyQnCf\nxsrbkR8fX7LiekElCE9BEuFdVW3AZ6GD4YLT3mYkFW/DadDs43jo6Ttnoxv8Va5I\nNpI31QiWC4cnjpOq9xpXfzc558kcVZX5iqDX61pWC7gM9PfN2AfJ3dBsPtpgXlOH\nq6TvHUiSSVsYYJL0sNtxdxgnB2/JsYXrsRQ/Fvah+KUEjG7YnRS72KEEiLNEG8BN\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Postdoc at Göteborgs universitet. Types + Cubes

","updated":"2025-08-12 10:29:55.485Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:32:38.873Z","domain":"mathstodon.xyz","followerCount":100,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"278c38766v341xz","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2025-08-12 10:29:55.824Z","outbox":"https://mathstodon.xyz/users/quiver/outbox","preferred_username":"quiver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv9w8AFq+o9tCrNQGfp/U\nt30XL/pJB6DekMg7FhYDIDl2Q/H6E7GP2VZQYHox97pfuc+C4pM8UQ+5S1fp3Cm0\nSCARrvLnxEjREiU1F7pJgD/JncOhRcxXujWHvsOiK/FiDfAh6oPAG23Tcqp2oeZc\nM8QaKc9CoBPPPu4n3jMHuO4r16MwWXd6juhP0yFrK3gFG3IB1MOS4D/IdQfVE8ud\nvuef1Fhk2cGd9x3rLOS1etMqxU2yaYcEn2JIdXg3qJ4GmOj9PAhBmMkL3d6/5W0o\nQTcGpskUnqIyXutYScvrtfMwlT99J5FOOvYSWefkecR0xEtkxWOUoR3+OQIxus/9\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"

A modern commutative diagram editor for the web.

","updated":"2025-08-12 10:29:55.825Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:08.059Z","domain":"mathstodon.xyz","followerCount":94,"followers":"https://mathstodon.xyz/users/ivandiliberti/followers","following":"https://mathstodon.xyz/users/ivandiliberti/following","followingCount":67,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/325/545/131/664/831/original/afa89557a153c11b.jpeg","id":"08k02sxv046mxm0","inbox":"https://mathstodon.xyz/users/ivandiliberti/inbox","iri":"https://mathstodon.xyz/users/ivandiliberti","isLocal":false,"last_fetched":"2025-08-12 10:29:55.925Z","outbox":"https://mathstodon.xyz/users/ivandiliberti/outbox","preferred_username":"ivandiliberti","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2gc5efn9244KKAZin3by\nHC6GIWHdReHCrL4tDo4xJQMoxbKXabJptirSq7iUBGbN1h4d/zLkQLk3C+B6EtvT\nh9COL/FdGZ2XH0js6aL2WNdJvwG4iyqYC6yQmEZYytFmZ7JoEmr5Q4sCaWTq6L8C\nzmvnHLdeCr8F7K18kT2jXAKZ1PFx6rqU1D8R4lMuIXZRFSwrl/Yr4zmEKWSQfkN8\nx/A7fBe4TbV5UnMZ3NACkWSbzTzH5mayrRdQsvFPrhn2obQ8mzhSoKrAsRBZn+Vp\nLwQvb0adRt/bO+QMQpezgE2rCbbiTXRErwdr6ZDZezdA8K+vfu6fC4+ZhiMo996i\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"","updated":"2025-08-12 10:29:55.928Z","user":"","username":"Ivan Di Liberti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 10:36:47.059Z","domain":"mathstodon.xyz","followerCount":45,"followers":"https://mathstodon.xyz/users/ugodallago/followers","following":"https://mathstodon.xyz/users/ugodallago/following","followingCount":22,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/404/375/337/462/146/original/7487585bac373465.jpeg","id":"ue631sm4iwv50we","inbox":"https://mathstodon.xyz/users/ugodallago/inbox","iri":"https://mathstodon.xyz/users/ugodallago","isLocal":false,"last_fetched":"2025-08-12 10:29:56.005Z","outbox":"https://mathstodon.xyz/users/ugodallago/outbox","preferred_username":"ugodallago","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtBapTujZoL/fW3TRpYFS\nPuz21LRLpRGcpx4MG88E9AHkJOn83tt8LC+ovJmzOe0d26QkJE0Z++9uGfolMnXu\np7zjB/d+AmwlDfjCoaSHFOPCXFucf3AJYh/WVUFyiCwU6W7xSlP/Pd4XgeFPoSlr\n+bXqN4ta9oaEiNyRdBy6XgLx/udjDNXoP3EDJkn3t31XihBXPg67VRkFCwVl3g4H\no9wUc7V5wQIf7RH/uZDYy1wbrpllF5UkSb9qJmIQihgepK+rKBu43xEtd/hdP0MD\ngy8nWeJPd9fpW0BNaRzVk1EaELaUv6NLGOvJwnmog/XfV7Yf9ScNKyoTCxQfg2Sq\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

Theoretical Computer Scientist.

","updated":"2025-08-12 10:29:56.005Z","user":"","username":"Ugo Dal Lago"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:54.747Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"k8qe3227crcvaz8","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-08-12 10:29:56.041Z","outbox":"https://mathstodon.xyz/users/egbertrijke/outbox","preferred_username":"egbertrijke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvAgZoSqtXkjGmyD7Ytmx\nyqt+jayq8iBW1nTFUPafGrUpRPZ5Cphbon2OCwObFHgZjBh6mXwiMMdqSN2Wf20u\nBOmqgWz/rmYSHLINXWwSq3iT4ctv9Um7tl9afA18HedUq8wiRcDVpQwXkCJNw1x9\n024zznyGjgP16EHN5hbmCOMtdqxeqo54zmPrecWXcXuQ5Oj6OdJ9zBauxrdHP3p4\nE7ebZrkA2keIFFxQkR3GdoxMuKGbvXzS0MWAHN4EgkE4YDyKcVxgzjUblsLVv81A\nLXMb/wflz+LCDlZWMtCD4myCD2fQTQY63RkGgpTq9ZFXEitqkBQjA0oSkDA0gazy\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Postdoc at Johns Hopkins formalizing mathematics

","updated":"2025-08-12 10:29:56.074Z","user":"","username":"Egbert Rijke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 06:36:55.867Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/theowinterhalter/followers","following":"https://lipn.info/users/theowinterhalter/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/109/545/536/560/951/104/original/1f2279ff49b61c08.jpg","id":"5dl55u430n48p5s","inbox":"https://lipn.info/users/theowinterhalter/inbox","iri":"https://lipn.info/users/theowinterhalter","isLocal":false,"last_fetched":"2025-08-12 10:29:56.277Z","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-12 10:29:56.277Z","user":"","username":"Théo Winterhalter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 00:23:59.460Z","domain":"mastodon.acm.org","followerCount":110,"followers":"https://mastodon.acm.org/users/RocqProver/followers","following":"https://mastodon.acm.org/users/RocqProver/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/793/938/089/664/962/original/40a97cf3f2f663dc.png","id":"n4lsc0r0u12r927","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-08-12 10:29:56.502Z","outbox":"https://mastodon.acm.org/users/RocqProver/outbox","preferred_username":"RocqProver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFd0MqbQt/j58L380sLv\n29VHRYyVqk7FV0PQMUlphydOdwotTKPmj98j0K8EIHsW46uzv6Yp9LxMU7IOid6g\ne6bj3kjugVTGnFxHYqV6MepFJEakwUR01ADMLTWxiYtKHI4YFdUiZcsC+kTf2zEh\nhh/+8wI+hY5E6vJMbNRtWvBsbmqQ+tJT/CI9yhZ5H/G0r9HKed+2JnQImVMfnLQq\nZ7lNhVTTL+WIchbBeSfctYnOdTAU8/2u/Uq/f9gdFyTORewqehCZ/TZsojG9W5Nf\npil/88B2VeR/CtCYuTE8JkstyVPKCu4YoEtTUzJtTBQfjbj5yyFLzl6IDNQ618t5\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-08 00:00:00.000Z","summary":"

Interactive Theorem Prover and Dependently-Typed Programming Language.

","updated":"2025-08-12 10:29:56.502Z","user":"","username":"The Rocq Prover"}],"page":1,"perPage":10,"totalItems":8,"totalPages":1}

Quentin Schroeder

Following