Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @Zimm_i48
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Zimm_i48
-
Dr. Théo Zimmermann Retweeted
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! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
With
@yurug, we are looking for candidates for two internships at@inria_paris +@IRIF_Paris to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making@CoqLang and@OCamlLang more accessible is a top priority for us!https://coq.discourse.group/t/two-master-internship-proposals-to-explore-social-and-technical-aspects-of-the-creation-of-the-coq-and-ocaml-platforms/577 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
I took the liberty of improving the
#CHAOSSCon photo by@MishManners . I hope you like it. https://twitter.com/MishManners/status/1223216638951952386 …pic.twitter.com/aDzZi6OBtk
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
.
@baconandcoconut: 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#CHAOSSconpic.twitter.com/5JYzkE9bZG – at Ibis Brussels Centre Ste Catherine
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
Pour savoir pourquoi on ne veut pas de la loi contre la
#CyberHaine, débattue aujourd'hui à l'Assemblée, vous pouvez lire cette tribune que j'ai cosignée
#PPLCyberHainehttps://www.liberation.fr/debats/2020/01/21/feministes-lgbti-et-antiracistes-nous-ne-voulons-pas-de-la-loi-cyberhaine_1774297 …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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
@prefpolice ! cc@C_Najdovski@David_Belliardpic.twitter.com/xGUazUVC0t
Thanks. Twitter will use this to make your timeline better. UndoUndo -
La réduction du temps de travail est un objectif écologique !https://twitter.com/Reporterre/status/1216744210742829056 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tweet de l’indécence de la
@prefpolice ! Regardez donc les réponses, c'est intéressant, elles sont unanimes...https://twitter.com/prefpolice/status/1215667805829455873 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
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 ! https://blog.merigoux.fr/fr/2019/12/20/impots-formels.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
Our quest for a
#BetterInternet does not apply only to speed and security. It's also about enabling people to thrive in their businesses by shutting down patent trolls.https://cfl.re/2PLY002Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
ALERTE Deux défenseurs venus témoigner au procès contre
@Total sont en danger en Ouganda. Les pressions sont montées d'un cran. Nous sommes très inquiets, les persécutions doivent cesser !#totalautribunal Notre communiqué avec@Survie et@OBS_defenders
https://www.amisdelaterre.org/Deux-defenseurs-venus-temoigner-au-proces-contre-Total-sont-en-danger-en.html …pic.twitter.com/nkernq0sHX
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
J'ai le plaisir de publier aujourd'hui une tribune dans
@lemondefr co-écrit avec le génial@PaulGrunelius Nous y défendons la nécessité de donner plus de liberté algorithmique aux utilisateurs pour les rendre acteurs dans leur consommation de contenu
https://twitter.com/pixelsfr/status/1210085557117865984 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
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!
https://act.gp/35SyrPQ pic.twitter.com/GOm65EV1hPThanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
"Il faut des actes, des actes forts à l’opposé de la politique menée par le gouvernement d’E. Macron et ses soutiens"
@David_Belliard
Soyons clairs: à aucun moment, ni à Paris ni ailleurs, l'écologie n'est compatible avec le macronisme.
@ecoloparis2020https://www.lefigaro.fr/politique/municipales-a-paris-belliard-regrette-que-villani-ne-quitte-pas-la-macronie-20191220 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
As a young
@TheOfficialACM 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!https://twitter.com/rdicosmo/status/1208102278575611911 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
M. et Mmes les visionnaires de l’enseignement supérieur et de la recherche publique, ne vous trompez pas d’ambition.
@antoine_petit_@VidalFrederique@sup_recherche@CPUniversite [à dérouler
]https://www.enseignementsup-recherche.gouv.fr/cid145221/www.enseignementsup-recherche.gouv.fr/cid145221/restitution-des-travaux-des-groupes-de-travail-pour-un-projet-de-loi-de-programmation-pluriannuelle-de-la-recherche.html …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann Retweeted
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
#cir, presque aucun contrôles, performance nationale médiocre.Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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.https://twitter.com/StephanieChall1/status/1177661980179599360 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Dr. Théo Zimmermann RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
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.