Hacker News
- Factorization of RSA-250 (2020) https://sympa.inria.fr/sympa/arc/cado-nfs/2020-02/msg00001.html 17 comments
- Renaming Coq https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.html 297 comments
- OCaml release 4.06.0 https://sympa.inria.fr/sympa/arc/caml-list/2017-11/msg00005.html 2 comments
- OCaml 4.04.0 released https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00010.html 24 comments
- OCaml 4.03.0 released (including flambda) https://sympa.inria.fr/sympa/arc/caml-list/2016-04/msg00075.html 50 comments
- OCaml's 20th Anniversary https://sympa.inria.fr/sympa/arc/caml-list/2015-09/msg00079.html 34 comments
- OCaml 4.03 will, “if all goes well”, support multicore https://sympa.inria.fr/sympa/arc/caml-list/2015-05/msg00034.html 113 comments
Lobsters
- OCaml version 4.04.0 is released https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00010.html 2 comments ml , release
- OCaml 4.03 will, "if all goes well", support multicore. https://sympa.inria.fr/sympa/arc/caml-list/2015-05/msg00034.html 11 comments ml
- 4.07.0 released https://sympa.inria.fr/sympa/arc/caml-list/2018-07/msg00015.html 5 comments ocaml
- OCaml 4.05.0 released https://sympa.inria.fr/sympa/arc/caml-list/2017-07/msg00058.html 37 comments programming
- OCaml 4.05.0 released https://sympa.inria.fr/sympa/arc/caml-list/2017-07/msg00058.html 6 comments ocaml
- OCaml version 4.04.0 is released. https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00010.html 7 comments programming
- OCaml version 4.04.0 is released https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00010.html 13 comments ocaml
- OCaml 4.03 released https://sympa.inria.fr/sympa/arc/caml-list/2016-04/msg00075.html 3 comments programming
- OCaml 4.03.0 released https://sympa.inria.fr/sympa/arc/caml-list/2016-04/msg00075.html 28 comments ocaml
- explanation of scoping of locally abstract types by Gabriel Scherer https://sympa.inria.fr/sympa/arc/caml-list/2016-03/msg00301.html 6 comments ocaml
- excellent explanation by Jeremy Yallop of garbage collector discipline in C bindings https://sympa.inria.fr/sympa/arc/caml-list/2016-02/msg00021.html 3 comments ocaml
- Is OCaml for experienced beginners? Is anyone in charge of the OCaml ecosystem? https://sympa.inria.fr/sympa/arc/caml-list/2015-12/msg00077.html 10 comments ocaml
- OCaml hip-hop song https://sympa.inria.fr/sympa/arc/caml-list/2015-12/msg00033.html 2 comments ocaml
- OCaml Turns 20 https://sympa.inria.fr/sympa/arc/caml-list/2015-09/msg00079.html 4 comments programming
- Caml is now 20 years old! [mail] https://sympa.inria.fr/sympa/arc/caml-list/2015-09/msg00079.html 8 comments ocaml
- OCaml Users and Developers Workshop: call for participation https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00143.html 4 comments ocaml
- the release of Incremental 112.35.00 https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00019.html 4 comments ocaml
- OCaml 4.02.2 incoming (now in rc1), with a big changelog https://sympa.inria.fr/sympa/arc/caml-list/2015-06/msg00059.html 8 comments ocaml
- « OCaml 4.02 provides "__LOC__", "__FILE__", "__LINE__", "__MODULE__" and "__POS__" primitives that can be used to display precise error messages. » https://sympa.inria.fr/sympa/arc/caml-list/2015-06/msg00002.html 5 comments ocaml
- OCaml 4.03 will, 'if all goes well', support multicore. https://sympa.inria.fr/sympa/arc/caml-list/2015-05/msg00034.html 260 comments programming
- 4.03, scheduled for the end of the year, "if all goes well" will support multicore https://sympa.inria.fr/sympa/arc/caml-list/2015-05/msg00034.html 46 comments ocaml
- Gérard Huet on 'How to show off Coq' https://sympa.inria.fr/sympa/arc/coq-club/2015-01/msg00248.html 2 comments coq
- « Projecting from a Type to its corresponding Prop acts like a monad » https://sympa.inria.fr/sympa/arc/coq-club/2015-01/msg00087.html 6 comments coq
- Centralized OCaml Wiki https://sympa.inria.fr/sympa/arc/caml-list/2014-04/msg00021.html 7 comments ocaml
- New tactical engine for Coq about to be merged into trunk https://sympa.inria.fr/sympa/arc/coqdev/2013-10/msg00014.html 2 comments coq
- OCaml 4.01.0 Released https://sympa.inria.fr/sympa/arc/caml-list/2013-09/msg00173.html 79 comments programming
- OCaml 4.01.0 released https://sympa.inria.fr/sympa/arc/caml-list/2013-09/msg00173.html 3 comments ocaml
- Jeremy Yallop announces ocaml-ctypes, a library that may make C bindings pleasant to write https://sympa.inria.fr/sympa/arc/caml-list/2013-06/msg00046.html 5 comments ocaml
- Interesting development on the "OCaml on multicore" front https://sympa.inria.fr/sympa/arc/caml-list/2012-08/msg00070.html 3 comments ocaml
- OCaml-Java 2.0 preview: compile OCaml sources to Java bytecode https://sympa.inria.fr/sympa/arc/caml-list/2012-08/msg00012.html 4 comments ocaml
- OCaml 4.00.0-beta announced https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html 25 comments programming
- OCaml 4.00.0 beta announced https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html 4 comments ocaml