Dr. Théo Zimmermann  

@Zimm_i48

Computer scientist and political activist. I am interested in , , and creating a better . He / Him.

France
Joined June 2012

Tweets

You blocked @Zimm_i48

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Zimm_i48

  1. Jan 31

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    Show this thread
    Undo
  2. With , we are looking for candidates for two internships at + to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making and more accessible is a top priority for us!

    Undo
  3. Jan 31
    Undo
  4. .: We stereotype ourselves, society is often racist and sexist which helps to form our biases even if we have good intent. Try stepping out of your skin a little - follow people not like you on twitter, or better, pay them to work with you – at Ibis Brussels Centre Ste Catherine

    Undo
  5. Jan 27

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Undo
  6. Jan 21

    Pour savoir pourquoi on ne veut pas de la loi contre la , débattue aujourd'hui à l'Assemblée, vous pouvez lire cette tribune que j'ai cosignée 🙂

    Show this thread
    Undo
  7. Nombreux automobilistes sur la voie des bus rue St-Jacques bloquent la circulation des bus et taxis et insécurisent les cyclistes. Que fait la ! cc

    Undo
  8. La réduction du temps de travail est un objectif écologique !

    Undo
  9. Tweet de l’indécence de la ! Regardez donc les réponses, c'est intéressant, elles sont unanimes...

    Undo
  10. Comment identifier des injustices dans le calcul des impôts et des allocations sociales ? Par la preuve automatique ! Billet très pédagogique de Denis Merigoux, qui présente une méthode dont nos institutions et politicien·ne·s feraient bien de se saisir !

    Undo
  11. Our quest for a does not apply only to speed and security. It's also about enabling people to thrive in their businesses by shutting down patent trolls.

    Undo
  12. ALERTE Deux défenseurs venus témoigner au procès contre sont en danger en Ouganda. Les pressions sont montées d'un cran. Nous sommes très inquiets, les persécutions doivent cesser ! Notre communiqué avec et 👉

    , , and 7 others
    Undo
  13. J'ai le plaisir de publier aujourd'hui une tribune dans co-écrit avec le génial Nous y défendons la nécessité de donner plus de liberté algorithmique aux utilisateurs pour les rendre acteurs dans leur consommation de contenu 🤖💡

    Undo
  14. Switching from plastic to other forms of single-use packaging won't solve the plastic pollution crisis. To truly tackle this global crisis, companies need to urgently reduce the amount of throw-away packaging units they sell. Act now! 👉

    Undo
  15. 23 Dec 2019

    "Il faut des actes, des actes forts à l’opposé de la politique menée par le gouvernement d’E. Macron et ses soutiens" ➡️Soyons clairs: à aucun moment, ni à Paris ni ailleurs, l'écologie n'est compatible avec le macronisme.

    Undo
  16. As a young member, I protest against this letter opposing open access, and the "pro-US" & anti-regulation arguments it contains. The mission of learned societies should be to serve science, not private interests and profit!

    Undo
  17. Show this thread
    Undo
  18. 13 Dec 2019

    Résumé : Recherche publique : évaluation constante, place honorable sur la scène internationale malgré une pénurie de moyens. Recherche privée : fortement soutenue par l'état par le , presque aucun contrôles, performance nationale médiocre.

    Show this thread
    Undo
  19. When you finish a PhD in computer science, they take you to a special room and explain that you must never use recursion in real life. Its only purpose is to make programming hard for undergrads.

    Undo
  20. 12 Dec 2019

    (Virtually) attending the amazing PhD defense of , including a wide range of proposals to improve pull request conformity and release management; and mitigate the unresponsive contributor risk, with applications in the proof language ecosystem!

    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·