Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
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…
-
Deriving QCheck Generators for External Types in OCaml May 1, 2026 Recently I've been working on durin, a DWARF library for OCaml.
-
A month of Elisp April 23, 2026 Somehow this month has turned into a month of Elisp.
-
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.
-
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.
-
Why do frame pointers matter for OCaml?
-
Experimenting with OCaml and eBPF February 15, 2025 Building on top of the excellent book BPF Performance Tools by Brendan Gregg.
-
Building OCaml from assembly August 30, 2024 At work I've been focusing on improving the debugging experience with 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.
-
Debugging OCaml with Emacs March 25, 2024 This post started as a summary of my March Hacking Days effort at Tarides.
-
ICFP 2022 Review October 11, 2022 I wrote up a highlights of ICFP 2022 for the Tarides blog.