Planet OCaml

Here is just a digest. Please consider to subscribe to the full-text Planet OCaml feed at

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 29 Sep 2015: New release of Menhir (20150921) Allocation profiler for bytecode inter... http://t.co/as2sNkpUeb #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 22 Sep 2015: Quick Check like testing for OCaml? fmt 0.7.0 The OCaml MOOC starts in ... http://t.co/3h6IUvUENf #ocaml

[Planet OCaml @planet_ocaml]

Xavier Leroy will receive the Royal Society's 2016 Milner Award: The Royal Society will award Xavier Le... http://t.co/JNotnAmhoN #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 15 Sep 2015: Dynlink OCaml to Readable Javascript Playground 20th anniversary New oc... http://t.co/0tBu1xPtZQ #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 08 Sep 2015: NaN representations new mailing list for ocaml-containers users and dev... http://t.co/cakjJQKKyd #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 01 Sep 2015: Open engineer & scientist positions at CEA LIST - LSL Adopting a Govern... http://t.co/v53skkSPsj #ocaml

[Planet OCaml @planet_ocaml]

F* (FStar) reworked and released as v0.9.0: I sure hope the aggregate effect of F*, ATS, Rust, and such... http://t.co/pRGcn8MZns #ocaml

[Planet OCaml @planet_ocaml]

verified ML: Am I dreaming to hope that more verification is a good thing, and is on the way?

CakeML:... http://t.co/vGJ16ev8pv #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 25 Aug 2015: Destructive use of file descriptors Learning about compiler-libs POSTDO... http://t.co/jaaED56vVI #ocaml

[Planet OCaml @planet_ocaml]

Bjarne Stroustrup is catching up: Bjarne Stroustrup, creator of the C++ programming language, once famo... http://t.co/RWhzOWmd6V #ocaml

[Planet OCaml @planet_ocaml]

word2vec: So I made some claims in another topic that the future of programming might be intertwined wi... http://t.co/Xgh5OHlZZU #ocaml

[Planet OCaml @planet_ocaml]

OcaPic: Programming PIC microcontrollers in OCaml: Most embedded systems development is done in C. It's... http://t.co/v0OZqk1cIt #ocaml

[Planet OCaml @planet_ocaml]

No (functional) experience required: Jane Street is a serious functional programming shop. We use OCam... http://t.co/ieD8QHwaBh #ocaml

[Planet OCaml @planet_ocaml]

Merging OCaml patches: In Merging OCaml Patches I wrote a description of my personal process to merge O... http://t.co/W2SgOBGTDw #ocaml

[Planet OCaml @planet_ocaml]

Release of OCaml-bitcoin 2.0: This new release brings the API up-to-date with the latest versions of Bi... http://t.co/362bayW0k0 #ocaml

[Planet OCaml @planet_ocaml]

Formally verifying the complexity of OCaml programs with CFML -- part 3:
.hll {background-color:#ffffc... http://t.co/T8t3XeELVf #ocaml

[Planet OCaml @planet_ocaml]

Formally verifying the complexity of OCaml programs with CFML -- interlude:
.hll {background-color:#ff... http://t.co/towmkjtaQw #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 28 Jul 2015: Introduction to Functional Programming in OCaml, a MOOC Comparing float... http://t.co/y85UJ6SJ0O #ocaml

[Planet OCaml @planet_ocaml]

Functor:
Functor Group AB, with its subsidiaries Functor AB and Functor Consulting AB, is a spin-off c... http://t.co/HYZJVWYpMG #ocaml

[Planet OCaml @planet_ocaml]

OCaml Weekly News, 21 Jul 2015: looking for "real world" sqlite3 examples OCaml 4.02.2 and 4.02.3 Other... http://t.co/nFMHXaGIUQ #ocaml