{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 09:35:57.023Z","domain":"fosstodon.org","followerCount":437,"followers":"https://fosstodon.org/users/haskell/followers","following":"https://fosstodon.org/users/haskell/following","followingCount":12,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/545/347/501/488/859/original/496d615c0119a9ae.png","id":"2kj52prrxh24mbj","inbox":"https://fosstodon.org/users/haskell/inbox","iri":"https://fosstodon.org/users/haskell","isLocal":false,"last_fetched":"2026-01-09 22:55:53.396Z","outbox":"https://fosstodon.org/users/haskell/outbox","preferred_username":"haskell","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAszZzh4SpVdjl8DK1W0nd\n7Tgq2YScXI+1XYCO4bQF4dfFCTg1dYfIk3LpPc5h2JuTpS6HdgTf+CaHhDch9WDD\ndamBVIHpciMqj5buPJ3fsMDDm9G8489kJzUyqRaKvLx//V7mjo2d7w3QmlZM0SKW\nIygZg7ykLOIHW+DgTbogUgqv4GSvi64J/pH2tUh31OnGTHZEi/xIsB/TKEZPwVnw\nvyXjY1QSA4vuRn2b+OZVdfcDUJEuQ0ph5I2NuIXQb/DVWgtz1nJW2pLIimlrt9A0\nB7K9GLC6rjMEpwEz0z+ZhTw8fViyWXzD6tHUR3MpkUQSGi8lVdYh8jVu4patwRUs\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Committed to a welcoming, vibrant & ﬂourishing #Haskell community!

Here we talk about community updates, software engineering and the joy of programming.

","updated":"2026-01-09 22:55:53.397Z","user":"","username":"HaskellOrg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 11:48:16.799Z","domain":"social.edu.nl","followerCount":70,"followers":"https://social.edu.nl/users/jaror/followers","following":"https://social.edu.nl/users/jaror/following","followingCount":99,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/109/926/271/567/624/730/original/06debad423ab1039.png","id":"f4xd71vuakv82kx","inbox":"https://social.edu.nl/users/jaror/inbox","iri":"https://social.edu.nl/users/jaror","isLocal":false,"last_fetched":"2026-01-09 22:55:53.473Z","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 a member of the GHC Steering Committee and the 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":"2026-01-09 22:55:53.473Z","user":"","username":"Jaro Reinders"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 22:55:53.559Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/alaendle/followers","following":"https://mastodon.social/users/alaendle/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/116/916/441/121/948/original/2a6dd27dab1cf9f3.jpg","id":"tv8y7cvf14b9hhb","inbox":"https://mastodon.social/users/alaendle/inbox","iri":"https://mastodon.social/users/alaendle","isLocal":false,"last_fetched":"2026-01-09 22:55:53.559Z","outbox":"https://mastodon.social/users/alaendle/outbox","preferred_username":"alaendle","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0eJ0lRWK47JWza/1ZKJy\nnshnC22cWaBx0evdMxttdaPqsYNPHCNo9Dq5r24PsTqrE4LpipLT3Xu/8gtAxYhp\nVREp6uzmtXLkgOWMzvwdcy65tjWwz16h6psarZ0wzXRrM1wXzFTCkD3N1Kgf65/u\nV4Pcamy5a3bu1gHuPGvcZEo+XvG2U6uuAumovj0NfDgaEd9TVUB9SkpgPDrJ35Dq\nnKX0FEKoKpM7vZZqSrLWWQtXA9TGOf6ZqQFEXEctIx1sLmB9V4Sq4ShbV+w5BcyA\ngjUWtuRjvMHRUg0Q9DEo9Puig9TYPupodrau4NGIt0m7orLzu8JYZUTUZ+EXt0Ed\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-31 00:00:00.000Z","summary":"

Hi, I am @alaendle. 👋 I'm father of two 👨‍👩‍👦‍👦, a passionate software engineer 👨‍💻 and in my spare time ultra-runner 🏃‍♂️.

","updated":"2026-01-09 22:55:53.559Z","user":"","username":"Andreas Ländle"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 15:36:47.308Z","domain":"fosstodon.org","followerCount":1184,"followers":"https://fosstodon.org/users/jonocarroll/followers","following":"https://fosstodon.org/users/jonocarroll/following","followingCount":522,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/261/196/538/822/056/original/4dd329eab6083c60.jpg","id":"9sgz1ttjaz76kfm","inbox":"https://fosstodon.org/users/jonocarroll/inbox","iri":"https://fosstodon.org/users/jonocarroll","isLocal":false,"last_fetched":"2026-01-09 22:55:53.610Z","outbox":"https://fosstodon.org/users/jonocarroll/outbox","preferred_username":"jonocarroll","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz1Am67CMQx01k9tfuBNJ\nUjwT5XW/zOw6S8pBgFv+W3xErr2EKxJQGhS70Z+L7vQ9e5fqvb7pdwBibf2MQENv\nUrgIkMLVYoSRohRuZrueHaybc2WT01kdMU2VH2DDW3NH+3xmdjlY8x+AZx8Lzqum\n8t3OwINocegeOwn+LGXvLjVI31Si1uwM5n6sroUsja+FtQTb/EaJ4i/7fy4ojnrN\nNURu1v6mvMXpkDPIhunl/ssqHLj1lFpaPsJkCJA8l/RAm2LaBiqaVwqgGmD1ZmAQ\ntAuVqyORkaaJOW6iJrUbFeSwmpwiFkR/9apqNCSX8NfFNRngFGRmNlzfasK5a0p3\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others

:rstats: :haskell: :julia: :rust: :apl: :python: :bash:

Also learning Japanese 🇯🇵

Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more

Working remotely from Adelaide, South Australia

","updated":"2026-01-09 22:55:53.610Z","user":"","username":"Jonathan Carroll"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-23 18:44:08.791Z","domain":"fosstodon.org","followerCount":4,"followers":"https://fosstodon.org/users/ianmcook/followers","following":"https://fosstodon.org/users/ianmcook/following","followingCount":9,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/808/628/851/108/740/original/3220dc5b279d71b7.png","id":"ee0giynvf1otine","inbox":"https://fosstodon.org/users/ianmcook/inbox","iri":"https://fosstodon.org/users/ianmcook","isLocal":false,"last_fetched":"2026-01-09 22:55:53.645Z","outbox":"https://fosstodon.org/users/ianmcook/outbox","preferred_username":"ianmcook","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxnTIdv+lFvshzLKUDTMz\nNovPK1ufqaqCF0SYrJzzcS6ZixF6rCIQGCN9Myx1LhVYaff/a1udn0n5vdd+pbIn\nGuDnO4w0eQ8Hail9IwZiDSc5bPOuxo0bpB1juaN+7hp+a/iYAzuakCmX/vrFby7x\niXt6PohTTjIcboWHYylGzfWJLzZZAcoHnslT6H347cqGOQEnxLovJ9n0GuSTIv1j\nb1fj0UUTHR09GrDfIaYHN0VyRfag0x+CAYoxX72R8NAzskfgB9X5yVEs+3Mjeqi5\nT9aKUVeIz+nk4P0FkJC9aiF/iGnlZQI6b0clD2EGSc10S8JMXU9VIciU2prEnD4o\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-04 00:00:00.000Z","summary":"","updated":"2026-01-09 22:55:53.646Z","user":"","username":"Ian Cook"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 05:27:26.829Z","domain":"mathstodon.xyz","followerCount":20861,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"kgi9m500x7jpom5","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-01-09 22:45:05.904Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2026-01-09 22:45:05.904Z","user":"","username":"Terence Tao"}],"page":1,"perPage":10,"totalItems":7,"totalPages":1}

Michael Chavinda

Following