An Afternoon with SMT, Trim, and Smartpncnmnp.github.io1 point·pncnmnp··0 commentsOpen articleSaveView on HN