News for hackers. Stuff that matters.

A comment on Project Everest: Efficient, verified components for the HTTPS ecosystem.

Re:Project Everest: Efficient, verified components for the H... by vorotato on Monday July 10, 2017 @05:24PM (#14739832)
F* is actually the reason I became interested in F#. So coool
[ Parent | on HN ]

There are no comments on this comment yet.