Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Source: Tarides Year: 2024 Keyword: parallelism Clear all

The New Conference on the Block: What is FUN OCaml?

The FUN OCaml conference is an OCaml conference by developers for developers focussing on workshops, talks, and networking.

GADT concurrency conference dillon fun functional programming mirageos odoc parallelism sabine

13 Nov 2024

Tarides

Read Article

The Biggest Functional Programming Conference of the Year: What are we Bringing to ICFP?

Feeling fashionable? Milan is calling! ICFP 2024 will be held in the Italian fashion capital from 2-7 September, and there is something…

OCaml LSP concurrency domainslib eio formal verification functional programming js_of_ocaml merlin parallelism picos

30 Aug 2024

Tarides

Read Article

Multicore Testing Tools: DSCheck Pt 2

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter…

atomic barrier counter domain dscheck interleavings multicore obstruction-free parallelism spawn

10 Apr 2024

Tarides

Read Article

Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml

The OCaml 5 update brought much-anticipated support for programming on multiple cores. It also introduced support for concurrency via effect…

async concurrency domainslib effects eio eio-trace kcas lwt_eio multicore parallelism

20 Mar 2024

Tarides

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?