Unsafe as a Human-Assisted Type Systemmatklad.github.io2 points·GolDDranks··0 commentsOpen articleSaveView on HN