<p>I am a professional mathematician and programmer working as infrastructure consultant at <a href="https://www.thoughtworks.com" rel="nofollow noreferrer">ThoughtWorks®</a>. I love to <a href="https://github.com/foretspaisibles" rel="nofollow noreferrer">write free software</a> on my free time or to <a href="https://www.melusina.org/" rel="nofollow noreferrer">post on my blog</a>.</p>
<h2>Sample answers</h2>
<ul>
<li><p><a href="https://devops.stackexchange.com/questions/468/how-do-i-hire-a-good-devops-fitting-my-company/474#474">How do I hire a good DevOps, fitting my company?</a></p>
</li>
<li><p><a href="https://devops.stackexchange.com/questions/1750/understanding-docker-layers/1755#1755">Understanding Docker layers</a></p>
</li>
<li><p><a href="http://stackoverflow.com/questions/25676961/understanding-how-recursive-functions-work/25677330#25677330">Understanding how recursive functions work</a></p>
</li>
<li><p><a href="http://stackoverflow.com/questions/36825351/how-to-do-test-driven-development-in-ocaml/36914925#36914925">How to do test-driven development in ocaml?</a></p>
</li>
<li><p><a href="http://stackoverflow.com/questions/26026331/what-is-the-purpose-of-creating-object-files-separately-and-then-linking-them-to/26027691#26027691">What is the purpose of creating object files separately and then linking them together in a Makefile?</a></p>
</li>
<li><p><a href="http://programmers.stackexchange.com/questions/213386/what-are-the-reasons-for-great-performance-differences-running-the-same-program/213473#213473">What are the reasons for great performance differences running the same program?</a></p>
</li>
<li><p><a href="http://mathoverflow.net/questions/9661/is-semisimple-a-dense-condition-among-lie-algebras/138994#138994">Is “semisimple” a dense condition among Lie algebras?</a></p>
</li>
<li><p><a href="http://quant.stackexchange.com/questions/8724/how-to-calibrate-hull-white-from-zero-curve/9135#9135">How to calibrate Hull-White from zero curve?</a></p>
</li>
</ul>
<h2>Sample free software I write</h2>
<p><a href="https://github.com/melusina-org/cl-confidence" rel="nofollow noreferrer">Confidence</a> – A simple and straightforward test framework for Common Lisp.</p>
<p><a href="https://github.com/foretspaisibles/rashell" rel="nofollow noreferrer">Rashell</a>, <a href="https://github.com/melusina-org/cl-rashell" rel="nofollow noreferrer">Rashell</a> — 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.</p>
<p><a href="https://github.com/foretspaisibles/bsdowl" rel="nofollow noreferrer">bsdowl</a> — A collection of BSD Make directives aiming at being a universal build system.</p>
<p><a href="https://github.com/foretspaisibles/lemonade" rel="nofollow noreferrer">Lemonade</a> — A monad library for OCaml, including a PPX rewriter. A sibling project provides [monadic stream interface to sqlite][7].</p>
<p><a href="https://github.com/foretspaisibles/blueprint" rel="nofollow noreferrer">blueprint</a> — A METAPOST library for blueprints, useful to project maangers and system designers.</p>
<p><a href="https://github.com/foretspaisibles/cadet" rel="nofollow noreferrer">cadet</a> — An alternative TeX format, typesetting my documents since 2000.</p>

Michaël Le Barbier