{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 11:50:19.936Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/svishnus/followers","following":"https://mastodon.social/users/svishnus/following","followingCount":0,"icon":"","id":"n8xj3xt2w854wbl","inbox":"https://mastodon.social/users/svishnus/inbox","iri":"https://mastodon.social/users/svishnus","isLocal":false,"last_fetched":"2025-09-15 17:03:24.745Z","outbox":"https://mastodon.social/users/svishnus/outbox","preferred_username":"svishnus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApepnTTEbeyYotNzJ5Zwg\n4m6fNROjXw1+JaBR6riYXd8BDY/AFj6bc/GuyUfHaTRNpesfqvFxbQ5p61DyC+wD\nb7YF0eMGF+qwXDw3L5K8LROXqqvoPkhAnsKE7LyEVLMqHYoSxjek/6gBz87GHY63\nBqKz/T3mFPdnVFXEM8H5DSj/OuMkwNb8ccaY1lsWVt1dU+Vrjc8IaHH1GUnA5Eig\ndxgRFgq4XrEznWNcfR4VWnfb/P6FiFf1oD/kIlMhYDNVmR5CCkNpR/Q/RDbK6Pi3\ncIsyGVkrJMy3oqwr5gfWdycozt2lDLtqFmlEyYcG1a8r3Jk1+GRg84ur0vSJCJmR\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-23 00:00:00.000Z","summary":"

PL, Systems, & Math @UMich

","updated":"2025-09-15 17:03:24.745Z","user":"","username":"(Sundara (Vishnu)) (Satish)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-08 17:52:40.282Z","domain":"functional.cafe","followerCount":27,"followers":"https://functional.cafe/users/escape_velocity/followers","following":"https://functional.cafe/users/escape_velocity/following","followingCount":94,"icon":"https://files.functional.cafe/accounts/avatars/112/354/861/591/269/409/original/f13e60b365a4b5fb.jpg","id":"58864y85iy7p93s","inbox":"https://functional.cafe/users/escape_velocity/inbox","iri":"https://functional.cafe/users/escape_velocity","isLocal":false,"last_fetched":"2025-09-15 17:03:25.290Z","outbox":"https://functional.cafe/users/escape_velocity/outbox","preferred_username":"escape_velocity","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqcaOVTtu6yfD2+Y7dTyj\nS33X8xpUFlf2bKd98fZwNC5RrTflZZYKEc3cv8K3Vi1eOg7kOVfNV4eYUH2mteXN\nvyeFHVQFV57p/dFam8ElCw7UlAHeTtTmPuTqMVVxihROAbojiCl7S+X+lqytggX5\n3MO8ZS1x9C5t/FGf2CvXnYSIGICX0yQVSJGuROAbgGfmiB65GxHPqmaZqGGRdN/u\nDBlkPAVeyy8/xLToeOBD8m9W4L6UC7Q4Vj/JnVdAtsp1SS+Ig5kqkKtkKMbcytgO\nk5ZDsW8N17VPU007BtWij5SuiXx11viHCH3E1ohkzOj/+KR2SNKmM1mrVeGGv1jd\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-29 00:00:00.000Z","summary":"

Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.

","updated":"2025-09-15 17:03:25.290Z","user":"","username":"NoCanDo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 17:41:01.261Z","domain":"mathstodon.xyz","followerCount":11,"followers":"https://mathstodon.xyz/users/sgregersen/followers","following":"https://mathstodon.xyz/users/sgregersen/following","followingCount":33,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/018/864/812/000/522/original/5d7df735be61ecbb.png","id":"6h0r7hye3ck7a13","inbox":"https://mathstodon.xyz/users/sgregersen/inbox","iri":"https://mathstodon.xyz/users/sgregersen","isLocal":false,"last_fetched":"2025-09-15 15:59:00.064Z","outbox":"https://mathstodon.xyz/users/sgregersen/outbox","preferred_username":"sgregersen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAobQ5ErKaaX1SwbLxyPGh\nxuCcP7vFSF/EVAvZoOg4mh+BRGJmzuNm/Kn1LEH5UzFH7TQDjtNGUnD2tTsXjZUI\nTT75OCoWTklCexXvN3vkpzwg14EFlco2dGeYdZFyf5UDcVYwq0TxmeE4yx5ajB7Z\nDcyT0y6u3tijWMWBzlnAw81NIghyFm1h52wkcc7XNoh6/VlcTWQ63GU9TJVJqXNq\nV3lNWAz+uE/W5ZaP3uxF1bYKJzseTYl6e9kvNGl1NXAoSU2+mCdxl+E9q/WN4mkJ\nVWGvAu+4F2+qTV/LkdffzPb5osCkSmbh415KBQkHP+KKk/+Wzl6FhiPZYZjiCXXL\nvQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-13 00:00:00.000Z","summary":"

Postdoc @ NYU

","updated":"2025-09-15 15:59:00.064Z","user":"","username":"Simon Oddershede Gregersen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 02:21:30.693Z","domain":"mathstodon.xyz","followerCount":1765,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":485,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"82bp2nri955442t","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-09-15 17:03:25.465Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-09-15 17:03:25.466Z","user":"","username":"Jon Sterling"}],"page":1,"perPage":10,"totalItems":247,"totalPages":25}

markusde

Following