Tim McGilchrist

You don't need to be an OCaml expert to give a great talk. You need one thing you figured out the hard way. FUN OCaml 2027 in Bengaluru wants first-time speakers. The CfP closes Sept 30.

@dholms.at @yminsky.bsky.social @kcsrk.info @tsmc.purely-functional.com @tyoverby.com

Some updates on tree-sitter support for OCaml mini-languages (odoc, opam and dune) and improving Emacs support for OCaml with neocaml. lambdafoo.com/posts/2026-0... #emacs #ocaml

I've also put together a tree-sitter- grammar and neocaml support for Dream eml templates. I would love some feedback on the PR for Emacs OCaml people that use them. #ocaml #emacs github.com/bbatsov/neoc...

A couple of neocaml improvements landed recently. MLX/JSX syntax support github.com/bbatsov/neoc..., and odoc/mld support github.com/bbatsov/neoc.... We'd love to get feedback on those from our OCaml Emacs users. Neocaml is a modern, TreeSitter-powered, mode for programming in OCaml. #ocaml #emacs

Is there a better Haskell feed? I want Haskell the programming language, not places called Haskell or Haskell County.

Decided to ditch Goodreads and import my reading list into BookHive! 📚 bookhive.social

FP-SYD is going social this month. No presentations just lots of time for a chat. We will be in North Sydney www.meetup.com/fp-syd/event...

The OCaml Handbook: A Complete Guide from First Program to Production Systems by Steve T. Publications is a new release on Leanpub! Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook … leanpub.com/theocamlhand...

Bonsai_term looks very cool. blog.janestreet.com/strace-ui-bo... #ocaml

Using LLMs doesn’t remove the obligation to do your own thinking.

Caml In The Capital is happening again! Our #OCaml meetup is open to anyone: user, researcher, outsider who happens to be interested :) This time, we'll be hosted at the JaneStreet office in London. Please register here if you'd like to attend: www.eventbrite.com/e/caml-in-th...

Modified my elfeed RSS setup to use eww, the built in web browser for Emacs. Massive improvement, loading things is quick enough and no javascript means no ads, but I still get pictures. #emacs

The OCaml Users Survey 2026 is now open! 📊 Share your experience with OCaml - from tools you use to new questions on AI/LLM tooling and debugging. Takes 10-15 minutes, open until May 25th. https://forms.gle/gt5nikqUmoQWeYYQ9

FP-SYD is back in person next month. We have changed the day 1st Monday of each month (4th May) and location is now 1 Denison Street, North Sydney. Thanks to Microsoft for providing the venue. Signup here www.meetup.com/fp-syd/event... #emacs #ocaml #haskell

I wrote up some notes on the #elisp #emacs things I've been working on this month lambdafoo.com/posts/2026-0...

Pleased to say I've tidied up my port of Miasma theme for #Emacs into a proper repo and tagged a 0.1.0 release. github.com/tmcgilchrist... Inspired by recent collaborations with @batsov.net on Emacs modes and his wonderful work on batppuccin.

I like the idea of tangled.org but the current CI setup is more misses than hits right now. Lots of 500 errors trying to run nixery based CI over the weekend.

I've switched over from tuareg to neocaml for daily work. This mode is great!

Working on a Haskell DWARF library called thorin (tangled.org/tsmc.purely-...) It covers most of the DWARF 4 and 5 spec with a nice writer API for binary and GAS assembly. Needs more testing on real codebases and the weird binaries that gcc/clang produce.

More work on CFI and frame pointers for OCaml, working on getting all this through review and merged. lambdafoo.com/posts/2026-0...

Rather than advent of code, I’m bulk releasing the WIP OCaml libraries I’ve worked on since ICFP. Today it’s ctypes based Capstone bindings github.com/tmcgilchrist.... The project could use some demo applications but it does seem to work for ARM64 code I’ve thrown at it.

The new Ryzen 9950X can chew through llvm and gdb builds no sweat.

I like the idea of Advent of Code, but I always have too many projects I'm already working on.

Soft-launching my OCaml DWARF 5 library Durin (yes LOTR inspired) github.com/tmcgilchrist... since it got posted on news.ycombinator.com/item?id=4611... It is heavily in development, right now focusing on reading DWARF 5 and building debugging tooling for OCaml compiler work. Write support later on

Awesome work!!!!!

All the parts for the new OCaml benchmarking server have arrived. Weekend goal will be putting this all together and setting up Linux.

A pure OCaml implementation of Apache Avro with codec-based design, schema evolution support, and container file format. Version 0.1 released on opam. github.com/tmcgilchrist...

Writing my own DWARF 5 library in OCaml github.com/tmcgilchrist... learning a lot about the spec and how CFI works. Only doing reading at the moment then I’ll tackle writing DWARF.

Shopping for a vintage CRT serial terminal, ideally a DEC VT330 with the lovely orange glow. Need something to hook up to the new benchmarking server. :-)

Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/... I hope you find this interesting, and I welcome any feedback!

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

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

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...

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

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...

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...

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...