{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 15:53:17.487Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"4243878tjhc6177","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-11-15 07:46:18.237Z","outbox":"https://mastodon.social/users/alexelcu/outbox","preferred_username":"alexelcu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn99ZFHVRyvpBGAXlwXOr\ncp/Lb6gAljbh2ChP1ROG57Jeyjsl1Yyti3D9MDMQYK403QfwAgKBsW8lOv36tx9F\nXgLsuDcW2f/0EgM0Tb+5lsShrhRQ8btPoItweeWQ9uG+Oj0VSGayD26uAOogrN+n\nsDNVqXbto1xFldtHAjOVkLtqQX8dpkPMm4pz3xT1oeVLv3K5DXMWrpzrgT4pxdKs\noUqR3Qd9cSyqJm1UQJ9Z+qiAHjGOQqsjwWWAfGeDDU8wW2z1xUj+Vm4HCGheQz+l\nilx5rKm3GFA5OP5nHGmdbJFyxDDuhShRJPT06ESXDHRQ/aNbY/Eh0lsghebRq85j\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-01 00:00:00.000Z","summary":"

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

","updated":"2025-11-15 07:46:18.237Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-02 11:23:25.003Z","domain":"mastodon.social","followerCount":153,"followers":"https://mastodon.social/users/icseconf/followers","following":"https://mastodon.social/users/icseconf/following","followingCount":7,"icon":"https://files.mastodon.social/accounts/avatars/114/044/695/327/907/611/original/c8bfb68f42e222fb.jpg","id":"gnqoljgna4lfhml","inbox":"https://mastodon.social/users/icseconf/inbox","iri":"https://mastodon.social/users/icseconf","isLocal":false,"last_fetched":"2025-11-15 07:46:18.352Z","outbox":"https://mastodon.social/users/icseconf/outbox","preferred_username":"icseconf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxpP4y4l0JMfSbcZs2Px9\nSNxHV1CJkY/okO+S1qh3fhUUo+DZ7VjoKVz2wUGTbFzo1/6Fu1iptzoJDmorJLUu\nL8AOS41Kq8p5IjIFnrWPY3Puh9hqfKr6OW4mUhXkSG1oY+d7G43lkX5HZ6LlM1nl\nejQe6XCUQHV+0hI51d+S0dIgI81nheHkI2qUaEhoJpHA1D8r3r8J3ihmz1Ad19jZ\n5Sqc/o7r+9POF4l/NUMflihAyH2zavyy8WA+MEho56q8abw7S1Uxewz0oIIkhHAO\na4kofdQ+Xg1bLOjUWxFwNib2JnwPoullM5Az5oJvnFsV6i0CNXMhNRODavjGLM/R\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-22 00:00:00.000Z","summary":"

The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.

","updated":"2025-11-15 07:46:18.352Z","user":"","username":"ICSE"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 17:27:08.927Z","domain":"chaos.social","followerCount":389,"followers":"https://chaos.social/users/luj/followers","following":"https://chaos.social/users/luj/following","followingCount":449,"icon":"https://assets.chaos.social/accounts/avatars/113/804/507/753/475/670/original/5d0b01a63ac492d9.png","id":"ppfebmlemvk0e9t","inbox":"https://chaos.social/users/luj/inbox","iri":"https://chaos.social/users/luj","isLocal":false,"last_fetched":"2025-11-15 07:46:18.398Z","outbox":"https://chaos.social/users/luj/outbox","preferred_username":"luj","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApjRQMoTD7eHUNmNlkUWz\nNhrpMApYtRzQueB1gkM58V9qfB35qFQ23KwvbRcTRmnqd0LwPgP4panQ1geeWT7E\nBEHd3Dav0wc6Qvlo3C9TUoZP2N8TzlyY2piLX6k4ZTLUZChji9hSCXRLqzXYWjNP\nRgfC4G8dmZeO6kfexK+PHzTqTOgI1C789ybwuv9NzIxjJrdVHvsIyYnERWiD/YvB\nv3Mo3B6nVcqjwISTbLHfiMr2xbHEKso17wSwMDz/wrrTflJs1mOaEV2BeZU7V2rq\no2kTnIxjaVA5JKmtLEXv/9DImllw12sTXHJNxJwuEfBTxeBVbsL51ELJGnZC5Xvw\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-10 00:00:00.000Z","summary":"

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor. Emacs nerd. NixOS Steering Committee member.

Other interests include functional programming languages, software security, formal verification.

Available for freelance projects.

He/Him

May occasionally toot in french.

","updated":"2025-11-15 07:46:18.398Z","user":"","username":"Luj"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 00:27:04.024Z","domain":"mastodon.acm.org","followerCount":125,"followers":"https://mastodon.acm.org/users/RocqProver/followers","following":"https://mastodon.acm.org/users/RocqProver/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/793/938/089/664/962/original/40a97cf3f2f663dc.png","id":"gvhr3nellb7z5tc","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-11-15 07:46:18.586Z","outbox":"https://mastodon.acm.org/users/RocqProver/outbox","preferred_username":"RocqProver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFd0MqbQt/j58L380sLv\n29VHRYyVqk7FV0PQMUlphydOdwotTKPmj98j0K8EIHsW46uzv6Yp9LxMU7IOid6g\ne6bj3kjugVTGnFxHYqV6MepFJEakwUR01ADMLTWxiYtKHI4YFdUiZcsC+kTf2zEh\nhh/+8wI+hY5E6vJMbNRtWvBsbmqQ+tJT/CI9yhZ5H/G0r9HKed+2JnQImVMfnLQq\nZ7lNhVTTL+WIchbBeSfctYnOdTAU8/2u/Uq/f9gdFyTORewqehCZ/TZsojG9W5Nf\npil/88B2VeR/CtCYuTE8JkstyVPKCu4YoEtTUzJtTBQfjbj5yyFLzl6IDNQ618t5\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-08 00:00:00.000Z","summary":"

Interactive Theorem Prover and Dependently-Typed Programming Language.

","updated":"2025-11-15 07:46:18.586Z","user":"","username":"The Rocq Prover"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-03 07:54:37.992Z","domain":"mastodon.social","followerCount":992,"followers":"https://mastodon.social/users/ltratt/followers","following":"https://mastodon.social/users/ltratt/following","followingCount":81,"icon":"https://files.mastodon.social/accounts/avatars/109/499/636/408/823/503/original/52116017e598e6ac.jpg","id":"buloycqsmtdaudv","inbox":"https://mastodon.social/users/ltratt/inbox","iri":"https://mastodon.social/users/ltratt","isLocal":false,"last_fetched":"2025-11-15 07:46:18.768Z","outbox":"https://mastodon.social/users/ltratt/outbox","preferred_username":"ltratt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxcInvdlIr8ybN31AhO6e\nVJg7Ds7NeFVy52ZIjO8sIq+nCMhR6AWLphA2NoqlgVnTEgcCy37+SDCwF7acbzXo\ncCcMXqgcmqItjW4wHfW3flkf801Q4XqZybfmjwsFb+5Rpvx7eCYD9gFFdCWzyiHe\n2p+OzTSUZ5a8JGzycTbQgQmNaPNhA3lkRcZ4WfWIvw6SrI/ViTD/rFjAvirtNu4x\n+sdO31omHbLkKQC8DMi9o+pF5xScWMlk0lPnTDj6ye3GpzlznUfkozVy1yw2ilPH\n0LRbUco4qoHUcl/UV3xFzHaxnd5WUcuT1THffkyhUYFW00egFZoR6D4iJWtuQycb\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

Shopify / Royal Academy of Engineering Research Chair in Language Engineering.

","updated":"2025-11-15 07:46:18.768Z","user":"","username":"Laurence Tratt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 04:57:46.401Z","domain":"fosstodon.org","followerCount":24,"followers":"https://fosstodon.org/users/tommens/followers","following":"https://fosstodon.org/users/tommens/following","followingCount":44,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/264/502/418/119/100/original/b981fbc4ffc89bc2.jpg","id":"21rogi2oblpg74d","inbox":"https://fosstodon.org/users/tommens/inbox","iri":"https://fosstodon.org/users/tommens","isLocal":false,"last_fetched":"2025-11-15 07:46:18.818Z","outbox":"https://fosstodon.org/users/tommens/outbox","preferred_username":"tommens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5Hn+RII3hlhq/DfRTbkO\nEAvrlOecuMGBQHnTfsNPvtE8RDzuQWmnFAyiisHXMcbG4dBTqH8yjK1AHLijCTJd\nuleRB6hVaxcr8td0zynYALo3vmW5pvkpGGVC1DRjEy9IP9hcR5MRI2T3OGezvb4o\ns44Q/LBN2SCexPOV6VdFf8FZNhRGLzE4YD7hlzwFVFCHOd4Bffm66YPqrpjLowrT\nEI7aQxruQqaMD1Z5AEVtGPhRHHJMQzz1U2F+itK2qOwEgcSPOdoKq570g7GXadFN\n2uw09PxKzSxsLbenXrMsr+XbvRq7pQ5x9z3IfpBmj90g3ybAiIuizIfklnYXlQBP\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Full Professor
Software Engineering Lab
University of Mons, Belgium🇧🇪
Interested in open-source, software ecosystems, software evolution, software quality, empirical software engineering, software modeling, software automation

","updated":"2025-11-15 07:46:18.818Z","user":"","username":"Tom Mens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-22 00:25:43.583Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"ef3xumc083g1lj5","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-11-15 07:46:19.013Z","outbox":"https://mastodon.acm.org/users/fme/outbox","preferred_username":"fme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6F0gMKvGgRRNuXzU7mLL\nFQE7Ds38LM7oZ4MSPHDRqaipRlQNcE+ui0A9mtLCH4mSm/WFukAIPSwWUGakdtuv\n374UdpJ2BNYiuXNVJy67mr1u4UFCVP+g0O+P9iruGNpcDdm6CJnFxeFxlPmyQfyV\nxHumPnoWdw5MSkcOY7clweV1sV2YQo+9dihqAjYZYJscnT+1cdhgaWmbZLRQbkn8\n+a5q1pKCrW1fCBzNSvOcumD2STY7O5ay6fmLT5LB79ZiXNCZmgk+vG4/4usjD2s9\nH/cwJcfJ5sC0e8V9zG2rG5+e5oa8UED+sU8LQFjxjSQnUzataFAj83LoAZUmcJVY\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

","updated":"2025-11-15 07:46:19.013Z","user":"","username":"Formal Methods Europe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 01:03:10.901Z","domain":"social.numerique.gouv.fr","followerCount":501,"followers":"https://social.numerique.gouv.fr/users/inria/followers","following":"https://social.numerique.gouv.fr/users/inria/following","followingCount":41,"icon":"https://social.numerique.gouv.fr/system/accounts/avatars/111/923/338/353/983/214/original/06103195eca68242.png","id":"q3ao5nhn9z38feo","inbox":"https://social.numerique.gouv.fr/users/inria/inbox","iri":"https://social.numerique.gouv.fr/users/inria","isLocal":false,"last_fetched":"2025-11-15 07:46:19.160Z","outbox":"https://social.numerique.gouv.fr/users/inria/outbox","preferred_username":"inria","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvfVA8vlJE1MS15lymzBc\nQBTGjLwCiP11ve1LbKvENQc8Ji0f+/uJJGypWf55MRcTnPxKmiqVb2+s9Ys6qeSk\nbCNUkereUB4twmzzbXTvcQzAsuoJqBTfSna+KxszltjSlZMJJEu9OmuNoqvTzqf3\nmnIKg5kjRm/Rd49HvYxLVR1SIKN6IAkmOB/Kwa+tBbK+TfVRwA6toH+Ntc0taaq1\nraI+IuxlRPywzXSaGgzS0fXP650yIRgzMLiw0D7swz0tjEI7UOJROh7J1PFVwow6\nDzDSVN9vvcigIzVUL+HK8IbM9naOvoVHQjbZOCFn67pVyILFEAvY3px2iBuxCps5\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-13 00:00:00.000Z","summary":"

Institut national de #recherche en sciences et technologies du #numérique 🚀

","updated":"2025-11-15 07:46:19.160Z","user":"","username":"Inria"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 22:06:23.361Z","domain":"social.numerique.gouv.fr","followerCount":6184,"followers":"https://social.numerique.gouv.fr/users/cnrs/followers","following":"https://social.numerique.gouv.fr/users/cnrs/following","followingCount":1,"icon":"https://social.numerique.gouv.fr/system/accounts/avatars/111/408/104/784/117/959/original/7191ffdfa2e75c64.jpg","id":"6xe6af395y39txj","inbox":"https://social.numerique.gouv.fr/users/cnrs/inbox","iri":"https://social.numerique.gouv.fr/users/cnrs","isLocal":false,"last_fetched":"2025-11-15 07:35:08.274Z","outbox":"https://social.numerique.gouv.fr/users/cnrs/outbox","preferred_username":"cnrs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2s5j+UlSnDkxxmdWr/+m\n2oHrr9KqSSRXo9EsJli+5gL840QLJgI0Zf/ASatj5dL1PeDuxEkU8+TmCkH8CMpo\nQ6rm64H4EttHtRiDs9kIM/Eb861NXTP4rmSJU3xhW07xN2TshMM+urI9Hzq4Xxyw\nw4o8/LNMGe4PeLCholDZvs8zQsIOKYs3Y+uUhR3J+gkj4OB/a5pMgDR8rBGlvBEI\n0bA5J7IvrCSmK24NDBGjultFx5OjnQu29bKdmvoZQ5Zj8jlXsIbV6fjwnFS23F82\nC+zLtvqWNVkDBrBV6Lr5fueMXx7Rbab7pryNnE/I6LMMenkMhKGFZL0XeKEhpapd\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-14 00:00:00.000Z","summary":"

Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance.
Rediffusion du compte Twitter / X

","updated":"2025-11-15 07:35:08.274Z","user":"","username":"CNRS 🌍"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-05 20:58:10.029Z","domain":"mastodon.social","followerCount":624,"followers":"https://mastodon.social/users/Gradle/followers","following":"https://mastodon.social/users/Gradle/following","followingCount":31,"icon":"https://files.mastodon.social/accounts/avatars/109/502/781/980/488/035/original/f712cd99f56a6b95.png","id":"kkrb8hk7vl3uf6i","inbox":"https://mastodon.social/users/Gradle/inbox","iri":"https://mastodon.social/users/Gradle","isLocal":false,"last_fetched":"2025-11-15 07:46:19.420Z","outbox":"https://mastodon.social/users/Gradle/outbox","preferred_username":"Gradle","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuw1NqA7MveP0s7rQaoNG\nC36zFFj7JyGKoi5bcFbSJYGtHlKjX3XoiEtaloQuuanO3GNjWlMK5Bedw4xzj84B\nO0z9tFUilUB3wJZmzUcS+yQwGVjXdnnhVCVSgGg+9myRwY+U5ly4a0/iqt1LAbAf\nsn6M04G0GqwqnOQy4DAQhoIegrygtzqzZMalFjhhQIEVxlFLq8gLZghR9ObMG6a+\nVcXADaBe7YGMcSxIJQDfT+tmVWhey+oiXf+Yn5GPj2lgEJ+OM6RouAyczh13Hcq2\n3a21/hEkk6HuMWGlYbdbBc06KrMwdaw1uyNXP9zjkM1hfaruM+EqHiHzKrU9P99e\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

Release announcements, tips, and events to improve your developer productivity using Gradle, Maven, and Gradle Enterprise.

","updated":"2025-11-15 07:46:19.420Z","user":"","username":"Gradle"}],"page":1,"perPage":10,"totalItems":130,"totalPages":13}

Pascal Poizat (pro)

Following