{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 13:09:04.454Z","domain":"social.edu.nl","followerCount":67,"followers":"https://social.edu.nl/users/jaror/followers","following":"https://social.edu.nl/users/jaror/following","followingCount":96,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/109/926/271/567/624/730/original/06debad423ab1039.png","id":"hawdkjpwov2wolp","inbox":"https://social.edu.nl/users/jaror/inbox","iri":"https://social.edu.nl/users/jaror","isLocal":false,"last_fetched":"2025-11-07 04:32:19.453Z","outbox":"https://social.edu.nl/users/jaror/outbox","preferred_username":"jaror","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvwAP9wwEJ2Bol4ATUIf2\nxzxESB/yicmz8ESoEMYmAUUyerodYzCMA6krudUwG3mBT3HpPtLnlsGZ+tKMVfwE\nTyAK18O1/+gWghz0q1ASFPRLMEOMAQ4xt0M8F97tlAJZsIHzmRfU3WOABMmOL2gb\nnYSDuCGLMDzsj0XdcyP6Rb+2rwOZ17qiZ0Uq0Mi+V0m/AH2i+Ur4dS0L9NjQzM+o\nBk6dHmNVoHvCjaNAm7g6mjNABQMhohEQ49ORE7rxsSxTfIU1/jvIVRFH1J0WdsFS\nsZ6vzr9sl4SWqOVdAoqUPLEUzcpCchoZR+RW2qrzKIWpMF/JMnOFSm65AeCnztyV\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-25 00:00:00.000Z","summary":"

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and member of the Core Libraries Committee (https://github.com/haskell/core-libraries-committee/).

Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

","updated":"2025-11-07 04:32:19.454Z","user":"","username":"Jaro Reinders"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 19:02:27.647Z","domain":"g0v.social","followerCount":230,"followers":"https://g0v.social/users/dannypsnl/followers","following":"https://g0v.social/users/dannypsnl/following","followingCount":186,"icon":"https://objects.g0v.social/accounts/avatars/000/121/131/original/7a814839e0dc9cc5.jpg","id":"rzzpf0gzp0whkwr","inbox":"https://g0v.social/users/dannypsnl/inbox","iri":"https://g0v.social/users/dannypsnl","isLocal":false,"last_fetched":"2025-11-07 04:32:19.741Z","outbox":"https://g0v.social/users/dannypsnl/outbox","preferred_username":"dannypsnl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl5cLFQk+8ISPxIzhIZYM\n0O9pby0n7rBunalZ5oWsbhI5UyV2bo/giMeKgV19HfJUpjmNnUygu5r010ZjH8ZZ\nY8BskTAc+UukS+Df3oFi6G8s/XrYU8JvGM5CGokFpbSwjV4ro4Kqb8v2bx09ElkI\nG6WCbRmUFCNyFmtvBdDOW/Bpj/9Jcy76MJi6cv7F4SVqdwcjisrCF3R1jEagWQD8\nq42Eu6xbxD5ez1ImyhozEQXAFHd+Bsw0wMOdWgut/o5zi+GHzh9duIQF54Ut1Ynn\nH3tiEuvs4/R7EuF44qm1TiUnDG73bvMi0PCQqEdSuJBUvU9AjCMn57dhOP8i2qbn\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-12-28 00:00:00.000Z","summary":"

Tâi-uân lâng｜autistic｜數學｜電腦｜歷史｜摺紙｜人之患

Et tiedä. Niin minäkin.

","updated":"2025-11-07 04:32:19.741Z","user":"","username":"Lîm Tsú-thuàn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 11:43:26.701Z","domain":"mastodon.social","followerCount":100,"followers":"https://mastodon.social/users/godfat/followers","following":"https://mastodon.social/users/godfat/following","followingCount":125,"icon":"https://files.mastodon.social/accounts/avatars/110/649/039/350/754/228/original/124b61dd8ed1acb7.jpg","id":"30zj00obyb82ngt","inbox":"https://mastodon.social/users/godfat/inbox","iri":"https://mastodon.social/users/godfat","isLocal":false,"last_fetched":"2025-11-07 04:32:20.293Z","outbox":"https://mastodon.social/users/godfat/outbox","preferred_username":"godfat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv26id9NvZkJeZdp7QrYz\neE0AKabK3XNpL9O1TshunBiKTdJTQZb20DfLxjLiISkrj4xKipcJLMW7Y9k2AzqD\nUhj+hv6Mu5B5gw+BQiSnathnudxkuzCC2v7mUw0dhCNg+AgY5BXVlUOkncSwgBU9\nY63JgWKssvobE4pgbSswm77gc2SqLibwt6gjozqCIBCUi993I2A39Q/xS4Fvfix1\nqje2LdhzVGxV7scOssGZc0Ul2KfMpkRd08UE8U1aSx+W/UmK8ORPh4kUgOzebpTo\nLHHnqN/ixhsdMf9480TACzvYF17iGqnAtBYmHi0SwxsYg28XfHa3JsswsO8T8jne\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-03 00:00:00.000Z","summary":"

Computer games, computer programming, and computer science.

","updated":"2025-11-07 04:32:20.293Z","user":"","username":"Lin Jen-Shin (godfat) 🍥"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 03:35:54.089Z","domain":"mathstodon.xyz","followerCount":246,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":206,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"4qggyhh9atwzwwa","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-11-07 04:32:20.829Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-11-07 04:32:20.830Z","user":"","username":"Liang-Ting Chen"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

banacorn

Following