Top all-time · #6614
Thomas Gazagnaire
Personal blog · gazagnaire.org/blogprogrammingsystems
Thomas Gazagnaire's personal blog at gazagnaire.org covers programming and systems. Since 2012, 12 different Hacker News readers have linked it 13 times, most often “Irmin: Mergeable Persistent Data Structures [pdf]”. It is still writing: the last post was on 2026-11-02, and you can follow it by feed.
Building Functional Systems from Cloud to Orbit.
Most-linked posts?
- Irmin: Mergeable Persistent Data Structures [pdf]3 people · 3 mentions · first linked 2015-01-14
- /fuconf14/2 people · 2 mentions · first linked 2014-11-13
- /pub/SSGM10.pdf2 people · 2 mentions · first linked 2012-03-09
What Hacker News says?
Indeed, Irmin is a library to implement data stores which can be freely cloned, updated and merged along a model similar to git. It separates the content from the actual store. So it can run as well on a file-system, on a git repository, in memory or in the browser (See for instance https://github.com/talex5/irmin-js ). As git, Irmin uses 3-way merge but applied to arbitrary values and not only files. As described h…
Comment linking /pub/FGM15.pdf
on “The database I wish I had”Submitted Irmin: Mergeable Persistent Data Structures [pdf] as a story · 17 points
HN discussionI've been working my way through 'A comprehensive study of Convergent and Commutative Replicated Data Types'[0] and I've been finding them very approachable. I'm trying to implement them in Clojure as I go and that has been interesting. I've also starting looking at 'Mergeable persistent data structures'[1], and that one already has a repo with the code in Ocaml, but I have to admit that I don't understand that queu…
Comment linking /pub/FGM15.pdf
on “CRDT: Conflict-free replicated data type”Submitted Rewriting Tailwind CSS in OCaml: Is It (Pixel-)Correct? as a story · 3 points
HN discussionWasn't there a way to run the IPython notebook with a javascript kernel in the browser? At least that is how iocaml notebooks work (which AFAICT are IPython compatible): you have the full OCaml interpreter running as javascript and can edit any cells: http://gazagnaire.org/fuconf14/ This seems to be the Python equivalent: https://github.com/minrk/jskernel
Comment linking /fuconf14/
on “Kalman and Bayesian Filters in Python”Submitted A CSS Engine in OCaml as a story · 3 points
HN discussion> If C isn't suitable for projects with more than 10K lines, then praytell, what language should my kernel be written in? The Xen hypervisor (which shares a lot of characteristics with an OS kernel) is written in OCaml, which seems to have proven a good choice in practice: http://gazagnaire.org/pub/SSGM10.pdf
Comment linking /pub/SSGM10.pdf
on “The Go Programming Language, or: Why all C-like languages except one suck.”Submitted Reusing Buffers in Multicore OCaml as a story · 1 points
HN discussion> Using a not very popular programming language can actually make it harder for you to hire people. Some evidence this is just not true: http://gazagnaire.org/pub/SSGM10.pdf
Comment linking /pub/SSGM10.pdf
on “Why We Use OCaml”Submitted O(x)Caml in Space as a story · 1 points
HN discussionAll of the core compiler library does compile to efficient JavaScript. For instance, see the IOCamlJS interactive notebooks that embed the entire compiler in the browser with a web UI. Just press the play button: - http://andrewray.github.io/iocamljs/oh261.html (H.261 video decoding) - http://www.ujamjar.com/hardcaml/ (HardCaml RTL hardware description language, similar to Chisel in Scala) - http://gazagnaire.org/fu…
Comment linking /fuconf14/
on “Teaching OCaml”Submitted From ASPLOS to Orbit: Unikernels Twelve Years Later as a story · 1 points
HN discussion(author of the post here) Hey dsab! I agree, but CCSDS is what we have today. We need to support it properly first if we ever want to extend or transition away. It also doesn't help that there's no good open-source implementation of the whole stack, especially the SDLS part, which makes the transition even harder. On the type-safety side, I found typed combinators really useful for describing parsing and serialising…
Comment linking /blog/2026-03-31-ocaml-wire.html
on “O(x)Caml in Space”
