{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:59:53.942Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/jinhao/followers","following":"https://mastodon.social/users/jinhao/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/823/131/925/609/629/original/84b41e84bf8d5dbe.png","id":"w8494i4e11e0746","inbox":"https://mastodon.social/users/jinhao/inbox","iri":"https://mastodon.social/users/jinhao","isLocal":false,"last_fetched":"2025-07-23 12:59:53.941Z","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-07-23 12:59:53.942Z","user":"","username":"Jinhao Tan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 22:04:32.133Z","domain":"fosstodon.org","followerCount":114,"followers":"https://fosstodon.org/users/hpincket/followers","following":"https://fosstodon.org/users/hpincket/following","followingCount":537,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/037/830/original/43eb9639d3cc155f.png","id":"mkr112o72z1ylmx","inbox":"https://fosstodon.org/users/hpincket/inbox","iri":"https://fosstodon.org/users/hpincket","isLocal":false,"last_fetched":"2025-07-23 12:59:54.138Z","outbox":"https://fosstodon.org/users/hpincket/outbox","preferred_username":"hpincket","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn6enNvnaP2oBKc0MfrOF\njrOVxWHTUG2aFAutjAE1HYuQqUDCKy/eHkYpao2kznIkvzklGSphEIAjiDEhHeLQ\neTV0DfVSa9haY/rzD5hJIItnpxDvieB/HARUd088oyKu1qwT/tbVwf2Sj5slGP5k\n9htQ+N+gTteiUSv/mfNv6h/qUeObJ+80xtLAfd2ie/Ee8NcVsOiw4w+guQHk8nNI\n5iP0x5XvXMeL8mBroJi/0NwRUoFToDr8ysc9ltWI+iAGpoVnEp2A54okzNzBOETo\nk3cAgZuU5RRIUBS8HkHPMp17xWx42YNA3yOkmiQZnJ/NdbMYKI78UlP6TzCASH5r\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-06 00:00:00.000Z","summary":"

Hi, I'm a software engineer with experience in large mobile apps and microservice architectures. I have ties to Pittsburgh, Austin, and DC.

I'm currently learning Clojure for personal enjoyment. And I hope to get back to the Banjo too.

","updated":"2025-07-23 12:59:54.139Z","user":"","username":"hpincket"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 05:19:32.796Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/johoelzl/followers","following":"https://mastodon.social/users/johoelzl/following","followingCount":0,"icon":"","id":"pqm03051y972aud","inbox":"https://mastodon.social/users/johoelzl/inbox","iri":"https://mastodon.social/users/johoelzl","isLocal":false,"last_fetched":"2025-07-23 12:59:54.783Z","outbox":"https://mastodon.social/users/johoelzl/outbox","preferred_username":"johoelzl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvw3sesJuLpgUn6pBZz6k\ns6Y/OjQ3d+sFBIU8BPm9zUJ1rDe9Rhmy9iWPYa1IfBsiPAg68SsND7LyZNPM7LcQ\nq5BA5/eXyOIN64SSfkpTlLOaKVZ52QQTC6/Z+ByOEbIMdMdp37pTnqK14biUlC+6\nWEOxavGbKMy869Aql3zsqqKfR6nciGbUF3+Fz1iCl6LvaFQSONhA3etqMDGh64d8\nugxJTHOLZmdcJGtjQGcx2c0uXpDnCjVb/hypuZI2/aaGn7a57yCRMQ66+GeuoJUt\n86shT6XEVXIxVIksJOwQmFgCH1CjNJ+AHvgX5P0q8qGaz+BwDc/NF8MIrxOeAjvZ\ndQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-15 00:00:00.000Z","summary":"","updated":"2025-07-23 12:59:54.783Z","user":"","username":"Johannes Hölzl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 13:05:55.830Z","domain":"functional.cafe","followerCount":283,"followers":"https://functional.cafe/users/eh/followers","following":"https://functional.cafe/users/eh/following","followingCount":626,"icon":"https://files.functional.cafe/accounts/avatars/000/048/337/original/f5689a39538ef231.png","id":"e6t2juo7y9a4c7y","inbox":"https://functional.cafe/users/eh/inbox","iri":"https://functional.cafe/users/eh","isLocal":false,"last_fetched":"2025-07-23 12:59:54.984Z","outbox":"https://functional.cafe/users/eh/outbox","preferred_username":"eh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLtEWIMKiKtx8rTabQUF\nUlFDQAohBm5T0G57dqNJkLqhbsUdUfDAvw/FJbJfBKGqSeiWXzJTt06sl4sqNHzd\n32PVdmyN2Am2t8FPtyt92BHNtOpCh548CGiVdVRhvhf7q/hm0fx1hcxqRo6SaxTQ\nq12K1wuRBkQvfkhvivCXywLM6KtlSsKSc1WkAW+LmJxLH19WBau1+VO8616SR5+N\nN/37ZzY+8g4FXie00vU4MW/rMb+keJqug6AcIEE27BHotunj8ekPBjrTGJ1eoxhA\nKWzDKoDkrp8CldB98Rhi4hk60knZYrQUouqGe6Jty/iMa+sO0Z7zq0ZpqNEjJRPn\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-17 00:00:00.000Z","summary":"

I'm an Oslo-based, programming languages dilettante.
I like Haskell, Erlang and Idris. Oh, and Rust and Gleam too!

If you use iOS and travel, check out my nifty currency app! https://gethowmuch.com

Estoy aprendiendo español.

Bisa bicara sedikit bahasa Indonesia, tapi sudah banyak yang saya lupakan. 😩

","updated":"2025-07-23 12:59:54.985Z","user":"","username":"eh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:59:55.082Z","domain":"mastodon.online","followerCount":0,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":0,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"ro099yz11ap2k98","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2025-07-23 12:59:55.081Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2025-07-23 12:59:55.082Z","user":"","username":"Joachim Breitner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:59:56.109Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/miado/followers","following":"https://discuss.systems/users/miado/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/113/839/588/330/781/313/original/49bb37f088b8e2a5.png","id":"pa007e7ln9q9857","inbox":"https://discuss.systems/users/miado/inbox","iri":"https://discuss.systems/users/miado","isLocal":false,"last_fetched":"2025-07-23 12:59:56.109Z","outbox":"https://discuss.systems/users/miado/outbox","preferred_username":"miado","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApXvTsE5DhxsfCAGfgnW1\nNRqflck9rFnfBFEQ/PZx9Eyx/uPDsRDHvQpp0yKH0b9VPnzFUhQl2V7qNjaXc/gd\nKrWVlS3JrSy64Viff9nRLFr75ZEbSb/7aFz38cI45YG6QJx8MH+RTYeXYC6CjEYY\nASz5oDsxQ32ZgNb8KyPIopbcZ5SvQbzxwZ28pbByV1xWpv3fbZ8UzFNfpekww3cb\nbFTYnT4FIkXjBx/gPq356EvEBn6ExhwBEYdjWS+lcU5B7VnRVRVFih12tr53TtuC\nuB7ON8ZV4ING+sixzcZY+uOFtMD0ObaYhhuawRHjlhAueBEsjyXKsxLFtComPtE7\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-16 00:00:00.000Z","summary":"

🏳️‍⚧️ [she/her] | 🇨🇭🇵🇹🇪🇺 | Forever searching for a home
PhD Student at Princeton University
PL for Hardware
MSc CS ETHZ | BSc CS EPFL

","updated":"2025-07-23 12:59:56.109Z","user":"","username":"amelia"}],"page":1,"perPage":10,"totalItems":92,"totalPages":10}

Harry Goldstein

Followers