Tag
The author demonstrates how to use nftables and traceroute to display the Bad Apple animation by injecting fake hops with varying IPv6 addresses, showing a creative network hack.
Researchers at Basis used LLMs to formally verify Linux's nftables firewall, discovering two critical bugs affecting all versions since 2022 and producing a verified implementation free of those bugs.