Lightnews — Scholar-powered news

patrick @patrick.sirref.org · 12d

A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...

Outreachy Mentors Wanted

I have submitted two projects for this round: Create an OxCaml backend for Raven Create a monitoring dashboard for Raven For 1., the title is descriptive enough: the goal is to implement a new OxCa...

discuss.ocaml.org

1 3 3

patrick @patrick.sirref.org · 18d

The #OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: discuss.ocaml.org/t/outreachy-...

Outreachy Mentors Wanted

I’m excited to share that the OCaml community has secured funding for the next round of Outreachy. Thanks to Jane Street and Tarides, we have funding for 3 mentees in the next cohort of Outreachy inte...

discuss.ocaml.org

1 4 9

Reposted by patrick

David Allsopp @dra27.uk · 23d

3 years since I finalised the demo of it for the OCaml Workshop in Ljubljana, Relocatable OCaml is finally submitted for review! 🥳🍾🎊

2 6 21

patrick @patrick.sirref.org · Sep 2

We just wrapped another very successful round of Outreachy with the OCaml community. The presentations from our fantastic interns are online now!

watch.ocaml.org/w/kZJRFM6iw9...

Outreachy May 2025 Demo Day

The OCaml community participated in the May 2025 round of Outreachy internships. Two interns worked on a range of projects including Claudius and Dune. This meeting was an opportunity for the inter...

watch.ocaml.org

1 3 6

patrick @patrick.sirref.org · Aug 8

I recently wrote a retrospective on Irmin, an OCaml library for building mergeable, branchable distributed data stores. It mainly focuses on the pain points I have found developing multiple applications using Irmin over the past few years.

patrick.sirref.org/irmin-retro

patrick.sirref.org

3 10

Reposted by patrick

Sam Westrick @shwestrick.bsky.social · Aug 4

happy to announce that we have 8 accepted submissions for the ML Family Workshop this year! 🎉

Topics include type systems, type-guided domain modeling, compilers IRs and optimization, module systems, successor MLs, and scripting languages.

Check it out!
conf.researchr.org/home/icfp-sp...

ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...

conf.researchr.org

1 2 8

patrick @patrick.sirref.org · Aug 1

I stand by it :)

1

Reposted by patrick

Ink & Switch @inkandswitch.com · Jul 23

Do you write TypeScript? Enjoy Automerge? Love building both tools and community? You might be a great fit for our ✨new✨ Automerge TypeScript Maintainer role!

www.inkandswitch.com/jobs/automer...

(Remote role, 🇬🇧 UK-based preferred but not required)

Automerge TypeScript Maintainer

Industrial research lab working on digital tools for creativity and productivity

www.inkandswitch.com

24 59

patrick @patrick.sirref.org · Jul 24

Yep! I believe there is support for saving the state of the cells locally in the works too which would be a good feature!

Reposted by patrick

Anil Madhavapeddy @anil.recoil.org · Jul 23

Right this is how I’m going to do our ICFP talk @patrick.sirref.org! Very cool to see OCaml web components to make executable notebooks online really easy patrick.sirref.org/slipshow-x-x...

patrick.sirref.org

1 4 10

Reposted by patrick

David Allsopp @dra27.uk · Jul 20

Testing opam packages for Relocatable OCaml which actually take advantage of it. Creating a new switch using the same version as one you've already built in another switch now takes 5 seconds, rather than 2 minutes (cloning the compiler itself takes just 100ms of that 5 seconds!)

Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location

2 4 12

Reposted by patrick

FUN OCaml @fun-ocaml.com · Jul 16

Paul-Elliot Angles d'Auriac:

Slipshow: A Full-Featured Presentation Tool in OCaml

FUN OCaml 2025 | Warsaw | Sept 15-16

How one developer rewrote a JavaScript presentation tool in OCaml, creating a platform with runtime engine, collaborative editing, VSCode extension & app.

