Stats about security flaws in the linux kernel
Coq est un assistant de preuve. Je commences à en entendre parler tous les mois. Il semble qu'il soit le meilleur dans sa catégorie.
Sur le sentiment de solitude
On peut en distinguer plusieurs formes : ne pas exister vis-à-vis de l’autre (relationnelle), vis-à-vis de soi (existentielle), et vis-à-vis de la société (sociale).
Une flambée inédite, qui s’explique notamment par deux autres récentes envolées des prix : celles des quotas d’émissions de CO2 et du gaz, deux cours intimement liés entre eux. Côté CO2, c’est le durcissement des objectifs climatiques européens qui a provoqué cette augmentation.
Nan mais sinon, il faut bien arrêter le nucléaire vous comprenez
La direction générale des finances publiques (DGFIP) a rendu public son rapport annuel.
La taxe GAFAM a rapporté 750 millions d'euros. En comparaison, la redevance audiovisuelle rapporte 3.789 milliards.
Supprimer 1/4 des 2 000 analystes spécialisés dans la lutte contre la fraude fiscale, au profit de l'IA... Cette IA à indiqué 32% des contrôles à effectuer en 2020.
La question a se poser est aussi: combien des contrôles engagé par l'IA ont abouti a une fraude constatée ?
Comme ce n'est pas privacy-friendly d'envoyer toujours plus de données à cette IA, et que la CNIL et le conseil constitutionnel s'y opposent, la DGFIP va devoir choisir entre augmenter son IA ou garder ses analystes...
Sur le rapport 2021 sur l'année 2020 de l'Arcep
On remarque que, lorsqu'on a un bloqueur de publicité, le contenu de qualité est tĺéchargé plus rapidement
Et l'article reprend des failles de sécurité dans les plugins de Wordpress, qui a engendré des problèmes pour des centaines de milliers de sites. La plus grande vulnérabilité sur Wordpress, cela reste bien ses plugins et leur absence de mise à jour.
Alors pourquoi utiliser Wordpress ?
Un CMS s'est plutôt fait pour ne pas faire de développement, bien que dans le cas d'un CMS comme WordPress on puisse développer son propre plugin. C'est adapté si le client final veut modifier lui-même le contenu ou pour un site vitrine.
On souligne encore le comportement de l'Éducation Nationale:
- Utilisez les logiciels libres, c'est bien et encouragé.
- Fournir des licences et des services Microsoft aux employés du ministère, et aux étudiants
Mais cela laisse le choix entre les deux à l'utilisateur.
Github removes all non-essential cookie from the platform, so there is no cookie banner anymore.
I didn't know Samsung and Let's Encrypt are supporting the servo project.
The project has its own website : https://servo.org
TL;DR
SpaceX a annoncé que l’entreprise ne reconnaît aucune loi concernant l'exploration de l'espace, en particulier Mars, et que les règles seront fixées au moment de l'installation sur Mars.
LZHAM is a lossless data compression codec with a compression ratio comparable to LZMA but with 1.5~8x faster decompression.
And LZMA is one of the best ! ❤️
Link to the repository
(shared by https://sebsauvage.net/links/?KsYL2w)