L’argument suprême, imparable, pour la souveraineté des producteurs a été donné par un syndicaliste, Eric Lietchi, de la CGT Energie Paris. Les bilans parlent d’eux-mêmes, fait-il observer en substance : sous la direction de la classe parasitaire, le pays a été détruit. L’hôpital est en ruine, la justice est en ruine, l’éducation est en ruine, la recherche et l’université sont en ruine, le médicament est en ruine
In one day - one day! - of going open source, the Typst typesetting system passed 5,000 stars on Github.
If you ever needed evidence that there is a real hunger for a TeX replacement, this is it.
Décision des UFR d'informatique et de mathématiques à l'université Paris Cité :
Suite à la demande de l'AG des personnels de la fac de sciences, le CUFR décide de banaliser la journée du jeudi 23 mars 2023, annulant ainsi tous les cours/TD/TP de ce jour.
Chaque enseignant responsable d'un enseignement devra prendre en compte dans ses modalités d'évaluation la possibilité que certains cours/td/tp auront été annulés.
#AcademiafaitlaUne 📰22 mars 2023
#VeilleESR
@MathildeGoanec de @Mediapart publie un long entretien avec Noe Wagener et Luc Pellissier, membres d'@academia_carnet, et leur bataille contentieuse ⚖️ CONTRE LE DISTANCIEL
https://www.mediapart.fr/journal/france/220323/le-distanciel-un-outil-redoutable-pour-contrer-la-mobilisation-l-universite
I uploaded my 2007 note "Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T" to the arxiv.
Abstract. The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
I don't intend try to to publish it, but nevertheless I think it should be widely publicized among programming-language semanticists.
I resisted the temptation of making any edition to the original note.
“Last Chance to Evacuate Planet Earth Before It Is Recycled” (Porcupine Tree)
https://songwhip.com/porcupine-tree/last-chance-to-evacuate-planet-earth-before-it-is-recycled
sometimes when I tell my students that "reading is not passive, it is an active process," it seems like they think I'm making some kind of poetic metaphor, or deploying fusty deconstructionist theory. and maybe I *am* doing that, but I am also plainly stating that when you are reading, you are making your eyes move across the page in weird ways, and you have learned strategies for doing that
«Humiliations», «paroles violentes», «opacité» : à l’Inria, la souffrance de la recherche française en IA – Libération
Are you an academic concerned that #Elsevier's profiteering publishing practices are extracting money and labor from you and your colleagues for free? Are you terrified that Elsevier's support for #FossilFuels is helping accelerate #ClimateBreakdown?
Don't fret! The #StopElsevier campaign has got you covered, with a wealth of resources to help take power away from them via collective action.
https://stopelsevier.wordpress.com/
A thread 1/n
French politics (an explanation)
I’ve seen some people confused about the current political situation in France. How can the President, the head of the executive branch, bypass the Parliament to make his unpopular pensions reform into law? What about the separation of powers?
So here is a crash course on France’s constitutional law.
@jonmsterling I wonder if part of this is a consequence of the undeserved lack of respect that book publishing has in CS academia. A research monograph could be a better way to tell that story than a sequence of papers with disjoint reviewers, venues, and audiences.
“Our great merchant princes have looked upon the propaganda technique of the Russians, and have found that it is good.. The heads of great laboratories are very much like Bishops, with their association with the powerful, and the dangers they incur of the carnal sins... He is supposed not to shed blood, but he does not interpret this injunction so strictly that he may not spill brains.” 2/2
Norbert Wiener, far right, with US Army mathematicians at the Aberdeen Proving Ground, 1918 (MIT Museum)
The first edition of Norbert Wiener’s The Human Use of Human Beings (1950) included a final chapter, "Voices of Rigidity," warning of a “threatening new Fascism dependent on the machine à gouverner.”
It was deleted from subsequent editions of the book. Adopting “the position of the mouse who advises the other mice to bell the cat,” Wiener left left no stone unturned. “The immediate future of society is dangerous and dark. We must cease to kiss the whip that lashes us," he warned.
[1/2]
@mekkaokereke most of what people call “talent” is having taken a liking to something when you were too young for anyone to care, so having ~practiced for years that no one will acknowledge
1. Le côté inéquitable et mal pensé du projet de réforme des retraites ; puis
2. La façon lacunaire et trompeuse dont le gouvernement la présente, et les tentatives de contournement du processus démocratique pour essayer de passer en force ; puis
3. La violence de la police.
Chaque jour qui passe donne de nouvelles raisons de s'opposer au gouvernement.
reminder that individualism is a lie. it always has been and it's repurposed to dismantle community building.
no person ever birthed themselves. they did not feed themselves. they did not create their own language. even the idea of individualism is an idea adopted from their peers. they do not build their own houses, grow their own food, build their own vehicles, or drive on roads they built. the idea of the rugged individual is a *fucking lie* and you should call anyone who promotes it a liar.
Sur tiktok, il y a une 'trend' des 85% d'autistes qui ne peuvent pas travailler qui demande aux 15% qui travaillent deux choses :
1/ comment diable font-ielles ?
2/ Et est-ce que ça va ?
Les réponses sont :
1/ en masquant un max et au prix de burn out fous, de stratégies, et d'un temps perso occupé à récupérer ;
2/ et "mal". Ça va mal.
(Les chiffres sont ceux de la 'trend', je ne connais pas les chiffres exacts).
Maybe the best way to leave a positive scholarly legacy is to spend less time fretting about some imaginary productivity clock or relative fame, and to focus instead on doing the kind of scholarship that will be useful and relevant to the kind of junior scholars we want to stay in our fields. We also have to fight for working conditions that will make their continued scholarship possible and attractive as a career path. What else matters? Good teaching, good peer review, no bullshit?
Theoretical computer scientist (linear logician turned automata theorist), currently postdoc at École normale supérieure de Lyon on an individual fellowship https://milyon.universite-lyon.fr/contrats-postdoctoraux-campagne-2022-2024-130156.kjsp
Self-taught Haskell programmer in a past life (would like to learn systems programming in Rust at some point, but motivation is hard).
I know that this instance's TLD was chosen because Programming Languages, but I'm actually interested in learning Polish too ^^ (though that requires too much sustained focus for my ADHD brain). I'll write and boost messages in both English and French; Mastodon posts come with language metadata and you can choose to filter by language in the settings.
(Profile pic: end card for Sayonara Zetsubou-sensei drawn by Kunihiko Ikuhara; banner taken from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/asm.pdf )