OCaml compiler office hours

Edit: the date for the October 2025 office hours have been set, see below.


Following our current discussion on making participation to the OCaml compiler development more inviting (Why Lean 4 replaced OCaml as my Primary Language - #45 by gasche, Synchronous discussion channel for compiler contributors ), I propose to give a try to “OCaml compiler office hours”. My idea is to do this once during a week day around the end of September (and then we see how it goes).

  • Format: a synchronous remote meeting (voice with optional video), backed by a collaborative pad to record questions, take notes, share links etc.
  • Topic: anything related to the development of the OCaml compiler, that is, the github/ocaml/ocaml project. (All topics and questions are welcome, at all levels of knowledge and familiarity with the compiler.)
  • Duration: probably one to two hours, but the idea of “office hours” is that people can of course join late and leave at any time.

Picking a good time for this is difficult as the OCaml community lives across all timezones.
I am including below a poll to ask which time slots would be possible / comfortable for prospective attendants. (As the organizer, I pre-selected slots that are comfortable for me.)
Please only answer the poll if you are motivated to attend such a meeting (the preferences may different from the general timezone of the OCaml community).

  • 7:00 – 8:00 (UTC)
  • 8:00 – 9:00 (UTC)
  • 9:00 – 10:00 (UTC)
  • 11:00 – 12:00 (UTC)
  • 12:00 – 13:00 (UTC)
  • 13:00 – 14:00 (UTC)
  • 14:00 – 15:00 (UTC)
  • 15:00 – 16:00 (UTC)
0 voters

(If we do this several time we will of course think of a rotation to accomodate people from different timezones.)

10 Likes

It is hard (for me at least) to select a time slot without knowing which day of the week it will be on :slight_smile:

Anyway, I will surely attend if I can. Thanks for organizing this!

Cheers,
Nicolas

1 Like

My question is not when people are available on a specific day, but which times on weekday are generally comfortable for them to spend time doing OCaml stuff. (Maybe they can do this at work, in which case I would expect them to indicate reasonable working hours for them; or at home in the evening (but not too late), and they indicate this time period, etc.)

I will later send a poll to pick a specific day, but the UI would be crap if I proposed 8 or even 3 different choices per day, so I prefer to narrow the options first.

Thanks for the clarification, makes sense! I added my vote.

Cheers,
Nicolas

Thank you for organising this @gasche I’ve added my vote for the Australian timezone.
If the times work out, I’ll happily attend.

I procrastinated a bit on sending a poll to pick a date, apologies!

Given the time results above, I think that the optimal 2-hour time window is 11:00-12:30 UTC. (I cut it to one hour and a half, instead of two hours, to avoid exhaustion. Of course people are free to enter and leave at any time.).

Here is a poll to pick a day (not next week, but the week after).

  • Monday October 6th
  • Tuesday October 7th
  • Wednesday October 8th
  • Thursday October 9th
  • Friday October 10th
0 voters

P.S.: I haven’t found a way to express “(If need be)” with Discuss polls, so when voting myself I just unselected the less-convenient options, but I am of course happy to make time to participate on all those days.

3 Likes

Given the current votes, I propose to pick

Friday October 10th
UTC 11:00 – UTC 12:30

as the time slot for this test run of OCaml compiler office hours. Save the date!

I propose to try This online meeting room (this is a BigBlueButton instance hosted by the French government for public workers), and take notes on this collaborative pad.

I am planning to join audio-only to save bandwidth, but people are free to do as they prefer.

A reminder on the format, topic:

Format: a synchronous remote meeting (voice with optional video), backed by a collaborative pad to record questions, take notes, share links etc. People can join and leave at any time during the office hours.

Topic: anything related to the development of the OCaml compiler, that is, the github/ocaml/ocaml project. (All topics and questions are welcome, at all levels of knowledge and familiarity with the compiler.)

10 Likes

Thank you for the effort you have put into this.

Thanks for the initiative @gasche.

1 Like

Hi everyone,

Just a short reminder that the office hours will take place tomorrow (in approximately 25h30mn: Friday October 10th 2025, UTC 11:00-12:30). There is a collaborative pad which you can use to write questions/topics to be discussed during the office hours. No questions/topics have been proposed yet, feel free to add some!

(I think that we will prioritize the questions/topics for which someone is available online to present them – the pad is not a substitute for attendance – but seeing other people’s questions/topics can be inspiring.)

3 Likes

Unfortunately, I wanted to be there but I have a clash in my calendar. I hope you have fun and I am looking forward to join the next one.

Hello,
Thank you so much for organising this @gasche!

it looks like BigBlueButton is broken on Safari:

Side note also for future meetings, but the platform is entirely in french with no option to translate it. This might not feel welcoming to non-french people (I wish english wasn’t the defacto language, but it unfortunately is at the moment…).

Has the meeting started? I am still waiting for someone to let me in

The host seems unable to make it to the meeting. We have moved to a new meeting room for today: Jitsi Meet

The meeting went well – see the collaborative pad linked above for notes.

I propose to have another meeting about a month from now:

on November 7th
at 15:30–17:00 UTC
online meeting room
online collaborative pad for notes

(I picked a different time slot from the current one, that also looks reasonable given previous poll results. If extra people would like to join, please feel free to participate to the time-slot poll in the first post so that I can tell when are good meeting times.)

@giltho thanks for noticing the language issue on the online-meeting service I proposed; this is a new issue that looks like it comes from a version upgrade, it of course had a fine English interface when I adopted the service. Let’s keep jitsi.meet for now.

3 Likes

Hey :waving_hand: Were there any notes / minutes taken during the meeting? I was unfortunately unable to attend but would be interested in what was discussed. I checked the collaborative pad, though it seems empty.

You checked the pad for the next meeting, not the pad for today’s meeting.

2 Likes

Ah, how embarrassing! Thanks :folded_hands:

Some web-browsers propose an easy way to translate pages that are writen in a natural langue that you have difficulties to read.
For example you can get a chrome-book for only 200 euro.

1 Like