Tim McGilchrist
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
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...
FP-Syd Social meeting (no talk), Mon, Jul 27, 2026, 6:00 PM | Meetup
Our July FP Syd meeting is a networking event without talks. Join us in North Sydney next Monday to talk functions, lambdas, purity, and all things programming. We are mee
meetup.com
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...
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...
Caml In The Capital - June
Caml in the Capital is London's OCaml meetup group. We bring together developers, researchers, and enthusiasts to discuss OCaml.
eventbrite.com
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
FP-Syd meeting - new weekday!, Mon, May 4, 2026, 6:00 PM | Meetup
FP Syd is happening again in early May! We are switching to a different weekday (Monday) and location (North Sydney), and heartfully thank Microsoft for sponsoring us with
meetup.com
I wrote up some notes on the #elisp #emacs things I've been working on this month lambdafoo.com/posts/2026-0...
A month of Elisp · Perpetually Curious Blog
lambdafoo.com
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.
GitHub - tmcgilchrist/miasma-theme: A fog descends upon your editor. A dark Emacs colour scheme built from muted earth tones (moss, bark, rust, amber, and fog).
A fog descends upon your editor. A dark Emacs colour scheme built from muted earth tones (moss, bark, rust, amber, and fog). - tmcgilchrist/miasma-theme
github.com
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.
tangled · tightly-knit social coding
The next-generation social coding platform.
tangled.org
I’ve already announced this on the forums, but for everyone else www.chrisarmstrong.dev/posts/introd...
Introducing ocgtk: GTK4 bindings for OCaml
Introducing ocgtk, a new set of GTK4 bindings for OCaml generated from GObject Introspection data.
chrisarmstrong.dev
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.
tsmc.purely-functional.com/thorin
A Haskell library for reading and writing DWARF debugging information.
tangled.org
More work on CFI and frame pointers for OCaml, working on getting all this through review and merged. lambdafoo.com/posts/2026-0...
More CFI and frame pointers work · Perpetually Curious Blog
lambdafoo.com
In my own interregnum, but: I’m open to new opportunities. If you’re looking for someone who can lead teams working in AWS/serverless, Typescript or OCaml, and/or take an observability or DevOps lens to their cloud infrastructure, I’d love to chat. I’m based in Sydney for onsite/hybrid/remote
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.
GitHub - tmcgilchrist/ocaml-capstone: OCaml bindings to the Capstone disassembly framework
OCaml bindings to the Capstone disassembly framework - tmcgilchrist/ocaml-capstone
github.com
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
Durin is a library for reading and writing the Dwarf debugging format | Hacker News
news.ycombinator.com
Fun weekend building my son's first PC, we got all the parts right and it booted the first time. 💪 Then we setup Ubuntu for Linux gaming with Proton/Steam. Not exactly the smoothest experience with Ubuntu UI being very laggy but he'll learn more using Linux.
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...
GitHub - tmcgilchrist/avro-simple: Pure OCaml implementation of Apache Avro
Pure OCaml implementation of Apache Avro. Contribute to tmcgilchrist/avro-simple development by creating an account on GitHub.
github.com
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.
GitHub - tmcgilchrist/durin: Durin is a library for reading and writing the Dwarf debugging format
Durin is a library for reading and writing the Dwarf debugging format - tmcgilchrist/durin
github.com
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. :-)
Experimenting with USDT support in the OCaml runtime and user code. Being able to DTrace and join up OCaml stacks with runtime activity is magical. WIP modifications to OCaml github.com/tmcgilchrist... Of course it works with eBPF but Dtrace has that Solaris cool factor.
Add USDT probes for key events in OCaml runtime by tmcgilchrist · Pull Request #32 · tmcgilchrist/ocaml
Corresponding OCaml level USDT probes https://github.com/tmcgilchrist/ocaml_usdt
github.com
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!
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
xvw.lol
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.
