{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:39:11.904Z","domain":"social.itu.dk","followerCount":614,"followers":"https://social.itu.dk/users/AndrzejWasowski/followers","following":"https://social.itu.dk/users/AndrzejWasowski/following","followingCount":535,"icon":"https://social.itu.dk/system/accounts/avatars/109/397/785/692/870/326/original/466ce1eb77b2f4b7.jpg","id":"1j6xdjcq0f1vvj2","inbox":"https://social.itu.dk/users/AndrzejWasowski/inbox","iri":"https://social.itu.dk/users/AndrzejWasowski","isLocal":false,"last_fetched":"2025-07-31 13:58:04.113Z","outbox":"https://social.itu.dk/users/AndrzejWasowski/outbox","preferred_username":"AndrzejWasowski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0WJAIshj8uQmIJyKNLsr\nUN/t7AZzyM+0vJoVuDwEW/9IX+5vAbb7WtCNlfVz8p4/jHM+pHSr5SymXpkwDisA\nd4p13aB9bs+EB99tq2XU1AAgCBDTeeBSW7A1i0ism/mvp4TYmhwP1k9EdqYvNPPh\n3gZ7KhmM442tWZVmp0iq7hBujIcC3gnxNUmj4sV7kOOjQ6s6qD2crt4w7x/qlaG8\n/BykvbgBo/DE+Hhu2hJYnNKTZb6BvR49nTFqAl6MrZU1g/nucdubWKgtCEgcnqfB\nkx64S9kVFZKZTOWE9FckP2JiLoHTWTZTc/zwcxn0C2j/Qw/cOW1g7xSqE9wZPgGt\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-24 00:00:00.000Z","summary":"

An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and in-between two marmaid cities.

affiliation: IT University of Copenhagen, Denmark

Searchable by tootfinder

Used to be @AndrzejWasowski which redirects here now.
Used to be AndrzejWasowski@twitter.com but that is no more.

","updated":"2025-07-31 13:58:04.113Z","user":"","username":"Andrzej Wąsowski ☑️ 🟥"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:31:18.219Z","domain":"mastodon.acm.org","followerCount":234,"followers":"https://mastodon.acm.org/users/michel/followers","following":"https://mastodon.acm.org/users/michel/following","followingCount":166,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/540/625/417/342/467/original/1b6629dca11bd277.jpg","id":"7o6xe1l4ak800y8","inbox":"https://mastodon.acm.org/users/michel/inbox","iri":"https://mastodon.acm.org/users/michel","isLocal":false,"last_fetched":"2025-07-31 15:40:08.221Z","outbox":"https://mastodon.acm.org/users/michel/outbox","preferred_username":"michel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvoJyIlBRnjNJBQxhClqk\nQPTSYtq/T6RiuPUOEnq26H5fF1gWzFU6igV/2y0GMsDYTup/8rm5btJQUGsWhKsT\nNh5MfU/EPlv1kdsnQbX0WKh2AZzSUrFoi16gPohA36qd5sFe6jjn1a7Y1AjUU9i4\nmfoVRft0toUg+Vf6ihSEnm7xdJTA8hoe2dF6Tytq6EJaJHVlWynQR76VHeWb0tPg\nlAE6XpGgUpOHhtw80vbAWh/Er/PS6VOz/C4+QvM25QTG0uGZsg7XRAiiCad4TzcV\nqfsN1Jz0J3jixoWRRB2nT1rTft+x40nZEXQHrK9497x6sJlIENq48bi3vS1Jg06I\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"

Professor | Chair of Compilers and Programming Languages at TU Berlin | https://michel.steuwer.info

","updated":"2025-07-31 15:40:08.222Z","user":"","username":"Michel Steuwer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:57:10.844Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":63,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"k8nb7h1feh33hj6","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-07-31 15:40:08.312Z","outbox":"https://mathstodon.xyz/users/heili/outbox","preferred_username":"heili","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAh0ZAD+nm6S6lU/D3ZG6J\ncxHz/8gDntZtSD6hlLejdsMib093LEfHHeQdc0FGr1XNK2TKpdNOjI2tprbauBpC\nXPVJkT55ScDYlg1hovt9cnU7hA/DO/w3jkf9yfEItyn/7HK7wy7JcmGTfMTa85HH\nB4oF0gC4HoUSgiPE83qlx/O3IN3H8tfA/gMj0gLf/GQKra7j6oGnsBFKKftCQhjq\nzXr+6oKT/jjXJPSkekbdYZO5lLDE51THs0W4UaGPSXs5VL+Dk6oXbNRnLUgC4WM5\nTkacbhY0QeZ+B/7kDsY5ntku1PZ816EG8rKXKu2nRO9p8vcsQsAndGQ4STXb4nPq\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-06 00:00:00.000Z","summary":"

PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.

(Mostly non maths related posting)

","updated":"2025-07-31 15:40:08.312Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:47:42.695Z","domain":"functional.cafe","followerCount":268,"followers":"https://functional.cafe/users/yvan/followers","following":"https://functional.cafe/users/yvan/following","followingCount":1935,"icon":"https://files.functional.cafe/accounts/avatars/109/675/797/171/667/520/original/103bd46cc6db9fc7.png","id":"wj1x11n3062n0am","inbox":"https://functional.cafe/users/yvan/inbox","iri":"https://functional.cafe/users/yvan","isLocal":false,"last_fetched":"2025-07-31 15:40:08.401Z","outbox":"https://functional.cafe/users/yvan/outbox","preferred_username":"yvan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxDHg5WQQjHrpbXavoduN\n/2mQ0uH9ZkMsaWY1zlG+rBKi7L98Lf7zWPLfhar6Z/3BakVuOdudW6srkYXEgwml\nDUnTLXZO7Zb4AH2RM+pwnoNkyU6mW1P7AJ8Dmi2CAOF58T9arhyCSoa09EZFudwd\n92F4gkJqq5mjFfTJcOawHNo/64EYMROsYjMPYGTWbkJJpBskzoXxvSg+70BnfQqo\ngQWt2WpzGxu3WwOEBLz79A2cYi58cu/SHum+D6xTCzzYGKcxjHqHoBs+9q4pS18h\n5HavkHAYgmo79t/h9YTCeSgGv94ZnS2DvOsDyWrbl4o0bHVAKEcr02J8S0cTrxIa\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-12 00:00:00.000Z","summary":"

Irritabilité - Nervosité - Fatigue passagère

","updated":"2025-07-31 15:40:08.401Z","user":"","username":"Yvan Sraka"},{"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-07-31 15:40:08.771Z","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-07-31 15:40:08.771Z","user":"","username":"Micah"},{"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-31 15:40:08.939Z","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-31 15:40:08.939Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:34.705Z","domain":"mamot.fr","followerCount":17,"followers":"https://mamot.fr/users/augustebaum/followers","following":"https://mamot.fr/users/augustebaum/following","followingCount":227,"icon":"https://static.mamot.fr/accounts/avatars/114/500/547/650/289/341/original/571ee1bf125a66ab.png","id":"1a28ct2crgl00zc","inbox":"https://mamot.fr/users/augustebaum/inbox","iri":"https://mamot.fr/users/augustebaum","isLocal":false,"last_fetched":"2025-07-31 15:40:09.169Z","outbox":"https://mamot.fr/users/augustebaum/outbox","preferred_username":"augustebaum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+uYG+0I+U2f+eaM932x\nAgOIb0XjO64TZVVAF/RNWYAfDrgIrNL3zXcL93T7z3ayThUmpIWjTNtPQC5PVRp7\nJ2o4yVQChYINZNM1DwQ/6PD7SrrNYCyQeEppb8LcymP3i6liPBHYY/jy3jUlqlHD\nQjy02YhxBvxDwPy82LvdymH1H4TUOjf0ucV+NaWwsIerT367ky0MJ19gVLCtScVE\n4la32UbvUq+bv2YhiA0elKQ+PqZluhovwiqg28y5F4SzisAltbGxMOjBRvhcq3Ko\n85qqgbU3x4898f/I3Kr+I3SoQtHsnslQmhiDU++YMegb37sc9J8Gdoi8fC7eeVbZ\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-13 00:00:00.000Z","summary":"","updated":"2025-07-31 15:40:09.169Z","user":"","username":"augustebaum"}],"page":1,"perPage":10,"totalItems":50,"totalPages":5}

ICFP Conference

Followers