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

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

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

Hello

Here is the latest OCaml Weekly News, for the week of October 22 to 29,
2024.

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

HOL Light released to OPAM
Could we add a tiny OCaml interpreter to Numworks graphical calculators?
opam 2.3.0~beta2
Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️
Dune dev meeting
Shell Completions in Dune Developer Preview
Other OCaml News
Old CWN


HOL Light released to OPAM
══════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-hol-light-released-to-opam/15488/1>


Juneyoung Lee announced
───────────────────────

  The HOL Light interactive theorem prover written by John Harrison is
  released to OPAM as a package. Its first new version available on OPAM
  is 3.0.  It now provides `hol.sh' which is a script that will launch
  an OCaml REPL that enables interactive theorem proving. Combined with
  a VSCode plugin for HOL Light, this gives a nice theorem proving
  experience..! For more details, please visit:
  • The website: <https://hol-light.github.io/>
  • The main repo: <https://github.com/jrh13/hol-light/>


Could we add a tiny OCaml interpreter to Numworks graphical calculators?
════════════════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/could-we-add-a-tiny-ocaml-interpreter-to-numworks-graphical-calculators/7652/14>


Deep in this thread, Lilian Besson announced
────────────────────────────────────────────

  So after a few hours of work, we've successfully ported the OMicroB
  Virtual Machine for OCaml to the Numworks calculator :tada: ! See
  [this part of our discussion on GitHub], if anyone is curious.

  But we're far away from being done! Indeed, I want to be able to
  interpret *on the calculator* some OCaml line of code / or entire
  file.  I know it's probably going to be hard, if not entirely
  impossible, but hey we've at least progressed a bit in this direction!
  Thanks @borisd again for the suggestion!  @Vertmo is helping me on
  this issue, thanks to him.


[this part of our discussion on GitHub]
<https://github.com/stevenvar/OMicroB/issues/36#issuecomment-2432041168>


opam 2.3.0~beta2
════════════════

  Archive: <https://discuss.ocaml.org/t/ann-opam-2-3-0-beta2/15496/1>


Kate announced
──────────────

  We're happy to announce the second beta release of opam 2.3.0.

  As we're closing on the final release of opam 2.3.0, we'd be happy for
  people to test this beta and report any regression.


What's new?
╌╌╌╌╌╌╌╌╌╌╌

  This release consists mostly in one regression fix compared to
  2.3.0~beta1:

  • Fix a regression in the detection of the current terminal size that
    leads to opam output that tries to fit itself into 80 columns
    regardless of the current terminal size ([#6243])

  A couple of other improvements were made.  :open_book: You can read
  our [blog post] for more information, and for even more details you
  can take a look at the [release note] or the [changelog].


[#6243] <https://github.com/ocaml/opam/issues/6243>

[blog post] <https://opam.ocaml.org/blog/opam-2-3-0-beta2/>

[release note] <https://github.com/ocaml/opam/releases/tag/2.3.0-beta2>

[changelog] <https://github.com/ocaml/opam/blob/2.3.0-beta2/CHANGES>


Try it!
╌╌╌╌╌╌╌

  The upgrade instructions are pretty much the same:

  For Unix systems
  ┌────
  │ bash -c "sh <(curl -fsSL https://opam.ocaml.org/install.sh) --version 2.3.0~beta2"
  └────
  or from PowerShell for Windows systems
  ┌────
  │ Invoke-Expression "& { $(Invoke-RestMethod https://opam.ocaml.org/install.ps1) } -Version 2.3.0~beta2"
  └────

  Please report any issues to [the bug-tracker].


[the bug-tracker] <https://github.com/ocaml/opam/issues>


Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️
══════════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-editors-dev-meeting-4-thu-31th-search-by-type-a-la-sherlodoc/15507/1>


vds announced
─────────────

  We are organizing the next public dev-meeting on next Thursday, the
  31th of October at 5pm CEST (we have a local speaker). Whether you are
  a long time maintainer, an occasional contributor, a new comer, or
  simply a curious passer-by, please feel free to attend!

  :sparkles: For this session, @xvw is going to present a new Merlin
  feature: an alternative to polarity search that can search for values
  in the environment with a syntax similar as the one of the amazing
  [Sherlodoc].

  <https://global.discourse-cdn.com/flex020/uploads/ocaml/original/2X/2/2616c436ecefca9526d1f8bc5d106faa90c5219a.gif>

  :clipboard: Meeting agenda:

  • A tour-de-table to allow the participants that wish to do so to
    present themselves and mention issues / prs they are interested in.
  • Talk and Q&A
  • Discuss issues and pull requests that were tagged in advance or
    mentioned during the tour-de-table.

  We’re looking forward to meeting you!

  Meeting link:
  [meet.google.com/ncb-mnmp-kmk](meet.google.com/ncb-mnmp-kmk)

  Previous meeting notes are available in [Merlin’s repository wiki ].


[Sherlodoc] <https://doc.sherlocode.com/>

[Merlin’s repository wiki ]
<https://github.com/ocaml/merlin/wiki/Public-dev%E2%80%90meetings>


Dune dev meeting
════════════════

  Archive: <https://discuss.ocaml.org/t/ann-dune-dev-meeting/14994/15>


Etienne Marais announced
────────────────────────

  We will hold our regular Dune dev meeting tomorrow, on *Wednesday,
  October, 30th at 16:00 CET.* As usual, the session will be one hour
  long.

  Whether you are a maintainer, a regular contributor, a new joiner or
  just curious, you are welcome to join: these discussions are opened!
  The goal of these meetings is to provide a place to discuss the
  ongoing work together and synchronise between the Dune developers
  :speech_balloon:


:calendar: Agenda
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  The agenda is available on the[ meeting dedicated page]. Feel free to
  ask if you want to add more items in it.


[ meeting dedicated page]
<https://github.com/ocaml/dune/wiki/dev-meeting-2024-10-30>


:computer: Links
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Meeting link:[ zoom]
  • Calendar event:[ google calendar]

  Wiki with information and previous notes:[ GitHub Wiki]


[ zoom]
<https://us06web.zoom.us/j/85096877776?pwd=cWNhU1dHQ1ZNSjZuOUZCQ0h2by9Udz09>

[ google calendar]
<https://calendar.google.com/calendar/embed?src=c_5cd698df6784e385b1cdcdc1dbca18c061faa96959a04781566d304dc9ec7319%40group.calendar.google.com>

[ GitHub Wiki] <https://github.com/ocaml/dune/wiki#dev-meetings>


Shell Completions in Dune Developer Preview
═══════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/shell-completions-in-dune-developer-preview/15522/1>


Steve Sherratt announced
────────────────────────

  Support for dune shell completions for bash and zsh has just landed in
  the [Dune Developer Preview]!

  Running the [installer] adds a snippet to your shell config
  (e.g. `/.bashrc) that installs a completion handler for ~dune'. The
  completion script was taken from [here], and that page has some
  information about how the script was generated. Once it's installed
  the completions will work any time `dune' is typed at the start of a
  command, so you can still use the completions when running a version
  of Dune installed with Opam or your system package manager after
  installing the Dune Developer Preview.

  Currently only command completions are supported. So you can run:
  ┌────
  │ $ dune c<TAB>
  │ cache  clean  coq
  └────

  …or:
  ┌────
  │ $ dune build -<TAB>
  │ --action-stderr-on-success
  │ --action-stdout-on-success
  │ --always-show-command-line
  │ --auto-promote
  │ --build-dir
  │ --build-info
  │ --cache
  │ ...
  └────

  But if you run `dune build <TAB>' then it will still suggest local
  files rather than build targets.


[Dune Developer Preview] <https://preview.dune.build/>

[installer] <https://preview.dune.build/#download>

[here] <https://github.com/gridbugs/dune-completion-scripts>

Try it out!
╌╌╌╌╌╌╌╌╌╌╌

  Getting started is easy:

  ┌────
  │ $ curl -fsSL https://get.dune.build/install | sh
  │ $ source ~/.bashrc  # or: ~source ~/.zshrc~ or just restart your shell
  │ $ dune <TAB>
  │ build
  │ cache
  │ clean
  │ coq
  │ describe
  │ diagnostics
  │ exec
  │ ...
  └────


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

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

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

  • [Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel]
  • [Looking Back on our Experience at ICFP!]
  • [Runtime arguments in MirageOS]
  • [How has robur financially been doing since 2018?]


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

[Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel]
<https://blog.robur.coop/articles/dnsvizor01.html>

[Looking Back on our Experience at ICFP!]
<https://tarides.com/blog/2024-10-23-looking-back-on-our-experience-at-icfp>

[Runtime arguments in MirageOS]
<https://blog.robur.coop/articles/arguments.html>

[How has robur financially been doing since 2018?]
<https://blog.robur.coop/articles/finances.html>


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: 22074 bytes --]