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: mphil Clear all

.plan-26-37: The humans aren't dead, the humans are ahead

Mathematics gets its AI reckoning after security, thinking through formative assessment for the CST Tripos, triaging Scrutineer bugs without panicking, and an Echo Labs visit.

ai-powered brain-computer domain eio formative humans mphil nerve scrutineer sep

13 Sep 2026

Anil Madhavapeddy's Blog

Read Article

Open MPhil/Part II student projects for 2026-2027

A refreshed set of Part II and MPhil projects, split between environmental science problems that need computer science, and more conventional systems and programming languages topics.

aug downscaling effect embeddings monad mphil roads species tessera unikernel

09 Sep 2026

Anil Madhavapeddy's Blog

Read Article

.plan-26-35: All I want for Tesseramas is (GP)U

Tessera v1.1 now also synced to Source Cooperative but we're short on GPUs for v2, Scrutineer security scans driven by a local GLM, PROPL 2026 videos are live, and TDM reservations in OCaml for Evidence TAP.

aug embeddings gibb glm mphil propl scrutineer temporal tessera unet

30 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?