Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
On Netstack.FM 🎙 Ep.8 we spoke with Bruno Dal Bo Silva - Staff Engineer at #Google working on #Netstack3, a Rust-based networking project used by #FuchsiaOS.
🎧Listen at netstack.fm#episode-8
#RustLang #Networking #Infra #OpenSource
On Netstack.FM 🎙 Ep.8 we spoke with Bruno Dal Bo Silva - Staff Engineer at #Google working on #Netstack3, a Rust-based networking project used by #FuchsiaOS.
🎧Listen at netstack.fm#episode-8
#RustLang #Networking #Infra #OpenSource
if you "just want to write the code", then zig will probably be slightly easier.
fuchsia.dev/fuchsia-src/...
if you "just want to write the code", then zig will probably be slightly easier.
fuchsia.dev/fuchsia-src/...
https://linkedlist.org/2025/01/18/fuchsia-rust-netstack3
#rust #fuchsia
https://linkedlist.org/2025/01/18/fuchsia-rust-netstack3
#rust #fuchsia