{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:20.141Z","domain":"mathstodon.xyz","followerCount":14,"followers":"https://mathstodon.xyz/users/ayb/followers","following":"https://mathstodon.xyz/users/ayb/following","followingCount":98,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/767/562/250/591/788/original/93719c95642d9728.jpeg","id":"74685f652y3671k","inbox":"https://mathstodon.xyz/users/ayb/inbox","iri":"https://mathstodon.xyz/users/ayb","isLocal":false,"last_fetched":"2025-07-28 18:40:24.878Z","outbox":"https://mathstodon.xyz/users/ayb/outbox","preferred_username":"ayb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsc8NkLFUMju/yiVsAKC9\nAUexm2xaPh4iBIWByfbRlxGHYvMsopXJwwlocDG+xqLSjHRWmkOlh2Jl84MsslsP\nl2egbOJC/n07jYNrrUQlf8M27627AQJw4k//CkcQ35Tnh8tUIGyd8hqCVZ69U0pK\n8NA9PYo3LWGoRDoWHL8qfTt3A6nOBz70xl2h5x6DUStpAal9mTpVv6XVtF5cuhMn\nYAPtFZL512mu2G3WTmkMPKXJvxQmoqutUx1hYB2MdNJwLZTcPyh5S7bOBovMaeFz\nuRFPa3qhuQ8vzVL9Q9+GhPTBdD9bSr/Gf+iaF5RN1E7C0/JNGUDK55Ca2cDIuao8\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-29 00:00:00.000Z","summary":"

Student in Computer Science at École normale supérieure

Interested in (but not only) the theory and implementation of programming languages and related topics such as (optimising) compilation and interpretation, logic, type theory and category theory

Currently working on WebAssembly

","updated":"2025-07-28 18:40:24.878Z","user":"","username":"Aghilas Y. Boussaa"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:08:30.520Z","domain":"aus.social","followerCount":1535,"followers":"https://aus.social/users/emmadavidson/followers","following":"https://aus.social/users/emmadavidson/following","followingCount":482,"icon":"https://mediacdn.aus.social/accounts/avatars/000/068/513/original/05b07308078de98d.jpeg","id":"380ju9iw7nbz047","inbox":"https://aus.social/users/emmadavidson/inbox","iri":"https://aus.social/users/emmadavidson","isLocal":false,"last_fetched":"2025-07-28 17:53:07.086Z","outbox":"https://aus.social/users/emmadavidson/outbox","preferred_username":"emmadavidson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4jD+3gC4Y1xNklcKqaXb\nL/vJ+QZCv019DZuU5kxpFJTxgoPnrNUdFEEhvOyLebrb7gxd9nT0UQrJ2fsqTwCV\n8gW0TZnXnD95QVSRSVocJMrlm0pM0Wew6t6K2bsaEgOhCiGWhSlolDSxtjF8W7a6\nnieUOZ+jrdJx6Dp/MXzZ/Bf3d/oYJkacem/vCwuKcf5S3cUMyt+0MjhZ9ZssDUiK\ndbVN/WBW42lkLVs2/icCHMQgtLjXdsyh4/jZpm+UB09XzEsxOwch4YVTuO+fPryi\nnwUAGxLMHGy8Xp0369PA8ym39wmAqBvuysWT7RAsO9BuzZ8axrPqGgItbRkuD9sZ\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-07-10 00:00:00.000Z","summary":"

Radical love activist.

I'm known to be quite vexing. I'm just forewarning you.

Voted “Most Likely to Get Arrested” in the 2024 Greens end-of-term formal.

Was a Greens Minister in a minority government 2020-2024.

","updated":"2025-07-28 17:53:07.086Z","user":"","username":"Emma Davidson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 03:43:31.467Z","domain":"mastodon.acm.org","followerCount":114,"followers":"https://mastodon.acm.org/users/inkytonik/followers","following":"https://mastodon.acm.org/users/inkytonik/following","followingCount":205,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/521/813/536/578/821/original/84e573f0eb43b8b4.webp","id":"p33tv7b2qp7ob1x","inbox":"https://mastodon.acm.org/users/inkytonik/inbox","iri":"https://mastodon.acm.org/users/inkytonik","isLocal":false,"last_fetched":"2025-07-28 18:40:25.530Z","outbox":"https://mastodon.acm.org/users/inkytonik/outbox","preferred_username":"inkytonik","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvmTi2arRuTDR1yE4RSqy\n5Einl9TKLW+j2G4ZEBWZLCQLtzZpjlmouWflIT4+H60HZ3l3YYrJ/xRICQQhu80D\nhJiysMemox904ScBchMGboOo7mFdSiPjsvJKqNIKKHYiOqCt4+LVK60bNW6Gzi1d\n4wiOFVyBpjQSP4vcl4HbjMI2RBbmX/xKf0go6WSSjVGwjqA4nR2muNyT69hte0PA\ndqiSwyiIkH512osoUrBnWvguWfy7HXp94QfckF2NNDzlWROkJ6OgEEkEq643sqCX\nvSpZ7bCP5ONE4N/rawu/8cqKB9q79Oz1lcxL03IRgbkl9w6KzC8Z8z5zQ8advEpA\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

Computer Scientist, programming addict, music lover, sports tragic.

Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle. Opinions here are my own.

","updated":"2025-07-28 18:40:25.530Z","user":"","username":"Tony Sloane"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 18:40:25.714Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kevinlopaq/followers","following":"https://mathstodon.xyz/users/kevinlopaq/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/885/036/582/942/509/original/270ce38da77afbda.jpg","id":"1xy2v6f4be81252","inbox":"https://mathstodon.xyz/users/kevinlopaq/inbox","iri":"https://mathstodon.xyz/users/kevinlopaq","isLocal":false,"last_fetched":"2025-07-28 18:40:25.714Z","outbox":"https://mathstodon.xyz/users/kevinlopaq/outbox","preferred_username":"kevinlopaq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA28onTFkUP17d8XAM+Fcl\nvO+bcjgpE+D1O5EcoqrUVuPRfMqQHDMagohUx+Ht4nYq83oe7qJgkweW37Oajt0U\nfM8qcdmnbagcgJdDNfBcodmMck0UJIHBnT7P2NDeIuf8P/mSADYpb9L0m82MgM32\nCPgT/gi8q9FqwkY1fP+6775Ds/g84Tm5rQkblx81cgk5yejEZ0uvrwsnh2wRT6Qm\n4jdTlaKNDrgALzadyfMJSQHyYnf57F6SvylO53g/aIR3V9Gkmz3zEApFSE5pJiuk\nSWd0sYImlRZWpKJtFviJHI42Bcf1BWt7AmfCF4xcram6hE8oOyeT/K8P0+biti5J\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-24 00:00:00.000Z","summary":"

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

","updated":"2025-07-28 18:40:25.714Z","user":"","username":"Kevin López-Aquino"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":672,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":731,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-07-28 18:40:25.745Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-07-28 18:40:25.745Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:06.703Z","domain":"mastodon.sdf.org","followerCount":63,"followers":"https://mastodon.sdf.org/users/raphael/followers","following":"https://mastodon.sdf.org/users/raphael/following","followingCount":247,"icon":"https://mastodon.sdf.org/system/accounts/avatars/108/082/495/397/442/863/original/7d0d83ce5646d50f.jpeg","id":"pu0lotk05gb561a","inbox":"https://mastodon.sdf.org/users/raphael/inbox","iri":"https://mastodon.sdf.org/users/raphael","isLocal":false,"last_fetched":"2025-07-28 18:40:25.949Z","outbox":"https://mastodon.sdf.org/users/raphael/outbox","preferred_username":"raphael","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo8uzuOA/2cUvYnxTGQ8W\nCx0o37DN6O9nZivAv2ivl52Z1y5phSCzoWO+OWqzgliTMX39I/ccqcP/YsBoxAWu\nVtqIcT/266zsREoJVSeH95WVL+zJTIAUqOmTgGZjxbPz8yGQzK+TfSRTsNAPt8Jd\n8JgDE3j4bJcXZK5Af+zZ9zhr1/6e1GNoAtWh2GJ/TYffL6beUX1Rknpkw28IabSE\nfSiDJ16jBFKMiqscE1rPclVrlPUCBFjZbvPmubKJhq+IA+ih3/LAI/YTtYBoeesi\n+UpAlZKnRV8t9tSfdzv8M2iqdo1EsIEJbVKkbksIFXUF0BGeZ0bEhFcsFu7PiWqt\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-06 00:00:00.000Z","summary":"

Software Developer in Brisbane.

Lots of programming stuff, some game stuff, also just life stuff.

","updated":"2025-07-28 18:40:25.950Z","user":"","username":"Raphael"}],"page":1,"perPage":10,"totalItems":77,"totalPages":8}

Fabian Muehlboeck

Following