Conference presentation slide for FUNOCaml 2025 event in Warsaw, Poland on September 15-16. Features a circular photo of Paul-Elliot Angles d'Auriac, a person with shoulder-length wavy hair wearing round glasses and drinking from a blue cup. The slide announces a talk titled "Slipshow: A Full-Featured Presentation Tool in OCaml" and describes how Slipshow is a presentation tool originally written in JavaScript but rewritten in OCaml, featuring a runtime engine, compiler, collaborative editing website, VSCode extension, and standalone application. The talk explores how OCaml enabled a single developer to create and maintain such a comprehensive project.

5 10

Reposted by patrick

Marcello Seri @mseri.me · Jul 6

Raven (raven-ml.dev ) is a new framework for scientific computing in #OCaml. Still in alpha, but from a brief look at it, I am very energized: the API is quite clean, and they are avoiding some of the main pitfalls that affected owl. I am looking forward to play with this at the first opportunity!!

raven: Modern scientific computing for OCaml

modern scientific computing for OCaml

raven-ml.dev

4 11

Reposted by patrick

Anil Madhavapeddy @anil.recoil.org · Jun 27

"Steps to the Ecology of the Internet" will appear in the decennial Aarhus 2025, where we go on a wild ride merging concepts from ecology into the heart of Internet architecture and the end-to-end principle. Read more at anil.recoil.org/news/2025-in... and paper at anil.recoil.org/papers/2025-... 🌍

Steps towards an ecology of the Internet

anil.recoil.org

4 5

Reposted by patrick

Anil Madhavapeddy @anil.recoil.org · Jun 24

Well done to undergrad Max Carroll on presenting his research on the Hazel live functional language to @neurocy.bsky.social and team in Michigan! Conditions were sweltering in Cambridge…

1 18

Reposted by patrick

Yaron Minsky @yminsky.bsky.social · Jun 24

A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!

dl.acm.org/doi/pdf/10.1...

1 7 34

Reposted by patrick

KC Sivaramakrishnan @kcsrk.info · Jun 4

A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....

1 3 9

patrick @patrick.sirref.org · Jun 4

It was pretty frustrating come up mostly short on a solution for io-uring that was reliable and that would remain stable across kernel versions. Any pointers there would be appreciated :)

patrick @patrick.sirref.org · Jun 4

This has additional support for tracking subprocesses and io-uring which bypasses the common syscall tracepoints.

1

patrick @patrick.sirref.org · Jun 4

I've been experimenting with OCaml and eBPF to build an "opentrace" tool for monitoring which files your program reads and writes.

patrick.sirref.org/open-trace

patrick.sirref.org

1 1 2

Reposted by patrick

ryan.freumh.org @ryan.freumh.org · May 8

This afternoon was spent #vibecoding a Matrix bot to listen in on our computer lab occupancy channel and reply to queries with a local Ollama hosted LLM on one of our GPU machines. Of questionable utility, but kind of neat.

2 1 4

patrick @patrick.sirref.org · May 9

(( seems a bit broken on safari... ))

patrick @patrick.sirref.org · May 9

There's a little post about it here patrick.sirref.org/try-oxcaml

patrick.sirref.org

patrick @patrick.sirref.org · May 9

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

Try OxCaml

An OCaml toplevel supporting Janestreet's Modes

patrick.sirref.org

2 5 9

Reposted by patrick

Kiran (She/Her) @kirancodes.me · Apr 28

Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE!

Please consider submitting this year!!

Kiran (She/Her) @kirancodes.me · Mar 25

Calling for Presentations!!!

The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!!

Submissions due: July 3rd AoE
Workshop: Oct 17th

Here's the link to website:
conf.researchr.org/home/icfp-sp...

#OCaml

OCaml 2025 - OCaml Users and Developers Workshop 2025 - ICFP/SPLASH 2025

The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have b...

conf.researchr.org

2 3