{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:15:24.666Z","domain":"mathstodon.xyz","followerCount":1372,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1038,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"uzp7idahf2153vu","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-08-08 21:53:44.003Z","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":"2025-08-08 21:53:44.003Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 21:53:44.038Z","domain":"mstdn.social","followerCount":0,"followers":"https://mstdn.social/users/Danieljharvey/followers","following":"https://mstdn.social/users/Danieljharvey/following","followingCount":0,"icon":"https://media.mstdn.social/accounts/avatars/109/332/284/450/288/724/original/d6cbfd5c57317aaa.jpeg","id":"875nj9w6kn305vw","inbox":"https://mstdn.social/users/Danieljharvey/inbox","iri":"https://mstdn.social/users/Danieljharvey","isLocal":false,"last_fetched":"2025-08-08 21:53:44.038Z","outbox":"https://mstdn.social/users/Danieljharvey/outbox","preferred_username":"Danieljharvey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6719FC1yuPGoLbkykadS\n8txqudyY3JqHhXYZiJ3lgAM3F2IVvT8OXr7oaYlQ9yqIKlgxAkHIq+CBvg69rPt9\nQSQeU+GOGF8OQPOYuVtezZ1Xo7BqJK/3b16VlLijDTOayvB+tPkCuuEJgQz2HdGu\ndV0154RbCQmMgsl5siaN0/YM0r8uKsQ9t1omSGjd9dLNN8qj29/jzOP/+lKsudVV\nDlv/yjfOsLR5icNBEo4yE4D4eU0klvvEkuESLFwMiUkmEAG37yW+YfBpxOeVsNnN\nNJ19FTz9aTiJyUTKzNkeuke7MIV6syvm4grNS1SrazgfBklQT/LVTYm2u/M8zXxe\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Computer user in London. All opinions sadly my own. He/him

","updated":"2025-08-08 21:53:44.038Z","user":"","username":"Daniel J Harvey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-14 02:05:06.128Z","domain":"infosec.exchange","followerCount":0,"followers":"https://infosec.exchange/users/0x6d6e647a/followers","following":"https://infosec.exchange/users/0x6d6e647a/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/111/084/650/620/789/603/original/aa36427466a0fa5a.jpg","id":"i8q3285phoz60c0","inbox":"https://infosec.exchange/users/0x6d6e647a/inbox","iri":"https://infosec.exchange/users/0x6d6e647a","isLocal":false,"last_fetched":"2025-08-08 21:53:44.076Z","outbox":"https://infosec.exchange/users/0x6d6e647a/outbox","preferred_username":"0x6d6e647a","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyPuURoxS5Yd0vQM78tU6\nWeWXYBBPTOJTzMgjX+pqtgFGjSs9PruLP62WA91W96AUTvafrhuMLwry9WT0KB29\n9MSIByqHRbDZDvXRtCViQzKSGa4yP2RHqysEviLG3SvjPn09/MfD52wGpTyXtk3p\n553xokFfh3b84B3RQbtUmIxwTZuAEzM8fmYkg5fXWLTkWjiEtkw79HQ+eB9XWGLP\nnp5D90WjgHp4QsjpkpS7MJf43plkakzN6zsFTk/8nnVWYpnHslIncDA1w/PluM88\nJXMq3spUCCUzBjbGsLaCe1qMl0wIjkGiaEZkKpcHccNN2LHFmPaiR9hcifKqRUuV\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-18 00:00:00.000Z","summary":"

malware researcher and corporeal entity

","updated":"2025-08-08 21:53:44.077Z","user":"","username":"mndz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 16:42:22.793Z","domain":"mastodon.clipperz.is","followerCount":246,"followers":"https://mastodon.clipperz.is/users/gcsolaroli/followers","following":"https://mastodon.clipperz.is/users/gcsolaroli/following","followingCount":743,"icon":"https://mastodon.clipperz.is/system/accounts/avatars/110/005/431/033/687/514/original/c04fe1ece2bbab12.jpeg","id":"gr086qqvrs0wd52","inbox":"https://mastodon.clipperz.is/users/gcsolaroli/inbox","iri":"https://mastodon.clipperz.is/users/gcsolaroli","isLocal":false,"last_fetched":"2025-08-08 21:53:44.267Z","outbox":"https://mastodon.clipperz.is/users/gcsolaroli/outbox","preferred_username":"gcsolaroli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvng7n+deTrpH0onHGOAd\n0U1z/JX0B9LpOGjJHdWBltKtyN7etswgL7Ok9Dr8EMkFfiLmGyiAiYlYY11A4ZCV\nHr11vhKhEn0k+y49yfBgPuqJWbfqkjMnh5HGT2+iXCO4Cg0N1/WtFbvtdYwQY9nF\nkvsh//nanCRdfUmHwsiegjSXFgBJWa7qRA1LIStGzDPl3rUC/F3fiGP+kFvVtlsU\nmc/rUR3+3zZd92qElQMmZf5vfOa/Bj9lDM51ikmaeJDcRBo40wUTcl5HK6u7Hu4a\n31VVMKDZpR7YTnu2OWCr+pyPUsAf2ctjzePkzrGy8T5wwr+U68vQTCfOW0uM1yl2\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-11 00:00:00.000Z","summary":"

Software developer.
Still working on Clipperz: clipperz.is

","updated":"2025-08-08 21:53:44.267Z","user":"","username":"Giulio Cesare Solaroli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 21:53:44.376Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/janiczek/followers","following":"https://functional.cafe/users/janiczek/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/109/268/911/578/554/088/original/a2c3643848f51c4a.jpg","id":"j89uy30j27ffsb8","inbox":"https://functional.cafe/users/janiczek/inbox","iri":"https://functional.cafe/users/janiczek","isLocal":false,"last_fetched":"2025-08-08 21:53:44.376Z","outbox":"https://functional.cafe/users/janiczek/outbox","preferred_username":"janiczek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAph7NUZdu5IfP9qYkbmVD\nRjDMcUzQuJvTLeFhmcOPMcEsTkXcvb5n9J0zo8yN9z+cNzFvI5N1UpQAc6Aqv+d9\nVcGjOIea1Q6qyepoTnNFeeI4uNIhBGFZG6Uc44qQofiqYbll4E5hCzawtHH1TyRm\ndGkKANK52fuL/s1aoRM1+IxgumJ6zBKiZFzOAAuYhiKn2nwldnhRSP2VvrrATWq7\n6Qjdlwxm2p/naiTn/YLE/66GV9qY/v/bIOzx0PSa6Mqn69onUALyCPcXJI00Q8hc\nYzp374GS4LdPc5zDv/wAMYVpnyYIkHkAKhOOd2PiD5gEuDJTex+NvxU44dH3LDD0\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"

Sucker for Algebraic Data Types and property based testing.

","updated":"2025-08-08 21:53:44.376Z","user":"","username":"Martin Janiczek"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 04:53:32.660Z","domain":"snabelen.no","followerCount":0,"followers":"https://snabelen.no/users/robinheghan/followers","following":"https://snabelen.no/users/robinheghan/following","followingCount":0,"icon":"https://cdn.masto.host/snabelenno/accounts/avatars/109/284/776/143/343/659/original/f6fa36c48e704bbd.jpeg","id":"p299037m2w7av4h","inbox":"https://snabelen.no/users/robinheghan/inbox","iri":"https://snabelen.no/users/robinheghan","isLocal":false,"last_fetched":"2025-08-08 21:53:44.526Z","outbox":"https://snabelen.no/users/robinheghan/outbox","preferred_username":"robinheghan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArXsvaU3ZPYkvL+2GSfdM\nOOW9+SFJEik8epflJPmqhvENo44wjiB6zN+Cp8nDyE/YS4HF1nVrG+3yZcNl78CV\nEOGgZS/lqMUInN6kSjUdve6rNUREuPZO/BtHx4fl9pZ8BzmT+ZXPzQkxsFpenbSu\nEpdFUkD6JqcFvvZkokjazTTpN24NdFaLsajxOAaAZsL9lFRQLLVBZxuvYm4O5rXt\n1rqp+iLdATuNMuWaCpg/wn3MIDp9bbX85YjlEtrd3QH8F98dDQ7xMyo4KLRhfk9K\nuvKfbITWYGQyNRVM/b3JdBjVhMaZVGNsRXh4U2ytPWmkQT1sn3RcI4yCOGOKT1aF\n3wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Creator of the Gren programming language.

","updated":"2025-08-08 21:53:44.526Z","user":"","username":"Robin H. Hansen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 09:50:57.070Z","domain":"witter.cz","followerCount":21,"followers":"https://witter.cz/users/kubik161/followers","following":"https://witter.cz/users/kubik161/following","followingCount":221,"icon":"https://media.witter.cz/accounts/avatars/109/307/345/648/620/198/original/a762f4ff4645da9f.png","id":"5c6x2u4rvy1n1yc","inbox":"https://witter.cz/users/kubik161/inbox","iri":"https://witter.cz/users/kubik161","isLocal":false,"last_fetched":"2025-08-08 21:53:44.664Z","outbox":"https://witter.cz/users/kubik161/outbox","preferred_username":"kubik161","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzEVsqdEVl3z8DkvFtnyK\n1BJulEjfWz3o0zMW1zHoBFnXn3o3H41b9xnSesa0q2foU6aOkxu2fmRiCJJiN5MV\nWOHvRHbL5m8Io/IAwJc5Ag+cPipdACqNhtymBQ1o/rBDeNr2XhSoeWqZFvWgzJTA\nRD71ALiTU3sjXstLFaFy/QHwZsIObiVRRNKCsQfr6ba7zabg2nG6LwVqObUzb7s2\njoP4vamCLuPRu0D7XQ3vd8rzQQRa08gumotGlM+UmvDjBacFKZJcnq8f/OKo9KaP\nzM942zG0gR+hFLqkjo9FROp05bG8tXPDRx/meT8AVEcXrZRS6e13PNuuGv8JpRYt\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Android developer and member of the czech ICT trade union.
#android #brno

","updated":"2025-08-08 21:53:44.664Z","user":"","username":"Kubik"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 21:53:44.927Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/retroartdt/followers","following":"https://mastodon.social/users/retroartdt/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/379/021/original/0d26109a9a10148e.jpg","id":"yobu5f0pv85gy97","inbox":"https://mastodon.social/users/retroartdt/inbox","iri":"https://mastodon.social/users/retroartdt","isLocal":false,"last_fetched":"2025-08-08 21:53:44.927Z","outbox":"https://mastodon.social/users/retroartdt/outbox","preferred_username":"retroartdt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlnwgHKxIgdcayT8G2gmg\njkbsoFR/DgKWm0r7LhZETEx7YqWn4P20UOr8qptG8dLAk0RY5kHKLAQkb4et5z0e\nfc3lc4FkI/6CzMUyQGG3o76822j/+PVdtUcWJXh/XO+/WCrO6UyvmPeg5Z8SlBck\nfho44a3UMIoSvgrrtNDPX0mWle0G2K5m1bxHwWAxCumxZuEiQulE8O1pSYEZOf4D\nw5ssJKRPl17C8Zl+MXxLjrogElcz4ZvbyeSSVneCoAbfpBtcbtK4Z/p+xWU6Wqna\n91AsD8bEw2ZNDnGP79i5Uy6+ZK6Gjcn1LFPkUTkRrgyv3zIna2yGyvTMQoAiZwLI\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-06-24 00:00:00.000Z","summary":"

half glass poison full of guy of type

","updated":"2025-08-08 21:53:44.927Z","user":"","username":"retroartdt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 06:14:39.237Z","domain":"mastodon.social","followerCount":669,"followers":"https://mastodon.social/users/aeveltstra/followers","following":"https://mastodon.social/users/aeveltstra/following","followingCount":1031,"icon":"https://files.mastodon.social/accounts/avatars/000/560/730/original/47349b414a445a94.png","id":"z7u8d3o534uo2l0","inbox":"https://mastodon.social/users/aeveltstra/inbox","iri":"https://mastodon.social/users/aeveltstra","isLocal":false,"last_fetched":"2025-08-08 21:53:45.437Z","outbox":"https://mastodon.social/users/aeveltstra/outbox","preferred_username":"aeveltstra","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs+9gaw+RfhaKReNftbYz\nxaq9YkoWXoZbSjhTPykYVCPcMMmEv4sWK5mJ7myRj8I8qNxU+8xLn2W5JQGQce/V\nGe73PyRzC1RsD+fag0deskjYr7btxSuF77AbGJjgeYPI6SU27wHiRDedFI/3qFEQ\n3zc0fW2sreNgjDnTMzR4AurNXUmj6Rknb+eko5LWKswjWk/7wLv8CXBEr4AmYpDC\nhzN0sDuBug5uWBmqAqy7BJAx0w38vorzN0htYmqb2TcskasUcuH1arTJ46DBkGId\nPagojo3bj2Q9laf5w14FXbI9YqrDEuLGOpHi2/zPt65fZqImE7I3yF6jkVOw7Zzv\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-10-09 00:00:00.000Z","summary":"

Hi, this is Andre. I'll be writing about software architecture and development, cyber security, UX/UI topics, politics, and queer experiences. I'm a classically trained musician and music composer, band director, and music instructor. I'm handfasted, have kids, and play and create (video) games. Sometimes I don't recognize social cues.

","updated":"2025-08-08 21:53:45.437Z","user":"","username":"Ænðr E. Feldstraw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 21:53:47.827Z","domain":"mastodon.nzoss.nz","followerCount":0,"followers":"https://mastodon.nzoss.nz/users/alexkorban/followers","following":"https://mastodon.nzoss.nz/users/alexkorban/following","followingCount":0,"icon":"","id":"w40853vhu7a7mv4","inbox":"https://mastodon.nzoss.nz/users/alexkorban/inbox","iri":"https://mastodon.nzoss.nz/users/alexkorban","isLocal":false,"last_fetched":"2025-08-08 21:53:47.827Z","outbox":"https://mastodon.nzoss.nz/users/alexkorban/outbox","preferred_username":"alexkorban","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1svq0TdnSnFCQrEBZSK3\nXgYmha0hfZUgaQgx6rxZ+iQGIkC1uiDEKSdBaWXXj2R0DjnqeM2mG7NghwY/n/do\n3/MTes/qLVxsKjd7vodux7iB6TO96y7VkHoXScRt80r0nDhGkPjq4K7D01oH8jKC\nFZTKEuwvuhrT6TvZlnCkIUoU/batm/EGaJVreCIcz/KS/dE7WyMzs4jtOxuWWsSM\nlH0FPQNJy4QzOL3LPMKmy55U2XHeThnrPMDMiLIcTyILTmzW2txHUCwFo5W0dkYu\nb6HyejmLvx8t0DVNK/8gYXH3o1+kn7XBRr5N6Jn63OL8MAbYhbuxoYcQtU68EwKb\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-05-28 00:00:00.000Z","summary":"","updated":"2025-08-08 21:53:47.827Z","user":"","username":"alexkorban"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 21:53:47.922Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/charte/followers","following":"https://mastodon.social/users/charte/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/001/166/093/original/d17ff9214d905e50.jpg","id":"x7n0c7d6sjy2cgd","inbox":"https://mastodon.social/users/charte/inbox","iri":"https://mastodon.social/users/charte","isLocal":false,"last_fetched":"2025-08-08 21:53:47.922Z","outbox":"https://mastodon.social/users/charte/outbox","preferred_username":"charte","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwK4J9ggO4FvMRRgvcP63\nnO55q51ZNNZomFC8gWmJgMaklo3m5VtO3QVblr+lj1uioHYHUivfPAr5xdH/0JJX\n34hu9FTlSz/J9Tdl2AATO9YH+3GFBmf5tYUwkVa70t9Ba5hWXRoYF7YTRcCFzzUg\n2/XWSK3OoNDTbwGNuHPup4uJ67ZlBR70zUrsslzQtlNJv9NBI8Bh0SN8kG4VkGTF\nfZlP7UuJhrCTZjBOXJm7OiXOtRGB/3oiUfaKCFL5k1PoBPqFBfz8UnjOgh+JMt6V\n/KWVpgJmU0Jr48w67rV/pNIfTX5Ghlzsh6FkeEXZp5RX2E3NLSnQIuw3LM234SPy\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-04 00:00:00.000Z","summary":"

Instance Monad where

(>>=) Programador Funcional . #Haskell . #Erlang . #SoftwareLibre

(>>=) λ programmer . #Haskell . #Erlang . #FreeSoftware

","updated":"2025-08-08 21:53:47.922Z","user":"","username":"Charte"}],"page":1,"perPage":10,"totalItems":17,"totalPages":2}

Marek Fajkus

Followers