» Etiket

nftables

1 yayın

«20–26 Tem 2026

20 Tem 20268.50
LLM Destekli Formal Doğrulama nftables'ta İki Kritik Hata Buldu
Basis, LLM destekli formal doğrulama ile Linux'un nftables optimizasyoncusunda 2022'den beri süregelen iki kritik hata keşfetti.
formal-verification linux llm networking