{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 11:01:51.347Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jesyspa/followers","following":"https://mathstodon.xyz/users/jesyspa/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/288/159/original/ae72fb4042b387bd.jpg","id":"1xop3z6u320061x","inbox":"https://mathstodon.xyz/users/jesyspa/inbox","iri":"https://mathstodon.xyz/users/jesyspa","isLocal":false,"last_fetched":"2025-08-09 06:37:58.242Z","outbox":"https://mathstodon.xyz/users/jesyspa/outbox","preferred_username":"jesyspa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zlZr2aQBelStw+UcNQ\ngTpqjy8hz21Pi4kVMu9ZVHb4vnF61QAAe/UbIRr1SNPk1rfs8iV2xHrUkzdzF5pc\nFIigVgL6B2EsQO7gmqri9pBnDlTf6KK/idLOsk4GixkcCEWe4cCW+ixHaDokQWxX\nW6HLc0qfpLcrMwbanGVugSZiplc+CZYjoeGGtBhg7iSqpMFzLoh2A0pIOQi5ibX3\nt4Qem2Niaiko0MGqbrDKhBWBCUYbWiUtah45dpfif4/vCQ7oe1V1SFsXqRPn0eEd\ncisI3wh1EpkfIZ7uRVYfoZGIWCksE5Jfeu69L5Qy16JVH/hYEquNYvwDgDcGCaDj\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

","updated":"2025-08-09 06:37:58.243Z","user":"","username":"Komi Golov"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 07:35:03.231Z","domain":"mastodon.social","followerCount":237,"followers":"https://mastodon.social/users/vy/followers","following":"https://mastodon.social/users/vy/following","followingCount":159,"icon":"https://files.mastodon.social/accounts/avatars/000/219/844/original/cc949db1e2541cbd.jpg","id":"gjj153rnn02z4i2","inbox":"https://mastodon.social/users/vy/inbox","iri":"https://mastodon.social/users/vy","isLocal":false,"last_fetched":"2025-08-09 06:37:58.326Z","outbox":"https://mastodon.social/users/vy/outbox","preferred_username":"vy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwktxNuNGBqPiwtqtlUy1\n5yFODmrFLTgCADnKpfEh62KCPdCJoCpxx+w32rFp4oSY+xLEy7NfuKsPLsSFR1nt\noU0BZROHwzop2h5gTLzMjcKcGWkRjASOsWlzqKBESHr2yYIkmOaO18ICQibpMWmJ\nX3FkLk3EZ9bF/NDTBhMSdUH+MXVvX9Ezc/9YUv/hsVe8NNiLOMwYVsm2ckybl6Vq\nh113E/spGsoIntIGUFqIrhT1gW/hzcA+G13DqmKg5p3fcTg98WYaZ6Ak0YgaHJeP\nDE5/HHAoYt+TZ+mVkYTRthkL9WKYMIZQllpwpNrZcAwg0BJ3X3tz/7p1f1SEN+c0\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-10-21 00:00:00.000Z","summary":"

Tan lejos de Dios y tan cerca de Tejas.

","updated":"2025-08-09 06:37:58.327Z","user":"","username":"vy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:49:59.417Z","domain":"discuss.systems","followerCount":62,"followers":"https://discuss.systems/users/pci_express/followers","following":"https://discuss.systems/users/pci_express/following","followingCount":313,"icon":"https://fd.discuss.systems/accounts/avatars/111/611/756/643/533/266/original/7beec1f7dd14d558.jpg","id":"1qe7z1q9ycs33p1","inbox":"https://discuss.systems/users/pci_express/inbox","iri":"https://discuss.systems/users/pci_express","isLocal":false,"last_fetched":"2025-08-09 05:27:59.422Z","outbox":"https://discuss.systems/users/pci_express/outbox","preferred_username":"pci_express","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAol4HCNuNSrpWdH1FrH/1\nraEQBzFErqWn1BknXccM9KW346tZ9e0GoKn5Amj/O0Mm+i7DSIzrcLhHgYOc54rl\nwyzxqGigbkhh9KGpAjzJz2a4lfMPj6CVEVtdhZc4QSosxMCPRjOM1t3qky0rx9Ju\n2R6HRzkEnr/RKQdK3oMLSr2sYl/5uGoULS8mYy60VgPJg3wmxT2N+GwS4Wr4nhV6\njaOaz95fveKllTSBksqe/nzW3FPpLs5adChiCURxzInT4FWpYqdiaM/khU7qk4Fl\nQhQFF8mIuYDt2yjM/FmqzRnNJs0hMXUioqrAkG2dOO53TlGTcTa8BnVy/pMypRAV\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-20 00:00:00.000Z","summary":"

PhD student @ UC Berkeley. he/him 🏳️‍⚧️🌈

My broad research interests lie in building distributed systems, networking, and privacy. Love #opensource #foss I use Arch btw.

Proud member of UAW 4811. Avid transit user/nerd and bike enthusiast.

Boosts are not endorsements.

User pic: Man standing in front of Golden Gate Bridge

Profile banner: Shed painted pink, blue, and white for the trans flag, on top of which is the transgender symbol, a heart around T4T, and "We will not be erased" with a heart.

","updated":"2025-08-09 05:27:59.423Z","user":"","username":"Micah"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:11:30.264Z","domain":"mastodon.social","followerCount":1930,"followers":"https://mastodon.social/users/barrelshifter/followers","following":"https://mastodon.social/users/barrelshifter/following","followingCount":206,"icon":"https://files.mastodon.social/accounts/avatars/108/195/288/061/790/423/original/41225243f6875979.jpeg","id":"70s58ca14u17gnv","inbox":"https://mastodon.social/users/barrelshifter/inbox","iri":"https://mastodon.social/users/barrelshifter","isLocal":false,"last_fetched":"2025-08-09 06:37:59.429Z","outbox":"https://mastodon.social/users/barrelshifter/outbox","preferred_username":"barrelshifter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0yGlIaZk0hOZCuRiFKaU\n7miwlTl3QFpmkHLAcc0kncZbxyVFstyEO3obPsOsc1efIauvCwVtqd/UVr5HPJAa\nkOWu/xYCkGLvcE608Rg03icHZBaLaTDw3eH9xHUmUN4GtSJDG/2yuc2ZQlPOeSUu\nE3THmP/hCBR0G77Nrh81hgvNItlXX6RhqXp7KYK5aDvcjOQYjBxL77VRGnv2wn+s\nznuwkt73foxVEz8XVDDKp4Ed0KD1jQHj4Itv4o2KjyYQkKeZd1wbUB7ySnCK7hrj\ndOzcLIKvKQqzXlo7KqbuXc3c/xFqjapbt5ZqkkTiyIrwO8WkxH13EeBtMVLSc39u\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

compiler schmuck

","updated":"2025-08-09 06:37:59.429Z","user":"","username":"Jessica Paquette"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 03:40:15.839Z","domain":"bookwyrm.social","followerCount":0,"followers":"https://bookwyrm.social/user/left_adjoint/followers","following":"https://bookwyrm.social/user/left_adjoint/following","followingCount":0,"icon":"https://bookwyrm-social.sfo3.digitaloceanspaces.com/images/avatars/7fc87171-f2a0-4fd6-8b71-11eb844d3d62.jpg","id":"2tk69zj44hydp3v","inbox":"https://bookwyrm.social/user/left_adjoint/inbox","iri":"https://bookwyrm.social/user/left_adjoint","isLocal":false,"last_fetched":"2025-08-09 06:38:00.331Z","outbox":"https://bookwyrm.social/user/left_adjoint/outbox","preferred_username":"left_adjoint","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4MamKvdpaitNxxeEdtQ\nXm7pjjdcXf9lSg6ZzEuZIG/qWC4cvYeGUQO1nlZhBnm7iw+lj5r548ZbN/HWLY4Q\nu41VFh94Pw0TFEb4+PhLBQ1W+gRFT0PEF/OwK3Unctlbr22A+3pJP2rO1BHeTQQp\nAS4jxLAFUjx+flzZRmyLnn3k8XrCQARHe5biPzofDucrP9iN2KtxPSPtXLe6hWz2\nfP67dflfCqpfilqnyjTmnDojedF67UTByzL/szefe3L5tqJFC81ed2a6m+cEnKRF\niAQHonuGe4W44jxo2ebJhrQFLk9uLd3CVc8hrF8Tf37Hj3rmWydTm7oamQK5/uEr\n9wIDAQAB\n-----END PUBLIC KEY-----","published":"","summary":"","updated":"2025-08-09 06:38:00.331Z","user":"","username":"[]"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:57.410Z","domain":"mastodon.acm.org","followerCount":51,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":50,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"60712uc26zv8l2e","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-08-09 05:26:33.139Z","outbox":"https://mastodon.acm.org/users/fme/outbox","preferred_username":"fme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6F0gMKvGgRRNuXzU7mLL\nFQE7Ds38LM7oZ4MSPHDRqaipRlQNcE+ui0A9mtLCH4mSm/WFukAIPSwWUGakdtuv\n374UdpJ2BNYiuXNVJy67mr1u4UFCVP+g0O+P9iruGNpcDdm6CJnFxeFxlPmyQfyV\nxHumPnoWdw5MSkcOY7clweV1sV2YQo+9dihqAjYZYJscnT+1cdhgaWmbZLRQbkn8\n+a5q1pKCrW1fCBzNSvOcumD2STY7O5ay6fmLT5LB79ZiXNCZmgk+vG4/4usjD2s9\nH/cwJcfJ5sC0e8V9zG2rG5+e5oa8UED+sU8LQFjxjSQnUzataFAj83LoAZUmcJVY\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

","updated":"2025-08-09 05:26:33.140Z","user":"","username":"Formal Methods Europe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:57:20.467Z","domain":"f.duriansoftware.com","followerCount":1535,"followers":"https://f.duriansoftware.com/users/joe/followers","following":"https://f.duriansoftware.com/users/joe/following","followingCount":923,"icon":"https://cdn.masto.host/fduriansoftwarecom/accounts/avatars/113/156/837/017/027/401/original/55ea0fa404959098.jpeg","id":"xyek5m6ka5m0650","inbox":"https://f.duriansoftware.com/users/joe/inbox","iri":"https://f.duriansoftware.com/users/joe","isLocal":false,"last_fetched":"2025-08-09 06:38:00.569Z","outbox":"https://f.duriansoftware.com/users/joe/outbox","preferred_username":"joe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3vZMO8nrg8WS4eYKwQ3J\nPZEMu4iY8/Y325TH2jbzk24uebuZIoN9Pfgm2erXMNmSF9g8LhkJA0MQtgRrO3hh\niTFf3gZXqQ49UFGFgPKXZUTWbYPKlt1tdYqfgiBBdjXsyflA59SGWER+iTKYNJEw\nglJMmNhG3q0jnuJ1pVvyfCbJRT6raHCFiZMErPqomRXJNwG3z+UEaB6gJ9Q0LqSV\natLhjGpcgMAWZgubZCs6aH2bkV8cIMuaan52kZqnVeX0KonFvuR973+i9IETWD0d\nHLaKxfS1x0CZeMqDZcYTBHZkJtSQ6KLSmKuT04SZXoPk0E4f2NW3/OZST96tM13r\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-18 00:00:00.000Z","summary":"

Doing my best to be a good boy

","updated":"2025-08-09 06:38:00.569Z","user":"","username":"Joe Groff"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 16:23:54.976Z","domain":"hci.social","followerCount":578,"followers":"https://hci.social/users/infinimatt/followers","following":"https://hci.social/users/infinimatt/following","followingCount":814,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/300/228/694/892/432/original/a4d7bf5e20ef0c0a.jpg","id":"453443fmzlvy658","inbox":"https://hci.social/users/infinimatt/inbox","iri":"https://hci.social/users/infinimatt","isLocal":false,"last_fetched":"2025-08-09 06:38:00.981Z","outbox":"https://hci.social/users/infinimatt/outbox","preferred_username":"infinimatt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8WsOYz6TNXjGPtNsZ4lq\n0wZk43tCntojDiu5Q7sne0YHz2H78O0OZ696l87KPOyDKSJ2U++P3P70nTzKVNzV\noqVPA4wxxKVm9sSIpNr33uuuuCNgwZGcHH1jpipPBYnuRPR6AE9PMmtqPQOC4qHf\nsNHFetphtaV8TKWeJCJ4ttrtxxbVXZs8vUFyJUrikuhbsBb4oUdCxCX742vMuTUc\nCyWXJWVGpgCt57NEtGZDgDHQ2BMHbhc2WPa9mXMFHSJm817l4R+Az41fbvccw/We\nYH0sKQU5Ay88TRJcKu0zSFuNPQuGBd0WLZG8iNxr2OB5mtywzKegYzsFpj2K1lfb\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

PhD student at Carnegie Mellon University School of Computer Science (S3D, HCII, RI, CyLab).

My research helps software engineers write tests that find more bugs faster.

Not a movie star. I like tacos, cats, dogs, and pancakes.

#SoftwareEngineering #SE #HCI #PL #Pittsburgh #testing #fuzzing #UX #DX #design #programming #tacos #hiking #nobot #space #IrisLunarRover

","updated":"2025-08-09 06:38:00.981Z","user":"","username":"infinimatt"}],"page":1,"perPage":10,"totalItems":268,"totalPages":27}

Rob Sison

Following