[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

[Alan Schmitt <alan.schmitt@polytechnique.org>]

[-- Attachment #1: Type: text/plain, Size: 7723 bytes --]

Hello

Here is the latest OCaml Weekly News, for the week of February 03 to 10,
2026.

Table of Contents
─────────────────

intel_hex.0.3
layoutz 0.0.2 - a tiny DSL for beautiful CLI output in OCaml 🪶
New release of Menhir (20260122)
Caml in the Capital - Registrations Open!
An experimental branch of Merlin based on Domains and Effects
Other OCaml News
Old CWN


intel_hex.0.3
═════════════

  Archive: <https://discuss.ocaml.org/t/ann-intel-hex-0-3/17771/1>


Mikhail announced
─────────────────

  Hi there!

  I am excited to announce the release of the [intel_hex] library. This
  library is a manipulation library that provides functions for reading,
  writing, and creating Intel HEX data, which is a common format used in
  embedded system programming.


  ┌────
  │ Intel_hex.Record.
  │   [
  │       Extended_segment_address 0x0F;
  │       Data (0x0000, "Hello ");
  │       Data (0x0007, "World!");
  │       End_of_file;
  │   ]
  │ |> Intel_hex.records_to_string 
  │ |> print_endline
  └────

  ┌────
  │ :02000002000FED
  │ :0600000048656C6C6F20E6
  │ :06000700576F726C6421CA
  │ :00000001FF
  └────

  Also, you can of course read the IHEX object file from other sources:
  ┌────
  │ In_channel.with_open_text "data.hex" Intel_hex.object_of_channel
  └────

  ┌────
  │ - : Intel_hex.Object.t = 
  │ { 
  │   start_linear_address = 0;
  │   start_segment_address = {cs = 0; ip = 0};
  │   chunks = [(240, "Hello "); (247, "World!")]
  │ }
  └────

  Limitations

  32-bitness. To represent 32-bit integers, the library uses the OCaml
  int data type. This may be problematic for 32-bit systems, as it can
  lead to overflow errors, but it works fine for most 64-bit systems.

  Start addressing and extending addressing. Not fully supported for
  real-world use. I would appreciate your pull request on this!


[intel_hex] <https://github.com/dx3mod/intel_hex>


layoutz 0.0.2 - a tiny DSL for beautiful CLI output in OCaml 🪶
═══════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-layoutz-0-0-2-a-tiny-dsl-for-beautiful-cli-output-in-ocaml/17774/1>


Matthieu Court announced
────────────────────────

  Hello all! Been working on [layoutz], a tiny, zero-dep combinator lib
  for making pretty, structured, terminal output: tables, trees, boxes,
  ANSI styled elements, etc.

  Would love to hear how the API feels: Smooth? Any missing primitives
  you'd expect? Many thanks!


[layoutz]
<https://github.com/mattlianje/layoutz/tree/master/layoutz-ocaml>


New release of Menhir (20260122)
════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-new-release-of-menhir-20260122/17764/6>


Continuing this thread, François Pottier announced
──────────────────────────────────────────────────

  I have introduced a printing bug in the Rocq back-end, reported by
  Xavier Leroy. I am releasing version 20260203 today to fix this bug.


Caml in the Capital - Registrations Open!
═════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-caml-in-the-capital-registrations-open/17776/1>


Sacha Ayoun announced
─────────────────────

  Hi everyone !

  We are excited to officially invite you to the first Caml in the
  Capital meetup!  We have two fantastic talks planned, some free pizza
  🍕 generously sponsored by the OCaml Software Foundation 🐪 and great
  company to chat with :grinning_face_with_smiling_eyes:

  • *Registration link:* [HERE] *(Please register asap so we can
     anticipate)*
  • *Date:* Thursday February 26th from 6:30pm to 8:30pm
  • *Location:* Imperial College London, Flowers Building, Room FLOW
     G.47A.


[HERE]
<https://www.eventbrite.sg/e/caml-in-the-capital-feb-2026-tickets-1977730614507>

Talks
╌╌╌╌╌

◊ Compile-time Computation for Caml

  /by Jeremy Yallop/

  (Abstract TBD)


◊ Dynamic Verification of OCaml Software with ORTAC/QCheck-STM

  /by Nikolaus Huber/

        In this talk I would like to introduce the QCheck-STM
        plugin for ORTAC, a framework for dynamic verification of
        OCaml code. ORTAC/QCheck-STM consumes OCaml module
        signatures annotated with contracts expressed in the
        Gospel language and generates code for automated runtime
        assertion checking from it. I will highlight some details
        of the implementation of the tool, the structure of the
        generated code, and on errors found in established OCaml
        libraries.

  —

  We are very much looking forward to meeting the OCaml community in
  London!

  Cheers, Alistair & Sacha


An experimental branch of Merlin based on Domains and Effects
═════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-an-experimental-branch-of-merlin-based-on-domains-and-effects/17195/11>


Continuing this thread, Carine Morel announced
──────────────────────────────────────────────

  Hello! For those interested, [here] is the link to the video of the
  talk @pitag and I gave on the subject at Lambda World last year! Don't
  hesitate to ask questions here or under the video!


[here] <https://www.youtube.com/watch?v=9JmtVtREAco>


Other OCaml News
════════════════

>From the ocaml.org blog
───────────────────────

  Here are links from many OCaml blogs aggregated at [the ocaml.org
  blog].

  • [Windows Docker Images]
  • [Weeknotes for week 6]
  • [More CFI and frame pointers work]
  • [OCaml Roundup: January 2026]


[the ocaml.org blog] <https://ocaml.org/blog/>

[Windows Docker Images]
<https://www.tunbury.org/2026/02/09/base-image-builder/>

[Weeknotes for week 6]
<https://jon.recoil.org/blog/2026/02/weeknotes-2026-06.html>

[More CFI and frame pointers work]
<https://lambdafoo.com/posts/2026-02-07-more-cfi-and-frame-pointers.html>

[OCaml Roundup: January 2026]
<https://patrick.sirref.org/ocaml-roundup-january-2026/>


Old CWN
═══════

  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
  to the [caml-list].

  [Alan Schmitt]


[send me a message] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[caml-list] <https://sympa.inria.fr/sympa/info/caml-list>

[Alan Schmitt] <https://alan.petitepomme.net/>


[-- Attachment #2: Type: text/html, Size: 18628 bytes --]