Hacker News new | ask | show | jobs
by wyes 766 days ago
We use F* for some of our crypto for embedded systems software :D