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
📄 Details: technovainsight.com/fuchsia-os-g...
#FuchsiaOS #Google #FutureTech #GoogleAlerts #Aryna #Ewing #googleplayで超無双
📄 Details: technovainsight.com/fuchsia-os-g...
#FuchsiaOS #Google #FutureTech #GoogleAlerts #Aryna #Ewing #googleplayで超無双
A win for security, win for ITs, win for end-users, win for developers (better DX), but loss for sys admins.
A win for security, win for ITs, win for end-users, win for developers (better DX), but loss for sys admins.
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