I am a professional mathematician and programmer working as DevOps at Quintly. I love to write free software on my free time or to post on my blog. I am also the maintainer of several FreeBSD ports.
Understanding how recursive functions work
How to do test-driven development in ocaml?
What is the purpose of creating object files separately and then linking them together in a Makefile?
Prefer examples over documentation, is is a behavioral problem?
What are the reasons for great performance differences running the same program?
Is “semisimple” a dense condition among Lie algebras?
How to calibrate Hull-White from zero curve?
Sample free software I write
dockertk — additional tools for docker, and prominently a flexible garbage collector for docker images.
Rashell — a resilient, replicant, shell programming library for OCaml. This library provides primitives to start external processes and gather their output. It differs from many similar facilities in the way it easily manage errors, using monads for operations.
bsdowl — A collection of BSD Make directives aiming at being a universal build system.
Lemonade — A monad library for OCaml, including a PPX rewriter. A sibling project provides monadic stream interface to sqlite.
gasoline — An applicative framework for OCaml.
blueprint — A METAPOST library for blueprints, useful to project maangers and system designers.
cadet — An alternative TeX format, typesetting my documents since 2000.