Here is the latest OCaml Weekly News, for the week of August 22 to 29, 2017.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-08/msg00055.htmlYann Hamdaoui announced:
Dear OCamlers, I'm happy to announce the (almost first) release of Mechaml 1.0.0 on OPAM. A version 0.1 exists but 1.0.0 should be considered as the first usable release. Mechaml is a functional web scraping library that allows to : * Fetch web content * Analyze, fill and submit HTML forms * Handle cookies, headers and redirections Mechaml is built on top of existing libraries that provide low-level features : Cohttp and Lwt for asynchronous I/O and HTTP handling, and Lambdasoup to parse HTML. It provides an interface that handles the interactions between these and add a few other features. Please refer to the https://github.com/yannham/mechaml for more information, examples and documentation.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-08/msg00070.htmlJulien Signoles announced:
The Software Security Lab at CEA LIST (Paris Saclay, France) is hiring a 18-month postdoc to improve the Frama-C runtime verification plug-in E-ACSL. Knowledge in at least one of the following fields is required: - OCaml programming (at least, functional programming) - C programming - runtime verification - compilation - static analysis - semantics of programming languages (in particular, the ISO C99 programming language) - formal specification A full description of the open position is available online: http://julien.signoles.free.fr/eacsl_postdoc.pdf Feel free to contact me for additional details, Julien Signoles
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-08/msg00072.htmlBob Zhang announced:
Here are some links to messages at http://discuss.ocaml.org that may be of interest to the readers. - Rodolphe Lepigre talks about "Release of Bindlib 4.0.4" https://discuss.ocaml.org/t/release-of-bindlib-4-0-4/748/1 - Rodolphe Lepigre talks about "Realease of imagelib" https://discuss.ocaml.org/t/realease-of-imagelib/749/1 - Rudi Grinberg talks about "ANN: jbuilder 1.0+beta12" https://discuss.ocaml.org/t/ann-jbuilder-1-0-beta12/750/1 - Petter A. Urkedal talks about "ppx_regexp 0.2.0 and 0.3.0" https://discuss.ocaml.org/t/ann-ppx-regexp-0-2-0-and-0-3-0/344/12 - Martin Jambon talks about "cppo 1.6.0: jbuilder build" https://discuss.ocaml.org/t/ann-cppo-1-6-0-jbuilder-build/752/1 - Marcello Seri talks about "ocaml-rpc 2.0.0 released" https://discuss.ocaml.org/t/ann-ocaml-rpc-2-0-0-released/756/1 - octachron talks about "codept 0.10.0" https://discuss.ocaml.org/t/ann-codept-0-10-0/766/1
Here are links from many OCaml blogs aggregated at OCaml Planet, http://ocaml.org/community/planet/. Merlin 3.0.0 on Windows https://ocamllabs.github.io//general/2017/08/25/Merlin3WindowsSupport.html Alleged "hack" of our site: just a spam https://coq.inria.fr/news/136.html
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.