Înapoi la articole →

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 11
  1. More tree-sitter, more neocaml, more elisp

    More tree-sitter, more neocaml, more elisp September 14, 2026 Back in April I wrote about spending a month on elisp where I created tree-sitter grammars for the OCaml mini-languages (think dune, opam and odoc) and used them to improve OCaml support in Ema…

  2. Deriving QCheck Generators for External Types in OCaml May 1, 2026 Recently I've been working on durin, a DWARF library for OCaml.

  3. A month of Elisp

    A month of Elisp April 23, 2026 Somehow this month has turned into a month of Elisp.

  4. Quick Hardware Performance Counters on macOS ARM64 March 25, 2026 If you've ever profiled OCaml programs on Linux, you've probably reached for perf stat.

  5. More CFI and frame pointers work

    More CFI and frame pointers work February 7, 2026 This month I set myself a goal to wrap up different pieces of work on OCaml that have been taking up space in my notes and my mind from last year.

  6. Why do frame pointers matter for OCaml?

    Why do frame pointers matter for OCaml?

  7. Experimenting with OCaml and eBPF

    Experimenting with OCaml and eBPF February 15, 2025 Building on top of the excellent book BPF Performance Tools by Brendan Gregg.

  8. Building OCaml from assembly

    Building OCaml from assembly August 30, 2024 At work I've been focusing on improving the debugging experience with OCaml.

  9. Getting Started with LLDB on OCaml

    Getting Started with LLDB on OCaml August 3, 2024 This post is a companion to KC's excellent Getting Started with GDB on OCaml that shows how to debug OCaml programs with GDB.

  10. Debugging OCaml with Emacs

    Debugging OCaml with Emacs March 25, 2024 This post started as a summary of my March Hacking Days effort at Tarides.

  11. ICFP 2022 Review

    ICFP 2022 Review October 11, 2022 I wrote up a highlights of ICFP 2022 for the Tarides blog.