Memory Safety's Impossible Dream (And What We Can Actually Build)
Can you get complete memory safety at compile time with zero runtime cost? Turns out computation theory says no—but the hybrid approaches we can build are surprisingly interesting.
Modern Development Blog
Can you get complete memory safety at compile time with zero runtime cost? Turns out computation theory says no—but the hybrid approaches we can build are surprisingly interesting.