{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 03:33:18.107Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"z9778jt4v2d05so","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-08-17 03:33:18.107Z","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-17 03:33:18.107Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-06 16:50:16.965Z","domain":"mathstodon.xyz","followerCount":230,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":80,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"3rhcmtzyg47s0lu","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-08-17 03:33:18.529Z","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-17 03:33:18.529Z","user":"","username":"markusde"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 05:25:39.305Z","domain":"front-end.social","followerCount":5751,"followers":"https://front-end.social/users/heydon/followers","following":"https://front-end.social/users/heydon/following","followingCount":325,"icon":"https://cdn.masto.host/frontendsocial/accounts/avatars/109/363/923/974/146/422/original/67b8434e670b7841.png","id":"b40wa7p45t676a8","inbox":"https://front-end.social/users/heydon/inbox","iri":"https://front-end.social/users/heydon","isLocal":false,"last_fetched":"2025-08-17 03:33:19.835Z","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-17 03:33:19.835Z","user":"","username":"Large Heydon Collider"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 20:50:48.586Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/doenges/followers","following":"https://mathstodon.xyz/users/doenges/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/296/220/355/449/997/original/c281179db7e5367b.jpg","id":"1rdhc6sz2jw36p4","inbox":"https://mathstodon.xyz/users/doenges/inbox","iri":"https://mathstodon.xyz/users/doenges","isLocal":false,"last_fetched":"2025-08-17 03:33:20.766Z","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-17 03:33:20.767Z","user":"","username":"Ryan Doenges"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 03:33:20.993Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zaxioms/followers","following":"https://mathstodon.xyz/users/zaxioms/following","followingCount":0,"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-08-17 03:33:20.993Z","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-17 03:33:20.993Z","user":"","username":"Zach"}],"page":1,"perPage":10,"totalItems":260,"totalPages":26}

Juli O'Connor

Following