Hírolvasó
Mindent megcsinál a weben az Opera új böngészője
15 évet kellett várni rá, de iPadre is megérkezett a WhatsApp
Jöhet a ChatGPT-fiókos bejelentkezés
Szárnyal az indiai iPhone-export
Elég durván összekapott a műholdakon Musk és az Apple
Tesla tapasztalatok VIII. - Győr-Pécs-Győr
AlmaLinux OS 10.0 released
The goal of AlmaLinux OS is to support our community, and AlmaLinux OS 10 is the best example of that yet. With an unwavering eye on maintaining compatibility with Red Hat Enterprise Linux (RHEL), we have made small improvements to AlmaLinux OS 10 that target specific sections of our userbase.
See the release notes for details.
[$] Verifying the BPF verifier's path-exploration logic
Srinivas Narayana led a remote session about extending Agni to prove the correctness of the BPF verifier's handling of different execution paths as part of the Linux Storage, Filesystem, Memory Management, and BPF Summit. The problem of ensuring the correctness of path exploration is much more difficult than the problem of ensuring the correctness of arithmetic operations (which was the subject of the previous session), however. Narayana's plan to tackle the problem makes use of a mixture of specialized techniques — and may need some assistance from the BPF developers to make it feasible at all.