For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)
2 points by pmaddams on Dec 28, 2023 | past
Rupicola: Relational Compilation for Performance-Critical Applications (github.com/mit-plv)
3 points by matt_d on June 17, 2022 | past
fiat-crypto: Cryptographic Primitive Code Generation by Fiat (github.com/mit-plv)
1 point by rdpintqogeogsaa on June 17, 2022 | past
Synthesizing Correct-by-Construction Code for Cryptographic Primitives (github.com/mit-plv)
78 points by johlo on Jan 3, 2021 | past | 2 comments
TiML: A Functional Programming Language with Time Complexity (github.com/mit-plv)
2 points by lainon on Dec 26, 2017 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You