{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 04:01:45.006Z","domain":"fosstodon.org","followerCount":1181,"followers":"https://fosstodon.org/users/reproducible_builds/followers","following":"https://fosstodon.org/users/reproducible_builds/following","followingCount":21,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/221/619/original/286c53cbe2860b7c.png","id":"ak5wy08kc0sb4c9","inbox":"https://fosstodon.org/users/reproducible_builds/inbox","iri":"https://fosstodon.org/users/reproducible_builds","isLocal":false,"last_fetched":"2025-12-13 17:42:27.731Z","outbox":"https://fosstodon.org/users/reproducible_builds/outbox","preferred_username":"reproducible_builds","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp76fNMLP/mHTb36jpvur\nVmmt8IyUk/w9mUN40JUoexU8LupdzEkBxDqTi1jkT2mHO6/dkYxiTPrliFtmbeKv\nsI/FU487htEhC5KZN4djpdU9AvK5TD3b/qFMqPKLVQYeA1ILzR7Kcd52LCyGwMcc\nsn+aIcZ37lMhwfD2ekrR+TZQQbDhCpgstdw0aAxzurTEKC7MXm/yQCQ+UQi9bSNF\nOpQbngHIMVjgUS+Xn5d6DuQClEiw/JUDYqVDoqzrWWURG3gqoXLfPhPZuUE56Dkj\n3xcT4g1tiAdkpkl48wsZjdqxwTpJh790ztlFWehkd/TB7H/BKIwSsTLlTlE5H/fV\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-03-27 00:00:00.000Z","summary":"

set of software development practices that create an independently-verifiable path from source code to the binary code used by computers.

Account monitored by @raboof

","updated":"2025-12-13 17:42:27.731Z","user":"","username":"Reproducible Builds"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 13:24:00.625Z","domain":"mastodon.social","followerCount":1230,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":361,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"6nnxzrhllk19301","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-12-13 16:45:01.425Z","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-12-13 16:45:01.426Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 08:07:38.513Z","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":"o9kn8aw9dnryymg","inbox":"https://mastodon.social/users/icseconf/inbox","iri":"https://mastodon.social/users/icseconf","isLocal":false,"last_fetched":"2025-12-13 17:42:27.890Z","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-12-13 17:42:27.890Z","user":"","username":"ICSE"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 07:41:16.613Z","domain":"chaos.social","followerCount":402,"followers":"https://chaos.social/users/luj/followers","following":"https://chaos.social/users/luj/following","followingCount":458,"icon":"https://assets.chaos.social/accounts/avatars/113/804/507/753/475/670/original/5d0b01a63ac492d9.png","id":"1n4yyhu1ix9u53d","inbox":"https://chaos.social/users/luj/inbox","iri":"https://chaos.social/users/luj","isLocal":false,"last_fetched":"2025-12-13 17:42:27.916Z","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-12-13 17:42:27.916Z","user":"","username":"Luj"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 11:08:51.050Z","domain":"mastodon.acm.org","followerCount":134,"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":"8dmz225qr5ad3wz","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-12-13 17:42:28.400Z","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-12-13 17:42:28.400Z","user":"","username":"The Rocq Prover"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-25 00:49:37.932Z","domain":"mastodon.social","followerCount":991,"followers":"https://mastodon.social/users/ltratt/followers","following":"https://mastodon.social/users/ltratt/following","followingCount":82,"icon":"https://files.mastodon.social/accounts/avatars/109/499/636/408/823/503/original/52116017e598e6ac.jpg","id":"scmwefbdzjn68nx","inbox":"https://mastodon.social/users/ltratt/inbox","iri":"https://mastodon.social/users/ltratt","isLocal":false,"last_fetched":"2025-12-13 17:42:28.585Z","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-12-13 17:42:28.585Z","user":"","username":"Laurence Tratt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 14:57:49.926Z","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":"hu6bbquehg9i7s2","inbox":"https://fosstodon.org/users/tommens/inbox","iri":"https://fosstodon.org/users/tommens","isLocal":false,"last_fetched":"2025-12-13 17:42:28.637Z","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-12-13 17:42:28.637Z","user":"","username":"Tom Mens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-24 11:32:54.068Z","domain":"mastodon.acm.org","followerCount":51,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":50,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"enf1v4khc2l76t4","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-12-13 17:42:28.808Z","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-12-13 17:42:28.809Z","user":"","username":"Formal Methods Europe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 04:12:40.608Z","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":"83qtawv2865sk37","inbox":"https://social.numerique.gouv.fr/users/inria/inbox","iri":"https://social.numerique.gouv.fr/users/inria","isLocal":false,"last_fetched":"2025-12-13 17:42:28.894Z","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":"

Renforcer la souveraineté numérique de la France par la recherche et l’innovation.

Retrouvez l'essentiel de l'actualité d'Inria ici ⤵️

","updated":"2025-12-13 17:42:28.894Z","user":"","username":"Inria"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 03:00:48.221Z","domain":"social.numerique.gouv.fr","followerCount":6249,"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":"zxp372740b73h54","inbox":"https://social.numerique.gouv.fr/users/cnrs/inbox","iri":"https://social.numerique.gouv.fr/users/cnrs","isLocal":false,"last_fetched":"2025-12-13 17:42:28.986Z","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-12-13 17:42:28.987Z","user":"","username":"CNRS 🌍"}],"page":1,"perPage":10,"totalItems":130,"totalPages":13}

Pascal Poizat (pro)

Following