OCaml Weekly News, 16 Apr 2024
OCaml Planet
by Caml Weekly News
1w ago
..read more
Visit website
Speeding up MirageVPN and use it in the wild
OCaml Planet
by Robur Cooperative
1w ago
Performance engineering of MirageVPN, speeding it up by a factor of 25 ..read more
Visit website
Frama-C Days 2024
OCaml Planet
by Frama-C
1w ago
..read more
Visit website
Multicore Testing Tools: DSCheck Pt 2
OCaml Planet
by Tarides
1w ago
let test_counter () = Atomic.trace (fun () -> let counter = Counter.create () in Atomic.spawn (fun () -> Counter.incr counter); (* [Atomic.spawn] is the DSCheck function to simulate [Domain.spawn] ) Atomic.spawn (fun () -> Counter.incr counter); ( There is no need to join domains as DSCheck does not actually spawn domains. *) Atomic.final (fun () -> Atomic.check (fun () -> Counter.get counter == 2 ..read more
Visit website
Opam 102: Pinning Packages
OCaml Planet
by Dario Pinto
1w ago
The following actions will be performed: ∗ install dune 3.14.0 [required by hc] ∗ install hc 0.3* ===== ∗ 2 ===== Do you want to continue? [Y/n] y <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><> ⬇ retrieved hc.0.3 (no changes) ⬇ retrieved dune.3.14.0 (https://opam.ocaml.org/cache) ∗ installed dune.3.14.0 ∗ installed hc.0.3 Done. <><> hc: information on all versions ><><><><><>< ..read more
Visit website
OCaml Weekly News, 09 Apr 2024
OCaml Planet
by Caml Weekly News
1w ago
..read more
Visit website
Updates to OCaml.org's Learn Section: Enhancing UI and UX
OCaml Planet
by Tarides
1w ago
..read more
Visit website
OCaml Weekly News, 02 Apr 2024
OCaml Planet
by Caml Weekly News
2w ago
..read more
Visit website
NetHSM: Bringing Open Source to the World of Hardware Security Modules
OCaml Planet
by Tarides
2w ago
..read more
Visit website
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
OCaml Planet
by Tarides
1M ago
..read more
Visit website

Follow OCaml Planet on FeedSpot

Continue with Google
Continue with Apple
OR