Why Lean 4 replaced OCaml as my Primary Language

[gasche]

Yes, the next meeting is planned on October 15th. This is only a triaging meeting though, discussing who to assign on various compiler PRs and issues. If you want more open-ended discussions with community members, the office hours may be more interesting.