An Embedded DSL for Verifiable Computinggithub.com8 points·JacobEdelman··0 commentsOpen articleSaveView on HN