Si vous aussi vous êtes très étonnés de voir Arte si haut dans le classement, j’ai regarder plus en profondeur leur étude et le constat n’est pas si alarmant 👇

Depuis que je rédige, j'ai repris l'habitude de prépa qui consiste à regarder les vidéos youtube en *1.5 par culpabilité de ne pas travailler x)

tw: math, lattices
While reproving Knaster-Tarski fixpoint theorem, I had to prove that, given (D,⊑) a complete lattice, ℓ an element of D, and F the principal filter generated by ℓ (i.e., F:= { x ∈ D | ℓ ⊑ x }), then (F,⊑) is also a complete lattice. (1/5)

If it doesn't reach 1 million signatures before May 17, the European Citizens' Initiative to ban conversion therapy across Europe will fail ! Sign and share !

Bonjour Ciel Bleu !

So NIST has just announced the outcome of the Round 4 of the PQC standardization process.
HQC is the only one getting standardized 🥳

Pourquoi Wikipédia était-elle présentée en 2005 comme un danger pour la jeunesse et l’enseignement, tandis que, 20 ans plus tard, on présente les « intelligences artificielles » génératives comme le futur de l’enseignement ?

Suivez l'argent !

blogs.mediapart.fr/david-monnia...

There has to be a better way to install git on Linux man

Gérard L. : "Elle m’a dit s’appeler Poltronesofà, on vivait une relation par internet, et puis elle m’a arnaqué en me faisant acheter un fauteuil à 40000€, ça va trop loin les arnaques aux célebrités là"

Article accepté, ça part au Canada en mai 😁

Avec l'entorse, je fais du cloche-pied depuis 2 semaines ; ma voisine du dessous m'a demandé si je faisais de la corde à sauter 💀

Je viens de me faire une entorse en courant pour attraper le RER 🥲

J'ai finalement remplacé le raccourci vers Twitter vers celui de BlueSky sur mon téléphone pour tromper mon habitude. Je ne suis pas déçu du changement !

Il ne me reste plus qu'à m'habituer quand j'écris l'adresse dans la barre d'URL...

Hmm, ça doit être stupide mais... c'est normal qu'il manque la dernière lettre de chaque mot sur l'appli Android bsky ? 😅