Dr. Théo Zimmermann  

@Zimm_i48

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

France
theozimmermann.net
Vrijeme pridruživanja: lipanj 2012.
12 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @Zimm_i48

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Zimm_i48

  1. proslijedio/la je Tweet
    31. sij

    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!

    13 replies 211 proslijeđenih tweetova 524 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. 31. sij

    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!

    1 reply 13 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    31. sij

    I took the liberty of improving the photo by . I hope you like it.

    8 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    31. sij

    .: 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 – mjesto: Ibis Brussels Centre Ste Catherine

    6 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    27. sij

    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!

    1 reply 86 proslijeđenih tweetova 135 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    21. sij

    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 🙂

    6 replies 129 proslijeđenih tweetova 133 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 16. sij

    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

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  8. 13. sij

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

    La grève contre la réforme des retraites continue, et cette tribune toujours d'actualité de sur le lien entre retraite et écologie est à lire sur Reporterre.
    1 korisnik označava da mu se sviđa
    Poništi
  9. 11. sij

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

    Voilà comment les forces de l'ordre sont traitées par certains, alors même qu'elles sont là pour garantir le déroulement pacifique des manifestations.
    1 proslijeđeni tweet
    Poništi
  10. 11. sij

    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 !

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    8. pro 2019.

    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.

    1 reply 7 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    26. pro 2019.

    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 👉

    , , i još njih 7
    80 proslijeđenih tweetova 49 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    26. pro 2019.

    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 🤖💡

    Algorithmes : « Voulons-nous d’individus passifs ou, au contraire, d’utilisateurs acteurs de la façon dont ils consomment du contenu ? »
    1 reply 7 proslijeđenih tweetova 27 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    23. pro 2019.

    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! 👉

    461 proslijeđeni tweet 774 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    23. pro 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.

    37 proslijeđenih tweetova 84 korisnika označavaju da im se sviđa
    Poništi
  16. 21. pro 2019.

    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!

    I am deeply shocked by the arguments contained in the letter to signed by against forthcoming US Open Access policy. As an old time member of , let me state clearly here that this time it's .
    1 reply 3 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    19. pro 2019.

    M. et Mmes les visionnaires de l’enseignement supérieur et de la recherche publique, ne vous trompez pas d’ambition. [à dérouler 🔽]

    39 proslijeđenih tweetova 49 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    13. pro 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.

    1 reply 12 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. 13. pro 2019.

    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.

    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.
    6 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    12. pro 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!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi

@Zimm_i48 još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·