Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Dr. Théo Zimmermann 🏳️‍🌈

@Zimm_i48@fediscience.org
mastodon 4.6.9
  • Open on fediscience.org

Empirical software engineering researcher. Assistant professor at Télécom Paris. I'm interested in #opensource, #opencollaboration, #openscience and creating a better #democracy. Maintainer of the Rocq Prover and other open source software. He / Him. lgBtqia

0 Followers
0 Following
6 Posts
Joined November 11, 2022
Twitter:
https://twitter.com/Zimm_i48
GitHub:
https://github.com/Zimmi48
ORCID:
https://orcid.org/0000-0002-3580-8806
Website:
https://www.theozimmermann.net
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 4mo ago

This weekend, I read "Weekend at Bernie's", a recent blog post from @andrewnez@mastodon.social in which he tries to quantify how many of the critical dependencies of various ecosystems are effectively "dead". The post was very interesting, and I like the methodology he used. But what I noticed (besides the relatively high percentage of "dead" critical dependencies) was the large number of dependencies that are in an "unknown" state, i.e., for which we don't know whether they are maintained or not.

This got me thinking, and I came up with a proposal:

https://www.theozimmermann.net/2026/05/maintenance-md/

I would be very curious to know what you think about it!

theozimmermann.net
6
1
5
0
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 5mo ago
Replying to
@andrewnez I'm obliged to do some advertising for tools that were developed in a research context for just this use case: https://github.com/alien-tools/breakbot for Java, with static analysis (by Ochoa, Degueule and @jrfaller) and https://github.com/rocq-community/coq-nix-toolbox for Coq/Rocq project but which would be feasible to generalize to other ecosystems (by Cohen and me). @djc
GitHub

GitHub - alien-tools/breakbot: BreakBot tracks the introduction of breaking changes in Java libraries on GitHub and their impact on client projects.

BreakBot tracks the introduction of breaking changes in Java libraries on GitHub and their impact on client projects. - alien-tools/breakbot

3
0
1
0
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 17mo ago
Replying to
@thisismissem@hachyderm.io Just in case some people think that signing is useless because they are from a country already above the threshold: that's not the case. It's very likely that the initiative will meet the 7 country threshold (Netherlands has made it already, and Slovenia is nearly there) and yet will fail to meet the global 1 000 000 signatures. So, right now, everybody must sign!
17
2
15
0
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 5mo ago

RE: @HennaVirkkunen@ec.social-network.europa.eu

At least one of the awarded consortium operates proprietary American cloud technology (GCP). After greenwashing and open-washing, here comes the time of sovereign-washing!

ec.social-network.europa.eu

Henna Virkkunen: "We’ve awarded a €180M tender for sovereign cloud …" - European Commission on Mastodon

2
0
0
0
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 6mo ago

Je ne connaissais pas vraiment Sophia Chikirou mais j'ai trouvé cette vidéo de Clément Viktorovitch à son sujet informative :
https://www.youtube.com/watch?v=b6ExYboGM98
Regardez-là si vous envisagez de voter pour elle au second tour des municipales à Paris.

Paris : la campagne qui plombe LFI - Clément Viktorovitch

2
0
0
0
Open post
Dr. Théo Zimmermann 🏳️‍🌈 @Zimm_i48@fediscience.org
· 6mo ago

RE: @Reporterre@mastodon.social

Si lorsqu'on contrôle ces foyers on obtient un taux de fraude de 58%, alors pourquoi on ne les contrôle pas tous ?

mastodon.social

Reporterre 🌍: "L’information a été révélée le 1ᵉʳ avril, au cour…" - Mastodon

0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 23:16:41 UTC