3 ms·
I like Haskell, and to me this seems really useful as a kind of "noob" to functional languages. Is this used in the industry ? And for what kind of software ?
by LelouBil 2mo ago
I like Haskell, and to me this seems really useful as a kind of "noob" to functional languages.
Is this used in the industry ? And for what kind of software ?
- LelouBil 2mo agoI found these links in the F* book https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers/ https://www.microsoft.com/en-us/research/blog/everparse-hard... https://lwn.net/Articles/770750/ https://lwn.net/Articles/770750/ https://project-everest.github.io/ https://project-everest.github.io/
- nextaccountic 2mo agoFirefox cryptographic primitives are written and formally verified in F* Some Windows things too I think (I think F* is partially funded by Microsoft Research) They actually wrote a whole verified TLS implementation in F* and discovered a bunch of TLS vulnerabilities in other implementations https://project-everest.github.io/ https://project-everest.github.io/ https://github.com/hacl-star/hacl-star https://github.com/hacl-star/hacl-star https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ https://blog.mozilla.org/security/2017/09/13/verified-crypto... (note, that's from 2017, so, not exactly new.. not sure how this is not more well known)