{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-16 14:18:21.862Z","domain":"mastodon.acm.org","followerCount":169,"followers":"https://mastodon.acm.org/users/nobody/followers","following":"https://mastodon.acm.org/users/nobody/following","followingCount":1287,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/540/820/900/541/900/original/e86c00132eb515b5.jpg","id":"f35sd677e4pqft3","inbox":"https://mastodon.acm.org/users/nobody/inbox","iri":"https://mastodon.acm.org/users/nobody","isLocal":false,"last_fetched":"2025-08-15 00:39:05.368Z","outbox":"https://mastodon.acm.org/users/nobody/outbox","preferred_username":"nobody","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA420A6Me2n2oT6JZ+as2H\n9Md3az/4shI+E+hwWMU/yfabEFuM7YKTatrvZdobBCLijvWpkqf5MliK3ExXEmgS\nj9xQL1/R5q+aqG5gnMHY6UJHtjsas1RtBvf10n26wKc4BsxoyUjZo+r2NteI9y9i\nOSrysFe6ZQEGHdwmUhAMwMXUXWdU+pLh+8Z4T7lOoyL01fSKqZrQnFCM/mntIKgz\nxFIS5Updn+sJdTfOT3WFHDFei+exd7Or+YqqYodKXGloXc+8A2BxPDK0LfkQ84A8\nIesOBbg0zSYx7l1pjlGcFMlRRpDF0Vv1D6a3l31L4Orb1a4VNhOd82gA9N5u75ds\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"

Offline: mathematics, (S)Nix(OS), accelerated compute & inverse graphics. Fediverse: anti-etatist rants, mental health shitposts, reflections on what I read & watch, musings about residing in Helsinki.

CW: by "following" you ack. you might be exposed to {,post-,meta-}irony, incompatible beliefs, academic br[A!]n damage, and otherwise explicit & disturbing content.

","updated":"2025-08-15 00:39:05.368Z","user":"","username":"Else, Someone"},{"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 00:39:05.616Z","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 00:39:05.616Z","user":"","username":"infinimatt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 14:55:57.846Z","domain":"mastodon.ie","followerCount":60,"followers":"https://mastodon.ie/users/andrew_wja/followers","following":"https://mastodon.ie/users/andrew_wja/following","followingCount":350,"icon":"https://cdn.masto.host/mastodonie/accounts/avatars/109/303/404/867/871/437/original/2391be77b81f1470.png","id":"658l94dj1wjd0w4","inbox":"https://mastodon.ie/users/andrew_wja/inbox","iri":"https://mastodon.ie/users/andrew_wja","isLocal":false,"last_fetched":"2025-08-15 00:39:06.122Z","outbox":"https://mastodon.ie/users/andrew_wja/outbox","preferred_username":"andrew_wja","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsjHqWMBuFY4vLsJmXf7h\n2pOwzeM/ZOIPGal4E1tznY2ShCZMEcRPuNUuCAy6jKn4kEoBjpfZEIxpKfsJR2+D\nsqr7qGApKNnqLe6ZFJyHeG7rDaeZc2AgC6mLYLHvUYOWzu619NZA7plf+xE2RBok\nJrAoA+AC+1ptWVE9X3huGIXNc9z2EWXolue/+QV6Alibw+IqgtmAQqZgFkGcS3fw\n2R4HUWfPc5u0DJ2DaK9JDG7s2Au7jpsDoHcYDLOII6Zi1JkEczaSdRlmQV3Mj3TM\nXAIhu/jj6Ejwo3J+JNn2q5r1DFMMw42iOWloMLQyekk6+cHuQ9aDEv4dv91L2A3j\nuQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Once and future academic, unrepentant computer toucher. Ex Intel & AMD NPU architecture and compiler person. Likely to blather on about compilers, functional programming, climbing, language learning, SFF books & movies, music production and socialism!

","updated":"2025-08-15 00:39:06.122Z","user":"","username":"Andrew"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:39:06.730Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"0vu653ip63fpt9v","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-08-15 00:39:06.730Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2025-08-15 00:39:06.730Z","user":"","username":"ahuoguo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:39:06.971Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/epidrome/followers","following":"https://mastodon.social/users/epidrome/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/272/054/original/8f80c6d294c5c79a.png","id":"wdk04tx20817673","inbox":"https://mastodon.social/users/epidrome/inbox","iri":"https://mastodon.social/users/epidrome","isLocal":false,"last_fetched":"2025-08-15 00:39:06.971Z","outbox":"https://mastodon.social/users/epidrome/outbox","preferred_username":"epidrome","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA66d1H+H+pG5W0TjkRSrq\nLnWUJeeBA1Oj9t8paotrpUqt6AeOLs6/t+dUlE8Dc/DxdOAGOnXbQhobQ6s36gC+\nCfiV9q4g5qpVv/mBDXCUk9pdRoIF1pgAG9ssOpaLnk/XMcxEZN4RH6X4OWbV0sAT\ngKPdG/8/I3FsvDoLXa4fVdacRh/y/HZ+IoIxsd0l3nAMjbYw8VT3WdMpahnOuMgR\n2L/ETEc+C0vsicVbWQP/XxJnFJS64pAyvjRDIAUZ1JxmRPC9aCxGfyBsnIw/gZ4N\nFR5QzAqiNbOCIHO2Lkv7DRLWgG/ZebgpMhGfdFDULaPnxIgdPKG5g+AXYZqc4oE3\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-01-07 00:00:00.000Z","summary":"

Surfer & scholar

","updated":"2025-08-15 00:39:06.971Z","user":"","username":"epidrome"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:39:07.908Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/m_kmpus/followers","following":"https://mastodon.social/users/m_kmpus/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/817/809/336/943/858/original/e0e7508520173051.jpg","id":"0o35628o70u2wpf","inbox":"https://mastodon.social/users/m_kmpus/inbox","iri":"https://mastodon.social/users/m_kmpus","isLocal":false,"last_fetched":"2025-08-15 00:39:07.908Z","outbox":"https://mastodon.social/users/m_kmpus/outbox","preferred_username":"m_kmpus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr+F5KwMPItLKP3RG2ElF\nuzPYUd13LTRFbWwEpaT1FAGzmcdZK4wykZY6VLuMn/4Zh3XO6WXeHabGolhzgOPe\n4Ag+0us30mBJ5olDy+65gk6mT3esfKoabWaHsxZtlDXY5K9nR7kwHRmZUsDjXem8\nPwmpl7PK259cY9/lx3jv9Xn+sOuZO1B7sBM1l8dkLgHlrjUxrCiXullbPgDDAk9n\n9VYuBz+GnPha3AQqEeIvvBdFXdqTey/DtrOBTwR96e1t6tUhtuB07bBkM4EvitNy\nErHVNBtvPAAvEDBxXj+mUpoOfpuitC/U0WCcT8+8+cp/gsscZkPRY7xwT87KmKKq\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-02 00:00:00.000Z","summary":"

Trying to combine CS & SE in robotics. Maybe someday I will do more than “trying”. PhD in CS at @dccuchile , now Associate Professor at @SyddanskUni

","updated":"2025-08-15 00:39:07.908Z","user":"","username":"Miguel"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 15:12:21.408Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/users/jinhao/followers","following":"https://mastodon.social/users/jinhao/following","followingCount":57,"icon":"https://files.mastodon.social/accounts/avatars/110/823/131/925/609/629/original/84b41e84bf8d5dbe.png","id":"d0534q1tj44ng96","inbox":"https://mastodon.social/users/jinhao/inbox","iri":"https://mastodon.social/users/jinhao","isLocal":false,"last_fetched":"2025-08-15 00:39:08.145Z","outbox":"https://mastodon.social/users/jinhao/outbox","preferred_username":"jinhao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1mquErnQx7zhIKxjP+sJ\nlEOhwDkOHy0JsWB58yl2j2daxLsDO51i2lUb0t5WvfnR3RrLhUHQVM1QRtmFPfZA\nwkQudXu2mBYMmVVazQNwqCCFGhuN5dlDFRew1CCIoIoxTk6j0z+UDGxzIJjlBxhS\nkHuPWjHZ0utcjU91TCIxUW/xn4nycjIH/CG0+IVHRTreN48s5HyvhTZE+qDDXpu/\nttbzEOxYeHPmpfPDHqJLDVUtzEx56Y6dP6RDSR0n/PSlVREOixNAIcr8U4A1Ttln\n+tgN9hQWTwE5v0uTt6Rf+eD2WmcT/JNVaTWiMFBTQEXrwhVuKVhOmNIuwNNrUkma\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-03 00:00:00.000Z","summary":"

Ph.D. student at the University of Hong Kong, interested in programming languages, type systems, theorem proving, program verification, and logics.

","updated":"2025-08-15 00:39:08.145Z","user":"","username":"Jinhao Tan"}],"page":1,"perPage":10,"totalItems":57,"totalPages":6}

‹Programming› 2025

Followers