{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 19:28:24.426Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/typeable/followers","following":"https://mastodon.social/users/typeable/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/871/186/original/13fc0b9415bf8656.jpeg","id":"0kp8nnxlfu43ic9","inbox":"https://mastodon.social/users/typeable/inbox","iri":"https://mastodon.social/users/typeable","isLocal":false,"last_fetched":"2025-11-12 07:13:20.368Z","outbox":"https://mastodon.social/users/typeable/outbox","preferred_username":"typeable","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx47YqNxf0t7ND59WK8S2\nCyJWxDja1BguRmKKl+cKxYqrxq/DROFFryzsem/iCIrrrwEvS+xz5lbH3aQl8Uw1\nUh7hqpGYuT50YDElfh6ABNiNJLqx6ejG9fWbrVW9neONU2C7eGijoG7ICGoON4Mq\nWX7ROyuXEPzUkU+AxIBfHV+EuLJpkEtCps/k2MMirXHPUdFfCIoviYyzUaY8lpD5\n8rsgiiU1VzVubllLCX5BSAAU4s+shLpbQe9tv+f73D9ryNQ/AYk19dLOzSCTcYgv\nN/pthKt1z/TOgAl/vkATt4Q/R5aC7PlyOInKs1jhz3K7O+pQXT2u7JsL2DRuTp2Z\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-07-31 00:00:00.000Z","summary":"

🇱🇧 expat living in 🇨🇭
PhD Student in Programming languages at the University of St.Gallen.
AUB and EPFL Alumni.
Programmer for more than 10 years.

I have strong opinions about software.

Ask me what a (co-)Monad is

#freesoftware #math #typesystems

Header picture is the green oval with the Fisk and Bliss buildings painted by Tarek Bohsali. It's in this corner where my best memories of AUB are.

","updated":"2025-11-12 07:13:20.368Z","user":"","username":"George Z"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-06 08:21:20.608Z","domain":"mathstodon.xyz","followerCount":44,"followers":"https://mathstodon.xyz/users/tjp/followers","following":"https://mathstodon.xyz/users/tjp/following","followingCount":62,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/939/452/819/467/874/original/456cad1c24e5f869.jpg","id":"ba0whjj7bl1kg1d","inbox":"https://mathstodon.xyz/users/tjp/inbox","iri":"https://mathstodon.xyz/users/tjp","isLocal":false,"last_fetched":"2025-11-12 07:13:20.904Z","outbox":"https://mathstodon.xyz/users/tjp/outbox","preferred_username":"tjp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmCCGRkAw74IpepALFmOy\ng2zAMgGuL8ISmfo000hMJIzzI/gictj104NUmuHNZdfQv4/8NUyUhXSWEXXK6lof\nbNJhEokvUhi9yj/LTiGb7dI+/t6aeOm+vmQ4K50Qicsa31ZXoRNEXU209HuicfMN\nQNqaCy9wnuKmA34lF8xk4mo6Ao0uj4GQS3eiLlXpFwJmOXHzOk2DYRqS0y4FEkA6\nbOHlHxLqU49KAAF175HfC052vt6z8EM86Lt/b9u2MkDIs4aq1QdYVyFEon1dGVhj\nMyDaBrklE5k+P5co8pKHgzyOInMhUgEguSRirwfZ4N9ZTIVtpbN65XG4ofYyEZ8e\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-10 00:00:00.000Z","summary":"

Dependent type theory and editor design

","updated":"2025-11-12 07:13:20.904Z","user":"","username":"Thomas Porter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-23 01:36:21.705Z","domain":"mastodon.social","followerCount":96,"followers":"https://mastodon.social/users/fheusel/followers","following":"https://mastodon.social/users/fheusel/following","followingCount":582,"icon":"https://files.mastodon.social/accounts/avatars/115/036/793/917/225/320/original/41250afba7ab464b.jpg","id":"tao337tlp821ape","inbox":"https://mastodon.social/users/fheusel/inbox","iri":"https://mastodon.social/users/fheusel","isLocal":false,"last_fetched":"2025-11-12 07:13:21.251Z","outbox":"https://mastodon.social/users/fheusel/outbox","preferred_username":"fheusel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAotq50TmKJoopdwPvUxjh\nRSI/oBxx8G33rVG34s3UodKOmSFRw/V1p/UPdo6ujFtKlq/ou/uBVMRTkB4xtl7g\ns6cZlfxVUld8jdTPIREzrg7mnzwKzwsuctqLO0QumI1vwpeHvujK7h9enTvq0u6/\nqdxhlzw9f0euJ/uF/0b4OkcA7lOTovPBR/ZsyUscyiUsh0qMDsL7zrXzIeRlKIf8\n2qVRdPCLuOowl8Yk98UtMKql0e6rzZA1BG23diopg0sXU6YX3pw8gPCfjLLgGXLD\nLy54jwTEXadbpmq/66JmZFpmgZ753I6aENlsTyp4S2MAnvDO1ksKfZYlAqS8r3Ou\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-16 00:00:00.000Z","summary":"","updated":"2025-11-12 07:13:21.252Z","user":"","username":"Fabian Heusel"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 13:33:51.636Z","domain":"ohai.social","followerCount":0,"followers":"https://ohai.social/users/corite/followers","following":"https://ohai.social/users/corite/following","followingCount":0,"icon":"https://files.ohai.social/accounts/avatars/114/977/115/876/699/605/original/16017586a15e756d.png","id":"8diijxtzaconad6","inbox":"https://ohai.social/users/corite/inbox","iri":"https://ohai.social/users/corite","isLocal":false,"last_fetched":"2025-11-12 07:13:21.292Z","outbox":"https://ohai.social/users/corite/outbox","preferred_username":"corite","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu3IpSpq/av4aIqj6JUes\ntg5BGPo/dksF9QJoiSj+l/9Obj7zUsxVu41ORF/sGkyu+pRrXiCdEMkXQg1v0c42\nXkWqL7sMTnBK9R89F7BnYbLOOo1rFSsuuSYssRIbIaN+sa0ruzlBtiwHbttatol2\nG4MWXWcyEtpQpd0TsoRf7mb0OT1rjGo3A49zEpQmZTNsqsSYxQKw5k+0VRIFO0Pt\nyMr/d/euwfI9mDKWBefltNa2RhqeHz4plwmPfLGL3ZzY+L7BQMcpR1G0x+81/1CM\nFqbFDeJVh9zZcZJ0Fc5sC+0aSRLeX86GgP0lCi4/WUcyWvhQEJhPKuStt4vjFh09\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-05 00:00:00.000Z","summary":"

I'm mostly on here to read about computery things, but I will sometimes also post about random stuff going on in my life and/or head.

Trans rights are human rights 🏳️‍⚧️🦈.

","updated":"2025-11-12 07:13:21.292Z","user":"","username":"Christian"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 02:18:39.570Z","domain":"masto.hackers.town","followerCount":0,"followers":"https://masto.hackers.town/users/VeilidNetwork/followers","following":"https://masto.hackers.town/users/VeilidNetwork/following","followingCount":0,"icon":"https://cdn.masto.host/mastohackerstown/accounts/avatars/114/767/798/621/815/606/original/5ab6f3e6df6936b3.png","id":"8mt1275y3v2u9t5","inbox":"https://masto.hackers.town/users/VeilidNetwork/inbox","iri":"https://masto.hackers.town/users/VeilidNetwork","isLocal":false,"last_fetched":"2025-09-24 04:17:51.104Z","outbox":"https://masto.hackers.town/users/VeilidNetwork/outbox","preferred_username":"VeilidNetwork","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu0oIK2Hjn2vAWrjqsdM3\nGFrG0M/3xSKIG1LNZ9tbdZKDnq0qQgjH8mEg0uqNeG0w+ml8V5gy6/BuviRb51lt\nx3qw8+xhGBFUYKO+3H9hy+FivtG3IwZZsjNozbsYl243eYE0MJwPyUTt7gk/2qsX\nXj+ZtayntqjNzE89GyHT02z/5sQ3gaQAoXD6Z/ogt6kb1SNrEvu2Z6aX6htEIfHM\ntXqhQdGoMe2Hnq/N1V/czx6Dy+elZgb/WMZhQy9FXO7d1iLo6Lw1AVQpF4vgYwvd\nD+Oh1B9PSNWCHUTYdFHg/UrINDPqkKQg42UyHf3pK60yOSo1zPftZ6/hsJJZy73w\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-29 00:00:00.000Z","summary":"

Pronounced: “Vay-lid”.

An official CULT OF THE DEAD COW projekt.

Social Media shouldn’t be monetized.

Users are not a commodity.

Privacy Matters.

","updated":"2025-09-24 04:17:51.104Z","user":"","username":"VeilidNetwork"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 15:23:36.539Z","domain":"social.sigsoft.org","followerCount":0,"followers":"https://social.sigsoft.org/users/JonathanAldrich/followers","following":"https://social.sigsoft.org/users/JonathanAldrich/following","followingCount":0,"icon":"https://social.sigsoft.org/system/accounts/avatars/110/202/816/290/872/693/original/bc6c4fcffcc8fda4.jpg","id":"6bkl0apbmufpmts","inbox":"https://social.sigsoft.org/users/JonathanAldrich/inbox","iri":"https://social.sigsoft.org/users/JonathanAldrich","isLocal":false,"last_fetched":"2025-11-12 07:13:22.051Z","outbox":"https://social.sigsoft.org/users/JonathanAldrich/outbox","preferred_username":"JonathanAldrich","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyUXGpUTADFQxcwUXBo36\nOoGfaOelZ9dvZDzhr7GOgwddc8/Kgz0b5nQRwLt/TWP4qBJTADGln/zExeda0AP9\nYrn3DWtvzGr1W87gogP9umyd3ZSPXYtFjY3/eWImOasmDnC8f0w7HdnZyxXEUd1G\ngnd4hFhWxUGkpx9ftvtFz5A6CZ4dpEM8P82Y7quU8lIXFUD10genpXTu5wVY5Eou\noz+IhihAotUgaIZOejHr3eyc+SBNoRr769m1Chu5d+8PIreUnFLY84IT5at4eJ0u\nBIazgYZPsCX25Nml9nBPEcr5gpoqebEUe97/MQG3FvKsRJ/W0ollyajyo6k/fkE2\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-15 00:00:00.000Z","summary":"

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board member. He/him. Views are mine.

","updated":"2025-11-12 07:13:22.051Z","user":"","username":"Jonathan Aldrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-30 20:06:15.623Z","domain":"mastodon.social","followerCount":3350,"followers":"https://mastodon.social/users/shriramk/followers","following":"https://mastodon.social/users/shriramk/following","followingCount":736,"icon":"https://files.mastodon.social/accounts/avatars/108/262/011/720/829/669/original/21d7b109c09f7c06.jpg","id":"0zcvw5kq1jii024","inbox":"https://mastodon.social/users/shriramk/inbox","iri":"https://mastodon.social/users/shriramk","isLocal":false,"last_fetched":"2025-11-12 06:24:25.522Z","outbox":"https://mastodon.social/users/shriramk/outbox","preferred_username":"shriramk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu0RCMvnQyQz1MGEj+W44\nCpbS6TayqZm5gzPD7DBtvvkNp6AkQAjS1PrnfUgQqsvEQgZDWNp0cbp+72/x8i8A\nWRTd+++Zx+iVB2lLLFl6dUogpDVLvMaQ3hf40AcRQmbrqjEuamUBgs2mONY9lYkr\nrsykejMVewI0iI8Yn11z6id/5/UQaK1S95tNypzRZ4l1TlkR01t8i/hhJIrH86PY\nMUHtvePbqGDUIBCTPCF+D32pITYXqUF8a8n+mjrbNpH4oCEpfm3tCO4PJB7hpga5\noWY7mVGapoOuVM9y9f8TaN67kfF21VlHYDJMktLW96k++sSSYYdTypY2DziYEtsK\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-07 00:00:00.000Z","summary":"

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket

I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

See https://mastodon.social/@shriramk/109302532598801863 for longer #intro.

I wish to be searchable by tootfinder

","updated":"2025-11-12 06:24:25.522Z","user":"","username":"Shriram Krishnamurthi"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Nicole Heinimann

Following