{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 06:42:18.558Z","domain":"mathstodon.xyz","followerCount":210,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":70,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"m39t0s513183jeo","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-08-09 13:49:55.935Z","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-09 13:49:55.935Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 09:00:02.007Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"5w1c64r897c1u16","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-08-09 13:49:58.806Z","outbox":"https://mathstodon.xyz/users/markusde/outbox","preferred_username":"markusde","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJdfdMDAJSrulV3EPolX\nGdJVrtUgWNpIWQf+ITO633we+LN+i69o6PaJJ4KLYRRGybAO11ss80JJMlgU8bjH\nonuY1jWxuuHH92eoOXPbBmMHO+q2Zp/ev2LJd0HNOODKh50bi783n5L7SeEVDolz\nZ2HL7TogjDHNnMGMyoJEsjtV+UQ1YA43yvzZh8/GJ7e1n9FOknxHNEsVsNSpcVTj\nvk598a5/DDJdtVLbOwpK20vZTvyfS79LXO8pt+aJNUtV8lCRwgKVhp7goePqaEd8\nCnOQF/Bnqh8Gl6V9NnCsmi5wvWPHnByIk+upTG39jRSY2uAvU5oZ2Rgqg6g+/LHy\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

Human in the loop automated formal verifier

All opinions are my own

Not a professional account

","updated":"2025-08-09 13:49:58.807Z","user":"","username":"markusde"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 21:24:47.644Z","domain":"front-end.social","followerCount":5742,"followers":"https://front-end.social/users/heydon/followers","following":"https://front-end.social/users/heydon/following","followingCount":324,"icon":"https://cdn.masto.host/frontendsocial/accounts/avatars/109/363/923/974/146/422/original/67b8434e670b7841.png","id":"6nqi72q417t5x73","inbox":"https://front-end.social/users/heydon/inbox","iri":"https://front-end.social/users/heydon","isLocal":false,"last_fetched":"2025-08-09 13:49:59.465Z","outbox":"https://front-end.social/users/heydon/outbox","preferred_username":"heydon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyc/RL8odbuPcudb8Vtke\nk9wJykZJAGoMunUr1qFzHFx0Gs3q5AWk3w7k3sGWH75SrbVKxlfaRzxnj9COoLGq\n0DUl6y9jHHFE2TKvw4VLFITdsYDuIpEJ0qJXtlyoZIrWtCpSv8mW/YHYdyYspTH2\nqHOMJsU6xHiVDTdz9dbxMJlJlEYPSUws5pW77eQGtNXog20gfsT1tfsBV66DEeje\nCn2fSJJVELtjJCcgxEGwOl+eA8rMuyvf/YW4CA5UOBJueIsxBu0ywlXKgZGT1CKf\nfMRw49fH6KzuL/2TKz2Z6m9hVinHON6czDw7YReI5A+f2nvB1Rs0Y7zIrWc1vfGV\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

With apologies to CERN. Doing creative and accessible stuff with web technologies. Writer, programmer, font designer, video producer.

","updated":"2025-08-09 13:49:59.466Z","user":"","username":"Large Heydon Collider"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 05:46:03.270Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/doenges/followers","following":"https://mathstodon.xyz/users/doenges/following","followingCount":77,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/296/220/355/449/997/original/c281179db7e5367b.jpg","id":"tzh95w632oes4kh","inbox":"https://mathstodon.xyz/users/doenges/inbox","iri":"https://mathstodon.xyz/users/doenges","isLocal":false,"last_fetched":"2025-08-09 13:49:59.764Z","outbox":"https://mathstodon.xyz/users/doenges/outbox","preferred_username":"doenges","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsTdlZ7rbP0GVmB+K/QVZ\neOK0Ho0dhY8dE9ydbkzxi2nUj5CWWpWBONdcD4mXry9xmoJy9vtvzIqV9EIx5HJO\nyp2GFHXFCz12vOiV8eRkGSY7hZ1lMrtUK6FopBVVAEGtcoaNFJ8aF43i4gvbNh3M\nb0FKYzZN7oxfqiY645BygsS7Z/JFP2ZnrGTrzwifhFiGwxbQU2eG1rs18K7cguqB\nvWhgVeOmxvYLX9N9sdOuQnWsfUPQbbv/WRNMBIhJiVC5gXS+XdPW/QfusM5i/vCm\nA6xWOkrbLzNoKZWAGgV1DThhHMFDLC1rnaNSinuBEzxl/lA9ZfI20y+2uxp9JQNO\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-12 00:00:00.000Z","summary":"

I am thinking about separation logic. Certified Melville head

","updated":"2025-08-09 13:49:59.765Z","user":"","username":"Ryan Doenges"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 01:37:37.055Z","domain":"mathstodon.xyz","followerCount":30,"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":"58y83k85r0ke88z","inbox":"https://mathstodon.xyz/users/zaxioms/inbox","iri":"https://mathstodon.xyz/users/zaxioms","isLocal":false,"last_fetched":"2025-08-09 13:49:59.950Z","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-08-09 13:49:59.951Z","user":"","username":"Zach"}],"page":1,"perPage":10,"totalItems":260,"totalPages":26}

Juli O'Connor

Following