Safety Profiles: Type-and-resource Safe programming in ISO Standard C++ [pdf] | Hacker News Reader