Reposted by Tim McGilchristFUN OCaml @fun-ocaml.com · 20/09/2026You 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. 112
Reposted by Tim McGilchristDavid Engelmann @david-engelmann.bsky.social · 14/09/2026@dholms.at @yminsky.bsky.social @kcsrk.info @tsmc.purely-functional.com @tyoverby.com 012
Tim McGilchrist @tsmc.purely-functional.com · 14/09/2026Some 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 #ocamllambdafoo.comMore tree-sitter, more neocaml, more elisp · Perpetually Curious 052
Tim McGilchrist @tsmc.purely-functional.com · 09/09/2026I know right. It’s laptop priced and how durable will that folding screen be after a few years? 110
Tim McGilchrist @tsmc.purely-functional.com · 09/09/2026I'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...github.comAdd major mode for Dream eml templates by tmcgilchrist · Pull Request #83 · bbatsov/neocamlRequires testing and a 0.1.0 release of https://github.com/tmcgilchrist/tree-sitter-eml Opening as a Draft for visibility, while testing this myself. Suggestions and bug-reports most welcome. 010
Tim McGilchrist @tsmc.purely-functional.com · 09/09/2026A 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 011
Tim McGilchrist @tsmc.purely-functional.com · 06/08/2026Is there a better Haskell feed? I want Haskell the programming language, not places called Haskell or Haskell County. 120
Tim McGilchrist @tsmc.purely-functional.com · 06/08/2026Decided to ditch Goodreads and import my reading list into BookHive! 📚 bookhive.socialbookhive.socialBookhiveGoodreads but better. Built on top of Blue Sky. 020
Tim McGilchrist @tsmc.purely-functional.com · 26/07/2026FP-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...meetup.comFP-Syd Social meeting (no talk), Mon, Jul 27, 2026, 6:00 PM | MeetupOur 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 110
Reposted by Tim McGilchristLeanpub @leanpub.bsky.social · 06/07/2026The 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... 0106
Tim McGilchrist @tsmc.purely-functional.com · 04/06/2026Bonsai_term looks very cool. blog.janestreet.com/strace-ui-bo... #ocamlblog.janestreet.comstrace-ui, Bonsai_term, and the TUI renaissanceWe’ve always found strace useful but somewhat hard to work with. Its output is often inscrutable, it’s hard to follow subprocesses or threads, and if you wan... 083
Tim McGilchrist @tsmc.purely-functional.com · 28/05/2026Using LLMs doesn’t remove the obligation to do your own thinking. 010
Reposted by Tim McGilchristSacha Ayoun @giltho.bsky.social · 26/05/2026Caml 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...eventbrite.comCaml In The Capital - JuneCaml in the Capital is London's OCaml meetup group. We bring together developers, researchers, and enthusiasts to discuss OCaml. 0123
Tim McGilchrist @tsmc.purely-functional.com · 07/05/2026Modified 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 030
Reposted by Tim McGilchristOCaml @ocaml.org · 30/04/2026The 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. forms.gle/gt5nikqUmoQWeYYQ9 178
Tim McGilchrist @tsmc.purely-functional.com · 28/04/2026FP-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 #haskellmeetup.comFP-Syd meeting - new weekday!, Mon, May 4, 2026, 6:00 PM | MeetupFP 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 031
Tim McGilchrist @tsmc.purely-functional.com · 23/04/2026I wrote up some notes on the #elisp #emacs things I've been working on this month lambdafoo.com/posts/2026-0...lambdafoo.com A month of Elisp · Perpetually Curious Blog 071
Tim McGilchrist @tsmc.purely-functional.com · 22/04/2026Pleased 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.comGitHub - 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 011
Tim McGilchrist @tsmc.purely-functional.com · 20/04/2026I 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.orgtangled · tightly-knit social codingThe next-generation social coding platform. 340
Tim McGilchrist @tsmc.purely-functional.com · 20/04/2026What stage of the MMTK port are you up to? Is there WIP available for the OCaml/Rust bindings to MMTK? docs.mmtk.io/portingguide...docs.mmtk.ioNoGC - MMTk User GuideThe guide describes the usage of MMTk for GC and language runtime developers. 010
Reposted by Tim McGilchristChris Armstrong @chrisarmstrong.link · 15/04/2026I’ve already announced this on the forums, but for everyone else www.chrisarmstrong.dev/posts/introd...chrisarmstrong.devIntroducing ocgtk: GTK4 bindings for OCamlIntroducing ocgtk, a new set of GTK4 bindings for OCaml generated from GObject Introspection data. 1163
Tim McGilchrist @tsmc.purely-functional.com · 15/04/2026I've switched over from tuareg to neocaml for daily work. This mode is great! 071
Tim McGilchrist @tsmc.purely-functional.com · 15/04/2026Fantastic, trying it now. How do you manage to write so much elisp? 100
Tim McGilchrist @tsmc.purely-functional.com · 15/04/2026Working 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.tangled.orgtsmc.purely-functional.com/thorinA Haskell library for reading and writing DWARF debugging information. 071
Tim McGilchrist @tsmc.purely-functional.com · 08/02/2026More work on CFI and frame pointers for OCaml, working on getting all this through review and merged. lambdafoo.com/posts/2026-0...lambdafoo.com More CFI and frame pointers work · Perpetually Curious Blog 021
Tim McGilchrist @tsmc.purely-functional.com · 27/01/2026Well it was early last year tarides.com/blog/2025-02... and there are more performance improvements since then. Plus an early prototype for WASI support github.com/ocsigen/js_o...tarides.comThe First Wasm_of_ocaml Release is Out!Wasm_of_ocaml launches its first feature-complete release, seamlessly compiling OCaml bytecode into WebAssembly modules. 010
Reposted by Tim McGilchristChris Armstrong @chrisarmstrong.link · 26/01/2026In 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 186
Tim McGilchrist @tsmc.purely-functional.com · 08/12/2025Have you heard about ocaml-eglot? @xvw.lol 030
Tim McGilchrist @tsmc.purely-functional.com · 08/12/2025Rather 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.comGitHub - tmcgilchrist/ocaml-capstone: OCaml bindings to the Capstone disassembly frameworkOCaml bindings to the Capstone disassembly framework - tmcgilchrist/ocaml-capstone 1122
Tim McGilchrist @tsmc.purely-functional.com · 08/12/2025Well they essentially do so yes. I owe you a full demo for USDT, I haven’t forgotten just busy on another project. 110
Tim McGilchrist @tsmc.purely-functional.com · 04/12/2025The new Ryzen 9950X can chew through llvm and gdb builds no sweat. 030
Tim McGilchrist @tsmc.purely-functional.com · 01/12/2025I like the idea of Advent of Code, but I always have too many projects I'm already working on. 140
Tim McGilchrist @tsmc.purely-functional.com · 01/12/2025Soft-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 onnews.ycombinator.comDurin is a library for reading and writing the Dwarf debugging format | Hacker News 192
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025I on the other hand ordered the wrong power supply and have to wait to boot-up the new OCaml Unix hacking machine :-/ 020
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025It requires close supervision that's for sure. Writing tedious C bindings or repetitive code (with thorough testing) seems like a good use for LLM coding. 030
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025Fun 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. 230
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025Also the Haskell treesitter mode was missing some functionality last time I checked. 000
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025Treesitter OCaml already exists plus various supporting modes for menhir, ocamllex, dune and opam. github.com/tmcgilchrist... Could use support for odoc and cram files ;-)github.comAdd tree-sitter support for everything by tmcgilchrist · Pull Request #1 · tmcgilchrist/tuaregThis is an experiment to add tree-sitter support to Tuareg and support almost everything (except OCaml SMIE indentation). Uses the following tree-sitter grammars: OCaml: https://github.com/tree-si... 030
Tim McGilchrist @tsmc.purely-functional.com · 30/11/2025Using ctypes Claude has quite confidently used Obj.magic on types it couldn’t get to lineup. :-) 110
Tim McGilchrist @tsmc.purely-functional.com · 26/11/2025All the parts for the new OCaml benchmarking server have arrived. Weekend goal will be putting this all together and setting up Linux. 141
Tim McGilchrist @tsmc.purely-functional.com · 26/11/2025A 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.comGitHub - tmcgilchrist/avro-simple: Pure OCaml implementation of Apache AvroPure OCaml implementation of Apache Avro. Contribute to tmcgilchrist/avro-simple development by creating an account on GitHub. 0102
Tim McGilchrist @tsmc.purely-functional.com · 22/11/2025Writing 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.comGitHub - tmcgilchrist/durin: Durin is a library for reading and writing the Dwarf debugging formatDurin is a library for reading and writing the Dwarf debugging format - tmcgilchrist/durin 091
Tim McGilchrist @tsmc.purely-functional.com · 22/11/2025Not to mention wasting peoples time. Sure use LLMs if you want but when you push all the effort to review onto others it isn’t saving anything overall. 000
Tim McGilchrist @tsmc.purely-functional.com · 20/11/2025Shopping 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. :-) 000
Tim McGilchrist @tsmc.purely-functional.com · 20/11/2025Even better if you’re using eBPF you can trigger the tracing to start on interesting events. Then write an eBPF script that contains the logic for what is interesting. 000
Tim McGilchrist @tsmc.purely-functional.com · 20/11/2025You write a JSON serialization for the types you want to include in probes and the library only calls the serialization when the probe is enabled. 000
Tim McGilchrist @tsmc.purely-functional.com · 20/11/2025It is totally possible to add to user code. You either extend the compiler so you can emit special assembly code blocks, or you use the C probes API. I’ve implemented this second option in github.com/tmcgilchrist... It follows the Rust USDT approach where probe data is supplied as JSONgithub.comGitHub - tmcgilchrist/ocaml_usdt: Userland Statically Defined Tracing (USDT) probes for OCaml applications.Userland Statically Defined Tracing (USDT) probes for OCaml applications. - tmcgilchrist/ocaml_usdt 100