Vue lecture

[$] Formally verifying the BPF verifier

✇LWN
Par :daroc

The BPF verifier is an increasingly complex and security-critical piece of code. When the kinds of people who are apt to work on BPF see a situation like that, they naturally question whether it's possible to use formal verification to ensure that the implementation of the code in question is correct. Santosh Nagarakatte led the first of two extra-long sessions in the BPF track of the 2025 Linux Storage, Filesystem, Memory Management, and BPF Summit about his team's work formally verifying the BPF verifier with a custom tool called Agni.

  •  

Comment mesurer et tester le débit de sa connexion internet ?

Vous avez l’impression de revivre les débuts d'Internet, quand chaque image se chargeait ligne par ligne et qu’on avait le temps d’aller se faire un café avant qu’une page Google n’apparaisse en entier ? Si votre connexion vous donne ce goût amer de nostalgie, il est peut-être temps de vérifier que tout fonctionne correctement. Votre opérateur (Orange, SFR, Free, Bouygues) tient-il vraiment ses promesses en matière de débit ? Voici la marche à suivre pour tester la vitesse réelle du débit de votre connexion Internet.

  •  

Security updates for Friday

✇LWN
Par :corbet
Security updates have been issued by Fedora (dotnet9.0, dropbear, ghostscript, nbdkit, openssh, python-watchfiles, rpm-ostree, yelp, yelp-xsl, and zsync), Oracle (firefox and kernel), Red Hat (osbuild-composer), Slackware (aaa_glibc and mozilla), SUSE (chromedriver, open-vm-tools, postgresql14, python-cryptography, and thunderbird), and Ubuntu (linux-aws, linux-hwe-5.4, python, and sqlite3).
  •  

Sortie de LOTemplate V2

Pour les lecteurs pressés retenez que LA grande nouveauté de la V2 est la gestion des calc (xlsx, ods,…)

Pour rappel : LOTemplate est un générateur de documents sous licence AGPL v3 qui permet de créer des documents (ODT, DOCX, ODS, XLSX, PDF, …) à partir d'un document modèle office et d'un fichier json pour les données. Cela devrait intéresser toute personnes qui a déjà essayé de générer du doc/odt ou excel/calc à partir de son code.
Logo LOTemplate

LOTemplate offre des caractéristiques permettant une intégration simple dans tout projet et permettre la gestion de modèle de document a partir de modèle office :

  • Les modèles sont au format bureautique (ods,odt, docx, xlsx, … )
  • Les modèle peuvent avoir des structures complexes (variables, boucle, conditions, compteurs, html,…)
  • L'outil peut scanner le modèle pour extraire la feuille de variables
  • L'outil peut être appelé par une API, une CLI ou un module Python.
  • L'outil utilise un LibreOffice headless pour remplir les modèles donc 100% compatible avec Libreoffice.
  • Les formats de sortie sont tous les formats pris en charge par LibreOffice (docx, xlsx, pdf, odt, ods, texte, rtf, html, etc.).

Intégrer LOTemplate c'est permettre à un utilisateur lambda de partir de ses documents office pour intégrer ses modèles dans l’application sans avoir à maîtriser des technologies spécifiques et complexes.

Pour aller plus loin vous trouverez dans la documentation :

  • deux schémas qui expliquent le fonctionnement de Lotemplate (schema)
  • un exemple d’utilisation très parlant dans la doc ;
  • des exemples dans les tests unitaires.

Et surtout n’hésitez pas à l’utiliser, faire vos retours et bien sûr contribuer.

Commentaires : voir le flux Atom ouvrir dans le navigateur

  •  

« Vous verrez, dans 5 ou 10 ans, on fera de la reconnaissance faciale », prédit Gérald Darmanin

Gérald Darmanin

De la reconnaissance faciale partout dans l'espace public ? Si l'opinion publique y est hostile aujourd'hui, le ministre de la Justice Gérald Darmanin estime que le pays y viendra dans quelques années -- notamment dans le cadre de la lutte contre le trafic de drogue, qui prend de plus en plus d'ampleur dans le pays.

  •