News for hackers. Stuff that matters.

A comment on SKS Keyserver Network Under Attack. Parent comment

Re:SKS Keyserver Network Under Attack by kchamplewski on Saturday June 29, 2019 @12:57PM (#20313571)
Probably OCaml. While it's been around much longer, it's never really reached mass acceptance (though does get used here and there). Rust is newer but I'd estimate it's already more used, and its adoption in industry is growing quite quickly.

This is probably to do with the fact that OCaml doesn't necessarily solve any problems that are apparent to businesses, whereas Rust solves the very apparent "manual memory management makes massive vulns trivial" problem.

I'm not sure which language is actually more approachable for someone trying to learn it from scratch though.

[ Parent | on HN ]
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 ]