Today the SKS Keyserver Network Under Attack gist made to a Hacker News first page. And the plot twist - it is implemented in OCaml. Ridiculously the author of that gist blames the language:
The software is Byzantine. The standard keyserver software is called SKS, for “Synchronizing Key Server”. A bright fellow named Yaron Minsky devised a brilliant algorithm that could do reconciliations very quickly. It became the keystone of his Ph.D thesis, and he wrote SKS originally as a proof of concept of his idea. It’s written in an unusual programming language called OCaml, and in a fairly idiosyncratic dialect of it at that. This is of course no problem for a proof of concept meant to support a Ph.D thesis, but for software that’s deployed in the field it makes maintenance quite difficult. Not only do we need to be bright enough to understand an algorithm that’s literally someone’s Ph.D thesis, but we need expertise in obscure programming languages and strange programming customs.
The sources located at sks-keyserver BitBucket.
Currently they switched to the Hagrid, Sequoia PGP-based service, both implemented in Rust.