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