|
Dr. Théo Zimmermann 🏳️🌈
@
Zimm_i48
France
|
|
Computer scientist and political activist. I am interested in #opencollaboration, #opensource, #openscience and creating a better #democracy. He / Him.
|
|
|
195
Tweetovi
|
218
Pratim
|
140
Osobe koje vas prate
|
| Tweetovi |
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Jonathan Protzenko
@_protz_
|
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! blog.merigoux.ovh/en/2019/12/20/…
|
||
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
31. sij |
|
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! coq.discourse.group/t/two-master-i…
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Luis Cañas-Díaz
@sanacl
|
31. sij |
|
I took the liberty of improving the #CHAOSSCon photo by @MishManners . I hope you like it. twitter.com/MishManners/st… pic.twitter.com/aDzZi6OBtk
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
yo yehudi is on ASOS 🏳️🌈🇪🇺
@yoyehudi
|
31. sij |
|
.@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 #CHAOSScon pic.twitter.com/5JYzkE9bZG
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
30. sij |
|
Non je ne suis pas un robot. Merci de ne pas chercher ainsi à discréditer la parole de citoyens qui cherchent juste à se faire entendre. Les fermes-usines entrent en contradiction avec les objectifs de la #COP21 qui nous imposent de produire moins de viande et mieux.
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
28. sij |
|
@JDecerle, les fermes-usines ne doivent pas prendre le pas sur une agriculture familiale. Leur financement public doit cesser : je compte sur vous pour mettre l’humain et l’environnement au cœur de la prochaine PAC ! #FutureOfCAP #CAPreform
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
The Coq proof assistant
@CoqLang
|
27. sij |
|
Hello all! Welcome to Coq's official Twitter!
We will share exciting news and events related to Coq; see 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!
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Jill Royer
@JillRoyerFr
|
21. sij |
|
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 🙂 #PPLCyberHaine
liberation.fr/debats/2020/01…
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
21. sij |
|
@EnsaPvds Y a une confusion sur votre site. Vous utilisez le logo de @Sorbonne_Univ_, rien à voir avec @USPC_news. L'ordre correct des mots est d'ailleurs "Sorbonne Paris Cité". Oui, c'est compliqué ces regroupements et fusion d'universités qui voulaient toutes s'appeler pareil ! pic.twitter.com/a7IjcLf2BY
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
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 @prefpolice ! cc @C_Najdovski @David_Belliard pic.twitter.com/xGUazUVC0t
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
13. sij |
|
La réduction du temps de travail est un objectif écologique ! twitter.com/Reporterre/sta…
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
11. sij |
|
Tweet de l’indécence de la @prefpolice ! Regardez donc les réponses, c'est intéressant, elles sont unanimes... twitter.com/prefpolice/sta…
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
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 ! blog.merigoux.fr/fr/2019/12/20/…
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Cloudflare
@Cloudflare
|
8. pro |
|
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. cfl.re/2PLY002
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Amis de la Terre FR
@amisdelaterre
|
26. pro |
|
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
👉amisdelaterre.org/Deux-defenseur… pic.twitter.com/nkernq0sHX
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Jules Zimmermann 🧠+💡
@jules_zimm
|
26. pro |
|
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 🤖💡 twitter.com/pixelsfr/statu…
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Greenpeace
@Greenpeace
|
23. pro |
|
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! 👉 act.gp/35SyrPQ pic.twitter.com/GOm65EV1hP
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Claire Lejeune
@ClaireMLejeune
|
23. pro |
|
"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.
@ecoloparis2020
lefigaro.fr/politique/muni…
|
||
|
|
||
|
|
Dr. Théo Zimmermann 🏳️🌈
@Zimm_i48
|
21. pro |
|
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! twitter.com/rdicosmo/statu…
|
||
|
|
||
| Dr. Théo Zimmermann 🏳️🌈 proslijedio/la je tweet | ||
|
Alice Mansuy ☣️
@Alice_Mansuy
|
20. pro |
|
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 🔽]
enseignementsup-recherche.gouv.fr/cid145221/www.…
|
||
|
|
||