H halestrom.net Time safety is more important than memory safety 87 points panic 6 years ago 109 comments