{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 20:19:54.296Z","domain":"mathstodon.xyz","followerCount":96,"followers":"https://mathstodon.xyz/users/m4rk1x/followers","following":"https://mathstodon.xyz/users/m4rk1x/following","followingCount":58,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/497/029/518/714/784/original/a17b4b9905f12388.jpeg","id":"7cssc683czb86qi","inbox":"https://mathstodon.xyz/users/m4rk1x/inbox","iri":"https://mathstodon.xyz/users/m4rk1x","isLocal":false,"last_fetched":"2025-07-25 05:11:46.375Z","outbox":"https://mathstodon.xyz/users/m4rk1x/outbox","preferred_username":"m4rk1x","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx6GNwpBW9dWPq0xgDIuc\nBKvejU3hI8H8Yy0ebgJjkodBwzXcqR9HSl99z/ON0WR0usdDd5uWiMwlD0Ay1xnt\nYhKwWi6uKlJvFb2NzzgzFnqC/V7OoT4SdQJwtOFPmf7uFfq25a0NqCLCz/uA1WY1\nHKZBRpNMxzkRSHn4q6LkyaaoKkL9OjXmQ2c7XSAD8/1ba2GjDK9KXw9xb7p24jE3\nkt4oVZLntqKTawUaAammLMLsraIgL8PFuK17eiGtAxU0WMX6HFQY0ryQqkDYUBC/\nyZvgz8P+1de7oT665veqACoJ+cditAKzNkM7PjaEdP0Q6uacmCy0YPMzCu7Mmzuq\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-06 00:00:00.000Z","summary":"

Category Theory, Semantics and Type Theory.

","updated":"2025-07-25 05:11:46.376Z","user":"","username":"Marco Paviotti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 05:11:46.414Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"he0b91m4tc0v0hl","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-07-25 05:11:46.414Z","outbox":"https://mathstodon.xyz/users/shinghin/outbox","preferred_username":"shinghin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwJSPd6AyeWfP8UJiVYRX\nAuRR1fYsKRbK+/my7F/nqb4qC1kA2Nc30AzHn2IFAqqEeK/TriLaY0BnNRdtanbc\nxrm4IAzM1R1wOKIfsZl2/gSrJzcr/XCBwjThMnRoKdzQd2YV2C94C6qOylxMZMN5\nnysHTMiSudCzwTh1dd47yOPhXQrYOyWKYEIFNY8fWAvILvN0R0z1nDTqguowcjyv\nX7rTGFoqMe7XFHy1ig/v8hqCtZW4s64Se5hupwEihmCrB989ghY/nYb/PJqpibt1\n8TrGkJ6LRiM1wDVksaiGfCgcdcxDYCGroA/XtWBNlTxtiR9mt+W8BIknIhtPYXc9\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-11 00:00:00.000Z","summary":"

PhD student interested in logic and programming languages

","updated":"2025-07-25 05:11:46.414Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 00:48:16.289Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/kayion/followers","following":"https://mastodon.social/users/kayion/following","followingCount":9,"icon":"","id":"a7dgjqq83x89q81","inbox":"https://mastodon.social/users/kayion/inbox","iri":"https://mastodon.social/users/kayion","isLocal":false,"last_fetched":"2025-07-25 05:11:46.511Z","outbox":"https://mastodon.social/users/kayion/outbox","preferred_username":"kayion","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0/E9jrdH7+P59kwfYmIv\n/kzFuB4ch8jWqJY7T3MOUJUEV1OeUGmBP57IBZA7BNTihdioQpEuLPYrUx8+jMi/\n8zEvbqxJt9Fh9z5PgePttxG+5rrB2ZQAGIutXJuaDTuCfJEmhkl02ShOqlT6KdE5\nuxXt6F4lmIyq7Kckyb/d3qy9RHznIsiDg+/TS/94X2accp5oIBjZ2prGZ92JLiUu\nbki59igucZ+UvUVD1Ano/b6vmNJMgw4rhp2DRpgBfFLOC4w5HCYGaCc5mltAgDU5\nB3Rm/SeSPB5GmKfuPoF0UdlIwB/+FsZH6MyJleaUWqdd9KOYawTNLINXheSqQc7F\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-17 00:00:00.000Z","summary":"","updated":"2025-07-25 05:11:46.512Z","user":"","username":"kayion"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:07.786Z","domain":"mathstodon.xyz","followerCount":12,"followers":"https://mathstodon.xyz/users/bool/followers","following":"https://mathstodon.xyz/users/bool/following","followingCount":43,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/679/601/609/495/290/original/88b71a713e044a5a.jpg","id":"9xvv8s809983b22","inbox":"https://mathstodon.xyz/users/bool/inbox","iri":"https://mathstodon.xyz/users/bool","isLocal":false,"last_fetched":"2025-07-25 05:11:46.575Z","outbox":"https://mathstodon.xyz/users/bool/outbox","preferred_username":"bool","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqBoF132z9QaCDIB+4Hz1\n9b0nJYu5edBJSL+30r+vdm0wWmY1nyXbk1xnQJqB/bpfifULxwBwFNxNKP3RzFKR\nAFXyfurfCtBWJHZpUbLUFipJKOLplJuSqSo5gjgzCn0lGu21Lbvs6t4lpY3LoIMX\nNxOuhQa262A/FpzofbVe9+YCH9v7Kss4blh6OOtk+rKNQuHdceFuQrR/X5YZTiZb\n36mAdfSWqQ01drkFcCQZATdoOE1ewL0wa2EYza3EuhiWtF3XiZcm/HA4idV4h8Wt\nDundR3h41xCGEIJTcsS9UAkBLQ2ZggvY23I+cHevpmU0mikeJ9hpOLws7PVWwYTL\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-14 00:00:00.000Z","summary":"

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

","updated":"2025-07-25 05:11:46.575Z","user":"","username":"alecs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:17:35.878Z","domain":"23.social","followerCount":1407,"followers":"https://23.social/users/alios/followers","following":"https://23.social/users/alios/following","followingCount":487,"icon":"https://cdn.masto.host/num23social/accounts/avatars/113/918/886/360/023/256/original/035f8ec311c120de.png","id":"d64xjr5r9jej0y2","inbox":"https://23.social/users/alios/inbox","iri":"https://23.social/users/alios","isLocal":false,"last_fetched":"2025-07-25 05:11:46.846Z","outbox":"https://23.social/users/alios/outbox","preferred_username":"alios","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzYKo0PGxgY7tAw+G5iya\noHE+gsUop2gXElsXxIliq7jzsQVMJNZEu0ojS/d8ik1c8g4caEXrHyQGlvGnmHPZ\n/yL+YYLPQtclb0G3eLOBN0I3XMeRGzLJrSKGmBHOX0IgGYVcchJYdJoTVOwMoui+\nvXoNwg5od21mCSFQk8f5SApWA8dPsVYcFQuqdEnLY5xw2Y6ndokaYVHWs22356+o\nRzKxKwdh0jeW1DcNJX8ex17qwUj8UYwJ5hcevbT8a7IM6AW68rWcrHUFodz+BvJk\nF2NRh5KQd8bUiTcCFYU+sZ3e5JQFOTc9Nk3ATUM37hNoo+wW4/1lYlBSKxnuWuy0\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-30 00:00:00.000Z","summary":"

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, nerd to a wife, stv. Bundes Vorsitzender PP-DE a.d.

Interessiert an Außen-, Sicherheits- und Verteidigungspolitik, sowie militärische und zivile Taktik- und Operationsplanung.

","updated":"2025-07-25 05:11:46.847Z","user":"","username":"alios"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 11:20:39.005Z","domain":"mastodon.social","followerCount":2304,"followers":"https://mastodon.social/users/wingo/followers","following":"https://mastodon.social/users/wingo/following","followingCount":556,"icon":"https://files.mastodon.social/accounts/avatars/000/030/108/original/f8b6d4f9df14ca94.JPG","id":"562hl6z888dygzf","inbox":"https://mastodon.social/users/wingo/inbox","iri":"https://mastodon.social/users/wingo","isLocal":false,"last_fetched":"2025-07-25 05:11:46.969Z","outbox":"https://mastodon.social/users/wingo/outbox","preferred_username":"wingo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwepG/Z34TiE4Soer/tA9\nB+Ro1l0wHynCGPF1w4M0Q9Vle+hakwhf85ostWn945phs4Sz90jbRGEyKOJHVuPI\nTTc9oWG8SISKJqKaYL5mS1E65KGF8OUfTTtQYDwlWZsFAqdivsXPLnUEKmdXVaDh\nbkwvtTdm0jIMFHXt9wiDmd8cGt9WM9c3CNH5WzeOGFn/p2zbMcnLh1QA77jmQhFR\nNl5UmCRY9Cqy+1g80SNKyHtmgvLBL2wAIm8iiZky4CHxxf8sGFcolyD9NKfqirup\nL5ts5owLgvl05vWuw9RBBqmXufeQxk20+r+yx9/Or2Q9iVV7lZpUFbcqKcGrH8eE\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-02 00:00:00.000Z","summary":"

https://wingolog.org | a work in progress | niche content | truthiness is couthiness

","updated":"2025-07-25 05:11:46.969Z","user":"","username":"Andy Wingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 04:26:40.968Z","domain":"mathstodon.xyz","followerCount":1,"followers":"https://mathstodon.xyz/users/ggolani/followers","following":"https://mathstodon.xyz/users/ggolani/following","followingCount":11,"icon":"","id":"2p7cz5oy320975f","inbox":"https://mathstodon.xyz/users/ggolani/inbox","iri":"https://mathstodon.xyz/users/ggolani","isLocal":false,"last_fetched":"2025-07-25 05:11:47.003Z","outbox":"https://mathstodon.xyz/users/ggolani/outbox","preferred_username":"ggolani","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz8hmCFwUCnFT/v6Fbezs\nv+DXUJn6UNgY+yd6Ty8ySERNMURFB1/v0Ifu3LPg8HuMuTOWzCVtkMeaLFEXWyhS\nY4BU2fQZv5rksnCMw8/IlHvT7QrV+JGsbPg4RTpUzm8zxKvtw2C6mbrGlOFLnss3\nqX9inBl4hEXgeZv9ybpNwnL/geHqbTp3IrDHc8oD3eYcReyR3nF48zp/gU8Zi9Zu\nPcQVMHVFnVoKOARod5F1ZN4IJCKf1Bt8/A9H6QepbbFhqFEO3R19FWodNJUup/AM\nL8RFRwiSl7wr/x3o01yFBbek34mCgJPlhCK2PScvXQLnmM7Ee2/22XnLC6LZNhnx\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-20 00:00:00.000Z","summary":"","updated":"2025-07-25 05:11:47.004Z","user":"","username":"ggolani"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 10:37:09.183Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/caimeox/followers","following":"https://mastodon.social/users/caimeox/following","followingCount":8,"icon":"https://files.mastodon.social/accounts/avatars/114/709/919/014/813/148/original/c03d76fde3fdd1a5.jpeg","id":"l96dhba1n2b2xwk","inbox":"https://mastodon.social/users/caimeox/inbox","iri":"https://mastodon.social/users/caimeox","isLocal":false,"last_fetched":"2025-07-25 05:11:47.376Z","outbox":"https://mastodon.social/users/caimeox/outbox","preferred_username":"caimeox","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv57Hn3LotZDpDEsBwsVL\nZUSJsQ8bILr6bBiu2E+9tpz8WJnlvQTPKYB6h788UAMf3s5GmsFu1DMudmoqKkEw\n1RpR++VIe9Ud5cQIdWJqGWA1zJ+wW95fDgYXR/cCM9DhDLL1fSsmS/R6Bax9MLDu\nPc1uCbYQlHvc0+dPwxtk1BJu9hDLFasvhpWxM0zlQLeAqjgodqS1ncsFpI6NeR2Y\nvrM3bhQ+79HKgEEsLZ8e/B2rKxUVwmq9ZFOJb/jjI/md1wkFVYNxqMN06UAHwo8v\nn6N/L298Gsya62V29PyLnmXEQh78NtR8+oFWqqwM5cioOlMcobOQtfb04osIVVTO\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-19 00:00:00.000Z","summary":"

caimeo.world

","updated":"2025-07-25 05:11:47.376Z","user":"","username":"CAIMEO"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:45:28.045Z","domain":"discuss.systems","followerCount":30,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":191,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"h55584v78x43u0b","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-07-25 05:11:47.768Z","outbox":"https://discuss.systems/users/weirdsmiley/outbox","preferred_username":"weirdsmiley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsQbGapfxvjwAtgZ1Zw2B\nloY+ONEMoK84f452WcmdfnOTEdQFwFCBl5GZYBEQby0rzgOBajcj0g+5LWpQiTLw\nfSCzRe8BpRVRxzY9BBC0hbAUA2LtFKtPqnJQKtJ+m/iL35dTpcDVuBAKecLYlDL4\nL2/aEKhYiyD54PEyZytU5HamN1O0QrY749U+iAovmKulLOC89/1LC4jUZBJWwnI5\nxwJW+q1slH9ExELmD1pUDLtghMk7QmpuZoFTikQTYDHcy0Qcc23U+xtC9TLwInfM\n5Mk6dKgSq+XNvM1YVkoga1J2APrOOP+E69f8UpkTGZfSOL97+b3fX/nCjQMxrcqr\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Compilers, PLD, OSDev, QC

","updated":"2025-07-25 05:11:47.768Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 05:11:47.858Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/bluevelvet321/followers","following":"https://mastodon.social/users/bluevelvet321/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/111/133/022/434/877/269/original/b0a2962c40d67cc4.jpg","id":"erqtw4c1gec0674","inbox":"https://mastodon.social/users/bluevelvet321/inbox","iri":"https://mastodon.social/users/bluevelvet321","isLocal":false,"last_fetched":"2025-07-25 05:11:47.858Z","outbox":"https://mastodon.social/users/bluevelvet321/outbox","preferred_username":"bluevelvet321","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlObjFP9h0pUWXciAS49Q\nqnsyzuUh2y3XhYd63YmStrdLyKU1sZRjSaDEfs/K0YuEC5qye/x5jtKenYxg3LtQ\neM0Zg+Sa2+YV7Kc3TYqlZfsgifDuT2TvpByHgE0bKamfQQ6EyCDEzAjTQKsJaryD\npqQVUlSvdfBa7QpAvvF6nT247r6FEscIWvqjdBzQwYm8IRMPB372R3J3VXqyVLeU\nr6RAwU+R1efJ7ILzbB7hjPfSQbWylkXojvW/fRK7a50B7eRaJnuXG2qbrQX8XSi+\nW+VSeTy4+DsuhS42QkCasrUrcBo8bxPH8tR7JAL1sZbBBY9+l5kCtLEqwPWG6OJ0\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-26 00:00:00.000Z","summary":"

01001000 01100101 01101100 01101100 01101111 00100000

","updated":"2025-07-25 05:11:47.858Z","user":"","username":"Bluevelvet"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 07:58:26.803Z","domain":"social.vivaldi.net","followerCount":46,"followers":"https://social.vivaldi.net/users/babetoduarte/followers","following":"https://social.vivaldi.net/users/babetoduarte/following","followingCount":723,"icon":"https://social-cdn.vivaldi.net/system/accounts/avatars/114/423/398/278/898/999/original/6dccc53dd8c24864.jpeg","id":"3sw42m12s29l8pj","inbox":"https://social.vivaldi.net/users/babetoduarte/inbox","iri":"https://social.vivaldi.net/users/babetoduarte","isLocal":false,"last_fetched":"2025-07-25 05:11:47.967Z","outbox":"https://social.vivaldi.net/users/babetoduarte/outbox","preferred_username":"babetoduarte","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAljOrJqo3bo90T5DEYlhZ\nsG14q59RUj6gbhiYOo7o8/15cQuxHTY9rCrLR0CydM54SpE55oqMktO9o908Pap1\nHDp25GboKxF3BuXLMOIXlncF6oWOyJl+1kxZHM1Og521z7fcykPeuVQSydUOPXhk\nkbfoO3GmTUmMYFjH4s+j89vk5tvjfB6rj4J/vOPtvjeGE6CPDmS6G0y+Jc6N6/oG\niG72TnGnjz14YwqimEhuxajl9TTGMB30au8A86usQ79d2LJsHCX09hs4pE0wCq8N\nInjCc2KywzYqlBGIQPQadDUt5fSES3JS09EqEfIYQyIfb4pjVhX5DyTDJCdGJjN8\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-29 00:00:00.000Z","summary":"

This is an alternate account.

MAIN: @babetoduarte

Researcher, data scientist, and systems engineer. Machine learning, hydroinformatics, high-performance computing, telecommunications, and open-source software.

Passionate about computers, software, and radio. GNU/Linux user since 2005, Emacs enthusiast.

Hobbies include: computers, music production, chess, and amateur radio.

Personal BOT: @r4nd0m57r1n6

","updated":"2025-07-25 05:11:47.967Z","user":"","username":"Jorge 💾"}],"page":1,"perPage":10,"totalItems":114,"totalPages":12}

arXiv cs.PL bot

Followers