Tim McGilchrist

Hadn’t thought about publishing it there. Once I’ve done the editing I’ll share a link to it.

Super excited to have Chris Armstrong talking about OCaml and AWS at FP-SYD tonight.

I would keep the distributed process section, as there’s not really an equivalent Actor library in Haskell. The section on exceptions in Haskell is wonderful. More coverage on GPUs and patterns for building concurrent applications.

Three white mushrooms growing in a pot plant. Next to a cluster of green stems.

Wonderful mushroom surprise in my pot plant this morning. Need to lookup what variety it is.

For you Linker and Solaris nerds, the classic Solaris Linking & ELF Blogs are available. Lots of interesting material.

www.linker-aliens.org

Combobulate: Intuitive, Structured Navigation with Tree-Sitter Tree-sitter's promise of simplifying code navigation can seem like a dream, but in reality, it introduces its own set of challenges that complicate the process. In this article, I delve into the intri...

Hacking Emacs is so rewarding and deeply addictive. I’ve been experimenting with structured navigation using comobobulate and treesitter. Targeting OCaml and Haskell. www.masteringemacs.org/article/comb...

Congratulations! I know you’ve been working on this for some time.

FP-SYD getting started on the topic of SAT solvers.

FP-Syd meeting!, Wed, Feb 26, 2025, 6:00 PM | Meetup In our February edition, we will satisfy our thirst for knowledge with: Vaibhav Sagar: SATisfying Solutions to Difficult Problems! SAT solvers have been used to find solu

Of course FP-SYD functional programming group is on tonight. There’s the promise of a SAT talk and a lightning talk. RSVP on www.meetup.com/fp-syd/event...

This is cool. However I’ve never had an invite to the lobster site. Can anyone hook me up with one?

Also spent some quality time with elisp this weekend improving my Emacs setup with tree-sitter and OCaml. The results are promising, using ocaml-ts-mode plus eglot and ocaml-eglot. I have all the usual LSP goodness plus tree-sitter based navigation built on combobulate.

Why do frame pointers matter for OCaml? I've written up my notes on bringing frame pointers to more platforms. It has been super useful combined with Instruments on macOS, to see exactly what is happening with OCaml programs.
lambdafoo.com/posts/2025-0...

Exactly. This is why I want frame pointers for OCaml and to introduce a stable USDT interface for the GC. Do you have a write up on how you did that?

Interesting! I expect there are other corners that will be problematic like effects that I haven’t thought about. Right now I’m focusing on the GC and seeing what useful things can get out of that.

Experimenting with OCaml and eBPF. Turns out the basics are there to do interesting things like function counts and GC timings. lambdafoo.com/posts/2025-0...

GitHub - dhil/ocaml-multicont: multi-shot continuations in OCaml multi-shot continuations in OCaml. Contribute to dhil/ocaml-multicont development by creating an account on GitHub.

You can implement multishot continuations as a library in OCaml. github.com/dhil/ocaml-m...

Honestly it an accumulation of knowledge over time. Either reading books or source code or building my own version of something to understand how it works.

I think that’s accurate. Sometimes I’m writing assembly for codegen or fixing DWARF CFI, sometimes OCaml and recently I’ve been writing debugger support in C++.

Debugging support for macOS is improved with accurate backtraces, more improvements coming in 5.4 like frame pointers and tweaked name mangling scheme so you can set breakpoints in OCaml code.

The curious thing about working on the OCaml compiler is the lag between features getting merged and released. Happily OCaml 5.3 is out and contains some useful performance and debugging improvements. Memory profiling is back with statmemprof, CPU profiling on MacOS works thanks to frame pointers.

The presenter, Geoffrey, standing in front of the audience at FP-SYD meetup.

Tonight at FP-SYD, we have an OCaml in Production talk by
Geoffrey Borough from Axons Talent.

GitHub - xclerc/ocamljava Contribute to xclerc/ocamljava development by creating an account on GitHub.

Staring from github.com/xclerc/ocaml... it couldn’t be more than a few weekends. Update to 4.14 and then a few fixes to move onto 5. 🤣

Indeed I am. Please ping me with any issues.

Could you add me Sabine?

It's usually on at least once a year in Morocco retreat.mirage.io

Awesome, hope to see you in person next year.

Trying to finish up my work on enabling frame pointers for all OCaml architectures before the end of the year. Why? So we can have nice perf support in OCaml. Currently have amd64 and arm64. RiscV and s390x are in the works.

Hi Josh 👋 from another Australian. I'm working with OCaml, mainly hacking on the compiler but sometimes working with OCaml (rather than on it). If you're around Sydney come along to FP-SYD, there's a few of us using OCaml for things.

Wonderful work Dmitrii. What kinds of topics are you covering?