{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 14:10:33.373Z","domain":"functional.cafe","followerCount":22,"followers":"https://functional.cafe/users/escape_velocity/followers","following":"https://functional.cafe/users/escape_velocity/following","followingCount":91,"icon":"https://files.functional.cafe/accounts/avatars/112/354/861/591/269/409/original/f13e60b365a4b5fb.jpg","id":"41bby03o5m7al80","inbox":"https://functional.cafe/users/escape_velocity/inbox","iri":"https://functional.cafe/users/escape_velocity","isLocal":false,"last_fetched":"2025-08-15 06:33:35.236Z","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-08-15 06:33:35.236Z","user":"","username":"NoCanDo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 06:33:35.571Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/rg9119/followers","following":"https://mathstodon.xyz/users/rg9119/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/537/629/568/725/457/original/ea67e15ec6885b18.jpg","id":"z64i6040tr5126b","inbox":"https://mathstodon.xyz/users/rg9119/inbox","iri":"https://mathstodon.xyz/users/rg9119","isLocal":false,"last_fetched":"2025-08-15 06:33:35.571Z","outbox":"https://mathstodon.xyz/users/rg9119/outbox","preferred_username":"rg9119","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9ktUZriteo1jTHabf3ku\nKxWeVrX272qPxMOz2RPeh4EXQrz0wv4X6HjshTHJ70ZrUAgCj5tmqq6BcLVK2ZeD\nPsfI+EguTEzKOPqN5mImNsOzc2Hi03KjE/7fC98AzAmjP4Y1sNEd3CPrnkkpkemU\nKmhOwsvWTWbvvz3Wnh9ONqZl6teXElUL7Ias9nW9rgI/gzqm9XRfparORGD9gzoJ\neKBjha6wjmRhhNzhSBY4q2rtmPjPnK7YDfr03a3rVuOH0O1O5D39f7kY37GOM00x\ncvvzvaz8knb60GuDLWZX0fjNJjl8PFMsrK9sOp2GRldb2RXOFhQMtV54WcpqEn78\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"","updated":"2025-08-15 06:33:35.571Z","user":"","username":"Ron Garcia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 12:38:24.363Z","domain":"micro.koray.al","followerCount":25,"followers":"https://micro.koray.al/users/koray/followers","following":"https://micro.koray.al/users/koray/following","followingCount":20,"icon":"https://micro.koray.al/system/accounts/avatars/114/949/196/770/259/795/original/c364f3c16a2fd001.jpg","id":"kucjcde2q5768sc","inbox":"https://micro.koray.al/users/koray/inbox","iri":"https://micro.koray.al/users/koray","isLocal":false,"last_fetched":"2025-08-15 06:33:36.353Z","outbox":"https://micro.koray.al/users/koray/outbox","preferred_username":"koray","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtQeKEKKikoK0KUWBfixC\nlOtBMvV6sagnP9OmXkK8FyMAPzBh93qNSC2XoEc1vqgv+C47NwrBjFoiN12AlTNO\nih0wFkvPZsoYPZLaeGcfM3Fj8OvaNwrcDpXiVVUyQJTHcfxvaKAPHhoK1VK3wsIW\niDDD99LPQvRt3BqvqNRkV4iGPTlIJjNIOURi11AH1vvzg/X5v09HqKqUnrB6Z52O\n7FfkVLQpIOWU8OzeX//Vv2e3Zq/SFncICo2J+ooTHZniRHgiGxHmDFNFClSmSF7e\na/joqw4uFD4v5vsyPJuECB4GsAz4z/voslFWhYt1jzB4nAXmrpDINMV/8YSvyFcD\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-31 00:00:00.000Z","summary":"

Parent of two daughters

#electronics engineer working as a software engineer coding in #haskell & #python

Interested in #nix , #functionalprogramming

Principal Software Engineer @ Soostone ( & contractor @ Well.co )

","updated":"2025-08-15 06:33:36.353Z","user":"","username":"Koray Al"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 01:06:01.768Z","domain":"mastodon.social","followerCount":484,"followers":"https://mastodon.social/users/jcreed/followers","following":"https://mastodon.social/users/jcreed/following","followingCount":212,"icon":"https://files.mastodon.social/accounts/avatars/000/018/832/original/918310099fb11f81.png","id":"w3v8o79m031rjdc","inbox":"https://mastodon.social/users/jcreed/inbox","iri":"https://mastodon.social/users/jcreed","isLocal":false,"last_fetched":"2025-08-15 06:33:36.571Z","outbox":"https://mastodon.social/users/jcreed/outbox","preferred_username":"jcreed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwk6nXz7Zf1m27aq7opSk\nso0zEkY25ySka0x9MIm5S4LO93EgvRwUHH9t54qX3wiSUHlj2A6MgDNeP8DloILW\nB/TjsKImNNpQRkBSbbMP+qH8SRBGoII6kUc0VKVrloGshD56KTMlqOfyJRoB9P9A\nxybzAPVD+9qeL+OuwC7rgIO8+iWRnW4OAjvCf9Mq6kwzfsVvPRhqpR5ond8jDSu/\nah9Kp3SO55mkEHB1SasgBlfh/YjcuI1xqLm1Dv2mA3x1X8yWby+54+u8qV3gf2mV\nxCU+wqoyYD4+0BgpbCmOfW3M2tS/12cz2PYjEOB17dRJBzDznU0atbH59ru6gIT7\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-01-03 00:00:00.000Z","summary":"

theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]

