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: Keyword: foundations Clear all

.plan-26-43: Wireguard meshes over troubled water

Forester toplevels are working well in FoCS lectures, a smooth Patch the Planet week with Trail of Bits, and drowning in security reports.

deepmind forester foundations gtc human-in-the-loop mesh sabbatical science tessera wireguard

25 Oct 2026

Anil Madhavapeddy's Blog

Read Article

.plan-26-41: Hello, is it Part II you're looking for?

The Foundations of Computer Science notes are now done as a Forest with live OCaml toplevels, and Part II projects sorted.

foundations functor gps oct omniscient ongoing part post-posix science supervised

11 Oct 2026

Anil Madhavapeddy's Blog

Read Article

Using Forester to turn Foundations of CS into interactive evergreen lectures

Porting the FoCS lecture notes to Forester, including transclusions and stable section URLs, and a live OCaml toplevel compiled into the browser.

datalog forest forester foundations js_of_ocaml-toplevel lecture lectures markdown toc transclude

16 Aug 2026

Anil Madhavapeddy's Blog

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?