{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-11 09:17:42.739Z","domain":"mathstodon.xyz","followerCount":202,"followers":"https://mathstodon.xyz/users/divyaranjan/followers","following":"https://mathstodon.xyz/users/divyaranjan/following","followingCount":351,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/461/862/707/516/704/original/8285365a981dfe21.jpg","id":"vnf0e1esw0fqwdi","inbox":"https://mathstodon.xyz/users/divyaranjan/inbox","iri":"https://mathstodon.xyz/users/divyaranjan","isLocal":false,"last_fetched":"2026-01-09 02:42:21.386Z","outbox":"https://mathstodon.xyz/users/divyaranjan/outbox","preferred_username":"divyaranjan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8cAdDbwCKEiRDU65GPx\niFzF4w8uv7W3BxvhK4POuT9DmvAfcq5MRShs4r5bjnh6Jp0KjS9nBVSfBtkda0F5\nWJy2fgOUwkcJpxO5o7uXAU4yya3gluAq3DZsRhQgxSaF/pJTPsScHVKlzGEN/r+I\naLHmzy74tpZphUobXOA+NNuYsrBoVMa9/PRgLojD/CKhD45P0+MwrWsO9hy8b/ko\nXWapmcZnYcr/Amn9HjFLmesS+kNLXIRLlHSqiksQGc0TUi7Puo+Bu+cKuD6vnlHn\nxQnWYRakWOQ+tPYakfwf/or36lSLt68HBICTUs7CctD+jYYnsO1FqoaJclbB0c07\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-11 00:00:00.000Z","summary":"

Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.

","updated":"2026-01-09 02:42:21.386Z","user":"","username":"Divya Ranjan :hilbert:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 00:22:50.274Z","domain":"post.lurk.org","followerCount":699,"followers":"https://post.lurk.org/users/ef1j/followers","following":"https://post.lurk.org/users/ef1j/following","followingCount":257,"icon":"https://post.lurk.org/system/accounts/avatars/109/246/958/309/206/514/original/916c192cf05d6caa.png","id":"xqmz7j25hk7x3mr","inbox":"https://post.lurk.org/users/ef1j/inbox","iri":"https://post.lurk.org/users/ef1j","isLocal":false,"last_fetched":"2026-01-09 02:42:21.579Z","outbox":"https://post.lurk.org/users/ef1j/outbox","preferred_username":"ef1j","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxbeVDHQKASvCs0p8DCdM\nWZuTBZKXHcFlp7zgR3TUPIxUKyqP67hu6zAxGRNHh1NwCJ7dYe/5Q98MLxr8aEDM\n5T8Pb7VBWIln64XKQ9sGVzvwga0mhV1Crjn0KcIS5zvx2U2wpCSY/KqRcDcwNNTK\neUQadvpwJoH3DDSrbyBl95IXwW+WF+LIxOinsMXgqG1RQLGU24rYgrnvS3GCg/4J\n2ZW0XWVOylAb3k6dZl5xxiX7GDQz7Wh7Vlab22rMZzOR3nzH9l1jE9Hfpju/lGjk\nnhDaJajDEN3we7IZK1UdH1i2Fjldl5y385EEMAAriywMEBO9EvZVFeOzBEEfy/97\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Restoring and running old tech with modern mashups. TTYs + micros + printers = creative coding, conservation, art, hacking, history

Also: professor, engineer, dad, husband, traveler, hiker, bike+train commuter, listener, reader, thought kneader

","updated":"2026-01-09 02:42:21.579Z","user":"","username":"Eric Furst"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-07 16:59:14.982Z","domain":"mastodon.social","followerCount":4382,"followers":"https://mastodon.social/users/thisweekinrust/followers","following":"https://mastodon.social/users/thisweekinrust/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/361/004/216/754/269/original/1dae4982929969a6.png","id":"g8w8v6pct8zsq0f","inbox":"https://mastodon.social/users/thisweekinrust/inbox","iri":"https://mastodon.social/users/thisweekinrust","isLocal":false,"last_fetched":"2026-01-09 02:42:21.687Z","outbox":"https://mastodon.social/users/thisweekinrust/outbox","preferred_username":"thisweekinrust","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1fKLIgPY0sP61wA+4hLV\n4qMJwqImfjQy3sOymYigl7VNpNY3vZnWa6SFE9F50+PsLHiqv0lWIQsvgdyTXC6p\nbXvOhK+mlCqzIBRY0IZveMdIZSpnXQoQ7aQwVQUarUv26f0OSsqXOYDX1j52YMsv\nacku3G9Uqz9nKMDNeLlPnpvH6oP93XjXmUd8J9zy7aa6DNaS0pZvqjKpGJ8Vo6GO\naHNEZpzreDKn/ZLPSXrZrTqe+oLo50kD5Tk8QjyvwvAWhbuM55nSNkvRciVTpSW6\nCtyWOaRfzGCr2Aur6aOsqXXjsqGmvbGDUXhi9JvAtyiU+CFCs6kpwsXaiCfBtSeP\nhwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Cataloguing the Rust community's awesomeness #rustlang

","updated":"2026-01-09 02:42:21.688Z","user":"","username":"This Week in Rust"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:13:27.085Z","domain":"tv.dyne.org","followerCount":13,"followers":"https://tv.dyne.org/video-channels/phimulambda/followers","following":"https://tv.dyne.org/video-channels/phimulambda/following","followingCount":0,"icon":"","id":"qpz1wu5epemuznb","inbox":"https://tv.dyne.org/video-channels/phimulambda/inbox","iri":"https://tv.dyne.org/video-channels/phimulambda","isLocal":false,"last_fetched":"2026-01-09 02:27:49.798Z","outbox":"https://tv.dyne.org/video-channels/phimulambda/outbox","preferred_username":"phimulambda","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5FYp/T38CANG6Voiyc1A\nHMMtg5Nu5LjA0tBLQ7Zh2WNdEencrw7CorxoBb0kecbHJzurCH6lcU6eChAefqNp\nzesOqkDsyjMZ7bUgdenJ18FHL1wXyFzAc/o1zFN+KdCoU4iJkvEHuSqRbeyMJnL1\nOer6GWGs2SJNUdBROvVb7ZzpPfNKrBQknMS+eYbmGxZ6iUHQXsdwb0PfkNV1uGY9\nG8zIG95Zm558x58wNPEONZFxDCkm1bq/i4MC4yD5WnTiqW4+QIIgsaEV9jwXVnmU\nX7YwmoktmUxeXjwXi0MLRkz8eNBB3z+Nql/+uxUEL5S5OP/wwnL6mS4x4dHtDkYK\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-26 14:26:37.785Z","summary":"PeerTube channel at Dyne for https://www.phimulambda.org\n\nUncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ). \n\nOther embeddings include:\n- Computing\n- Cognitive Science\n- Linguistics\n- Statistics","updated":"2026-01-09 02:27:49.799Z","user":"","username":"((φ (μ (λ)))"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-14 21:50:51.352Z","domain":"mastodon.social","followerCount":30941,"followers":"https://mastodon.social/users/thelinuxEXP/followers","following":"https://mastodon.social/users/thelinuxEXP/following","followingCount":333,"icon":"https://files.mastodon.social/accounts/avatars/000/368/853/original/af8ed1b8f4209619.jpg","id":"k7stvx3xllffdec","inbox":"https://mastodon.social/users/thelinuxEXP/inbox","iri":"https://mastodon.social/users/thelinuxEXP","isLocal":false,"last_fetched":"2026-01-09 02:42:21.834Z","outbox":"https://mastodon.social/users/thelinuxEXP/outbox","preferred_username":"thelinuxEXP","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwXz7inAVaKMcXXY2Q1zV\nhEuJuUI7BGNgEZ8mrkmTi6pw9aYq+QHasntMGCNq/dW+Ib8id6zYevSMiKgPxfHm\n+Q9EZodycUHQxzQ5HfrTCCBQkQeDIhdXlyCiMv4/td5+M8futROpax9Z0JSpwcCd\nafwHZ1j9mQORcLaNYgY+ajgDCegDh8hABSpNzJ0o6ReYuNevwAD4DJoUXUYe13xW\ngGJi92/dLbnFXiPDL6gj1jjXSD8JBDT0Okjl5ixCN6rsGqcuxd9yQXrmkkISvby7\nzr/unvcQGmRuXpt3Epy452D7OhjyAorQiMLbt7tbbboxb2teSw9CRKKMIjB7jZX5\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-06-03 00:00:00.000Z","summary":"

YouTube content creator and Linux user living in Brest, Brittany. Might post gaming related stuff, especially if it runs on Linux, natively or not !   #linux #opensource #tech #gaming

","updated":"2026-01-09 02:42:21.834Z","user":"","username":"Nick @ The Linux Experiment"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 00:21:49.317Z","domain":"fosstodon.org","followerCount":272,"followers":"https://fosstodon.org/users/eludom/followers","following":"https://fosstodon.org/users/eludom/following","followingCount":221,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/232/180/original/5e6de8c08fe975b9.png","id":"g889gkz7wmtouij","inbox":"https://fosstodon.org/users/eludom/inbox","iri":"https://fosstodon.org/users/eludom","isLocal":false,"last_fetched":"2026-01-09 02:42:21.900Z","outbox":"https://fosstodon.org/users/eludom/outbox","preferred_username":"eludom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9SOqZVCs1vwAQ7JxpUZY\npgZ8qrslOSqsfWtyFrKFtVi31+zAWGm9U8JUbVSJdD6BOjmGs14BNR4Z9wrI4onB\n2mb0sj0vAHmOWGSYgZW1ylBicm+NesPhV4yuWz00X5DJ+zOtpfgHfa4WCsuyymTJ\np6U6l5OCxQdfsxufs1m0Vx7jUZawZc+p4HaLkYYIapFLcyoh55cm2UiUxhFz4V8V\nHGk2ig9vzvuTUOu7Lz0WMRb8NLGWv5AcfA2WfhkNZlUpbzZc/gIldICFaCCiSDYt\nmVhR8AszyNwUf8X6XSnnbDw7FP99K0SkzGJB954O5LnFpfFPZX2vazHYGEt8f5xE\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-28 00:00:00.000Z","summary":"

Hobbies: Emacs, Latin, Backpacking. Work-ish: programming, sysadmin, networking, security, data science. Responsible in some degree for MicroEmacs/mg back in the day...

M-x find-universe

","updated":"2026-01-09 02:42:21.901Z","user":"","username":"George Jones :emacs: :orgmode:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 04:33:41.963Z","domain":"en.osm.town","followerCount":3364,"followers":"https://en.osm.town/users/opencage/followers","following":"https://en.osm.town/users/opencage/following","followingCount":297,"icon":"https://cdn.masto.host/enosmtown/accounts/avatars/109/287/663/468/501/769/original/7df42b87375fdca8.png","id":"9hmqfr6cifldww1","inbox":"https://en.osm.town/users/opencage/inbox","iri":"https://en.osm.town/users/opencage","isLocal":false,"last_fetched":"2026-01-09 00:51:20.627Z","outbox":"https://en.osm.town/users/opencage/outbox","preferred_username":"opencage","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8IhzREGn0uJgXRxRBpR7\nG+onC/g5UOIvXjcQ9FwMn4B5eEK4E2rHVEBD8aJK7sS+3uzlufWwagyCbtnB/DPj\npUtzQV/iIHa3dp0YUNjbmoUaQegHaYJKghsWkA2uqYtg4wDw+LBPllHcJ0AuHVtS\ns07ACcjQ8s6YTflBDQl8eKg6Yn9WlM4WZK1cWjPrA/qCPgLr7Xwh83jg+YMU7O70\nHj7cMYUEgFYH5qj6hjTZ4FfqhbkgiasFhGIFEjM5bl7K4eiU3+8fxT33sGMd2N3E\nO39toPHDS59JDoEH6dJ84T6LAjy0Jhu5C8GDUki4xql+eLJ61xdGoq7QCZ5Acc0Q\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Worldwide, affordable geocoding and geosearch using open data. Since 2013.

We occasionally post threads about #geoweirdness and #geoeducation, and on the final Friday of the month we play #fridaygeotrivia.

We organize Geomob events/podcast: @geomob

Based in Berlin, Germany 🇩🇪 🇪🇺, serving customers worldwide.

","updated":"2026-01-09 00:51:20.627Z","user":"","username":"OpenCage 👉🌍"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 23:36:31.894Z","domain":"social.sdfeu.org","followerCount":183,"followers":"https://social.sdfeu.org/users/pkal/followers","following":"https://social.sdfeu.org/users/pkal/following","followingCount":110,"icon":"https://social.sdfeu.org/system/accounts/avatars/115/360/434/448/834/273/original/26c375a1e00e8bad.png","id":"h0rn4pppuoua174","inbox":"https://social.sdfeu.org/users/pkal/inbox","iri":"https://social.sdfeu.org/users/pkal","isLocal":false,"last_fetched":"2026-01-09 02:42:23.049Z","outbox":"https://social.sdfeu.org/users/pkal/outbox","preferred_username":"pkal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgnFWIJN63i3l01kkMk8\nSBt/sdD+zSx9WFuyTUJNbVaZVsp/RIxjvxbcnkOUkluChjiY/b/jkuQmOtZ5wtdc\nO8HQXoubxonVHxWyKIeHJAsatJZJwAus1PuV1eJO6abAPcp4McV++eHWCJIPi9in\n3d1gwR+2a7tP9K6qsrGjL5qemGdrDGnEEITSxPwG0LduTMAOrbTxOlQqsk+ns8RI\n21DdYb671r6ZETY5vntzk+HYm6jpk42AMSRutU2UmC4HFENUZnKOvprBPgUHbSyq\nmHMMFlfyUglp+26osyxlGJiOVMm+KNk2fhJobn1fySVpIgj9WH5XXMmGhf9cBc1Z\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-12 00:00:00.000Z","summary":"

I work on Emacs and with Program Logics.

","updated":"2026-01-09 02:42:23.049Z","user":"","username":"Philip Kaludercic"}],"page":1,"perPage":10,"totalItems":185,"totalPages":19}

🄹🄾🄷🄽 🄷🄰🄼🄴🄻🄸🄽🄺

Following