{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 15:59:10.930Z","domain":"mathstodon.xyz","followerCount":1530,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1044,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"yrtyk3n8xgokfro","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-04-19 10:23:49.389Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-04-19 10:23:49.389Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 11:15:26.949Z","domain":"toot.radicle.xyz","followerCount":1236,"followers":"https://toot.radicle.xyz/users/radicle/followers","following":"https://toot.radicle.xyz/users/radicle/following","followingCount":3,"icon":"https://cdn.masto.host/tootradiclexyz/accounts/avatars/112/377/239/007/495/404/original/106d1fb201cc3024.jpg","id":"pbg1ufjdajulewf","inbox":"https://toot.radicle.xyz/users/radicle/inbox","iri":"https://toot.radicle.xyz/users/radicle","isLocal":false,"last_fetched":"2026-04-19 10:51:35.861Z","outbox":"https://toot.radicle.xyz/users/radicle/outbox","preferred_username":"radicle","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlrC+DEklH7uSAhgIGB3W\nWZ3cNWh3kx0cgcZQ46sTWCjZTOAAHiws4o9NDGW77Bh6SNVb13dGogOLOiRXxKaB\n2sbGMQzi+UoMu2mucjPQ36npZhyCNcFsp9ppPv8nFGJHPvEO4MTHsB7LZeUOeK+b\nd5ONq875YBBgsGeqpc8CK012lssP76SMnP8dSJl+1cnF4Iy11OrMvY49nADsqDoI\nz4L/KEDoW5jDftm4EEfmLTPrMeltj9W9VBUc/Il7UG/3LgIroZe07QvcXaWmS+su\nGeDi9XJTZZkkYNLHBJEAmdzTUH2KBrU0ob1DQKiWNplYUsb1FUnEW+N11vVj5EyM\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-05-03 00:00:00.000Z","summary":"

The sovereign forge. Local-first, peer-to-peer and secure code collaboration.

","updated":"2026-04-19 10:51:35.862Z","user":"","username":"Radicle"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 16:55:52.309Z","domain":"functional.cafe","followerCount":1409,"followers":"https://functional.cafe/users/racketlang/followers","following":"https://functional.cafe/users/racketlang/following","followingCount":50,"icon":"https://files.functional.cafe/accounts/avatars/110/503/403/357/821/549/original/3b22221cb57a8588.png","id":"ubwo95csj9qrdvn","inbox":"https://functional.cafe/users/racketlang/inbox","iri":"https://functional.cafe/users/racketlang","isLocal":false,"last_fetched":"2026-04-19 11:59:52.830Z","outbox":"https://functional.cafe/users/racketlang/outbox","preferred_username":"racketlang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAldeOVaej3UCqnOhwqcdr\n9mTebj2lOydRQDh64bC+VFMqFXnPkGDXgGutQw6TTxsP+GXWnGxifnGaF4YU4Xyr\njhXJ6U2Eara0lMQ9c1EHxMvyBKqXW0G1kp6T0MvylwcypeyEqosFLPEM9sHbkX9h\nl0Zk+YyV6Rakl507zyOdDDd8kn1mroEN9cbO+52rHQfFMemiXNNK30+eNg2MJ0Zb\nsalkpupVuzwvWn+/NYGrpo2ja4rxC5BBV7O6IBNOLRo6xUDleNy1/RbCgz0caElS\nCezBTbUZS74nO3J7jeRUezdbNTI1xr1IglcCYNCZsmg5dYkQXfqIexQBTJvpqStU\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-07 00:00:00.000Z","summary":"

# Racket is...

* a general purpose programming language — a **modern** dialect of Lisp and a descendant of Scheme

* A project to explore the emerging idea of language-oriented programming

* a family of programming languages — variants of Racket; Rhombus, student languages, Typed Racket, Lazy Racket, and more!

* an implementation of the Racket Language(s) – with native code compiler,

* a set of tools—for using a family of programming languages,

* a diverse community using Racket in diverse ways.

Join us at https://racket.discourse.group/ or https://discord.gg/6Zq8sH5

See **https://racket-lang.org/** for more details.

","updated":"2026-04-19 11:59:52.831Z","user":"","username":"Racket"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 05:02:37.270Z","domain":"fosstodon.org","followerCount":1081,"followers":"https://fosstodon.org/users/tarsius/followers","following":"https://fosstodon.org/users/tarsius/following","followingCount":78,"icon":"https://cdn.fosstodon.org/accounts/avatars/113/613/020/913/991/179/original/d0817bc76b671437.jpg","id":"cys80y5k516eh4x","inbox":"https://fosstodon.org/users/tarsius/inbox","iri":"https://fosstodon.org/users/tarsius","isLocal":false,"last_fetched":"2026-04-19 11:59:52.922Z","outbox":"https://fosstodon.org/users/tarsius/outbox","preferred_username":"tarsius","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3QF+nhw0nTDfzyRBuiN3\nzCwQFbSK2C2iVo/YYJSFUfRGACnX2vTTrZRQKdKJzjz3e7K02inBrw+viG7aU68Y\nu9Uqr5Ks74r4ujSDyTLb0Hq5yfyh845bpkpZsimGD131ca/Nly63M+H4zlBRgc8c\n4cESwlJbcbPgJur/EPasck60sOWtIjQLOozPUv1IUc6KwosI1PKqUmVmFTXycgKt\nl/BocN8+zoVkV2j4buAEeT7p37C9DhIvNZI04NVINCLZTBbMmKYzSid9PnYw+rqt\nnHSAFM+y8ZXtGqwFolYY2RU1SwVUxDvLDtdDMosDZrjYytLVSoZSbLRC755qzo46\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-07 00:00:00.000Z","summary":"

I maintain #magit and many other #emacs things. 🕊️

","updated":"2026-04-19 11:59:52.923Z","user":"","username":"Jonas Bernoulli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 07:51:36.989Z","domain":"mastodon.social","followerCount":112861,"followers":"https://mastodon.social/users/nixCraft/followers","following":"https://mastodon.social/users/nixCraft/following","followingCount":205,"icon":"https://files.mastodon.social/accounts/avatars/000/038/659/original/b0de8058da52f2aa.jpg","id":"1pmc8ungkg9oxx9","inbox":"https://mastodon.social/users/nixCraft/inbox","iri":"https://mastodon.social/users/nixCraft","isLocal":false,"last_fetched":"2026-04-19 10:55:38.116Z","outbox":"https://mastodon.social/users/nixCraft/outbox","preferred_username":"nixCraft","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8Too5u3+YVwJ/abMmX4d\n3CQGBhod+oIV6Ls7Om0AYEW7pLgDxcMQqx6hOzNxyod9vhz65xjScG+qA/WAUfTb\nuNaqzmuSmaYClQGmmMq9Yb59kIlb/eMQq7pB59ttAb68QWKmqYf5KrK5Lw99V2C2\n8YnCN459ZcnfuhVQGnjvsJWVg8kYNVKqU82+tfqWXQT3ziMYNsBrpcjmWxPW0feY\nayBKKTOwvB5IC6KnxHmpas5ka8AmUI9a92KV51gvbkfSm4a/GIs28zz7QU0jTCfW\nqEX+mbXl29Hpt9QcjqEMg1XOlqp9F4X6sVs1IYBl3Yy2kjjkaj36piaRpDEL5yA+\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

Enjoy Linux & Unix-like systems, open-source software, and programming? Into Sysadmin & DevOps? Follow us to make the most of your IT career! Discover new tools, IT news, and apps daily, plus a dose of humor.

","updated":"2026-04-19 10:55:38.116Z","user":"","username":"nixCraft 🐧"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Jonathan Deane

Following