We have proof automation now(imperialviolet.org)
215 points by zdw | 99 comments
imperialviolet.org on Hacker News
5 stories on the front page, newest first. Scroll down to watch the site change over time.
Continuous Glucose Monitoring(imperialviolet.org)
80 points by zdw | 55 comments
A Tour of WebAuthn(imperialviolet.org)
276 points by caust1c | 125 comments
Voice Recognition(imperialviolet.org)
28 points by ingve | 7 comments