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: 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: • The main repo: Could we add a tiny OCaml interpreter to Numworks graphical calculators? ════════════════════════════════════════════════════════════════════════ Archive: 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] opam 2.3.0~beta2 ════════════════ Archive: 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] [blog post] [release note] [changelog] 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] Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️ ══════════════════════════════════════════════════════════════════ Archive: 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]. :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] [Merlin’s repository wiki ] Dune dev meeting ════════════════ Archive: 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] :computer: Links ╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌ • Meeting link:[ zoom] • Calendar event:[ google calendar] Wiki with information and previous notes:[ GitHub Wiki] [ zoom] [ google calendar] [ GitHub Wiki] Shell Completions in Dune Developer Preview ═══════════════════════════════════════════ Archive: 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 │ cache clean coq └──── …or: ┌──── │ $ dune build - │ --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 ' then it will still suggest local files rather than build targets. [Dune Developer Preview] [installer] [here] 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 │ 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] [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?] 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] [the archive] [RSS feed of the archives] [caml-list] [Alan Schmitt]