Tito boosted

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

blog.mondediplo.net/un-pays-qu

Tito boosted

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.

github.com/typst/typst

Tito boosted

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.

Tito boosted

#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
mediapart.fr/journal/france/22

Tito boosted

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.

arxiv.org/abs/2303.11075

Tito boosted
Tito boosted

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

Tito boosted
Tito boosted

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.

stopelsevier.wordpress.com/

A thread 1/n

#ClimateCrisis #OpenScience #EthicalPublishing

Tito boosted

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.

Tito boosted

@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.

Tito boosted

“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)

Tito boosted

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]

Tito boosted

@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

Tito boosted

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.

Tito boosted

Protest pictures, Paris 18/03/2023 

An excerpt of the few pictures I could take with non-identifiable protesters, from the 18/03/2023 protest in Paris against the rise of retirement age

Tito boosted

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.

Tito boosted

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).

Tito boosted

Cette photo du 16 mars par Nnoman est totalement ouf, on dirait les cieux à l'arrière plan des tableaux comme la Liberté guidant le peuple.

(j'ai donné le meilleur de moi-même pour l'alt de l'image mais c'est dur à décrire)

Tito boosted

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?

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.