","updated":"2025-08-15 06:33:36.571Z","user":"","username":"jcreed"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 03:55:54.186Z","domain":"mas.to","followerCount":1213,"followers":"https://mas.to/users/nnethercote/followers","following":"https://mas.to/users/nnethercote/following","followingCount":44,"icon":"","id":"k1u7wbgmx19ttx1","inbox":"https://mas.to/users/nnethercote/inbox","iri":"https://mas.to/users/nnethercote","isLocal":false,"last_fetched":"2025-08-15 05:40:49.519Z","outbox":"https://mas.to/users/nnethercote/outbox","preferred_username":"nnethercote","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkkQXx6X9MJ5WpsvqaGG4\nwhw+iLK+l/BJrBzpEZ2NIlysC79v+KJ6rjwq2lyY8jEvz3DWzYqGse1idfwafjU3\nJxbknZcNvn/E1RbcOO1BywgbHoCoVVfS3aOJr4xCVOlKUT5XkXQr9TgF8pzXbwtl\nWeMhkGWIqt7+fwmPMvQXuMDYf1IXyf+JhsM6jdnJ7fdsvDgB56/KN3r3ADfhbhnC\nBnL1KJsWFoPO8oyxWwjSkmZ+dotN8vB4cEFrGSCj29E3GuVUFCZSYt/ZBkuS+p6K\n+8fbnECE7LFwN417tyPlLxJcUSiHmMxEnY/LMlPfD5pAjLo0VgorjV079POI529s\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"

he/him (or they/them)

","updated":"2025-08-15 05:40:49.519Z","user":"","username":"Nicholas Nethercote"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 06:33:36.730Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/omelkonian/followers","following":"https://mathstodon.xyz/users/omelkonian/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/285/072/197/876/866/original/daf18f7c21784711.jpeg","id":"92xg7j33b8qq376","inbox":"https://mathstodon.xyz/users/omelkonian/inbox","iri":"https://mathstodon.xyz/users/omelkonian","isLocal":false,"last_fetched":"2025-08-15 06:33:36.730Z","outbox":"https://mathstodon.xyz/users/omelkonian/outbox","preferred_username":"omelkonian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnjKO8LekVhMhWk7lBITk\nd9FG5o5Oq2hVCmAPdHKFkhR1C7syBne2R8Hm7PtVXMncQ5z+yh5T9cDo0J/2dqYH\n4jqdoEVz+RqURFRw3Mme0EcUuB0TLVjf7/NXjTwMYy2qvQ2FHHwjXXWQYHhjr3PV\nwsPpDSHUhNvO+ZPXSnmtSlbzLYnNBSkn80UQhl1m7aWEKLpDnF6GX+BVmzom8Uq9\ncAJDhfJo7FT1SeR2n8Ih4piSveCfar2MRsHxb90Ti09D9ObNoieTsE4dA+2SWAhq\nQF7uBy/0IMFwY79rThnN90TENuY8taXzJKJuW2tizrjqL0tY2KABIWeXWi2V6oLJ\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing consensus / UTxO blockchains / smart contracts.

","updated":"2025-08-15 06:33:36.730Z","user":"","username":"Orestis Melkonian"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 06:33:36.913Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/kallas/followers","following":"https://discuss.systems/users/kallas/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/954/349/198/453/253/original/88244194a73db3d2.jpg","id":"s27o51lc351mpe5","inbox":"https://discuss.systems/users/kallas/inbox","iri":"https://discuss.systems/users/kallas","isLocal":false,"last_fetched":"2025-08-15 06:33:36.913Z","outbox":"https://discuss.systems/users/kallas/outbox","preferred_username":"kallas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA15Yyu9U5vystTwAbspwF\n92Z3raQZdh0pjnXJ6wfes2PvqaGyn7V4yZR45C2atJDPKnhiou9u+FJYXfB8CDdr\nZfBuAu2/xcXzvPIbjn6kEdf5Y9lIXSk/H1dgy+eMuE5b5BxXBZG2bC9ozJG4JlC3\nxIqmJFFrhki0g5zclYOnX6REBj0M5OvYE/M2n2SRkwzlC4sok7JyrozpqXo3NB/I\nBoc2GAV0jODA2MZ/TTmG35ZXqB5Z1XQJ1gGlD1HEHWlzMdvByUcZzhxRZ2JF3SmH\nkAFjfTxxEM8UreecpkcEH0ieae+snpP/+uVBwkJHmcKYjHTA1gQmUlP98YuxxA9c\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-02 00:00:00.000Z","summary":"

Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they

","updated":"2025-08-15 06:33:36.913Z","user":"","username":"Konstantinos Kallas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 05:24:03.517Z","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":"u950rpu1fcxg27y","inbox":"https://hci.social/users/infinimatt/inbox","iri":"https://hci.social/users/infinimatt","isLocal":false,"last_fetched":"2025-08-15 06:33:37.189Z","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-15 06:33:37.190Z","user":"","username":"infinimatt"}],"page":1,"perPage":10,"totalItems":313,"totalPages":32}

joomy

Following