News for hackers. Stuff that matters.

A comment on SKS Keyserver Network Under Attack. Parent comment

Re:SKS Keyserver Network Under Attack by AnaniasAnanas on Saturday June 29, 2019 @01:11PM (#20313633)
OCaml is very popular in academia though, especially in the field of theoretical computer science and formal verification. Coq, Frama-C, Flow, CompCert, etc are all written in OCaml. Heck, if you are running a graphical GNU distribution chances are that you have installed FFTW, which is written in OCaml. The "industry" is not the only thing that matters when considering the adoption of a language.
[ Parent | on HN ]
Re:SKS Keyserver Network Under Attack by xvilka on Saturday June 29, 2019 @01:35PM (#20313740)
Also a Mirage OS/unikernel, BAP and BinCat binary analysis frameworks, Facebook Infer source-level static analyzer, etc.
[ Parent | on HN ]
Re:SKS Keyserver Network Under Attack by ghuntley on Saturday June 29, 2019 @01:25PM (#20313693)
Reason (the frontend framework/language by Facebook) is OCaml.
[ Parent | on HN ]
Re:SKS Keyserver Network Under Attack by literallycancer on Saturday June 29, 2019 @07:22PM (#20315460)
Have you used Reason for anything serious? How was it?
[ Parent | on HN ]
Re:SKS Keyserver Network Under Attack by paulddraper on Saturday June 29, 2019 @09:06PM (#20315767)
Particularly if your talking about a quasi-adademic PGP community.
[ Parent | on HN ]