News for hackers. Stuff that matters.

A comment on Why should I have written ZeroMQ in C, not C++ (2012). Parent comment

Re:Why should I have written ZeroMQ in C, not C++ (2012) by bsaul on Thursday December 13, 2018 @01:09PM (#18674538)
ocaml with coq prover ?
[ Parent | on HN ]

There are no comments on this comment yet.